abc-master
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
abcInt.h
Go to the documentation of this file.
1 /**CFile****************************************************************
2 
3  FileName [abcInt.h]
4 
5  SystemName [ABC: Logic synthesis and verification system.]
6 
7  PackageName [Network and node package.]
8 
9  Synopsis [Internal 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: abcInt.h,v 1.00 2005/06/20 00:00:00 alanmi Exp $]
18 
19 ***********************************************************************/
20 
21 #ifndef ABC__base__abc__abcInt_h
22 #define ABC__base__abc__abcInt_h
23 
24 
25 ABC_NAMESPACE_HEADER_START
26 
27 
28 ////////////////////////////////////////////////////////////////////////
29 /// INCLUDES ///
30 ////////////////////////////////////////////////////////////////////////
31 
32 ////////////////////////////////////////////////////////////////////////
33 /// PARAMETERS ///
34 ////////////////////////////////////////////////////////////////////////
35 
36 #define ABC_NUM_STEPS 10
37 
38 ////////////////////////////////////////////////////////////////////////
39 /// STRUCTURE DEFINITIONS ///
40 ////////////////////////////////////////////////////////////////////////
41 
42 ////////////////////////////////////////////////////////////////////////
43 /// MACRO DEFINITIONS ///
44 ////////////////////////////////////////////////////////////////////////
45 
46 ////////////////////////////////////////////////////////////////////////
47 /// FUNCTION DECLARATIONS ///
48 ////////////////////////////////////////////////////////////////////////
49 
50 
51 
52 ABC_NAMESPACE_HEADER_END
53 
54 #endif
55 
56 ////////////////////////////////////////////////////////////////////////
57 /// END OF FILE ///
58 ////////////////////////////////////////////////////////////////////////
59 
60 
ABC_NAMESPACE_HEADER_START
#define ABC_NAMESPACE_HEADER_START
NAMESPACES ///.
Definition: abc_global.h:105
ABC_NAMESPACE_HEADER_END
#define ABC_NAMESPACE_HEADER_END
Definition: abc_global.h:106