int Ddi_BddArrayOperation( Ddi_DdMgr * defaultDdMgr, Default BDD Manager Ddi_DdArray_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 )
int Ddi_BddOperation( Ddi_DdMgr * defaultDdMgr, Default DD Manager Ddi_Dd_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 )
Ddi_Dd_t * Ddi_DdAddCpart( Ddi_Dd_t * f, input function Ddi_Dd_t * new new partition )
Ddi_Dd_t * Ddi_DdAddDpart( Ddi_Dd_t * f, input function Ddi_Dd_t * new new partition )
Ddi_Dd_t * Ddi_DdAndExist( Ddi_Dd_t * f, Ddi_Dd_t * g, Ddi_VarSet_t * supp )
Ddi_Dd_t * Ddi_DdAnd( Ddi_Dd_t * f, Ddi_Dd_t * g )
Ddi_DdArray_t * Ddi_DdArrayAlloc( int length array length )
Ddi_DdArrayFree
void Ddi_DdArrayAndIthToN( Ddi_DdArray_t * array, BDDs' array Ddi_Dd_t * c, Constrain int i0, First index of BDDs' array int n Length of array )
Ddi_DdArrayAnd
void Ddi_DdArrayAnd( Ddi_DdArray_t * array, array Ddi_Dd_t * C constrain )
Ddi_DdArrayAndIthToN
int Ddi_DdArrayAppend( Ddi_DdArray_t * array1, first array Ddi_DdArray_t * array2 array to be appended )
Ddi_DdArrayJoin
void Ddi_DdArrayConstrainIthToN( Ddi_DdArray_t * array, BDDs'array Ddi_Dd_t * C, constrain int i0, first index of BDD to be constrained int n length of array )
Ddi_DdArrayConstrain
void Ddi_DdArrayConstrain( Ddi_DdArray_t * array, BDDs'array Ddi_Dd_t * C constrain )
Ddi_DdArrayConstrainIthToN
Ddi_DdArray_t * Ddi_DdArrayCopy( Ddi_DdMgr * dd2, destination manager Ddi_DdArray_t * F array to be duplicated )
Ddi_DdArray_t * Ddi_DdArrayDup( Ddi_DdArray_t * old array to be duplicated )
void Ddi_DdArrayExistIthToN( Ddi_DdArray_t * array, BDDs'array Ddi_VarSet_t * V, smoothing varset int i0, first index of BDDs'array int n length of array )
Ddi_DdArrayAnd
void Ddi_DdArrayExist( Ddi_DdArray_t * array, array Ddi_VarSet_t * V smoothing varset )
Ddi_DdArrayAndIthToN
Ddi_Dd_t * Ddi_DdArrayExtract( Ddi_DdArray_t * array, BDDs' array int i index )
Ddi_Dd_t * Ddi_DdArrayFetchLast( Ddi_DdArray_t * array )
Ddi_DdArrayFetch
Ddi_Dd_t * Ddi_DdArrayFetch( Ddi_DdArray_t * array, BDDs' array int i index )
void Ddi_DdArrayFree( Ddi_DdArray_t * array array to be freed )
Ddi_DdArrayAlloc
Ddi_DdArray_t * Ddi_DdArrayFromCU( Ddi_DdMgr * dd, DdNode ** array, int n )
int Ddi_DdArrayInclude( Ddi_DdArray_t * array, array of BDDs int idx, position of new element Ddi_Dd_t * f BDD to be included )
Ddi_DdArrayInsert
int Ddi_DdArrayInsertLast( Ddi_DdArray_t * array, BDDs'array Ddi_Dd_t * f element to be inserted )
Ddi_DdArrayInsert
int Ddi_DdArrayInsert( Ddi_DdArray_t * array, array of BDDs int idx, position of new element Ddi_Dd_t * f BDD to be inserted )
Ddi_DdArrayInclude
Ddi_DdArray_t * Ddi_DdArrayJoin( Ddi_DdArray_t * array1, first array Ddi_DdArray_t * array2 second array )
Ddi_DdArrayAppend
Ddi_DdArray_t * Ddi_DdArrayLoad( Ddi_DdMgr * 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_DdLoad
Ddi_DdArray_t * Ddi_DdArrayOrDdArray( Ddi_DdArray_t * array1, first array Ddi_DdArray_t * array2 second array )
void Ddi_DdArrayPrintStats( Ddi_DdArray_t * array )
void Ddi_DdArrayPrint( Ddi_DdArray_t * array array to be printed )
Ddi_Dd_t ** Ddi_DdArrayReadData( Ddi_DdArray_t * array )
void Ddi_DdArrayRestrictIthToN( Ddi_DdArray_t * array, Ddi_Dd_t * C, int i0, int n length of array )
Ddi_DdArrayRestrict
void Ddi_DdArrayRestrict( Ddi_DdArray_t * array, BDDs'array Ddi_Dd_t * C constrain )
Ddi_DdArrayRestrictIthToN
int Ddi_DdArraySize( Ddi_DdArray_t * array )
int Ddi_DdArrayStore( Ddi_DdArray_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 * auxids, 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_DdStore
Ddi_VarSet_t ** Ddi_DdArraySupportArray( Ddi_DdArray_t * fArray array of function )
Ddi_DdArraySupport
Ddi_VarSet_t * Ddi_DdArraySupportIthToN( Ddi_DdArray_t * array, BDDs'array int i0 position of first BDD )
Ddi_DdArraySupport
Ddi_VarSet_t * Ddi_DdArraySupport( Ddi_DdArray_t * array BDDs'array )
Ddi_DdArraySupportArray
DdNode ** Ddi_DdArrayToCU( Ddi_DdArray_t * array )
int Ddi_DdArray_n( Ddi_DdArray_t * array )
Ddi_Dd_t * Ddi_DdComplLiteral( Ddi_DdMgr * dd, Ddi_Var_t * v )
Ddi_Dd_t * Ddi_DdConstrain( Ddi_Dd_t * f, Ddi_Dd_t * c )
Ddi_Dd_t * Ddi_DdCopyWithAuxMgr( Ddi_DdMgr * dd2, Destination Manager Ddi_Dd_t * f, BDD to be Copied Ddi_DdMgr * ddAux Auxiliary Temporary Manager )
Ddi_Dd_t * Ddi_DdCopy( Ddi_DdMgr * dd2, destination manager Ddi_Dd_t * f BDD to be copied )
Ddi_Dd_t * Ddi_DdCreateFromCU( Ddi_DdMgr * mgr, DdNode * f )
Ddi_Dd_t * Ddi_DdDenseSet( Ddi_DenseMethod_e method, Operation Code Ddi_Dd_t * f, Operand int threshold, int safe, int quality, double hardlimit )
Ddi_Dd_t * Ddi_DdDup( Ddi_Dd_t * f BDD to be duplicated )
int Ddi_DdEqual( Ddi_Dd_t * f1, first dd Ddi_Dd_t * f2 second dd )
Ddi_Dd_t * Ddi_DdEvalFree( Ddi_Dd_t * f, expression Ddi_Dd_t * g function to be freed )
Ddi_Dd_t * Ddi_DdExist( Ddi_Dd_t * f, Ddi_VarSet_t * supp )
void Ddi_DdFree( Ddi_Dd_t * f BDD to be freed )
int Ddi_DdIsOne( Ddi_Dd_t * f )
int Ddi_DdIsZero( Ddi_Dd_t * f )
Ddi_Dd_t * Ddi_DdIte( Ddi_Dd_t * f, Ddi_Dd_t * g, Ddi_Dd_t * h )
Ddi_Dd_t * Ddi_DdLiteral( Ddi_DdMgr * dd, Ddi_Var_t * v )
Ddi_Dd_t * Ddi_DdLoad( Ddi_DdMgr * dd, dd manager int varmatchmode, variable matching mode char mode, loading mode char * filename, file name FILE * fp file pointer )
Ddi_DdStore
Dddmp_cuddBddLoad
Ddi_Var_t * Ddi_DdNewVarAtLevel( Ddi_DdMgr * dd, int lev )
Ddi_Var_t * Ddi_DdNewVar( Ddi_DdMgr * dd )
void Ddi_DdNodeClearVisited( DdNode * f )
Ddi_DdNode * Ddi_DdNodeElse( Ddi_DdNode * f )
Ddi_DdNode * Ddi_DdNodeFromCU( DdNode * n )
int Ddi_DdNodeIsVisited( DdNode * f )
int Ddi_DdNodeReadIndex( Ddi_DdNode * f )
void Ddi_DdNodeSetVisited( DdNode * f )
Ddi_DdNode * Ddi_DdNodeThen( Ddi_DdNode * f )
DdNode * Ddi_DdNodeToCU( Ddi_DdNode * n )
Ddi_Dd_t * Ddi_DdNot( Ddi_Dd_t * f )
Ddi_Dd_t * Ddi_DdOr( Ddi_Dd_t * f, Ddi_Dd_t * g )
Ddi_Dd_t * Ddi_DdPart2Mono( Ddi_Dd_t * f input function )
Ddi_Dd_t * Ddi_DdPartFromArray( Ddi_DdArray_t * array, input array int code code: disj/conj )
void Ddi_DdPrintStats( Ddi_Dd_t * f )
void Ddi_DdPrint( Ddi_Dd_t * f )
int Ddi_DdReadCode( Ddi_Dd_t * f )
Ddi_Dd_t * Ddi_DdReadIthPart( Ddi_Dd_t * f, int i )
Ddi_DdMgr * Ddi_DdReadMgr( Ddi_Dd_t * f )
int Ddi_DdReadPartNum( Ddi_Dd_t * f )
Ddi_DdArray_t * Ddi_DdReadPart( Ddi_Dd_t * f )
Ddi_Dd_t * Ddi_DdRemPart( Ddi_Dd_t * f, input function int pi partition index )
void Ddi_DdReplaceIthPart( Ddi_Dd_t * f, input function int i, index Ddi_Dd_t * p new partition )
Ddi_Dd_t * Ddi_DdRestrict( Ddi_Dd_t * f, Ddi_Dd_t * c )
Ddi_DdNode * Ddi_DdRootNode( Ddi_Dd_t * f )
void Ddi_DdSetCode( Ddi_Dd_t * f, int code )
void Ddi_DdSetMgr( Ddi_Dd_t * f, Ddi_DdMgr * dd )
void Ddi_DdSetPart( Ddi_Dd_t * f, Ddi_DdArray_t * p )
int Ddi_DdSize( Ddi_Dd_t * f )
int Ddi_DdStore( Ddi_Dd_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_DdLoad
Dddmp_cuddBddStore
void Ddi_DdSupportPrint( Ddi_Dd_t * f )
Ddi_VarSet_t * Ddi_DdSupport( Ddi_Dd_t * f BDD )
Ddi_Dd_t * Ddi_DdSwapVariablesWithAuxMgr( Ddi_Dd_t * f, input function Ddi_VarArray_t * src, source array of variables Ddi_VarArray_t * dst, dest array of variables Ddi_DdMgr * ddAux Auxiliary Temporary Manager )
Ddi_Dd_t * Ddi_DdSwapVariables( Ddi_Dd_t * f, input function Ddi_VarArray_t * x, 1-st array of variables Ddi_VarArray_t * y 2-nd array of variables )
Ddi_DdNode * Ddi_DdToCU( Ddi_Dd_t * f )
int Ddi_DdTopvarIndex( Ddi_Dd_t * f )
Ddi_Dd_t * Ddi_DdXnor( Ddi_Dd_t * f, Ddi_Dd_t * g )
Ddi_Dd_t * Ddi_DdXor( Ddi_Dd_t * f, Ddi_Dd_t * g )
void Ddi_DdiMgrQuit( Ddi_DdMgr * dd dd manager )
Ddi_MgrInit
char * Ddi_DenseMethodEnum2String( Ddi_DenseMethod_e enumType )
Ddi_DenseMethod_e Ddi_DenseMethodString2Enum( char * string String to Analyze )
Ddi_Var_t * Ddi_IthVar( Ddi_DdMgr * dd, int index )
void Ddi_MgrAlign( Ddi_DdMgr * dd, dd manager to be aligned Ddi_DdMgr * ddRef reference dd manager )
void Ddi_MgrAutodynResume( Ddi_DdMgr * dd dd manager )
Ddi_MgrInit
void Ddi_MgrAutodynSuspend( Ddi_DdMgr * dd dd manager )
Ddi_MgrInit
void Ddi_MgrCreateGroups2( Ddi_DdMgr * dd, manager Ddi_VarArray_t * vfix, first array Ddi_VarArray_t * vmov first array )
Ddi_DdMgr * Ddi_MgrDup( Ddi_DdMgr * dd source dd manager )
Ddi_DdiMgrQuit
Ddi_DdMgr * 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_DdiMgrQuit
int Ddi_MgrOperation( Ddi_DdMgr ** 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 )
void Ddi_MgrPrintStats( Ddi_DdMgr * dd source dd manager )
int Ddi_MgrReadDdNum( Ddi_DdMgr * dd source dd manager )
unsigned int Ddi_MgrReadDynordThresh( Ddi_DdMgr * dd source dd manager )
DdManager * Ddi_MgrReadMgrCU( Ddi_DdMgr * dd source dd manager )
Ddi_Dd_t * Ddi_MgrReadOne( Ddi_DdMgr * dd source dd manager )
int Ddi_MgrReadOrdNamesAuxids( Ddi_DdMgr * dd, Manager char * filename, File Name FILE * fp Pointer to the Store File )
int * Ddi_MgrReadVarauxids( Ddi_DdMgr * dd source dd manager )
char** Ddi_MgrReadVarnames( Ddi_DdMgr * dd source dd manager )
Pdtutil_VerbLevel_e Ddi_MgrReadVerbosity( Ddi_DdMgr * ddiMgr Decision Diagram Interface Manager )
Ddi_Dd_t * Ddi_MgrReadZero( Ddi_DdMgr * dd source dd manager )
void Ddi_MgrSetDynordThresh( Ddi_DdMgr * dd, source dd manager unsigned int th threshold )
void Ddi_MgrSetMgrCU( Ddi_DdMgr * dd, source dd manager DdManager * m CUDD manager )
void Ddi_MgrSetOne( Ddi_DdMgr * dd, source dd manager Ddi_Dd_t * one one constant )
void Ddi_MgrSetVarauxids( Ddi_DdMgr * dd, source dd manager int * va auxiliary variable ids )
void Ddi_MgrSetVarnames( Ddi_DdMgr * dd, source dd manager char ** vn names of variables )
void Ddi_MgrSetVerbosity( Ddi_DdMgr * ddiMgr, Decision Diagram Interface Manager Pdtutil_VerbLevel_e verbosity Verbosity Level )
void Ddi_MgrSetZero( Ddi_DdMgr * dd, source dd manager Ddi_Dd_t * zero zero constant )
void Ddi_MgrShuffle( Ddi_DdMgr * dd, dd Manager to be Alligned int * sortedIds, Array of sorted ids int nids Number of ids )
int Ddi_MgrWriteOrd( Ddi_DdMgr * dd, Decision Diagram Manager char * filename, File Name FILE * fp, Pointer to the Store File Pdtutil_VariableOrderFormat_e fileFormat File Format )
void Ddi_MulvarInterleave( Ddi_Dd_t * f, first input function Ddi_Dd_t * g second input function )
void Ddi_PrintDdArray( Ddi_DdArray_t * array )
Ddi_PrintVarArray
void Ddi_PrintVarArray( Ddi_VarArray_t * array )
Ddi_PrintDdArray
void Ddi_PrintVersion( FILE * fp )
char * Ddi_ProfileHeuristicEnum2String( Cuplus_PruneHeuristic_e enumType )
Cuplus_PruneHeuristic_e Ddi_ProfileHeuristicString2Enum( char * string String to Analyze )
void Ddi_ProfileInfoFree( Ddi_Dd_t * f input function )
void Ddi_ProfileInfoInit( Ddi_Dd_t * f, input function cuplus_profile_info_t * profileInfo, profile info unsigned char dac99_compatible enabled for settings of paper )
void Ddi_ProfileInfoPrint( Ddi_Dd_t * f input function )
Ddi_Dd_t * Ddi_PruneProfiled( Ddi_Dd_t * f, input function Cuplus_PruneHeuristic_e prune_heuristic, int threshold )
double Ddi_ReadCacheHits( Ddi_DdMgr * dd dd manager )
double Ddi_ReadCacheLookUps( Ddi_DdMgr * dd dd manager )
unsigned int Ddi_ReadCacheSlots( Ddi_DdMgr * dd source dd manager )
Ddi_Dd_t * Ddi_ReadCube( Ddi_DdMgr * dd, FILE * fp, int idOrName )
char * Ddi_ReadDdiName( Ddi_DdMgr * dd source dd manager )
unsigned int Ddi_ReadMaxCacheHard( Ddi_DdMgr * dd dd manager )
unsigned int Ddi_ReadMaxCache( Ddi_DdMgr* dd dd manager )
unsigned int Ddi_ReadMinHit( Ddi_DdMgr * dd dd manager )
Ddi_VarSet_t * Ddi_ReadVarSet( Ddi_DdMgr * dd, FILE * fp, int idOrName )
char * Ddi_ReorderingMethodEnum2String( Cudd_ReorderingType enumType )
Cudd_ReorderingType Ddi_ReorderingMethodString2Enum( char * string String to Analyze )
void Ddi_SetDdiName( Ddi_DdMgr * dd, source dd manager char * ddiName )
Ddi_VarArray_t * Ddi_VarArrayAlloc( int size array length )
Ddi_VarArrayFree
int true or false Ddi_VarArrayAppend( Ddi_VarArray_t * array1, first array Ddi_VarArray_t * array2 array to be appended )
Ddi_VarArrayJoin
Ddi_VarArray_t * Ddi_VarArrayCopy( Ddi_DdMgr * ddAux, dd Manager Ddi_VarArray_t * vars array of variables )
Ddi_VarArray_t * Ddi_VarArrayDup( Ddi_VarArray_t * old array to be duplicated )
Ddi_Var_t * Ddi_VarArrayFetch( Ddi_VarArray_t * array, variables'array int i position of variable )
Ddi_VarArrayInsert
void Ddi_VarArrayFree( Ddi_VarArray_t * array )
Ddi_VarArrayAlloc
Ddi_VarArray_t * Ddi_VarArrayFromCU( DdNode ** array, int n )
int index of variable Ddi_VarArrayIndex( Ddi_VarArray_t * array, array of variables int i position of variable )
Ddi_VarArrayFetch
Ddi_VarIndex
int true or false Ddi_VarArrayInsert( Ddi_VarArray_t * array, array of variables int pos, position of new element Ddi_Var_t * var variable to be inserted )
Ddi_VarArrayFetch
Ddi_VarArray_t * new array Ddi_VarArrayJoin( Ddi_VarArray_t * array1, Ddi_VarArray_t * array2 second array )
Ddi_VarArrayAppend
DdNode ** Ddi_VarArrayToCU( Ddi_VarArray_t * array )
int * array of integer Ddi_VarArrayToInt( Ddi_VarArray_t * array array of variables )
Ddi_VarArrayToVarSet
Ddi_VarSet_t * set of variables Ddi_VarArrayToVarSet( Ddi_DdMgr * dd, dd manager Ddi_VarArray_t * array array of variables )
Ddi_VarArrayToInt
int number of elements Ddi_VarArray_n( Ddi_VarArray_t * array )
int Ddi_VarAuxid2Id( Ddi_DdMgr * dd, int auxid )
int Ddi_VarAuxid( Ddi_DdMgr * dd, Ddi_Var_t * var )
Ddi_Var_t * Ddi_VarCopy( Ddi_DdMgr * dd2, destination manager Ddi_Var_t * v variable to be copied )
int Ddi_VarCurrPos( Ddi_DdMgr * dd, Ddi_Var_t * var )
Ddi_Var_t * Ddi_VarFromCU( DdNode * v )
int Ddi_VarId2Auxid( Ddi_DdMgr * dd, int index )
char * Ddi_VarId2Name( Ddi_DdMgr * dd, int index )
int Ddi_VarIndex( Ddi_Var_t * var )
void Ddi_VarMakeGroup( Ddi_DdMgr * dd, Ddi_Var_t * v, int grpSize )
int Ddi_VarName2Id( Ddi_DdMgr * dd, char * name )
char * Ddi_VarName( Ddi_DdMgr * dd, Ddi_Var_t * var )
Ddi_VarSet_t * Ddi_VarSetAdd( Ddi_VarSet_t * varset, var-set Ddi_Var_t * var the new variable added to var-set )
Ddi_VarSetRemove
void Ddi_VarSetAuxid( Ddi_DdMgr * dd, Ddi_Var_t * var, int auxid )
Ddi_Var_t * Ddi_VarSetBottom( Ddi_VarSet_t * varset var-set )
Ddi_VarSet_t * Ddi_VarSetCopy( Ddi_DdMgr * dd2, destination manager Ddi_VarSet_t * src var-set to be copied )
Ddi_VarSet_t * Ddi_VarSetDifference( Ddi_VarSet_t * varset, var-set Ddi_VarSet_t * vars excluded variables )
Ddi_VarSetIntersect
Ddi_VarSetUnion
Ddi_VarSet_t * Ddi_VarSetDup( Ddi_VarSet_t * src var-set to be copied )
int Ddi_VarSetEqual( Ddi_VarSet_t * varset1, first var-set Ddi_VarSet_t * varset2 second var-set )
Ddi_VarSet_t * Ddi_VarSetEvalFree( Ddi_VarSet_t * f, expression Ddi_VarSet_t * g varset to be freed )
void Ddi_VarSetFree( Ddi_VarSet_t * src varset to be freed )
Ddi_VarSetNew
Ddi_VarSet_t * Ddi_VarSetIntersect( Ddi_VarSet_t * varset1, first var-set Ddi_VarSet_t * varset2 second var-set )
Ddi_VarSetUnion
Ddi_VarSetDifference
int Ddi_VarSetIsVoid( Ddi_VarSet_t * varset )
void Ddi_VarSetName( Ddi_DdMgr * dd, Ddi_Var_t * var, char * name )
Ddi_VarSet_t * Ddi_VarSetNext( Ddi_VarSet_t * varset )
void Ddi_VarSetPrint( Ddi_VarSet_t * vars varset )
Ddi_VarSet_t * Ddi_VarSetRemove( Ddi_VarSet_t * varset, var-set Ddi_Var_t * var variable to be removed )
Ddi_VarSetAdd
Ddi_VarSet_t * Ddi_VarSetSwapVariables( Ddi_VarSet_t * f, input varset Ddi_VarArray_t * x, 1-st array of variables Ddi_VarArray_t * y 2-nd array of variables )
Ddi_DdNode * Ddi_VarSetToCU( Ddi_VarSet_t * v )
Ddi_Var_t * Ddi_VarSetTop( Ddi_VarSet_t * varset var-set )
Ddi_VarSet_t * Ddi_VarSetUnion( Ddi_VarSet_t * v1, first var-set Ddi_VarSet_t * v2 second var-set )
Ddi_VarSetIntersect
Ddi_VarSetDifference
Ddi_VarSet_t * Ddi_VarSetVoid( Ddi_DdMgr * dd dd manager )
Ddi_VarSetFree
int Ddi_VarSet_n( Ddi_VarSet_t * vars varset )
Ddi_Dd_t * Ddi_VarSubst( Ddi_Dd_t * f, BDD Ddi_VarArray_t * x, first array of variables Ddi_VarArray_t * y second array of variables )
DdNode * Ddi_VarToCU( Ddi_Var_t * v )