Part_BddDisjSuppPart()
Part_BddMultiwayLinearAndExist()
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

Last updated on 1010515 11h48