static void ArrayOpIterate( Ddi_OpCode_e opcode, operation code Ddi_ArrayData_t * array, array Ddi_Generic_t * g, first operand Ddi_Generic_t * h first operand )
ddiGeneric.c
static void ArrayResize( Ddi_ArrayData_t * array, array to be resized int nSizeNew new size of array )
ddiArray.c
static Ddi_Generic_t * ArraySupp( Ddi_ArrayData_t * array )
ddiGeneric.c
Ddi_ArrayData_t * DdiArrayAlloc( int length array length )
Ddi_Free
ddiArray.c
void DdiArrayAppend( Ddi_ArrayData_t * array1, first array Ddi_ArrayData_t * array2 array to be appended )
ddiArray.c
Ddi_ArrayData_t * DdiArrayCopy( Ddi_Mgr_t * dd2, destination manager Ddi_ArrayData_t * old array to be duplicated )
ddiArray.c
Ddi_ArrayData_t * DdiArrayDup( Ddi_ArrayData_t * old array to be duplicated )
ddiArray.c
Ddi_Generic_t * DdiArrayExtract( Ddi_ArrayData_t * array, array int i index )
ddiArray.c
void DdiArrayFree( Ddi_ArrayData_t * array array to be freed )
DdiArrayAlloc
ddiArray.c
void DdiArrayInsert( Ddi_ArrayData_t * array, destination array int i, position of new element Ddi_Generic_t * f, generic object to be inserted Ddi_CopyType_e copy dup/mov selector )
DdiArrayWrite
ddiArray.c
int DdiArrayNum( Ddi_ArrayData_t * array )
ddiArray.c
Ddi_Generic_t * DdiArrayRead( Ddi_ArrayData_t * array, BDDs' array int i index )
ddiArray.c
int DdiArrayStore( Ddi_ArrayData_t * array, array to be stored char * ddname, dd name (or NULL) char ** vnames, array of variable names (or NULL) char ** rnames, array of root names (or NULL) int * vauxids, array of aux var ids (or NULL) int mode, storing mode selector char * fname, file name FILE * fp pointer to the store file )
Dddmp_cuddBddStore
Ddi_BddStore
ddiArray.c
DdNode ** DdiArrayToCU( Ddi_ArrayData_t * array )
Ddi_BddarrayMakeFromCU
ddiArray.c
void DdiArrayWrite( Ddi_ArrayData_t * array, destination array int i, position of new element Ddi_Generic_t * f, generic object to be written Ddi_CopyType_e copy dup/mov selector )
DdiArrayInsert
ddiArray.c
Ddi_Generic_t * DdiDeferredFree( Ddi_Generic_t * f block to be freed )
ddiGeneric.c
Ddi_Generic_t * DdiGenericAlloc( Ddi_Type_e type, type of allocated object Ddi_Mgr_t * mgr DDI manager )
DdiGenericNew
DdiGenericFree
ddiGeneric.c
int DdiGenericBddSize( Ddi_Generic_t * f BDD to be duplicated )
ddiGeneric.c
Ddi_Generic_t * DdiGenericCopy( Ddi_Mgr_t * ddm, destination manager Ddi_Generic_t * f BDD to be duplicated )
ddiGeneric.c
void DdiGenericDataCopy( Ddi_Generic_t * d, destination Ddi_Generic_t * s source )
ddiGeneric.c
Ddi_Generic_t * DdiGenericDup( Ddi_Generic_t * f BDD to be duplicated )
ddiGeneric.c
void DdiGenericFree( Ddi_Generic_t * f block to be freed )
ddiGeneric.c
Ddi_Generic_t * DdiGenericOp( Ddi_OpCode_e opcode, operation code Ddi_OpType_e optype, operation type (accumulate/generate) Ddi_Generic_t * f, first operand Ddi_Generic_t * g, first operand Ddi_Generic_t * h first operand )
ddiGeneric.c
Ddi_Bdd_t * DdiMetaAndAcc( Ddi_Bdd_t * fMeta, Ddi_Bdd_t * gMeta )
ddiMeta.c
Ddi_Bdd_t * DdiMetaAndExistAcc( Ddi_Bdd_t * fMeta, Ddi_Bdd_t * gBdd, Ddi_Varset_t * smooth )
ddiMeta.c
void DdiMetaDoCompl( Ddi_Meta_t * m )
ddiMeta.c
Ddi_Meta_t * DdiMetaDup( Ddi_Meta_t * m )
ddiMeta.c
void DdiMetaFree( Ddi_Meta_t * m )
ddiMeta.c
Ddi_Bdd_t * DdiMetaOrAcc( Ddi_Bdd_t * fMeta, Ddi_Bdd_t * gMeta )
ddiMeta.c
Ddi_Varset_t * DdiMetaSupp( Ddi_Meta_t * m )
ddiMeta.c
Ddi_Bdd_t * DdiMetaSwapVarsAcc( Ddi_Bdd_t * fMeta, Ddi_Vararray_t * v1, Ddi_Vararray_t * v2 )
ddiMeta.c
void DdiMgrCheckVararraySize( Ddi_Mgr_t * dd source dd manager )
ddiMgr.c
void DdiMgrGarbageCollect( Ddi_Mgr_t * ddm )
ddiMgr.c
void DdiMgrMakeVarGroup( Ddi_BddMgr * dd, Ddi_Var_t * v, int grpSize, int method )
ddiMgr.c
int DdiMgrReadIntRef( Ddi_Mgr_t * dd source dd manager )
ddiMgr.c
void DdiVarNewFromCU( Ddi_BddMgr * ddm, DdNode * varCU )
ddiVar.c
Ddi_Bdd_t * Ddi_BddAndAcc( Ddi_Bdd_t * f, Ddi_Bdd_t * g )
ddiBdd.c
Ddi_Bdd_t * Ddi_BddAndExistAcc( Ddi_Bdd_t * f, Ddi_Bdd_t * g, Ddi_Varset_t * vars )
Ddi_BddAnd
ddiBdd.c
Ddi_Bdd_t * Ddi_BddAndExist( Ddi_Bdd_t * f, Ddi_Bdd_t * g, Ddi_Varset_t * vars )
Ddi_BddAnd
ddiBdd.c
Ddi_Bdd_t * Ddi_BddAnd( Ddi_Bdd_t * f, Ddi_Bdd_t * g )
Ddi_BddNot
Ddi_BddOr
ddiBdd.c
Ddi_Bddarray_t * Ddi_BddArraySetMeta( Ddi_Bddarray_t * f )
ddiMeta.c
Ddi_Bdd_t * Ddi_BddCofexist( Ddi_Bdd_t * f, Ddi_Bdd_t * g, Ddi_Varset_t * smooth )
Ddi_BddAnd
ddiBdd.c
Ddi_Bdd_t * Ddi_BddConstrainAcc( Ddi_Bdd_t * f, Ddi_Bdd_t * g )
Ddi_BddAndAcc
ddiBdd.c
Ddi_Bdd_t * Ddi_BddConstrain( Ddi_Bdd_t * f, Ddi_Bdd_t * g )
Ddi_BddAnd
ddiBdd.c
Ddi_Bdd_t * Ddi_BddCopy( Ddi_Mgr_t * ddm, destination manager Ddi_Bdd_t * old BDD to be duplicated )
ddiBdd.c
Ddi_Bdd_t * Ddi_BddCprojectAcc( Ddi_Bdd_t * f, Ddi_Bdd_t * g )
Ddi_BddAndAcc
ddiBdd.c
Ddi_Bdd_t * Ddi_BddCproject( Ddi_Bdd_t * f, Ddi_Bdd_t * g )
Ddi_BddAnd
ddiBdd.c
Ddi_Bdd_t * Ddi_BddDenseSet( Ddi_DenseMethod_e method, Operation Code Ddi_Bdd_t * f, Operand int threshold, int safe, int quality, double hardlimit )
ddiBdd.c
Ddi_Bdd_t * Ddi_BddDiffAcc( Ddi_Bdd_t * f, Ddi_Bdd_t * g )
Ddi_BddAndAcc
ddiBdd.c
Ddi_Bdd_t * Ddi_BddDiff( Ddi_Bdd_t * f, Ddi_Bdd_t * g )
Ddi_BddAnd
ddiBdd.c
Ddi_Bdd_t * Ddi_BddDup( Ddi_Bdd_t * f BDD to be duplicated )
ddiBdd.c
int Ddi_BddEqual( Ddi_Bdd_t * f, first dd Ddi_Bdd_t * g second dd )
ddiBdd.c
Ddi_Bdd_t * Ddi_BddEvalFree( Ddi_Bdd_t * f, expression Ddi_Bdd_t * g BDD to be freed )
E.g. g=Ddi_BddEvalFree(Ddi_BddAnd(g,h),g).The "accumulator" style operations introduced from version 2.0 of pdtrav should stongly reduce the need for this technique. The above example can now be written as:
Ddi_BddAndAcc(g,h).
Ddi_BddAndAcc
ddiBdd.c
Ddi_Bdd_t * Ddi_BddExistAcc( Ddi_Bdd_t * f, Ddi_Varset_t * vars )
Ddi_BddAnd
ddiBdd.c
Ddi_Bdd_t * Ddi_BddExist( Ddi_Bdd_t * f, Ddi_Varset_t * vars )
Ddi_BddAnd
ddiBdd.c
Ddi_Bdd_t * Ddi_BddForallAcc( Ddi_Bdd_t * f, Ddi_Varset_t * vars )
Ddi_BddAnd
ddiBdd.c
Ddi_Bdd_t * Ddi_BddForall( Ddi_Bdd_t * f, Ddi_Varset_t * vars )
Ddi_BddAnd
ddiBdd.c
Ddi_Bdd_t * Ddi_BddFromMeta( Ddi_Bdd_t * f )
ddiMeta.c
int Ddi_BddIncluded( Ddi_Bdd_t * f, Ddi_Bdd_t * g )
ddiBdd.c
int Ddi_BddIsMono( Ddi_Bdd_t * f )
Ddi_BddIsPartConj
Ddi_BddIsPartDisj
ddiBdd.c
int Ddi_BddIsOne( Ddi_Bdd_t * f )
Ddi_BddIsZero
ddiBdd.c
int Ddi_BddIsPartConj( Ddi_Bdd_t * f )
Ddi_BddIsMono
Ddi_BddIsPartDisj
ddiBdd.c
int Ddi_BddIsPartDisj( Ddi_Bdd_t * f )
Ddi_BddIsMono
Ddi_BddIsPartConj
ddiBdd.c
int Ddi_BddIsZero( Ddi_Bdd_t * f )
Ddi_BddIsOne
ddiBdd.c
Ddi_Bdd_t * Ddi_BddIteAcc( Ddi_Bdd_t * f, Ddi_Bdd_t * g, Ddi_Bdd_t * h )
Ddi_BddAndAcc
ddiBdd.c
Ddi_Bdd_t * Ddi_BddIte( Ddi_Bdd_t * f, Ddi_Bdd_t * g, Ddi_Bdd_t * h )
Ddi_BddAnd
ddiBdd.c
Ddi_Bdd_t * Ddi_BddLoad( Ddi_BddMgr * dd, dd manager int varmatchmode, variable matching mode char mode, loading mode char * filename, file name FILE * fp file pointer )
Ddi_BddStore
Dddmp_cuddBddLoad
ddiBdd.c
Ddi_Bdd_t * Ddi_BddMakeConst( Ddi_Mgr_t * mgr, int value non 0: true (one), 0: false (zero) )
Ddi_BddToCU
DdiBddMakeLiteral
ddiBdd.c
Ddi_Bdd_t * Ddi_BddMakeFromCU( Ddi_Mgr_t * mgr, DdNode * bdd )
DdiGenericAlloc
Ddi_BddToCU
ddiBdd.c
Ddi_Bdd_t * Ddi_BddMakeFromMeta( Ddi_Bdd_t * f )
ddiMeta.c
Ddi_Bdd_t * Ddi_BddMakeLiteral( Ddi_Var_t * v, int polarity non 0: affirmed (v), 0: complemented literal (!v) )
Ddi_Bdd
ddiBdd.c
Ddi_Bdd_t * Ddi_BddMakeMeta( Ddi_Bdd_t * f )
ddiMeta.c
Ddi_Bdd_t * Ddi_BddMakeMono( Ddi_Bdd_t * f input function )
ddiBdd.c
Ddi_Bdd_t * Ddi_BddMakePartConjFromArray( Ddi_Bddarray_t * array )
Ddi_BddMakePartConjFromMono
Ddi_BddMakePartDisjFromMono
Ddi_BddMakePartDisjFromArray
ddiBdd.c
Ddi_Bdd_t * Ddi_BddMakePartConjFromMono( Ddi_Bdd_t * mono )
Ddi_BddMakePartDisjFromMono
Ddi_BddMakePartConjFromArray
Ddi_BddMakePartDisjFromArray
ddiBdd.c
Ddi_Bdd_t * Ddi_BddMakePartConjVoid( Ddi_Mgr_t * mgr )
Ddi_BddMakePartDisjVoid
Ddi_BddMakePartConjFromMono
Ddi_BddMakePartConjFromArray
ddiBdd.c
Ddi_Bdd_t * Ddi_BddMakePartDisjFromArray( Ddi_Bddarray_t * array )
Ddi_BddMakePartConjFromMono
Ddi_BddMakePartDisjFromMono
Ddi_BddMakePartConjFromArray
ddiBdd.c
Ddi_Bdd_t * Ddi_BddMakePartDisjFromMono( Ddi_Bdd_t * mono )
Ddi_BddMakePartConjFromMono
Ddi_BddMakePartConjFromArray
Ddi_BddMakePartDisjFromArray
ddiBdd.c
Ddi_Bdd_t * Ddi_BddMakePartDisjVoid( Ddi_Mgr_t * mgr )
Ddi_BddMakePartConjVoid
Ddi_BddMakePartDisjFromMono
Ddi_BddMakePartDisjFromArray
ddiBdd.c
Ddi_Bdd_t * Ddi_BddNandAcc( Ddi_Bdd_t * f, Ddi_Bdd_t * g )
Ddi_BddAndAcc
ddiBdd.c
Ddi_Bdd_t * Ddi_BddNand( Ddi_Bdd_t * f, Ddi_Bdd_t * g )
Ddi_BddAnd
ddiBdd.c
Ddi_Bdd_t * Ddi_BddNorAcc( Ddi_Bdd_t * f, Ddi_Bdd_t * g )
Ddi_BddAndAcc
ddiBdd.c
Ddi_Bdd_t * Ddi_BddNor( Ddi_Bdd_t * f, Ddi_Bdd_t * g )
Ddi_BddAnd
ddiBdd.c
Ddi_Bdd_t * Ddi_BddNotAcc( Ddi_Bdd_t * f )
Ddi_BddAndAcc
ddiBdd.c
Ddi_Bdd_t * Ddi_BddNot( Ddi_Bdd_t * f )
Ddi_BddAnd
ddiBdd.c
int Ddi_BddOperation( Ddi_Mgr_t * defaultDdMgr, Default DD Manager Ddi_Bdd_t ** bddP, BDD Pointer to manipulate char * string, String Pdtutil_MgrOp_t operationFlag, Operation Flag void ** voidPointer, Generic Pointer Pdtutil_MgrRet_t * returnFlag Type of the Pointer Returned )
ddiNew.c
Ddi_Bdd_t * Ddi_BddOrAcc( Ddi_Bdd_t * f, Ddi_Bdd_t * g )
Ddi_BddAndAcc
ddiBdd.c
Ddi_Bdd_t * Ddi_BddOr( Ddi_Bdd_t * f, Ddi_Bdd_t * g )
Ddi_BddAnd
ddiBdd.c
Ddi_Bdd_t * Ddi_BddPartExtract( Ddi_Bdd_t * f, int i )
ddiBdd.c
Ddi_Bdd_t * Ddi_BddPartInsertLast( Ddi_Bdd_t * f, partitioned BDD Ddi_Bdd_t * new new partition )
Ddi_BddPartInsert
ddiBdd.c
Ddi_Bdd_t * Ddi_BddPartInsert( Ddi_Bdd_t * f, partitioned BDD int i, position of new partition Ddi_Bdd_t * new new partition )
Ddi_BddPartWrite
ddiBdd.c
int Ddi_BddPartNum( Ddi_Bdd_t * f )
ddiBdd.c
Ddi_Bdd_t * Ddi_BddPartRead( Ddi_Bdd_t * f, int i )
ddiBdd.c
Ddi_Bdd_t * Ddi_BddPartWrite( Ddi_Bdd_t * f, partitioned BDD int i, position of new partition Ddi_Bdd_t * new new partition )
Ddi_BddPartInsert
ddiBdd.c
Ddi_Bdd_t * Ddi_BddPickOneCubeAcc( Ddi_Bdd_t * f )
Ddi_BddAndAcc
ddiBdd.c
Ddi_Bdd_t * Ddi_BddPickOneCube( Ddi_Bdd_t * f )
Ddi_BddAnd
ddiBdd.c
Ddi_Bdd_t * Ddi_BddPickOneMintermAcc( Ddi_Bdd_t * f, Ddi_Varset_t * vars set of variables defining the minterm space )
Ddi_BddAnd
ddiBdd.c
Ddi_Bdd_t * Ddi_BddPickOneMinterm( Ddi_Bdd_t * f, Ddi_Varset_t * vars set of variables defining the minterm space )
Ddi_BddAnd
ddiBdd.c
int Ddi_BddPrintCubes( Ddi_Bdd_t * f, BDD Ddi_Varset_t * vars, Variables int cubeNumberMax, Maximum number of cubes printed int formatPla, Prints a 1 at the end of the cube (PLA format) char * filename, File Name FILE * fp Pointer to the store file )
ddiBdd.c
void Ddi_BddPrintStats( Ddi_Bdd_t * f, FILE * fp )
ddiBdd.c
int Ddi_BddPrintSupportAndCubes( Ddi_Bdd_t * f, BDD int numberPerRow, Number of Names Printed on a Single Row int cubeNumberMax, Maximum number of cubes printed int formatPla, Prints a 1 at the end of the cube (PLA format) char * filename, File Name FILE * fp Pointer to the store file )
ddiUtil.c
void Ddi_BddPrint( Ddi_Bdd_t * f, FILE * fp )
ddiBdd.c
Ddi_Bdd_t * Ddi_BddRelMakeFromArray( Ddi_Bddarray_t * Fa, array of functions Ddi_Vararray_t * Va array of range variables )
ddiBdd.c
Ddi_Bdd_t * Ddi_BddRestrictAcc( Ddi_Bdd_t * f, Ddi_Bdd_t * g )
Ddi_BddAndAcc
ddiBdd.c
Ddi_Bdd_t * Ddi_BddRestrict( Ddi_Bdd_t * f, Ddi_Bdd_t * g )
Ddi_BddAnd
ddiBdd.c
Ddi_Bdd_t * Ddi_BddSetMeta( Ddi_Bdd_t * f )
ddiMeta.c
Ddi_Bdd_t * Ddi_BddSetMono( Ddi_Bdd_t * f input function )
ddiBdd.c
Ddi_Bdd_t * Ddi_BddSetPartConj( Ddi_Bdd_t * f )
ddiBdd.c
Ddi_Bdd_t * Ddi_BddSetPartDisj( Ddi_Bdd_t * f )
ddiBdd.c
int Ddi_BddSize( Ddi_Bdd_t * f )
ddiBdd.c
int Ddi_BddStore( Ddi_Bdd_t * f, BDD char * ddname, dd name (or NULL) char mode, storing mode char * filename, file name FILE * fp pointer to the store file )
Ddi_BddLoad
Dddmp_cuddBddStore
ddiBdd.c
Ddi_Bdd_t * Ddi_BddSuppAttach( Ddi_Bdd_t * f )
Ddi_BddSupp
Ddi_BddSuppDetach
ddiBdd.c
Ddi_Bdd_t * Ddi_BddSuppDetach( Ddi_Bdd_t * f )
Ddi_BddSupp
Ddi_BddSuppAttach
ddiBdd.c
Ddi_Varset_t * Ddi_BddSuppRead( Ddi_Bdd_t * f )
Ddi_BddSupp
Ddi_BddSuppAttach
ddiBdd.c
Ddi_Varset_t * Ddi_BddSupp( Ddi_Bdd_t * f )
Ddi_BddSuppAttach
ddiBdd.c
Ddi_Bdd_t * Ddi_BddSwapVarsAcc( Ddi_Bdd_t * f, Ddi_Vararray_t * x, 1-st array of variables Ddi_Vararray_t * y 2-nd array of variables )
Ddi_BddAnd
ddiBdd.c
Ddi_Bdd_t * Ddi_BddSwapVars( Ddi_Bdd_t * f, Ddi_Vararray_t * x, 1-st array of variables Ddi_Vararray_t * y 2-nd array of variables )
Ddi_BddAnd
ddiBdd.c
Ddi_BddNode * Ddi_BddToCU( Ddi_Bdd_t * f )
Ddi_BddMakeFromCU
ddiBdd.c
Ddi_Var_t * Ddi_BddTopVar( Ddi_Bdd_t * f )
ddiBdd.c
Ddi_Bdd_t * Ddi_BddXnorAcc( Ddi_Bdd_t * f, Ddi_Bdd_t * g )
Ddi_BddAndAcc
ddiBdd.c
Ddi_Bdd_t * Ddi_BddXnor( Ddi_Bdd_t * f, Ddi_Bdd_t * g )
Ddi_BddAnd
ddiBdd.c
Ddi_Bdd_t * Ddi_BddXorAcc( Ddi_Bdd_t * f, Ddi_Bdd_t * g )
Ddi_BddAndAcc
ddiBdd.c
Ddi_Bdd_t * Ddi_BddXor( Ddi_Bdd_t * f, Ddi_Bdd_t * g )
Ddi_BddAnd
ddiBdd.c
Ddi_Bddarray_t * Ddi_BddarrayAlloc( Ddi_Mgr_t * mgr, DDI manager int length array length )
Ddi_BddarrayWrite
ddiBddarray.c
void Ddi_BddarrayAppend( Ddi_Bddarray_t * array1, first array Ddi_Bddarray_t * array2 array to be appended )
Ddi_BddarrayWrite
Ddi_BddarrayInsert
ddiBddarray.c
void Ddi_BddarrayClear( Ddi_Bddarray_t * array, array of BDDs int pos position of element to be cleared )
Ddi_BddarrayRead
ddiBddarray.c
Ddi_Bddarray_t * Ddi_BddarrayCopy( Ddi_BddMgr * ddm, dd Manager Ddi_Bddarray_t * old array of BDDs )
Ddi_BddarrayDup
ddiBddarray.c
Ddi_Bddarray_t * Ddi_BddarrayDup( Ddi_Bddarray_t * old array to be duplicated )
Ddi_BddarrayAlloc
ddiBddarray.c
Ddi_Bdd_t * Ddi_BddarrayExtract( Ddi_Bddarray_t * array, BDD array int i position )
Ddi_BddarrayInsert
ddiBddarray.c
void Ddi_BddarrayInsertLast( Ddi_Bddarray_t * array, array of BDDs Ddi_Bdd_t * f BDD to be written )
Ddi_BddarrayExtract
ddiBddarray.c
void Ddi_BddarrayInsert( Ddi_Bddarray_t * array, array of BDDs int pos, position of new element Ddi_Bdd_t * f BDD to be written )
Ddi_BddarrayExtract
ddiBddarray.c
Ddi_Bddarray_t * Ddi_BddarrayLoad( Ddi_BddMgr * dd, dd manager char ** vnames, variable names int * vauxids, variable auxids int mode, storing mode selector char * file, name file FILE * fp file pointer )
Dddmp_cuddBddLoad
Ddi_BddLoad
ddiBddarray.c
Ddi_Bddarray_t * Ddi_BddarrayMakeFromBddPart( Ddi_Bdd_t * part )
Ddi_BddarrayToCU
ddiBddarray.c
Ddi_Bddarray_t * Ddi_BddarrayMakeFromCU( Ddi_Mgr_t * mgr, DdNode ** array, int n )
Ddi_BddarrayToCU
ddiBddarray.c
Ddi_Bddarray_t * Ddi_BddarrayMakeMeta( Ddi_Bddarray_t * f )
ddiMeta.c
int Ddi_BddarrayNum( Ddi_Bddarray_t * array )
ddiBddarray.c
int Ddi_BddarrayOperation( Ddi_Mgr_t * defaultDdMgr, Default BDD Manager Ddi_Bddarray_t ** bddArrayP, BDD Array Pointer to manipulate char * string, String Pdtutil_MgrOp_t operationFlag, Operation Flag void ** voidPointer, Generic Pointer Pdtutil_MgrRet_t * returnFlag Type of the Pointer Returned )
ddiNew.c
int Ddi_BddarrayPrintSupportAndCubes( Ddi_Bddarray_t * fArray, BDD Array int numberPerRow, Number of Names Printed on a Single Row int cubeNumberMax, Maximum number of cubes printed int formatPla, Prints a 1 at the end of the cube (PLA format) int reverse, Reverse Order if 1 char * filename, File Name FILE * fp Pointer to the store file )
ddiUtil.c
Ddi_Bdd_t * Ddi_BddarrayRead( Ddi_Bddarray_t * array, BDD array int i position )
Ddi_BddarrayWrite
ddiBddarray.c
void Ddi_BddarrayRemove( Ddi_Bddarray_t * array, array of BDDs int pos position of element to be cleared )
Ddi_BddarrayExtract
Ddi_BddarrayClear
ddiBddarray.c
int Ddi_BddarraySize( Ddi_Bddarray_t * array )
Ddi_BddSize
ddiBddarray.c
int Ddi_BddarrayStore( Ddi_Bddarray_t * array, array to be stored char * ddname, dd name (or NULL) char ** vnames, array of variable names (or NULL) char ** rnames, array of root names (or NULL) int * vauxids, array of aux var ids (or NULL) int mode, storing mode selector char * fname, file name FILE * fp pointer to the store file )
Dddmp_cuddBddStore
Ddi_BddStore
ddiBddarray.c
Ddi_Varset_t ** Ddi_BddarraySuppArray( Ddi_Bddarray_t * fArray array of function )
ddiBddarray.c
Ddi_Varset_t * Ddi_BddarraySupp( Ddi_Bddarray_t * array BDDs'array )
ddiBddarray.c
DdNode ** Ddi_BddarrayToCU( Ddi_Bddarray_t * array )
Ddi_BddarrayMakeFromCU
ddiBddarray.c
void Ddi_BddarrayWrite( Ddi_Bddarray_t * array, array of BDDs int pos, position of new element Ddi_Bdd_t * f BDD to be written )
Ddi_BddarrayRead
ddiBddarray.c
double Ddi_CountMinterm( Ddi_Bdd_t * f, int nvar )
ddiBdd.c
char * Ddi_DenseMethodEnum2String( Ddi_DenseMethod_e enumType )
ddiUtil.c
Ddi_DenseMethod_e Ddi_DenseMethodString2Enum( char * string String to Analyze )
ddiUtil.c
Ddi_Expr_t * Ddi_ExprBoolMake( Ddi_Mgr_t * mgr, Ddi_Expr_t * op1, Ddi_Expr_t * op2 )
Ddi_ExprMakeFromBdd
Ddi_ExprMakeFromString
ddiExpr.c
Ddi_Expr_t * Ddi_ExprCtlMake( Ddi_Mgr_t * mgr, int opcode, Ddi_Expr_t * op1, Ddi_Expr_t * op2, Ddi_Expr_t * op3 )
Ddi_ExprMakeFromBdd
Ddi_ExprMakeFromString
ddiExpr.c
Ddi_Expr_t * Ddi_ExprDup( Ddi_Expr_t * f expression to be duplicated )
ddiExpr.c
int Ddi_ExprIsTerminal( Ddi_Expr_t * e )
ddiExpr.c
Ddi_Expr_t * Ddi_ExprLoad( Ddi_BddMgr * dd, dd manager char * filename, file name FILE * fp file pointer )
ddiExpr.c
Ddi_Expr_t * Ddi_ExprMakeFromBdd( Ddi_Bdd_t * f )
DdiGenericAlloc
Ddi_ExprToBdd
ddiExpr.c
Ddi_Expr_t * Ddi_ExprMakeFromString( Ddi_Mgr_t * mgr, char * s )
ddiExpr.c
Ddi_Expr_t * Ddi_ExprPrint( Ddi_Expr_t * f, FILE * fp )
ddiExpr.c
int Ddi_ExprReadOpcode( Ddi_Expr_t * e )
ddiExpr.c
Ddi_Expr_t * Ddi_ExprReadSub( Ddi_Expr_t * e, int i )
ddiExpr.c
int Ddi_ExprSubNum( Ddi_Expr_t * e )
ddiExpr.c
Ddi_Bdd_t * Ddi_ExprToBdd( Ddi_Expr_t * e )
Ddi_ExprMakeFromBdd
ddiExpr.c
char * Ddi_ExprToString( Ddi_Expr_t * e )
Ddi_ExprMakeFromString
ddiExpr.c
Ddi_Expr_t * Ddi_ExprWriteSub( Ddi_Expr_t * e, int pos, Ddi_Expr_t * op )
Ddi_ExprMakeFromBdd
Ddi_ExprMakeFromString
ddiExpr.c
Ddi_Generic_t * Ddi_GenericDup( Ddi_Generic_t * f )
ddiGeneric.c
void Ddi_GenericFree( Ddi_Generic_t * f block to be freed )
ddiGeneric.c
void Ddi_GenericLock( Ddi_Generic_t * f )
Ddi_GenericUnlock
ddiGeneric.c
Ddi_Generic_t * Ddi_GenericOpAcc( Ddi_OpCode_e opcode, operation code Ddi_Generic_t * f, first operand Ddi_Generic_t * g, first operand Ddi_Generic_t * h first operand )
ddiGeneric.c
Ddi_Generic_t * Ddi_GenericOp( Ddi_OpCode_e opcode, operation code Ddi_Generic_t * f, first operand Ddi_Generic_t * g, first operand Ddi_Generic_t * h first operand )
ddiGeneric.c
Ddi_Code_e Ddi_GenericReadCode( Ddi_Generic_t * f )
ddiGeneric.c
Ddi_Mgr_t * Ddi_GenericReadMgr( Ddi_Generic_t * f )
ddiGeneric.c
char * Ddi_GenericReadName( Ddi_Generic_t * f )
ddiGeneric.c
void Ddi_GenericSetName( Ddi_Generic_t * f, block to be freed char * name )
ddiGeneric.c
void Ddi_GenericUnlock( Ddi_Generic_t * f )
Ddi_GenericLock
ddiGeneric.c
Ddi_Var_t * Ddi_IthVar( Ddi_BddMgr * ddm, int index )
Ddi_VarIndex
Ddi_VarAtLevel
ddiVar.c
int Ddi_MetaActive( Ddi_Mgr_t * ddm )
ddiMeta.c
void Ddi_MetaInit( Ddi_Mgr_t * ddm, Ddi_Meta_Method_e method, Ddi_Bdd_t * ref, Ddi_Varset_t * firstGroup, int sizeMin )
ddiMeta.c
void Ddi_MetaQuit( Ddi_Mgr_t * ddm )
ddiMeta.c
void Ddi_MgrAlign( Ddi_Mgr_t * dd, dd manager to be aligned Ddi_Mgr_t * ddRef reference dd manager )
ddiMgr.c
void Ddi_MgrAutodynResume( Ddi_Mgr_t * dd dd manager )
Ddi_MgrInit
ddiMgr.c
void Ddi_MgrAutodynSuspend( Ddi_Mgr_t * dd dd manager )
Ddi_MgrInit
ddiMgr.c
int Ddi_MgrCheckExtRef( Ddi_Mgr_t * ddm, int n )
ddiMgr.c
int Ddi_MgrConsistencyCheck( Ddi_Mgr_t * ddm )
ddiMgr.c
void Ddi_MgrCreateGroups2( Ddi_Mgr_t * dd, manager Ddi_Vararray_t * vfix, first array Ddi_Vararray_t * vmov first array )
ddiMgr.c
Ddi_Mgr_t * Ddi_MgrDup( Ddi_Mgr_t * dd source dd manager )
Ddi_MgrQuit
ddiMgr.c
Ddi_Mgr_t * Ddi_MgrInit( char * ddiName, Name of the DDI structure DdManager * CUMgr, Input CD manager. Created if NULL unsigned int nvar, Initial Number of Variables unsigned int numSlots, Initial Size of Unique Table unsigned int cacheSize, Initial Size of Computed Table (cache) unsigned long memorySizeMax Max size of Memory )
Ddi_MgrQuit
ddiMgr.c
int Ddi_MgrOperation( Ddi_Mgr_t ** ddMgrP, DD Manager Pointer char * string, String Pdtutil_MgrOp_t operationFlag, Operation Flag void ** voidPointer, Generic Pointer Pdtutil_MgrRet_t * returnFlagP Type of the Pointer Returned )
ddiMgr.c
int Ddi_MgrOrdWrite( Ddi_Mgr_t * dd, Decision Diagram Manager char * filename, File Name FILE * fp, Pointer to Store File Pdtutil_VariableOrderFormat_e ordFileFormat File Format )
ddiMgr.c
void Ddi_MgrPeakProdLocalReset( Ddi_Mgr_t * ddiMgr Decision Diagram Interface Manager )
ddiMgr.c
void Ddi_MgrPeakProdUpdate( Ddi_Mgr_t * ddiMgr, Decision Diagram Interface Manager int size )
ddiMgr.c
void Ddi_MgrPrintAllocStats( Ddi_Mgr_t * ddm, FILE * fp )
ddiMgr.c
void Ddi_MgrPrintExtRef( Ddi_Mgr_t * ddm, int minNodeId )
ddiMgr.c
void Ddi_MgrPrintStats( Ddi_Mgr_t * dd source dd manager )
ddiMgr.c
void Ddi_MgrQuit( Ddi_Mgr_t * dd dd manager )
ddiMgr.c
int Ddi_MgrReadCurrNodeId( Ddi_Mgr_t * dd source dd manager )
ddiMgr.c
unsigned int Ddi_MgrReadDynordThresh( Ddi_Mgr_t * dd source dd manager )
ddiMgr.c
int Ddi_MgrReadExtBddRef( Ddi_Mgr_t * dd source dd manager )
ddiMgr.c
int Ddi_MgrReadExtBddarrayRef( Ddi_Mgr_t * dd source dd manager )
ddiMgr.c
int Ddi_MgrReadExtRef( Ddi_Mgr_t * dd source dd manager )
ddiMgr.c
int Ddi_MgrReadExtVarsetRef( Ddi_Mgr_t * dd source dd manager )
ddiMgr.c
DdManager * Ddi_MgrReadMgrCU( Ddi_Mgr_t * dd source dd manager )
ddiMgr.c
Ddi_Bdd_t * Ddi_MgrReadOne( Ddi_Mgr_t * dd source dd manager )
ddiMgr.c
int Ddi_MgrReadOrdNamesAuxids( Ddi_Mgr_t * dd, Manager char * filename, File Name FILE * fp, Pointer to the Store File Pdtutil_VariableOrderFormat_e ordFileFormat File Format )
ddiMgr.c
int Ddi_MgrReadPeakProdGlobal( Ddi_Mgr_t * ddiMgr Decision Diagram Interface Manager )
ddiMgr.c
int Ddi_MgrReadPeakProdLocal( Ddi_Mgr_t * ddiMgr Decision Diagram Interface Manager )
ddiMgr.c
int * Ddi_MgrReadVarauxids( Ddi_Mgr_t * dd source dd manager )
ddiMgr.c
char** Ddi_MgrReadVarnames( Ddi_Mgr_t * dd source dd manager )
ddiMgr.c
Pdtutil_VerbLevel_e Ddi_MgrReadVerbosity( Ddi_Mgr_t * ddiMgr Decision Diagram Interface Manager )
ddiMgr.c
Ddi_Bdd_t * Ddi_MgrReadZero( Ddi_Mgr_t * dd source dd manager )
ddiMgr.c
void Ddi_MgrSetDynordThresh( Ddi_Mgr_t * dd, source dd manager unsigned int th threshold )
ddiMgr.c
void Ddi_MgrSetMgrCU( Ddi_Mgr_t * dd, source dd manager DdManager * m CUDD manager )
ddiMgr.c
void Ddi_MgrSetOne( Ddi_Mgr_t * dd, source dd manager Ddi_Bdd_t * one one constant )
ddiMgr.c
void Ddi_MgrSetVarauxids( Ddi_Mgr_t * dd, source dd manager int * va auxiliary variable ids )
ddiMgr.c
void Ddi_MgrSetVarnames( Ddi_Mgr_t * dd, source dd manager char ** vn names of variables )
ddiMgr.c
void Ddi_MgrSetVerbosity( Ddi_Mgr_t * ddiMgr, Decision Diagram Interface Manager Pdtutil_VerbLevel_e verbosity Verbosity Level )
ddiMgr.c
void Ddi_MgrSetZero( Ddi_Mgr_t * dd, source dd manager Ddi_Bdd_t * zero zero constant )
ddiMgr.c
void Ddi_MgrShuffle( Ddi_Mgr_t * dd, dd Manager to be Alligned int * sortedIds, Array of sorted ids int nids Number of ids )
ddiMgr.c
void Ddi_MgrUpdate( Ddi_Mgr_t * ddm )
ddiMgr.c
void Ddi_PrintCuddVersion( FILE * fp )
ddiUtil.c
void Ddi_PrintDdArray( Ddi_Bddarray_t * array )
Ddi_PrintVararray
ddiNew.c
void Ddi_PrintVararray( Ddi_Vararray_t * array )
Ddi_PrintDdArray
ddiNew.c
char * Ddi_ProfileHeuristicEnum2String( Cuplus_PruneHeuristic_e enumType )
ddiUtil.c
Cuplus_PruneHeuristic_e Ddi_ProfileHeuristicString2Enum( char * string String to Analyze )
ddiUtil.c
double Ddi_ReadCacheHits( Ddi_Mgr_t * dd dd manager )
ddiMgr.c
double Ddi_ReadCacheLookUps( Ddi_Mgr_t * dd dd manager )
ddiMgr.c
unsigned int Ddi_ReadCacheSlots( Ddi_Mgr_t * dd source dd manager )
ddiMgr.c
Ddi_Bdd_t * Ddi_ReadCube( Ddi_Mgr_t * dd, FILE * fp, int idOrName )
ddiNew.c
char * Ddi_ReadDdiName( Ddi_Mgr_t * dd source dd manager )
ddiMgr.c
unsigned int Ddi_ReadMaxCacheHard( Ddi_Mgr_t * dd dd manager )
ddiMgr.c
unsigned int Ddi_ReadMaxCache( Ddi_Mgr_t* dd dd manager )
ddiMgr.c
unsigned int Ddi_ReadMinHit( Ddi_Mgr_t * dd dd manager )
ddiMgr.c
Ddi_Varset_t * Ddi_ReadVarset( Ddi_Mgr_t * dd, FILE * fp, int idOrName )
ddiNew.c
char * Ddi_ReorderingMethodEnum2String( Cudd_ReorderingType enumType )
ddiUtil.c
Cudd_ReorderingType Ddi_ReorderingMethodString2Enum( char * string String to Analyze )
ddiUtil.c
void Ddi_SetDdiName( Ddi_Mgr_t * dd, source dd manager char * ddiName )
ddiMgr.c
Ddi_Var_t * Ddi_VarAtLevel( Ddi_BddMgr * ddm, int lev )
Ddi_IthVar
ddiVar.c
void Ddi_VarAttachAuxid( Ddi_Var_t * var, int auxid )
ddiVar.c
void Ddi_VarAttachName( Ddi_Var_t * var, char * name )
ddiVar.c
int Ddi_VarAuxid( Ddi_Var_t * var )
Ddi_VarName
ddiVar.c
Ddi_Var_t * Ddi_VarCopy( Ddi_BddMgr * dd2, destination manager Ddi_Var_t * v variable to be copied )
ddiVar.c
int Ddi_VarCurrPos( Ddi_Var_t * var )
ddiVar.c
Ddi_Var_t * Ddi_VarFromAuxid( Ddi_BddMgr * ddm, int auxid )
Ddi_VArFromName
ddiVar.c
Ddi_Var_t * Ddi_VarFromCU( Ddi_BddMgr * ddm, DdNode * v )
ddiVar.c
Ddi_Var_t * Ddi_VarFromName( Ddi_BddMgr * ddm, char * name )
Ddi_VarFromAuxid
ddiVar.c
int Ddi_VarInVarset( Ddi_Varset_t * varset, var-set Ddi_Var_t * var variable )
ddiVarset.c
int Ddi_VarIndex( Ddi_Var_t * var )
Ddi_IthVar
ddiVar.c
int Ddi_VarIsGrouped( Ddi_Var_t * v )
ddiVar.c
void Ddi_VarMakeGroupFixed( Ddi_BddMgr * dd, Ddi_Var_t * v, int grpSize )
Ddi_VarMakeGroupFixed
ddiVar.c
void Ddi_VarMakeGroup( Ddi_BddMgr * dd, Ddi_Var_t * v, int grpSize )
Ddi_VarMakeGroupFixed
ddiVar.c
char * Ddi_VarName( Ddi_Var_t * var )
ddiVar.c
Ddi_Var_t * Ddi_VarNewAtLevel( Ddi_BddMgr * ddm, int lev )
Ddi_VarNew
ddiVar.c
Ddi_Var_t * Ddi_VarNew( Ddi_BddMgr * ddm )
Ddi_VarNewAtLevel
Ddi_VarFromCU
ddiVar.c
Ddi_Varset_t * Ddi_VarReadGroup( Ddi_Var_t * v )
ddiVar.c
Ddi_Bdd_t * Ddi_VarSubst( Ddi_Bdd_t * f, BDD Ddi_Vararray_t * x, first array of variables Ddi_Vararray_t * y second array of variables )
ddiNew.c
DdNode * Ddi_VarToCU( Ddi_Var_t * v )
ddiVar.c
Ddi_Vararray_t * Ddi_VararrayAlloc( Ddi_Mgr_t * mgr, DDI manager int size array length )
ddiVararray.c
void Ddi_VararrayAppend( Ddi_Vararray_t * array1, first array Ddi_Vararray_t * array2 array to be appended )
Ddi_VararrayJoin
ddiVararray.c
Ddi_Vararray_t * Ddi_VararrayCopy( Ddi_BddMgr * ddm, dd Manager Ddi_Vararray_t * old array of variables )
Ddi_VararrayDup
ddiVararray.c
Ddi_Vararray_t * Ddi_VararrayDup( Ddi_Vararray_t * old array to be duplicated )
Ddi_VararrayAlloc
ddiVararray.c
Ddi_Vararray_t * Ddi_VararrayMakeFromCU( Ddi_Mgr_t * mgr, DdNode ** array, int n )
Ddi_VararrayToCU
ddiVararray.c
Ddi_Vararray_t * Ddi_VararrayMakeFromInt( Ddi_Mgr_t * mgr, int * array, int n )
Ddi_VararrayToCU
ddiVararray.c
int Ddi_VararrayNum( Ddi_Vararray_t * array )
ddiVararray.c
Ddi_Var_t * Ddi_VararrayRead( Ddi_Vararray_t * array, variable array int i position )
Ddi_VararrayInsert
ddiVararray.c
DdNode ** Ddi_VararrayToCU( Ddi_Vararray_t * array )
Ddi_VararrayMakeFromCU
ddiVararray.c
int * array of integer Ddi_VararrayToInt( Ddi_Vararray_t * array array of variables )
Ddi_VararrayToCU
ddiVararray.c
void Ddi_VararrayWrite( Ddi_Vararray_t * array, array of variables int pos, position of new element Ddi_Var_t * var variable to be inserted )
Ddi_VararrayRead
ddiVararray.c
Ddi_Varset_t * Ddi_VarsetAddAcc( Ddi_Varset_t * vs, var-set Ddi_Var_t * v the new variable added to var-set )
Ddi_VarsetAdd
ddiVarset.c
Ddi_Varset_t * Ddi_VarsetAdd( Ddi_Varset_t * vs, var-set Ddi_Var_t * v the new variable added to var-set )
Ddi_VarsetAddAcc
Ddi_VarsetRemove
Ddi_VarsetRemoveAcc
ddiVarset.c
Ddi_Var_t * Ddi_VarsetBottom( Ddi_Varset_t * varset var-set )
Ddi_VarsetTop
ddiVarset.c
Ddi_Varset_t * Ddi_VarsetCopy( Ddi_BddMgr * dd2, destination manager Ddi_Varset_t * src var-set to be copied )
ddiVarset.c
Ddi_Varset_t * Ddi_VarsetDiffAcc( Ddi_Varset_t * v1, first var-set Ddi_Varset_t * v2 second var-set )
Ddi_VarsetUnion
ddiVarset.c
Ddi_Varset_t * Ddi_VarsetDiff( Ddi_Varset_t * v1, first var-set Ddi_Varset_t * v2 second var-set )
Ddi_VarsetUnionAcc
Ddi_VarsetIntersect
Ddi_VarsetDiff
ddiVarset.c
Ddi_Varset_t * Ddi_VarsetDup( Ddi_Varset_t * src var-set to be copied )
ddiVarset.c
int Ddi_VarsetEqual( Ddi_Varset_t * varset1, first var-set Ddi_Varset_t * varset2 second var-set )
ddiVarset.c
Ddi_Varset_t * Ddi_VarsetEvalFree( Ddi_Varset_t * f, expression Ddi_Varset_t * g varset to be freed )
ddiVarset.c
Ddi_Varset_t * Ddi_VarsetIntersectAcc( Ddi_Varset_t * v1, first var-set Ddi_Varset_t * v2 second var-set )
Ddi_VarsetUnion
ddiVarset.c
Ddi_Varset_t * Ddi_VarsetIntersect( Ddi_Varset_t * v1, first var-set Ddi_Varset_t * v2 second var-set )
Ddi_VarsetUnion
Ddi_VarsetIntersectAcc
Ddi_VarsetDiff
ddiVarset.c
int Ddi_VarsetIsVoid( Ddi_Varset_t * varset )
ddiVarset.c
Ddi_Varset_t * Ddi_VarsetMakeFromArray( Ddi_Vararray_t * va )
ddiVarset.c
Ddi_Varset_t * Ddi_VarsetMakeFromCU( Ddi_Mgr_t * mgr, DdNode * bdd )
DdiGenericAlloc
ddiVarset.c
Ddi_Varset_t * Ddi_VarsetMakeFromVar( Ddi_Var_t * v )
Ddi_VarsetMakeFromCU
Ddi_VarsetMakeFromArray
ddiVarset.c
Ddi_Varset_t * Ddi_VarsetNextAcc( Ddi_Varset_t * vs )
ddiVarset.c
Ddi_Varset_t * Ddi_VarsetNext( Ddi_Varset_t * vs )
ddiVarset.c
int Ddi_VarsetNum( Ddi_Varset_t * vars varset )
ddiVarset.c
void Ddi_VarsetPrint( Ddi_Varset_t * vars, Varset to Print int numberPerRow, Number of Names Printed on a Single Row char * filename, File Name FILE * fp output file pointer )
ddiVarset.c
Ddi_Varset_t * Ddi_VarsetRemoveAcc( Ddi_Varset_t * vs, Ddi_Var_t * v )
Ddi_VarsetAdd
Ddi_VarsetRemove
ddiVarset.c
Ddi_Varset_t * Ddi_VarsetRemove( Ddi_Varset_t * vs, Ddi_Var_t * v )
Ddi_VarsetAdd
Ddi_VarsetRemoveAcc
ddiVarset.c
Ddi_Varset_t * Ddi_VarsetSwapVarsAcc( Ddi_Varset_t * vs, input varset Ddi_Vararray_t * x, 1-st array of variables Ddi_Vararray_t * y 2-nd array of variables )
ddiVarset.c
Ddi_Varset_t * Ddi_VarsetSwapVars( Ddi_Varset_t * vs, input varset Ddi_Vararray_t * x, 1-st array of variables Ddi_Vararray_t * y 2-nd array of variables )
ddiVarset.c
Ddi_BddNode * Ddi_VarsetToCU( Ddi_Varset_t * vs )
Ddi_VarsetMakeFromCU
ddiVarset.c
Ddi_Var_t * Ddi_VarsetTop( Ddi_Varset_t * varset var-set )
Ddi_VarsetBottom
ddiVarset.c
Ddi_Varset_t * Ddi_VarsetUnionAcc( Ddi_Varset_t * v1, first var-set Ddi_Varset_t * v2 second var-set )
Ddi_VarsetUnion
ddiVarset.c
Ddi_Varset_t * Ddi_VarsetUnion( Ddi_Varset_t * v1, first var-set Ddi_Varset_t * v2 second var-set )
Ddi_VarsetUnionAcc
Ddi_VarsetIntersect
Ddi_VarsetDiff
ddiVarset.c
Ddi_Varset_t * Ddi_VarsetVoid( Ddi_BddMgr * ddm )
ddiVarset.c
Ddi_Var_t * Ddi_VarsetWalkCurr( Ddi_Varset_t * vs )
ddiVarset.c
int Ddi_VarsetWalkEnd( Ddi_Varset_t * vs )
ddiVarset.c
void Ddi_VarsetWalkStart( Ddi_Varset_t * vs )
ddiVarset.c
void Ddi_VarsetWalkStep( Ddi_Varset_t * vs )
ddiVarset.c
Ddi_Varsetarray_t * Ddi_VarsetarrayAlloc( Ddi_Mgr_t * mgr, DDI manager int length array length )
Ddi_VarsetarrayWrite
ddiVarsetarray.c
void Ddi_VarsetarrayClear( Ddi_Varsetarray_t * array, array of varsets int pos position of element to be cleared )
Ddi_VarsetarrayRead
ddiVarsetarray.c
Ddi_Varsetarray_t * Ddi_VarsetarrayCopy( Ddi_BddMgr * ddm, dd Manager Ddi_Varsetarray_t * old array of varsets )
Ddi_VarsetarrayDup
ddiVarsetarray.c
Ddi_Varsetarray_t * Ddi_VarsetarrayDup( Ddi_Varsetarray_t * old array to be duplicated )
Ddi_VarsetarrayAlloc
ddiVarsetarray.c
void Ddi_VarsetarrayInsertLast( Ddi_Varsetarray_t * array, array of varsets Ddi_Varset_t * vs varset to be written )
Ddi_VarsetarrayInsert
ddiVarsetarray.c
void Ddi_VarsetarrayInsert( Ddi_Varsetarray_t * array, array of varsets int pos, position of new element Ddi_Varset_t * vs varset to be written )
Ddi_VarsetarrayRead
ddiVarsetarray.c
int Ddi_VarsetarrayNum( Ddi_Varsetarray_t * array )
ddiVarsetarray.c
Ddi_Varset_t * Ddi_VarsetarrayRead( Ddi_Varsetarray_t * array, varset array int i position )
Ddi_VarsetarrayWrite
ddiVarsetarray.c
void Ddi_VarsetarrayWrite( Ddi_Varsetarray_t * array, array of varsets int pos, position of new element Ddi_Varset_t * vs varset to be written )
Ddi_VarsetarrayRead
ddiVarsetarray.c
static void GenBddRootsRecur( Ddi_Generic_t * f, Ddi_ArrayData_t * roots )
GenBddRoots
ddiGeneric.c
static Ddi_ArrayData_t * GenBddRoots( Ddi_Generic_t * f )
GenPartRootsRecur
ddiGeneric.c
static Ddi_Generic_t * GenericDupIntern( Ddi_Generic_t * r, destination Ddi_Generic_t * f source )
ddiGeneric.c
static void GenericFreeIntern( Ddi_Generic_t * f block to be freed )
ddiGeneric.c
static Ddi_Bdd_t * MetaConstrainOpt( Ddi_Bdd_t * f, Ddi_Bdd_t * g )
ddiMeta.c
static void MetaConvertBdd( Ddi_Generic_t * f, Meta_Convert_e sel )
ddiMeta.c
static Ddi_Generic_t * MetaConvert( Ddi_Generic_t * f, Meta_Convert_e sel )
ddiMeta.c
static void MetaFromMono( Ddi_Bdd_t * f )
ddiMeta.c
static Ddi_Bdd_t * MetaLinearAndExistAcc( Ddi_Bdd_t * fMeta, Ddi_Bdd_t * gBdd, Ddi_Varset_t * smooth )
ddiMeta.c
static void MetaReduce( Ddi_Bdd_t * f, int init start from this layer: < 0 for full reduction )
ddiMeta.c
static void MetaSetConj( Ddi_Bdd_t * f )
ddiMeta.c
static void MetaSimplify( Ddi_Bdd_t * f, int init apply simplification starting from this layer )
ddiMeta.c
static void MetaToMono( Ddi_Bdd_t * f )
ddiMeta.c
static int MetaUpdate( Ddi_Mgr_t * ddm )
ddiMeta.c
( )
Ddi_BddarrayOp
ddi.h
( )
Ddi_BddOp
ddi.h
( )
ddi.h
( )
ddi.h
( )
ddi.h
( )
ddi.h
( )
ddi.h
( )
ddi.h
( )
ddi.h
( )
ddi.h