Ddi_BddAndAcc()
Boolean AND. Result is accumulated
Ddi_BddAndExistAcc()
Relational product (Exist(f&g,vars)). New result is accumulated
Ddi_BddAndExist()
Relational product (Exist(f&g,vars)). New result is generated
Ddi_BddAnd()
Boolean AND. New result is generated
Ddi_BddArraySetMeta()
Transform a BDD array to Meta BDD. Result accumulated
Ddi_BddCofactorAcc()
Cofactor with variable. New result is accumulated
Ddi_BddCofactor()
Cofactor with variable. New result is generated
Ddi_BddCofexist()
Cofexist cofactor. New result is generated
Ddi_BddComposeAcc()
Function composition x <- g in f. New result is accumulated
Ddi_BddCompose()
Function composition x <- g in f. New result is generated
Ddi_BddConstrainAcc()
Constrain cofactor. New result is accumulated
Ddi_BddConstrain()
Constrain cofactor. New result is generated
Ddi_BddCopyRemapVars()
Copy a Ddi_Bdd_t to a destination DDI manager
Ddi_BddCopy()
Copy a Ddi_Bdd_t to a destination DDI manager
Ddi_BddCprojectAcc()
Compatible projector. New result is accumulated
Ddi_BddCproject()
Compatible projector. New result is generated
Ddi_BddDenseSet()
Compute the Dense Super or Subset of a Boolean functions
Ddi_BddDiffAcc()
Boolean difference (f & !g). Result is accumulated
Ddi_BddDiff()
Boolean difference (f & !g). New result is generated
Ddi_BddDup()
Duplicate a Ddi_Bdd_t
Ddi_BddEqual()
Return true (non 0) if the two DDs are equal (f==g).
Ddi_BddEvalFree()
Evaluate expression and free BDD node
Ddi_BddExistAcc()
Existential abstraction. New result is accumulated
Ddi_BddExist()
Existential abstraction. New result is generated
Ddi_BddForallAcc()
Universal abstraction. New result is accumulated
Ddi_BddForall()
Universal abstraction. New result is generated
Ddi_BddFromMeta()
Transform a BDD to Meta BDD. Result accumulated
Ddi_BddIncluded()
Check for inclusion (f in g). Return non 0 if true
Ddi_BddIsCube()
Return true (non 0) if f is a cube.
Ddi_BddIsMeta()
Return true (non 0) if f is a meta BDD.
Ddi_BddIsMono()
Return true (non 0) if f is a monolithic BDD.
Ddi_BddIsOne()
Return true (non 0) if f is the one constant.
Ddi_BddIsPartConj()
Return true (non 0) if f is a conjunctively partitioned BDD.
Ddi_BddIsPartDisj()
Return true (non 0) if f is a disjunctively partitioned BDD.
Ddi_BddIsZero()
Return true (non 0) if f is the zero constant.
Ddi_BddIteAcc()
If-Then-Else (ITE(f,g,h)). New result is accumulated
Ddi_BddIte()
If-Then-Else (ITE(f,g,h)). New result is generated
Ddi_BddLoad()
Loads BDD from file
Ddi_BddMakeClustered()
Create a clustered BDD from a partitioned one
Ddi_BddMakeConst()
Generate a Ddi_Bdd_t constant node (BDD zero or one)
Ddi_BddMakeFromCU()
Build a Ddi_Bdd_t from a given CUDD node.
Ddi_BddMakeFromMeta()
Transform a BDD to Meta BDD. Result generated
Ddi_BddMakeLiteral()
Generate a literal from a variable
Ddi_BddMakeMeta()
Transform a BDD to Meta BDD. Result generated
Ddi_BddMakeMono()
Create a monolithic BDD from a partitioned one
Ddi_BddMakePartConjFromArray()
Build a conjunctively partitioned BDD from array of partitions
Ddi_BddMakePartConjFromMono()
Build a conjunctively partitioned BDD from a monolithic BDD
Ddi_BddMakePartConjVoid()
Build a conjunctively partitioned BDD with 0 partitions
Ddi_BddMakePartDisjFromArray()
Build a disjunctively partitioned BDD from array of BDDs
Ddi_BddMakePartDisjFromMono()
Build a disjunctively partitioned BDD from a monolithic BDD
Ddi_BddMakePartDisjVoid()
Build a disjunctively partitioned BDD with 0 partitions
Ddi_BddNandAcc()
Boolean NAND (!(f&g)). New result is accumulated
Ddi_BddNand()
Boolean NAND (!(f&g)). New result is generated
Ddi_BddNorAcc()
Boolean NOR (!(f|g)). New result is accumulated
Ddi_BddNor()
Boolean NOR (!(f|g)). New result is generated
Ddi_BddNotAcc()
Boolean NOT. Result is accumulated
Ddi_BddNot()
Boolean NOT. New result is generated
Ddi_BddOperation()
Ddi_BddOrAcc()
Boolean OR (f|g). New result is accumulated
Ddi_BddOr()
Boolean OR (f|g). New result is generated
Ddi_BddPartExtract()
Return the i-th partition (conj/disj), and remove it from f.
Ddi_BddPartInsertLast()
Add last partition. Result accumulated
Ddi_BddPartInsert()
Add i-th partition. Result accumulated
Ddi_BddPartNum()
Read the number of partitions (conj/disj).
Ddi_BddPartRead()
Read the i-th partition (conj/disj) of f.
Ddi_BddPartWrite()
Write i-th partition. Result accumulated
Ddi_BddPickOneCubeAcc()
Pick one random on-set cube. Result is accumulated
Ddi_BddPickOneCube()
Pick one random on-set cube. Result is generated
Ddi_BddPickOneMintermAcc()
Pick one random on-set minterm. Result is accumulated
Ddi_BddPickOneMinterm()
Pick one random on-set minterm. Result is generated
Ddi_BddPrintCubeToString()
Output a cube to string. Return true if succesful.
Ddi_BddPrintCubes()
Outputs the cubes of a BDD on file
Ddi_BddPrintStats()
Prints Statistics of a BDD
Ddi_BddPrintSupportAndCubes()
Ddi_BddPrint()
Prints a BDD
Ddi_BddRelMakeFromArray()
Generate a Ddi_Bdd_t relation from array of functions
Ddi_BddRestrictAcc()
Restrict cofactor. New result is accumulated
Ddi_BddRestrict()
Restrict cofactor. New result is generated
Ddi_BddSetClustered()
Create a clustered BDD from a partitioned one
Ddi_BddSetMeta()
Transform a BDD to Meta BDD. Result accumulated
Ddi_BddSetMono()
Convert a BDD to monolitic (if required). Result accumulated
Ddi_BddSetPartConj()
Convert a BDD to conjunctively partitioned (if required). Result accumulated
Ddi_BddSetPartDisj()
Convert a BDD to disjunctively partitioned (if required). Result accumulated
Ddi_BddSize()
Return BDD size (total amount of BDD nodes) of f
Ddi_BddStore()
Stores BDD on file
Ddi_BddSubstVarsAcc()
Variable substitution x <- y in f. New result is accumulated
Ddi_BddSubstVars()
Variable substitution x <- y in f. New result is generated
Ddi_BddSuppAttach()
Attach support of f to f. Return pointer to f
Ddi_BddSuppDetach()
Detach (and free) support attached to f. Return pointer to f
Ddi_BddSuppRead()
Read the support attached to a Bdd.
Ddi_BddSupp()
Support of f. New result is generated
Ddi_BddSwapVarsAcc()
Swap x and y variables in f. Result is accumulated
Ddi_BddSwapVars()
Swap x and y variables in f. New result is generated
Ddi_BddToCU()
Convert a DDI function to the corresponding Cudd Node
Ddi_BddTopVar()
Return the top BDD variable of f
Ddi_BddXnorAcc()
Boolean XNOR (!(f^g)). New result is accumulated
Ddi_BddXnor()
Boolean XNOR (!(f^g)). New result is generated
Ddi_BddXorAcc()
Boolean XOR (f^g). New result is accumulated
Ddi_BddXor()
Boolean XOR (f^g). New result is generated
Ddi_BddarrayAlloc()
Allocate a new array of BDDs
Ddi_BddarrayAppend()
Append the elements of array2 at the end of array1
Ddi_BddarrayClear()
clear array at given position (BDD freed and replaced by NULL)
Ddi_BddarrayCopy()
Copy an array of BDDs to a destination manager
Ddi_BddarrayDup()
Duplicate an array of BDDs
Ddi_BddarrayExtract()
Extract the BDD at i-th position in array
Ddi_BddarrayInsertLast()
Insert a BDD in array at last (new) position
Ddi_BddarrayInsert()
Insert a BDD in array at given position
Ddi_BddarrayLoad()
Reads array of BDDs from a dump file
Ddi_BddarrayMakeFromBddPart()
Generate a BDD array from partitions of partitioned BDD
Ddi_BddarrayMakeFromCU()
Generate a BDD array from CUDD BDDs
Ddi_BddarrayMakeMeta()
Transform a BDD array to Meta BDD. Result generated
Ddi_BddarrayNum()
Return the number of BDDs (entries) in array
Ddi_BddarrayOperation()
Ddi_BddarrayPrintSupportAndCubes()
Ddi_BddarrayRead()
Read the BDD at i-th position in array
Ddi_BddarrayRemove()
Remove array entry at given position
Ddi_BddarraySize()
Return the number of BDD nodes in a BDD array
Ddi_BddarrayStore()
Writes array of BDDs in a dump file
Ddi_BddarraySuppArray()
OLD(pdt-1). Return a vector of supports of BDD array elements
Ddi_BddarraySupp()
Return the support of a BDD array
Ddi_BddarrayToCU()
Generate an array of pointers to CUDD nodes
Ddi_BddarrayWrite()
Write a BDD in array at given position
Ddi_CountMinterm()
Check for inclusion (f in g). Return non 0 if true
Ddi_DenseMethodEnum2String()
Given an Enumerated type Returns a string
Ddi_DenseMethodString2Enum()
Given a string it Returns an Enumerated type
Ddi_ExprBoolMake()
Build a Boolean Ddi_Expr_t from given sub-expressions.
Ddi_ExprCtlMake()
Build a Ctl Ddi_Expr_t from given sub-expressions.
Ddi_ExprDup()
Duplicate a Ddi_Expr_t
Ddi_ExprIsTerminal()
Return true (non 0) if expression is terminal (Bdd or string).
Ddi_ExprLoad()
Load EXPRESSION from file
Ddi_ExprMakeFromBdd()
Build a Ddi_Expr_t from a given BDD.
Ddi_ExprMakeFromString()
Build a Ddi_Expr_t from a given string.
Ddi_ExprPrint()
Print a Ddi_Expr_t
Ddi_ExprReadOpcode()
Read expression opcode
Ddi_ExprReadSub()
Rear sub-expression at given position
Ddi_ExprSubNum()
Read the number of sub-expressions.
Ddi_ExprToBdd()
Retrieve the Bdd associated to the expression
Ddi_ExprToString()
Retrieve the string associated to the expression
Ddi_ExprWriteSub()
Write operand sub-expression to expression at given position.
Ddi_GenericDup()
Generic dup
Ddi_GenericFree()
Free the content of a generic DDI node
Ddi_GenericLock()
Lock DDI node.
Ddi_GenericOpAcc()
Compute generic operation. Result accumulated
Ddi_GenericOp()
Compute generic operation. Result generated
Ddi_GenericReadCode()
called through Ddi_ReadCode.
Ddi_GenericReadMgr()
called through Ddi_ReadMgr.
Ddi_GenericReadName()
called through Ddi_ReadName.
Ddi_GenericSetName()
Set name field of DDI node
Ddi_GenericUnlock()
Unlock DDI node.
Ddi_IthVar()
Return the variable of a given index
Ddi_MetaActive()
Return true if Meta handling active (Ddi_MetaInit done)
Ddi_MetaInit()
Initialize Meta BDD handling in DDI manager
Ddi_MetaQuit()
Close Meta BDD handling in DDI manager
Ddi_MgrAbortOnSiftDisable()
Disable Abort on sift.
Ddi_MgrAbortOnSiftEnable()
Enable Abort on sift.
Ddi_MgrAlign()
Aligns the order of two managers.
Ddi_MgrAutodynResume()
Resume autodyn if suspended.
Ddi_MgrAutodynSuspend()
Suspend autodyn if active.
Ddi_MgrCheckExtRef()
Check number of externally referenced DDI handles
Ddi_MgrConsistencyCheck()
make checks on DDI manager. Return 0 for failure
Ddi_MgrCreateGroups2()
Create groups of 2 variables
Ddi_MgrDup()
Creates a copy of a DdManager.
Ddi_MgrInit()
Creates a DdManager.
Ddi_MgrOperation()
Ddi_MgrOrdWrite()
Stores the variable ordering
Ddi_MgrPeakProdLocalReset()
Reset peak product local
Ddi_MgrPeakProdUpdate()
Update peak product stats
Ddi_MgrPrintAllocStats()
Print DDI manager allocation statistics
Ddi_MgrPrintExtRef()
print ids of external refs
Ddi_MgrPrintStats()
Prints on standard outputs statistics on a DD manager
Ddi_MgrQuit()
Close a DdManager.
Ddi_MgrReadCurrNodeId()
Read current node id field
Ddi_MgrReadDynordThresh()
Returns the threshold for the next dynamic reordering.
Ddi_MgrReadExistClustThresh()
Read part clustering threshold
Ddi_MgrReadExtBddRef()
Read the counter of external references to BDDs
Ddi_MgrReadExtBddarrayRef()
Read the counter of external references to BDD arrays
Ddi_MgrReadExtRef()
Read the counter of external references
Ddi_MgrReadExtVarsetRef()
Read the counter of external references to varsets
Ddi_MgrReadMgrCU()
Reads the Cudd Manager
Ddi_MgrReadOne()
Reads one constant
Ddi_MgrReadOrdNamesAuxids()
Reads the variable ordering
Ddi_MgrReadPeakProdGlobal()
Read peak product global
Ddi_MgrReadPeakProdLocal()
Read peak product local
Ddi_MgrReadVarauxids()
Reads the variable auxiliary ids
Ddi_MgrReadVarnames()
Reads the variable names
Ddi_MgrReadVerbosity()
Read verbosity
Ddi_MgrReadZero()
Reads zero constant
Ddi_MgrSetDynordThresh()
Returns the threshold for the next dynamic reordering.
Ddi_MgrSetExistClustThresh()
Set part clustering threshold
Ddi_MgrSetMgrCU()
Sets the CUDD manager
Ddi_MgrSetOne()
Sets the one constant
Ddi_MgrSetTracedId()
Set traced node id field
Ddi_MgrSetVarauxids()
Sets the auxiliary variable ids
Ddi_MgrSetVarnames()
Sets the names of variables
Ddi_MgrSetVerbosity()
Set verbosity
Ddi_MgrSetZero()
Sets the zero constant
Ddi_MgrShuffle()
Reorders all DDs in a manager.
Ddi_MgrUpdate()
update DDI manager after directly working on CUDD manager
Ddi_PrintCuddVersion()
Returns the version of CUDD package
Ddi_PrintDdArray()
Prints the size of each function in a DdArray
Ddi_PrintVararray()
Prints the indices of a Vararray
Ddi_ProfileHeuristicEnum2String()
Given an Enumerated type Returns a string
Ddi_ProfileHeuristicString2Enum()
Given a string it Returns an Enumerated type
Ddi_ReadCacheHits()
Returns the number of cache hits.
Ddi_ReadCacheLookUps()
Returns the number of cache look-ups.
Ddi_ReadCacheSlots()
Reads the number of slots in the cache.
Ddi_ReadCube()
Reads a cube from stdin
Ddi_ReadDdiName()
Returns the threshold for the next dynamic reordering.
Ddi_ReadMaxCacheHard()
Reads the maxCacheHard parameter of the manager.
Ddi_ReadMaxCache()
Returns the soft limit for the cache size.
Ddi_ReadMinHit()
Reads the hit ratio that causes resizing of the computed table.
Ddi_ReadVarset()
Reads a variable set from file
Ddi_ReorderingMethodEnum2String()
Given an Enumerated type Returns a string
Ddi_ReorderingMethodString2Enum()
Given a string it Returns an Enumerated type
Ddi_SetDdiName()
Returns the threshold for the next dynamic reordering.
Ddi_VarAtLevel()
Return variable at a given level in the order
Ddi_VarAttachAuxid()
Set the variable auxid of a variable
Ddi_VarAttachName()
Attach a given name to the variable
Ddi_VarAuxid()
Return the variable auxid (-1 if auxids not defined)
Ddi_VarCopy()
Copy a variable to a destination dd manager
Ddi_VarCurrPos()
Return current position of var in variable order
Ddi_VarDetachName()
Clear the name of a variable
Ddi_VarFromAuxid()
Search a variable given the auxid
Ddi_VarFromCU()
Convert a CUDD variable to a DDI variable
Ddi_VarFromName()
Search a variable given the name
Ddi_VarInVarset()
Return true (non 0) if var is in varset
Ddi_VarIndex()
Return the variable index (CUDD variable index)
Ddi_VarIsGrouped()
Return true (non 0) if variable is in variable group
Ddi_VarMakeGroupFixed()
Create a variable group with fixed inner order
Ddi_VarMakeGroup()
Create a variable group
Ddi_VarName()
Return the name of a variable
Ddi_VarNewAfterVar()
Create a new variable after (in the variable order) the given variable.
Ddi_VarNewAtLevel()
Returns a new variable at a given level in the order
Ddi_VarNewBeforeVar()
Create a new variable before (in the variable order) the given variable.
Ddi_VarNew()
Create a new variable (generated within a CUDD manager)
Ddi_VarReadGroup()
Return variable group including v. NULL if v is not in a group
Ddi_VarSubst()
The function does a substitution of variables of a BDD
Ddi_VarToCU()
Return the CUDD bdd node of a variable
Ddi_VararrayAlloc()
Allocate a new array of variables of given length
Ddi_VararrayAppend()
Append the elements of array2 at the end of array1
Ddi_VararrayClear()
clear array at given position (variable is replaced by NULL)
Ddi_VararrayCopy()
Copy an array of variables to a destination maneger
Ddi_VararrayDup()
Duplicate an array of variables
Ddi_VararrayExtract()
Extract the variable at i-th position in array
Ddi_VararrayInsertLast()
Insert a variable in array at last (new) position
Ddi_VararrayInsert()
Insert a variable in array at given position
Ddi_VararrayMakeFromCU()
Generate a variable array from CU vars (BDD nodes)
Ddi_VararrayMakeFromInt()
Generate a variable array from array of integer indexes
Ddi_VararrayNum()
Return the number of variables (entries) in array
Ddi_VararrayRead()
Return the variable at i-th position in array
Ddi_VararrayRemove()
Remove array entry at given position
Ddi_VararrayToCU()
Generate an array of pointers to CUDD variables
Ddi_VararrayToInt()
Generate an array of integer variable indexes
Ddi_VararrayWrite()
Write a variable in array at given position
Ddi_VarsetAddAcc()
Add variable to var-set. Result is accumulated
Ddi_VarsetAdd()
Add variable to var-set. Result is generated
Ddi_VarsetBottom()
Return the bottom variable in the ordering
Ddi_VarsetCopy()
Copy a var-set to another manager
Ddi_VarsetDiffAcc()
Return difference of two var-sets. Result accumulated
Ddi_VarsetDiff()
Return difference of two var-sets. Result generated
Ddi_VarsetDup()
Duplicate a var-set
Ddi_VarsetEqual()
Return true (non 0) if the two var-sets are equal
Ddi_VarsetEvalFree()
Evaluates an expression and frees first argument
Ddi_VarsetIntersectAcc()
Return intersection of two var-sets. Result accumulated
Ddi_VarsetIntersect()
Return intersection of two var-sets. Result generated
Ddi_VarsetIsVoid()
Return true (non 0) if var-set is empty
Ddi_VarsetMakeFromArray()
Build a Ddi_Varset_t from a given variable array.
Ddi_VarsetMakeFromCU()
Build a Ddi_Varset_t from a given CUDD cube.
Ddi_VarsetMakeFromVar()
Build a Ddi_Varset_t from a given variable.
Ddi_VarsetNextAcc()
Remove top variable from var-set. Result accumulated
Ddi_VarsetNext()
Remove top variable from var-set. Result generated
Ddi_VarsetNum()
Return the number of variables in varset
Ddi_VarsetPrint()
Print the varset variables sorted by id
Ddi_VarsetRemoveAcc()
Remove variable from var-set. Result is accumulated
Ddi_VarsetRemove()
Remove variable from var-set. Result is generated
Ddi_VarsetSubstVarsAcc()
Variable substitution in varset. Result accumulated
Ddi_VarsetSubstVars()
Variable substitution in varset. Result generated
Ddi_VarsetSwapVarsAcc()
Swap two sets of variables in varset. Result accumulated
Ddi_VarsetSwapVars()
Swap two sets of variables in varset. Result generated
Ddi_VarsetToCU()
Convert a varset to a Cudd cube
Ddi_VarsetTop()
Return the top variable (in the ordering) in varset
Ddi_VarsetUnionAcc()
Return union of two var-sets. Result accumulated
Ddi_VarsetUnion()
Return union of two var-sets. Result generated
Ddi_VarsetVoid()
Return an empty var-set
Ddi_VarsetWalkCurr()
Return curr var in varset walk
Ddi_VarsetWalkEnd()
test for varset walk end
Ddi_VarsetWalkStart()
Start Varset walk process
Ddi_VarsetWalkStep()
Varset walk process step
Ddi_VarsetarrayAlloc()
Allocate a new array of varsets
Ddi_VarsetarrayClear()
clear array at given position (BDD freed and replaced by NULL)
Ddi_VarsetarrayCopy()
Copy an array of varsets to a destination manager
Ddi_VarsetarrayDup()
Duplicate an array of Varsets
Ddi_VarsetarrayInsertLast()
Insert varset in array at last position
Ddi_VarsetarrayInsert()
Insert varset in array at given position
Ddi_VarsetarrayNum()
Return the number of entries in array
Ddi_VarsetarrayRead()
Read varset at i-th position in array
Ddi_VarsetarrayWrite()
Write varset in array at given position

Last updated on 1010515 11h48