ArrayOpIterate()
Iterate operation on array entries (accumulate mode used)
ArrayResize()
Resize a DDI array
ArraySupp()
Iterate operation on array entries (accumulate mode used)
DdiArrayAlloc()
Allocate a new array
DdiArrayAppend()
Append array2 at the end of array1
DdiArrayCopy()
Copy a BDD array to a destination manager.
DdiArrayDup()
Duplicate an array.
DdiArrayExtract()
Extracts i-th element array
DdiArrayFree()
Frees a DDI array
DdiArrayInsert()
Insert in array at i-th position
DdiArrayNum()
Returns the number of elements of the array
DdiArrayRead()
Reads i-th element array
DdiArrayStore()
Writes array of BDDs in a dump file
DdiArrayToCU()
Generate an array of pointers to CUDD nodes
DdiArrayWrite()
Write in array at i-th position
DdiDeferredFree()
Schedule free of a generic block
DdiGenericAlloc()
Allocate and initialize a new DDI block
DdiGenericBddSize()
Compute BDD size
DdiGenericCopy()
Copy a DDI node to a destination manager
DdiGenericDataCopy()
Copy the content of a DDI node to another one
DdiGenericDup()
Duplicate a DDI node
DdiGenericFree()
Free the content of a generic DDI node
DdiGenericOp()
Compute operation
DdiMetaAndAcc()
Operate And between two Meta BDDs
DdiMetaAndExistAcc()
Operate And-Exist between Meta BDD and monolithic BDD
DdiMetaComposeAcc()
Operate compose
DdiMetaDoCompl()
Complement (not) meta BDD. Result accumulated
DdiMetaDup()
Duplicate meta struct
DdiMetaFree()
Free meta struct and pointed arrays: one, zero and dc.
DdiMetaIsConst()
Return true if meta BDD is constant
DdiMetaOrAcc()
Operate Or between two Meta BDDs
DdiMetaSubstVarsAcc()
Operate variable substitution
DdiMetaSupp()
Return support of Meta BDD
DdiMetaSwapVarsAcc()
Operate variable swap
DdiMgrCheckVararraySize()
make checks and resizes arrays if required
DdiMgrGarbageCollect()
Garbage collect freed nodes (handles) in manager node list
DdiMgrMakeVarGroup()
Create a variable group
DdiMgrReadIntRef()
Read the counter of internal references
DdiTraceNodeAlloc()
Trace allocation of DDI node
DdiVarNewFromCU()
Create a variable
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
GenBddRootsRecur()
Recursive step of root pointers generation
GenBddRoots()
Generate root pointers of leave BDDs for partitioned DDs
GenericDupIntern()
Duplicate a DDI node
GenericFreeIntern()
Frees a generic block
MetaConstrainOpt()
Optimized constrain cofactor.
MetaConvertBdd()
Conversion between BDD and Meta BDD
MetaConvert()
Transform between generic DDI node and Meta BDD. Result accumulated
MetaFromMono()
Transform a BDD to Meta BDD
MetaLinearAndExistAcc()
Operate And-Exist between Meta BDD and conj. part. BDD
MetaReduce()
Apply bottom-up reduction process to meta BDD
MetaSetConj()
Apply top-down reduction of ones to bottom layer
MetaSimplify()
Apply top-down cofactor based simplification
MetaToMono()
Transform a Meta BDD to monolitic BDD
MetaUpdate()
Update Meta handling by calling Init
()
Compute Operation generating a BDD (Ddi_Bdd_t).
()
Compute Operation on all entries of an Array of BDDs.
()
Free DDI node.
()
Lock DDI node.
()
Read handle code.
()
Read name field of DDI node
()
Read the DDI Manager field.
()
Read the name field.
()
Set name field of DDI node
()
Unlock DDI node.

Last updated on 1010515 11h48