Ddi_Bdd_t * Part_BddDisjSuppPart( Ddi_Bdd_t * f, a BDD Ddi_Bdd_t * TR, a Clustered Transition Relation Ddi_Vararray_t * psv, array of present state variables Ddi_Vararray_t * nsv, array of next state variables int verbosity level of verbosity )
Ddi_Bdd_t * Part_BddMultiwayLinearAndExist( Ddi_Bdd_t * FPart, Input partitioned function Ddi_Varset_t * smoothV, Var Set int threshold Size threshold for result factor )
int Part_EstimateCofactorComplex( Ddi_Bdd_t * f, Input BDD Ddi_Bdd_t * topVar Top Variable )
partEstimateCofactor
int Part_EstimateCofactorFast( Ddi_Bdd_t * f, int LeftRight, Ddi_Varset_t * supp, int suppSize, int * totalArray, int * thenArray, int * elseArray )
int Part_EstimateCofactorFreeOrder( Ddi_Bdd_t * f, Input BDD Ddi_Bdd_t * topVar, Top Variable Ddi_Varset_t * supp, int * vet )
int Part_EstimateCofactor( Ddi_Bdd_t * f, Input BDD Ddi_Bdd_t * topVar Top Variable )
partEstimateCofactor
char * Part_MethodEnum2String( Part_Method_e enumType )
Part_MethodString2Enum
Part_Method_e Part_MethodString2Enum( char * string String to Analyze )
Part_MethodEnum2String
Ddi_Bdd_t * Part_PartitionDisjSet( Ddi_Bdd_t * f, Input BDD Ddi_Varset_t * careVars, Set of Vars Part_Method_e partitionMethod, Partition Method int threshold, Threshold Size Pdtutil_VerbLevel_e verbosity Verbosity Level )
Trav_Traversal
partPartitionDisjSet
Ddi_Bdd_t * Part_PartitionSetCudd( Ddi_Bdd_t * f, Input BDD Part_Method_e partitionMethod, Partition Method int threshold, Threshold Size Pdtutil_VerbLevel_e verbosity Verbosity Level )
Ddi_Bdd_t * Part_PartitionSetInterface( Ddi_Bdd_t * f, Input BDD Ddi_Varset_t * careVars, Set of Vars Part_Method_e partitionMethod, Partition Method int threshold, Threshold Size Pdtutil_VerbLevel_e verbosity Verbosity Level )
Trav_Traversal
partPartitionDisjSet