1 /**CFile**************************************************************** 2 3 FileName [ioa.h] 4 5 SystemName [ABC: Logic synthesis and verification system.] 6 7 PackageName [AIG package.] 8 9 Synopsis [External declarations.] 10 11 Author [Alan Mishchenko] 12 13 Affiliation [UC Berkeley] 14 15 Date [Ver. 1.0. Started - April 28, 2007.] 16 17 Revision [$Id: ioa.h,v 1.00 2007/04/28 00:00:00 alanmi Exp $] 18 19 ***********************************************************************/ 20 21 #ifndef ABC__aig__ioa__ioa_h 22 #define ABC__aig__ioa__ioa_h 23 24 25 //////////////////////////////////////////////////////////////////////// 26 /// INCLUDES /// 27 //////////////////////////////////////////////////////////////////////// 28 29 #include <stdio.h> 30 #include <stdlib.h> 31 #include <string.h> 32 #include <assert.h> 33 34 #include "misc/vec/vec.h" 35 //#include "bar.h" 36 #include "aig/aig/aig.h" 37 38 //////////////////////////////////////////////////////////////////////// 39 /// PARAMETERS /// 40 //////////////////////////////////////////////////////////////////////// 41 42 43 44 ABC_NAMESPACE_HEADER_START 45 46 47 //////////////////////////////////////////////////////////////////////// 48 /// BASIC TYPES /// 49 //////////////////////////////////////////////////////////////////////// 50 51 //////////////////////////////////////////////////////////////////////// 52 /// MACRO DEFINITIONS /// 53 //////////////////////////////////////////////////////////////////////// 54 55 //////////////////////////////////////////////////////////////////////// 56 /// ITERATORS /// 57 //////////////////////////////////////////////////////////////////////// 58 59 //////////////////////////////////////////////////////////////////////// 60 /// FUNCTION DECLARATIONS /// 61 //////////////////////////////////////////////////////////////////////// 62 63 /*=== ioaReadAig.c ========================================================*/ 64 extern Aig_Man_t * Ioa_ReadAigerFromMemory( char * pContents, int nFileSize, int fCheck ); 65 extern Aig_Man_t * Ioa_ReadAiger( char * pFileName, int fCheck ); 66 /*=== ioaWriteAig.c =======================================================*/ 67 extern Vec_Str_t * Ioa_WriteAigerIntoMemoryStr( Aig_Man_t * pMan ); 68 extern char * Ioa_WriteAigerIntoMemory( Aig_Man_t * pMan, int * pnSize ); 69 extern void Ioa_WriteAiger( Aig_Man_t * pMan, char * pFileName, int fWriteSymbols, int fCompact ); 70 /*=== ioaUtil.c =======================================================*/ 71 extern int Ioa_FileSize( char * pFileName ); 72 extern char * Ioa_FileNameGeneric( char * FileName ); 73 extern char * Ioa_FileNameGenericAppend( char * pBase, char * pSuffix ); 74 extern char * Ioa_TimeStamp(); 75 76 77 78 ABC_NAMESPACE_HEADER_END 79 80 81 82 #endif 83 84 //////////////////////////////////////////////////////////////////////// 85 /// END OF FILE /// 86 //////////////////////////////////////////////////////////////////////// 87 88