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