abc-master
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
cudd2.h
Go to the documentation of this file.
1 /**CFile****************************************************************
2 
3  FileName [cudd2.h]
4 
5  SystemName [ABC: Logic synthesis and verification system.]
6 
7  PackageName [Minimalistic And-Inverter Graph package.]
8 
9  Synopsis [External declarations.]
10 
11  Author [Alan Mishchenko]
12 
13  Affiliation [UC Berkeley]
14 
15  Date [Ver. 1.0. Started - October 3, 2006.]
16 
17  Revision [$Id: cudd2.h,v 1.00 2006/05/11 00:00:00 alanmi Exp $]
18 
19 ***********************************************************************/
20 
21 #ifndef ABC__aig__hop__cudd2_h
22 #define ABC__aig__hop__cudd2_h
23 
24 
25 // HA: Added for printing messages
26 #ifndef MSG
27 #define MSG(msg) (printf("%s = \n",(msg)));
28 #endif
29 
30 ////////////////////////////////////////////////////////////////////////
31 /// INCLUDES ///
32 ////////////////////////////////////////////////////////////////////////
33 
34 ////////////////////////////////////////////////////////////////////////
35 /// PARAMETERS ///
36 ////////////////////////////////////////////////////////////////////////
37 
38 
39 
40 ABC_NAMESPACE_HEADER_START
41 
42 
43 ////////////////////////////////////////////////////////////////////////
44 /// BASIC TYPES ///
45 ////////////////////////////////////////////////////////////////////////
46 
47 ////////////////////////////////////////////////////////////////////////
48 /// MACRO DEFINITIONS ///
49 ////////////////////////////////////////////////////////////////////////
50 
51 
52 ////////////////////////////////////////////////////////////////////////
53 /// ITERATORS ///
54 ////////////////////////////////////////////////////////////////////////
55 
56 ////////////////////////////////////////////////////////////////////////
57 /// FUNCTION DECLARATIONS ///
58 ////////////////////////////////////////////////////////////////////////
59 
60 extern void Cudd2_Init ( unsigned int numVars, unsigned int numVarsZ, unsigned int numSlots, unsigned int cacheSize, unsigned long maxMemory, void * pCudd );
61 extern void Cudd2_Quit ( void * pCudd );
62 extern void Cudd2_bddOne ( void * pCudd, void * pResult );
63 extern void Cudd2_bddIthVar ( void * pCudd, int iVar, void * pResult );
64 extern void Cudd2_bddAnd ( void * pCudd, void * pArg0, void * pArg1, void * pResult );
65 extern void Cudd2_bddOr ( void * pCudd, void * pArg0, void * pArg1, void * pResult );
66 extern void Cudd2_bddNand ( void * pCudd, void * pArg0, void * pArg1, void * pResult );
67 extern void Cudd2_bddNor ( void * pCudd, void * pArg0, void * pArg1, void * pResult );
68 extern void Cudd2_bddXor ( void * pCudd, void * pArg0, void * pArg1, void * pResult );
69 extern void Cudd2_bddXnor ( void * pCudd, void * pArg0, void * pArg1, void * pResult );
70 extern void Cudd2_bddIte ( void * pCudd, void * pArg0, void * pArg1, void * pArg2, void * pResult );
71 extern void Cudd2_bddCompose( void * pCudd, void * pArg0, void * pArg1, int v, void * pResult );
72 extern void Cudd2_bddLeq ( void * pCudd, void * pArg0, void * pArg1, int Result );
73 extern void Cudd2_bddEqual ( void * pCudd, void * pArg0, void * pArg1, int Result );
74 
75 
76 
77 ABC_NAMESPACE_HEADER_END
78 
79 
80 
81 #endif
82 
83 ////////////////////////////////////////////////////////////////////////
84 /// END OF FILE ///
85 ////////////////////////////////////////////////////////////////////////
86 
Cudd2_Quit
void Cudd2_Quit(void *pCudd)
Definition: cudd2.c:80
Cudd2_bddAnd
void Cudd2_bddAnd(void *pCudd, void *pArg0, void *pArg1, void *pResult)
Definition: cudd2.c:180
Cudd2_Init
ABC_NAMESPACE_HEADER_START void Cudd2_Init(unsigned int numVars, unsigned int numVarsZ, unsigned int numSlots, unsigned int cacheSize, unsigned long maxMemory, void *pCudd)
INCLUDES ///.
Definition: cudd2.c:56
Cudd2_bddXnor
void Cudd2_bddXnor(void *pCudd, void *pArg0, void *pArg1, void *pResult)
Definition: cudd2.c:268
Cudd2_bddOne
void Cudd2_bddOne(void *pCudd, void *pResult)
Definition: cudd2.c:144
Cudd2_bddCompose
void Cudd2_bddCompose(void *pCudd, void *pArg0, void *pArg1, int v, void *pResult)
Definition: cudd2.c:305
Cudd2_bddEqual
void Cudd2_bddEqual(void *pCudd, void *pArg0, void *pArg1, int Result)
Definition: cudd2.c:345
Cudd2_bddOr
void Cudd2_bddOr(void *pCudd, void *pArg0, void *pArg1, void *pResult)
Definition: cudd2.c:200
Cudd2_bddIthVar
void Cudd2_bddIthVar(void *pCudd, int iVar, void *pResult)
Definition: cudd2.c:160
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
Cudd2_bddXor
void Cudd2_bddXor(void *pCudd, void *pArg0, void *pArg1, void *pResult)
Definition: cudd2.c:248
Cudd2_bddIte
void Cudd2_bddIte(void *pCudd, void *pArg0, void *pArg1, void *pArg2, void *pResult)
Definition: cudd2.c:284
Cudd2_bddNand
void Cudd2_bddNand(void *pCudd, void *pArg0, void *pArg1, void *pResult)
Definition: cudd2.c:216
Cudd2_bddLeq
void Cudd2_bddLeq(void *pCudd, void *pArg0, void *pArg1, int Result)
Definition: cudd2.c:325
Cudd2_bddNor
void Cudd2_bddNor(void *pCudd, void *pArg0, void *pArg1, void *pResult)
Definition: cudd2.c:232