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

Last updated on 990617 11h53