1 /**CFile****************************************************************
2 
3   FileName    [giaIiff.h]
4 
5   SystemName  [ABC: Logic synthesis and verification system.]
6 
7   PackageName [Scalable AIG package.]
8 
9   Synopsis    [External declarations.]
10 
11   Author      [Alan Mishchenko]
12 
13   Affiliation [UC Berkeley]
14 
15   Date        [Ver. 1.0. Started - June 20, 2005.]
16 
17   Revision    [$Id: giaIiff.h,v 1.00 2005/06/20 00:00:00 alanmi Exp $]
18 
19 ***********************************************************************/
20 
21 #ifndef ABC__aig__gia__giaIiff_h
22 #define ABC__aig__gia__giaIiff_h
23 
24 
25 ////////////////////////////////////////////////////////////////////////
26 ///                          INCLUDES                                ///
27 ////////////////////////////////////////////////////////////////////////
28 
29 ABC_NAMESPACE_HEADER_START
30 
31 ////////////////////////////////////////////////////////////////////////
32 ///                         PARAMETERS                               ///
33 ////////////////////////////////////////////////////////////////////////
34 
35 ////////////////////////////////////////////////////////////////////////
36 ///                         BASIC TYPES                              ///
37 ////////////////////////////////////////////////////////////////////////
38 
39 ////////////////////////////////////////////////////////////////////////
40 ///                      MACRO DEFINITIONS                           ///
41 ////////////////////////////////////////////////////////////////////////
42 
43 ////////////////////////////////////////////////////////////////////////
44 ///                    FUNCTION DECLARATIONS                         ///
45 ////////////////////////////////////////////////////////////////////////
46 
47 ABC_NAMESPACE_HEADER_END
48 
49 #endif
50 
51 ////////////////////////////////////////////////////////////////////////
52 ///                       END OF FILE                                ///
53 ////////////////////////////////////////////////////////////////////////
54 
55