-
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