abc-master
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
ioa.h
Go to the documentation of this file.
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 
Ioa_WriteAigerIntoMemoryStr
Vec_Str_t * Ioa_WriteAigerIntoMemoryStr(Aig_Man_t *pMan)
Definition: ioaWriteAig.c:286
Ioa_ReadAigerFromMemory
ABC_NAMESPACE_HEADER_START Aig_Man_t * Ioa_ReadAigerFromMemory(char *pContents, int nFileSize, int fCheck)
INCLUDES ///.
Definition: ioaReadAig.c:105
Aig_Man_t
typedefABC_NAMESPACE_HEADER_START struct Aig_Man_t_ Aig_Man_t
INCLUDES ///.
Definition: aig.h:50
Ioa_FileSize
int Ioa_FileSize(char *pFileName)
DECLARATIONS ///.
Definition: ioaUtil.c:46
Ioa_FileNameGenericAppend
char * Ioa_FileNameGenericAppend(char *pBase, char *pSuffix)
Definition: ioaUtil.c:93
Ioa_TimeStamp
char * Ioa_TimeStamp()
Definition: ioaUtil.c:127
ABC_NAMESPACE_HEADER_START
#define ABC_NAMESPACE_HEADER_START
NAMESPACES ///.
Definition: abc_global.h:105
Ioa_WriteAiger
void Ioa_WriteAiger(Aig_Man_t *pMan, char *pFileName, int fWriteSymbols, int fCompact)
Definition: ioaWriteAig.c:446
ABC_NAMESPACE_HEADER_END
#define ABC_NAMESPACE_HEADER_END
Definition: abc_global.h:106
Ioa_ReadAiger
Aig_Man_t * Ioa_ReadAiger(char *pFileName, int fCheck)
Definition: ioaReadAig.c:431
Vec_Str_t_
Definition: bblif.c:47
Ioa_FileNameGeneric
char * Ioa_FileNameGeneric(char *FileName)
Definition: ioaUtil.c:73
Ioa_WriteAigerIntoMemory
char * Ioa_WriteAigerIntoMemory(Aig_Man_t *pMan, int *pnSize)
Definition: ioaWriteAig.c:376