-
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