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

Last updated on 990617 11h53