00001
00021 #ifndef __CUDD2_H__
00022 #define __CUDD2_H__
00023
00024 #ifdef __cplusplus
00025 extern "C" {
00026 #endif
00027
00028
00029 #ifndef MSG
00030 #define MSG(msg) (printf("%s = \n",(msg)));
00031 #endif
00032
00036
00040
00044
00048
00049
00053
00057
00058 extern void Cudd2_Init ( unsigned int numVars, unsigned int numVarsZ, unsigned int numSlots, unsigned int cacheSize, unsigned long maxMemory, void * pCudd );
00059 extern void Cudd2_Quit ( void * pCudd );
00060 extern void Cudd2_bddOne ( void * pCudd, void * pResult );
00061 extern void Cudd2_bddIthVar ( void * pCudd, int iVar, void * pResult );
00062 extern void Cudd2_bddAnd ( void * pCudd, void * pArg0, void * pArg1, void * pResult );
00063 extern void Cudd2_bddOr ( void * pCudd, void * pArg0, void * pArg1, void * pResult );
00064 extern void Cudd2_bddNand ( void * pCudd, void * pArg0, void * pArg1, void * pResult );
00065 extern void Cudd2_bddNor ( void * pCudd, void * pArg0, void * pArg1, void * pResult );
00066 extern void Cudd2_bddXor ( void * pCudd, void * pArg0, void * pArg1, void * pResult );
00067 extern void Cudd2_bddXnor ( void * pCudd, void * pArg0, void * pArg1, void * pResult );
00068 extern void Cudd2_bddIte ( void * pCudd, void * pArg0, void * pArg1, void * pArg2, void * pResult );
00069 extern void Cudd2_bddCompose( void * pCudd, void * pArg0, void * pArg1, int v, void * pResult );
00070 extern void Cudd2_bddLeq ( void * pCudd, void * pArg0, void * pArg1, int Result );
00071 extern void Cudd2_bddEqual ( void * pCudd, void * pArg0, void * pArg1, int Result );
00072
00073 #ifdef __cplusplus
00074 }
00075 #endif
00076
00077 #endif
00078
00082
