-
DdArrayResize()
- Resize a BDD array
-
DdiDdOp()
- Computes an operation on Boolean functions
-
DdiMgrCheckVarArraySize()
- make checks and resizes arrays if required
-
DdiVarArrayReadData()
- Returns the data field of an array of variables
-
Ddi_BddArrayOperation()
-
-
Ddi_BddOperation()
-
-
Ddi_DdAddCpart()
- Adds conjoined partition
-
Ddi_DdAddDpart()
- Adds disjoined partition
-
Ddi_DdAndExist()
- Computes the AND-Abstract of two BDDs
-
Ddi_DdAnd()
- Computes the AND of two BDDs
-
Ddi_DdArrayAlloc()
- Allocates a new array of BDDs
-
Ddi_DdArrayAndIthToN()
- From the i0-th to last BDD in the array , computes AND
-
Ddi_DdArrayAnd()
- For each BDD in the array , computes AND
-
Ddi_DdArrayAppend()
- Appends array2 at the end of array1
-
Ddi_DdArrayConstrainIthToN()
- From the i0-th to last BDD in the array , take the constrain
-
Ddi_DdArrayConstrain()
- For each BDDs in the array takes the constrain
-
Ddi_DdArrayCopy()
- Copy a BDD array to a destination manager.
-
Ddi_DdArrayDup()
- Duplicates a BDD array.
-
Ddi_DdArrayExistIthToN()
- From the i0-th to last BDD in the array , applies Exist
-
Ddi_DdArrayExist()
- For each BDD in the array , applies Exist
-
Ddi_DdArrayExtract()
- Extracts an element of the array
-
Ddi_DdArrayFetchLast()
- Returns the last element of the array
-
Ddi_DdArrayFetch()
- Returns an element of the array
-
Ddi_DdArrayFree()
- Frees an array of BDDs
-
Ddi_DdArrayFromCU()
- Converts Ddi_DdArray_t * into an array of Ddi_Dd_t **
-
Ddi_DdArrayInclude()
- Includes a BDD into an array at the i-th position.
-
Ddi_DdArrayInsertLast()
- Inserts an element at the end of array
-
Ddi_DdArrayInsert()
- Inserts a BDD in the array
-
Ddi_DdArrayJoin()
- Joins two arrays
-
Ddi_DdArrayLoad()
- Reads array of BDDs from a dump file
-
Ddi_DdArrayOrDdArray()
- Computes OR among two BDDs
-
Ddi_DdArrayPrintStats()
- Prints Statistics of a BDD
-
Ddi_DdArrayPrint()
- prints the BDDs'array
-
Ddi_DdArrayReadData()
- Converts Ddi_DdArray_t * into an array of Ddi_Dd_t **
-
Ddi_DdArrayRestrictIthToN()
- From the i0-th to last BDD in the array , take the restrict
-
Ddi_DdArrayRestrict()
- For each BDDs in the array takes the restrict
-
Ddi_DdArraySize()
- Returns the numbers of nodes in a BDDs'array
-
Ddi_DdArrayStore()
- Writes array of BDDs in a dump file
-
Ddi_DdArraySupportArray()
- Returns a vector of supports of BDDs'array
-
Ddi_DdArraySupportIthToN()
- Returns the support of BDDs'array from i0-th to last element
-
Ddi_DdArraySupport()
- Returns the support of BDDs'array
-
Ddi_DdArrayToCU()
- Converts Ddi_DdArray_t * into an array of Ddi_Dd_t **
-
Ddi_DdArray_n()
- Returns the number of elements of the array
-
Ddi_DdComplLiteral()
- Returns a complemented literal from a variable
-
Ddi_DdConstrain()
- Computes the constrain cofactor between F and C
-
Ddi_DdCopyWithAuxMgr()
- Copies a BDD to a destination dd manager using a third manager
-
Ddi_DdCopy()
- Copies a BDD to a destination dd manager
-
Ddi_DdCreateFromCU()
- Builds a Ddi_Dd_t from a given CUDD node.
-
Ddi_DdDenseSet()
- Computes the Dense Super or Subset of a Boolean functions
-
Ddi_DdDup()
- Duplicates a BDD
-
Ddi_DdEqual()
- The function returns 1 if the two DDs are equal
-
Ddi_DdEvalFree()
- Evaluates an expression and frees a function
-
Ddi_DdExist()
- Computes the existential abstraction of a BDD with respect to
a support
-
Ddi_DdFree()
- Frees a BDD by De-referencing it
-
Ddi_DdIsOne()
- The function returns 1 if the DD f is the one constant.
-
Ddi_DdIsZero()
- The function returns 1 if the DD f is the zero constant.
-
Ddi_DdIte()
- ITE operator
-
Ddi_DdLiteral()
- Returns a literal from a variable
-
Ddi_DdLoad()
- Loads BDD from file
-
Ddi_DdNewVarAtLevel()
- Returns a new variable at a given level in the order
-
Ddi_DdNewVar()
- Returns a new variable
-
Ddi_DdNodeClearVisited()
- Clears visited flag
-
Ddi_DdNodeElse()
- Returns Else branch of f (complemented if f compl.
-
Ddi_DdNodeFromCU()
- Converts a Cudd node into a Dd node
-
Ddi_DdNodeIsVisited()
- Returns true if node is visited
-
Ddi_DdNodeReadIndex()
- Returns variable index of f
-
Ddi_DdNodeSetVisited()
- Marks a node as visited
-
Ddi_DdNodeThen()
- Returns Then branch of f (complemented if f compl.
-
Ddi_DdNodeToCU()
- Converts into a Cudd node
-
Ddi_DdNot()
- Returns the complement of a function
-
Ddi_DdOr()
- Computes the OR of two BDDs
-
Ddi_DdPart2Mono()
- Creates a monolithic BDD from a partitioned one
-
Ddi_DdPartFromArray()
- Builds a partitioned function
-
Ddi_DdPrintStats()
- Prints Statistics of a BDD
-
Ddi_DdPrint()
- Prints a BDD
-
Ddi_DdReadCode()
- Reads the code.
-
Ddi_DdReadIthPart()
- Reads the i-th partition of the boolean function f.
-
Ddi_DdReadMgr()
- Reads the DD Manager of the boolean function f.
-
Ddi_DdReadPartNum()
- Reads the number of partitions of the boolean function f.
-
Ddi_DdReadPart()
- Reads the array of partitions of the boolean function f.
-
Ddi_DdRemPart()
- Removes a partition
-
Ddi_DdReplaceIthPart()
- Replaces i-th partition with a new one
-
Ddi_DdRestrict()
- Computes the restrict cofactor between F and C
-
Ddi_DdRootNode()
- Returns the root node of the BDD
-
Ddi_DdSetCode()
- Sets the code of the boolean function.
-
Ddi_DdSetMgr()
- Sets the DD Manager of the boolean function f.
-
Ddi_DdSetPart()
- Sets the array of partitions of the boolean function f.
-
Ddi_DdSize()
- Gets the size of a BDD
-
Ddi_DdStore()
- Stores BDD on file
-
Ddi_DdSupportPrint()
- Prints the support of a BDD
-
Ddi_DdSupport()
- Returns the support of BDD
-
Ddi_DdSwapVariablesWithAuxMgr()
- Copies a BDD to a destination dd manager using a third manager
-
Ddi_DdSwapVariables()
- Swaps two sets of variables in a function
-
Ddi_DdToCU()
- Converts a DD into the correspondent Cudd Node
-
Ddi_DdTopvarIndex()
- Returns the variable index
-
Ddi_DdXnor()
- Computes the XNOR of two BDDs
-
Ddi_DdXor()
- Computes the XOR of two BDDs
-
Ddi_DdiMgrQuit()
- Closes a DdManager.
-
Ddi_DenseMethodEnum2String()
- Given an Enumerated type Returns a string
-
Ddi_DenseMethodString2Enum()
- Given a string it Returns an Enumerated type
-
Ddi_IthVar()
- Returns the variable of a given index
-
Ddi_MgrAlign()
- Aligns the order of two managers.
-
Ddi_MgrAutodynResume()
- Resume autodyn if suspended.
-
Ddi_MgrAutodynSuspend()
- Suspend autodyn if active.
-
Ddi_MgrCreateGroups2()
- Create groups of 2 variables
-
Ddi_MgrDup()
- Creates a copy of a DdManager.
-
Ddi_MgrInit()
- Creates a DdManager.
-
Ddi_MgrOperation()
-
-
Ddi_MgrPrintStats()
- Prints on standard outputs statistics on a DD manager
-
Ddi_MgrReadDdNum()
- Reads the counter of Dd Handles
-
Ddi_MgrReadDynordThresh()
- Returns the threshold for the next dynamic reordering.
-
Ddi_MgrReadMgrCU()
- Reads the Cudd Manager
-
Ddi_MgrReadOne()
- Reads one constant
-
Ddi_MgrReadOrdNamesAuxids()
- Reads the variable ordering
-
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_MgrSetMgrCU()
- Sets the CUDD manager
-
Ddi_MgrSetOne()
- Sets the one constant
-
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_MgrWriteOrd()
- Stores the variable ordering
-
Ddi_MulvarInterleave()
- generates a common ordering given 2 input BDDs
-
Ddi_PrintDdArray()
- Prints the size of each function in a DdArray
-
Ddi_PrintVarArray()
- Prints the indices of a VarArray
-
Ddi_PrintVersion()
- Returns the version of CUDD package
-
Ddi_ProfileHeuristicEnum2String()
- Given an Enumerated type Returns a string
-
Ddi_ProfileHeuristicString2Enum()
- Given a string it Returns an Enumerated type
-
Ddi_ProfileInfoFree()
-
-
Ddi_ProfileInfoInit()
-
-
Ddi_ProfileInfoPrint()
-
-
Ddi_PruneProfiled()
-
-
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_VarArrayAlloc()
- Allocates a new array of variables of length "size"
-
Ddi_VarArrayAppend()
- Appends the elements of array2 at the end of array1
-
Ddi_VarArrayCopy()
- Duplicates an array of variables
-
Ddi_VarArrayDup()
- Duplicates an array of variables
-
Ddi_VarArrayFetch()
- Returns a variable of the array at the i-th position
-
Ddi_VarArrayFree()
- Frees an array of variables
-
Ddi_VarArrayFromCU()
- Generates a variable array from CU vars
-
Ddi_VarArrayIndex()
- Returns the index of the i-th element of the array
-
Ddi_VarArrayInsert()
- Inserts a variable into an array at a given position
-
Ddi_VarArrayJoin()
- Joins two arrays, returning a new array
-
Ddi_VarArrayToCU()
- Duplicates the data field of an array of variables
-
Ddi_VarArrayToInt()
- Returns the indices of variables
-
Ddi_VarArrayToVarSet()
- Converts an array of variables into a set of variables
-
Ddi_VarArray_n()
- Returns the number of elements in a variable array
-
Ddi_VarAuxid2Id()
- Returns the variable index given the auxid
-
Ddi_VarAuxid()
- Returns the variable auxid
-
Ddi_VarCopy()
- Copies a variable to a destination dd manager
-
Ddi_VarCurrPos()
- Returns the current position of the variable in the order
-
Ddi_VarFromCU()
- Converts a Cudd node into a variable
-
Ddi_VarId2Auxid()
- Returns the variable auxid given the index
-
Ddi_VarId2Name()
- Returns the variable name given the index
-
Ddi_VarIndex()
- Returns the variable index
-
Ddi_VarMakeGroup()
- Create a variable group
-
Ddi_VarName2Id()
- Returns the variable index given the name
-
Ddi_VarName()
- Returns the variable name given the index
-
Ddi_VarSetAdd()
- Adds a variable to the var-set
-
Ddi_VarSetAuxid()
- Returns the variable name given the index
-
Ddi_VarSetBottom()
- Returns the bottom variable in the ordering
-
Ddi_VarSetCopy()
- Copies a var-set to another manager
-
Ddi_VarSetDifference()
- Computes the difference of two var-sets
-
Ddi_VarSetDup()
- Copies a var-set into another one
-
Ddi_VarSetEqual()
- The function returns 1 if the two var-sets are equal
-
Ddi_VarSetEvalFree()
- Evaluates an expression and frees first argument
-
Ddi_VarSetFree()
- Frees a var-set, dereferencing all BDD nodes
-
Ddi_VarSetIntersect()
- Computes the intersection of two var-sets
-
Ddi_VarSetIsVoid()
- The function returns 1 if the var-set is empty
-
Ddi_VarSetName()
- Returns the variable name given the index
-
Ddi_VarSetNext()
- The function returns a var-set excluding the top variable
-
Ddi_VarSetPrint()
- Prints the varset
-
Ddi_VarSetRemove()
- Removes a variable from the var-set
-
Ddi_VarSetSwapVariables()
- Swaps two sets of variables in a varset
-
Ddi_VarSetToCU()
- Converts a varset into the correspondent Cudd Node
-
Ddi_VarSetTop()
- Returns the top variable in the ordering
-
Ddi_VarSetUnion()
- Computes the union of two var-sets
-
Ddi_VarSetVoid()
- Returns an empty var-set
-
Ddi_VarSet_n()
- Returns the number of variables in the varset
-
Ddi_VarSubst()
- The function does a substitution of variables of a BDD
-
Ddi_VarToCU()
- Converts a variable into a Cudd node
-
GenPartDdRootsRecur()
- Generates root pointers for partitioned DDs (recursive)
-
GenPartDdRoots()
- Generates root pointers for partitioned DDs
-
VarArrayResize()
- Resizes an array
Last updated on 990617 11h53