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