-
Part_DdArrayMultiwayLinearAndExist()
- Computes the product of function and take existential
abstraction
-
Part_DdDisjSuppPart()
-
-
Part_DdMultiwayLinearAndExist()
- Compute the multiway and-exist over a conjunctively partitioned
function
-
Part_EstimateCofactorComplex()
- Counts the number of nodes of the cofactors:
Fabio Somenzi Private Commnunication Solution.
-
Part_EstimateCofactorFast()
- Count the number of nodes of the cofactors using the fast
heuristic (TCAD'99)
-
Part_EstimateCofactorFreeOrder()
- Count the number of nodes of the cofactors using the Free
Order heuristic (TCAD'99).
-
Part_EstimateCofactor()
- Counts the number of nodes of the cofactors:
Stefano Quer solution.
-
Part_MethodEnum2String()
- Given an Enumerated type Returns a string.
-
Part_MethodString2Enum()
- Given a string it Returns an Enumerated type
-
Part_PartitionDisjSet()
- Partition a state set
-
Part_PartitionSetCudd()
- Partition a state set
-
Part_PartitionSetInterface()
- Interface Routine to Partition a state set
-
comparisonRoutine()
- Comparison between cofactor, stq, fs solution
-
ddFlagClear()
- Performs a DFS from f, clearing the LSB of the next
pointers.
-
estimateCofactorComplex()
- Calls function for to count the number of nodes of the
cofactors: Fabio Somenzi Private Communication Solution
-
estimateCofactorFreeOrder()
- Calls function for to count the number of nodes of the
cofactors: Free BDD Solution
-
estimateCofactor()
- Calls function for to count the number of nodes of the
cofactors: ICCAD'96 original solution
-
estimateCostFreeOrder()
- Select the best splitting variable
-
estimateCost()
- Evaluating estimateCost of splitting choice
-
exactCofactor()
- Counts the number of nodes of the cofactors
-
partEstimateCofactorComplex()
- Performs the recursive step of Part_EstimateCofactor
-
partEstimateCofactorFast()
- Performs the recursive step of fsCntNodesVar
-
partEstimateCofactorFreeOrder()
- Performs the recursive step of fsCntNodesVar
-
partEstimateCofactor()
- Performs the recursive step of Part_EstimateCofactor
-
partPartitionCudd()
- Direct call to cudd partitioning functions.
-
partPartitionDisjSet()
- Splitting a set
-
varSelectionFast()
- Call function for to count the number of nodes of the
cofactors: TCAD'99 fast solution
-
varSelectionManual()
- Manual selection of best splitting variable
-
varSelection()
- Selects the best splitting variable
Last updated on 990617 11h53