    CUDD_VALUE_TYPE *þvalueþ(

    )

    CUDD_VALUE_TYPE *þvalueþ(

    )

    CUDD_VALUE_TYPE þcþ(

    )

    CUDD_VALUE_TYPE þepþ(

    )

    CUDD_VALUE_TYPE þupperþ(

    )

    CUDD_VALUE_TYPE þvalueþ(

    )

    CUDD_VALUE_TYPE þvalueþ(

    )

    Cudd_AggregationType þgcþ(

    )

    Cudd_HookType þwhereþ(

    )

    Cudd_HookType þwhereþ(

    )

    Cudd_HookType þwhereþ(

    )

    Cudd_ReorderingType *þmethodþ(

    )

    Cudd_ReorderingType *þmethodþ(

    )

    Cudd_ReorderingType þmethodþ(

    )

    Cudd_ReorderingType þmethodþ(

    )

    DD_PRFP þPifuncþfunction used to build Pi if it is NULL(

    )

    DdApaDigit þliteralþ(

    )

    DdApaNumber þbþ(

    )

    DdApaNumber þdestþ(

    )

    DdApaNumber þdiffþ(

    )

    DdApaNumber þnumberþ(

    )

    DdApaNumber þnumberþ(

    )

    DdApaNumber þquotientþ(

    )

    DdApaNumber þquotientþ(

    )

    DdApaNumber þsecondþ(

    )

    DdApaNumber þsumþ(

    )

    DdGen *þgenþ(

    )

    DdGen *þgenþ(

    )

    DdManager *þddþ(

    )

    DdManager *þddþ(

    )

    DdManager *þddþ(

    )

    DdManager *þddþ(

    )

    DdManager *þddþ(

    )

    DdManager *þddþ(

    )

    DdManager *þddþ(

    )

    DdManager *þddþ(

    )

    DdManager *þddþ(

    )

    DdManager *þddþ(

    )

    DdManager *þddþ(

    )

    DdManager *þddþ(

    )

    DdManager *þddþ(

    )

    DdManager *þddþ(

    )

    DdManager *þddþ(

    )

    DdManager *þddþ(

    )

    DdManager *þddþ(

    )

    DdManager *þddþ(

    )

    DdManager *þddþ(

    )

    DdManager *þddþ(

    )

    DdManager *þddþ(

    )

    DdManager *þddþ(

    )

    DdManager *þddþ(

    )

    DdManager *þddþ(

    )

    DdManager *þddþ(

    )

    DdManager *þddþ(

    )

    DdManager *þddþ(

    )

    DdManager *þddþ(

    )

    DdManager *þddþ(

    )

    DdManager *þddþ(

    )

    DdManager *þddþ(

    )

    DdManager *þddþ(

    )

    DdManager *þddþ(

    )

    DdManager *þddþ(

    )

    DdManager *þddþ(

    )

    DdManager *þddþ(

    )

    DdManager *þddþ(

    )

    DdManager *þddþ(

    )

    DdManager *þddþ(

    )

    DdManager *þddþ(

    )

    DdManager *þddþ(

    )

    DdManager *þddþ(

    )

    DdManager *þddþ(

    )

    DdManager *þddþ(

    )

    DdManager *þddþ(

    )

    DdManager *þddþ(

    )

    DdManager *þddþ(

    )

    DdManager *þddþ(

    )

    DdManager *þddþ(

    )

    DdManager *þddþ(

    )

    DdManager *þddþ(

    )

    DdManager *þddþ(

    )

    DdManager *þddþ(

    )

    DdManager *þddþ(

    )

    DdManager *þddþ(

    )

    DdManager *þddþ(

    )

    DdManager *þddþ(

    )

    DdManager *þddþ(

    )

    DdManager *þddþ(

    )

    DdManager *þddþ(

    )

    DdManager *þddþ(

    )

    DdManager *þddþ(

    )

    DdManager *þddþ(

    )

    DdManager *þddþ(

    )

    DdManager *þddþ(

    )

    DdManager *þddþ(

    )

    DdManager *þddþ(

    )

    DdManager *þddþ(

    )

    DdManager *þddþ(

    )

    DdManager *þddþ(

    )

    DdManager *þddþ(

    )

    DdManager *þddþ(

    )

    DdManager *þddþ(

    )

    DdManager *þddþ(

    )

    DdManager *þddþ(

    )

    DdManager *þddþ(

    )

    DdManager *þddþ(

    )

    DdManager *þmanagerþ(

    )

    DdManager *þtableþ(

    )

    DdManager *þtableþ(

    )

    DdManager *þtableþ(

    )

    DdManager *þtableþ(

    )

    DdManager *þuniqueþ(

    )

    DdManager *þuniqueþ(

    )

    DdManager *þuniqueþ(

    )

    DdManager *þuniqueþ(

    )

    DdManager *þuniqueþ(

    )

    DdManager *þuniqueþ(

    )

    DdManager *þuniqueþ(

    )

    DdManager *þuniqueþ(

    )

    DdManager *þuniqueþ(

    )

    DdManager *þuniqueþ(

    )

    DdManager *þuniqueþ(

    )

    DdManager *þuniqueþ(

    )

    DdManager *þuniqueþ(

    )

    DdManager *þuniqueþ(

    )

    DdManager *þuniqueþ(

    )

    DdManager *þuniqueþ(

    )

    DdNode ***þconjunctsþaddress of the array of conjuncts(

    )

    DdNode ***þconjunctsþaddress of the array of conjuncts(

    )

    DdNode ***þconjunctsþaddress of the array of conjuncts(

    )

    DdNode ***þconjunctsþaddress of the first factor(

    )

    DdNode ***þdisjunctsþaddress of the array of the disjuncts(

    )

    DdNode ***þdisjunctsþaddress of the array of the disjuncts(

    )

    DdNode ***þdisjunctsþaddress of the array of the disjuncts(

    )

    DdNode ***þdisjunctsþaddress of the array of the disjuncts(

    )

    DdNode **þgþ(

    )

    DdNode **þgþ(

    )

    DdNode **þgþ(

    )

    DdNode **þgþ(

    )

    DdNode **þgþ(

    )

    DdNode **þgþ(

    )

    DdNode **þgþ(

    )

    DdNode **þgþ(

    )

    DdNode **þgþ(

    )

    DdNode **þgþ(

    )

    DdNode **þgþ(

    )

    DdNode **þgþ(

    )

    DdNode **þgþ(

    )

    DdNode **þgþ(

    )

    DdNode **þgþ(

    )

    DdNode **þgþ(

    )

    DdNode **þnodeþ(

    )

    DdNode **þnodeþ(

    )

    DdNode **þonlyGþcube of variables only in g(

    )

    DdNode **þvectorOffþ(

    )

    DdNode **þvectorþ(

    )

    DdNode **þvectorþ(

    )

    DdNode **þvectorþ(

    )

    DdNode **þyþarray of y variables(

    )

    DdNode **þyþarray of y variables(

    )

    DdNode **þyþarray of y variables(

    )

    DdNode **þyþarray of y variables(

    )

    DdNode **þyþarray of y variables(

    )

    DdNode **þzdd_Iþ(

    )

    DdNode **þzþarray of z variables(

    )

    DdNode **þzþarray of z variables(

    )

    DdNode *þBþ(

    )

    DdNode *þBþ(

    )

    DdNode *þDþ(

    )

    DdNode *þDþ(

    )

    DdNode *þPþ(

    )

    DdNode *þPþ(

    )

    DdNode *þQþ(

    )

    DdNode *þQþ(

    )

    DdNode *þQþ(

    )

    DdNode *þQþ(

    )

    DdNode *þUþ(

    )

    DdNode *þYþ(

    )

    DdNode *þbckþ(

    )

    DdNode *þcubeþ(

    )

    DdNode *þcubeþ(

    )

    DdNode *þcubeþ(

    )

    DdNode *þcubeþ(

    )

    DdNode *þcubeþ(

    )

    DdNode *þcubeþ(

    )

    DdNode *þcubeþ(

    )

    DdNode *þcþ(

    )

    DdNode *þcþ(

    )

    DdNode *þcþ(

    )

    DdNode *þcþ(

    )

    DdNode *þcþ(

    )

    DdNode *þcþ(

    )

    DdNode *þcþconstraint (care set)(

    )

    DdNode *þepsilonþ(

    )

    DdNode *þfþ(

    )

    DdNode *þfþ(

    )

    DdNode *þfþ(

    )

    DdNode *þfþ(

    )

    DdNode *þfþ(

    )

    DdNode *þfþ(

    )

    DdNode *þfþ(

    )

    DdNode *þfþ(

    )

    DdNode *þfþ(

    )

    DdNode *þfþ(

    )

    DdNode *þfþ(

    )

    DdNode *þfþ(

    )

    DdNode *þfþ(

    )

    DdNode *þfþ(

    )

    DdNode *þfþDD whose support is sought(

    )

    DdNode *þfþDD whose support is sought(

    )

    DdNode *þfþDD whose support size is sought(

    )

    DdNode *þfþZDD whose support is sought(

    )

    DdNode *þfþfunction against which to expand(

    )

    DdNode *þfþfunction in which to remap variables(

    )

    DdNode *þfþfunction of which the cube is to be made a prime(

    )

    DdNode *þgþ(

    )

    DdNode *þgþ(

    )

    DdNode *þgþ(

    )

    DdNode *þgþ(

    )

    DdNode *þgþ(

    )

    DdNode *þgþ(

    )

    DdNode *þgþ(

    )

    DdNode *þgþ(

    )

    DdNode *þgþ(

    )

    DdNode *þgþ(

    )

    DdNode *þgþ(

    )

    DdNode *þgþ(

    )

    DdNode *þgþ(

    )

    DdNode *þgþ(

    )

    DdNode *þgþ(

    )

    DdNode *þgþ(

    )

    DdNode *þgþ(

    )

    DdNode *þgþ(

    )

    DdNode *þgþ(

    )

    DdNode *þgþ(

    )

    DdNode *þgþ(

    )

    DdNode *þgþsecond operand(

    )

    DdNode *þhþ(

    )

    DdNode *þhþ(

    )

    DdNode *þhþ(

    )

    DdNode *þhþ(

    )

    DdNode *þhþ(

    )

    DdNode *þnodeþ(

    )

    DdNode *þnodeþ(

    )

    DdNode *þnodeþ(

    )

    DdNode *þnodeþ(

    )

    DdNode *þnodeþ(

    )

    DdNode *þnodeþ(

    )

    DdNode *þnodeþ(

    )

    DdNode *þnodeþ(

    )

    DdNode *þnodeþ(

    )

    DdNode *þnodeþ(

    )

    DdNode *þnodeþ(

    )

    DdNode *þnodeþ(

    )

    DdNode *þnþ(

    )

    DdNode *þnþ(

    )

    DdNode *þnþ(

    )

    DdNode *þnþ(

    )

    DdNode *þnþ(

    )

    DdNode *þp_nodeþ(

    )

    DdNode *þphaseBddþcube of the phases(

    )

    DdNode *þuþ(

    )

    DdNode *þuþupper bound(

    )

    DdNode *þvarþvariable(

    )

    DdTlcInfo *þtþ(

    )

    EpDouble *þepdþ(

    )

    FILE *þfpþ(

    )

    FILE *þfpþ(

    )

    FILE *þfpþ(

    )

    FILE *þfpþ(

    )

    FILE *þfpþ(

    )

    FILE *þfpþpointer to the dump file(

    )

    FILE *þfpþpointer to the dump file(

    )

    FILE *þfpþpointer to the dump file(

    )

    FILE *þfpþpointer to the dump file(

    )

    FILE *þfpþpointer to the dump file(

    )

    MtrNode *þtreeþ(

    )

    MtrNode *þtreeþ(

    )

    char *þstringþ(

    )

    char *þstrþpointer to string to use if != NULL(

    )

    double *þprobþ(

    )

    double þmgþ(

    )

    double þmgþ(

    )

    double þmþ(

    )

    double þquality0þminimum improvement for accepted changes when b=0(

    )

    double þquality0þminimum improvement for accepted changes when b=0(

    )

    double þqualityþminimum improvement for accepted changes(

    )

    double þqualityþminimum improvement for accepted changes(

    )

    double þqualityþminimum improvement for accepted changes(

    )

    double þqualityþminimum improvement for accepted changes(

    )

    int **þcubeþ(

    )

    int **þcubeþ(

    )

    int **þindicesþarray containing (on return) the indices(

    )

    int **þindicesþarray containing (on return) the indices(

    )

    int **þpathþ(

    )

    int **þpathþ(

    )

    int *þarrayþ(

    )

    int *þarrayþ(

    )

    int *þdigitsþ(

    )

    int *þdistanceþ(

    )

    int *þinputsþ(

    )

    int *þlengthþ(

    )

    int *þlengthþ(

    )

    int *þpermutationþrequired variable permutation(

    )

    int *þpermutationþrequired variable permutation(

    )

    int *þpermutþ(

    )

    int *þpermutþ(

    )

    int *þphase2þ(

    )

    int *þweightþ(

    )

    int þNþ(

    )

    int þamountþ(

    )

    int þarcviolationþ(

    )

    int þbinaryDigitsþ(

    )

    int þbitþ(

    )

    int þbitþ(

    )

    int þcycleþ(

    )

    int þdigitsþ(

    )

    int þdirectionþunder (0) or over (1) approximation(

    )

    int þdirectionþunder (0) or over (1) approximation(

    )

    int þhardlimitþflag: 1 if threshold is a hard limit(

    )

    int þhardlimitþflag: 1 if threshold is a hard limit(

    )

    int þindexþ(

    )

    int þindexþ(

    )

    int þindexþ(

    )

    int þindexþ(

    )

    int þindexþ(

    )

    int þindexþ(

    )

    int þindexþ(

    )

    int þindexþ(

    )

    int þindexþ(

    )

    int þindexþ(

    )

    int þindexþvariable index(

    )

    int þindexþvariable index(

    )

    int þindexþvariable index(

    )

    int þindexþvariable index(

    )

    int þindexþvariable index(

    )

    int þindexþvariable index(

    )

    int þindexþvariable index(

    )

    int þiþ(

    )

    int þiþ(

    )

    int þiþ(

    )

    int þiþ(

    )

    int þiþ(

    )

    int þiþ(

    )

    int þiþ(

    )

    int þiþ(

    )

    int þiþ(

    )

    int þiþ(

    )

    int þiþ(

    )

    int þiþ(

    )

    int þkþnumber of minterms to find(

    )

    int þlevelþ(

    )

    int þlevelþ(

    )

    int þminsizeþbound below which no reordering occurs(

    )

    int þminsizeþbound below which no reordering occurs(

    )

    int þmultiplicityþhow many ZDD variables are created for each BDD variable(

    )

    int þmvarsþsize of maskVars(

    )

    int þmvþ0: blif, 1: blif-MV(

    )

    int þmvþ0: blif, 1: blif-MV(

    )

    int þnVarsþ(

    )

    int þnumberXoversþ(

    )

    int þnvarsþ(

    )

    int þnvarsþ(

    )

    int þnvarsþ(

    )

    int þnvarsþsize of the support of f(

    )

    int þnzþ(

    )

    int þnzþ(

    )

    int þnzþ(

    )

    int þnþ(

    )

    int þnþ(

    )

    int þnþ(

    )

    int þnþ(

    )

    int þnþ(

    )

    int þnþ(

    )

    int þnþ(

    )

    int þnþ(

    )

    int þnþlength of both arrays(

    )

    int þnþnumbers of unknowns(

    )

    int þnþnumbers of unknowns(

    )

    int þnþsize of vars(

    )

    int þnþsize of the array(

    )

    int þnþsize of the array(

    )

    int þnþsize of the array(

    )

    int þpairIndexþcorresponding variable index(

    )

    int þpathþ(

    )

    int þphaseþ(

    )

    int þphaseþ1: positive; 0: negative(

    )

    int þpopulationSizeþ(

    )

    int þpowerþ(

    )

    int þprecisionþ(

    )

    int þprecisionþ(

    )

    int þprþ(

    )

    int þprþ(

    )

    int þprþverbosity level(

    )

    int þprþverbosity level(

    )

    int þrecombþ(

    )

    int þsmsþ(

    )

    int þsmvþ(

    )

    int þsymmviolationþ(

    )

    int þsyþstep of column variables(

    )

    int þsyþstep of column variables(

    )

    int þthresholdþmaximum number of nodes in the subset(

    )

    int þthresholdþmaximum number of nodes in the subset(

    )

    int þthresholdþmaximum number of nodes in the superset(

    )

    int þthresholdþmaximum number of nodes in the superset(

    )

    int þtopþindex of top variable(

    )

    int þupperBoundþdistance above which an approximate answer is OK(

    )

    int þupperþ(

    )

    int þupperþ(

    )

    int þvarþ(

    )

    int þvarþ(

    )

    int þvarþ(

    )

    int þvþ(

    )

    int þvþ(

    )

    int þxþ(

    )

    int þyþcolumn index(

    )

    long þseedþ(

    )

    long þsizeþsize of the allocation that failed(

    )

    unsigned int þfactorþ(

    )

    unsigned int þhrþ(

    )

    unsigned int þlimitþ(

    )

    unsigned int þlimitþ(

    )

    unsigned int þlimitþ(

    )

    unsigned int þlimitþ(

    )

    unsigned int þlimitþ(

    )

    unsigned int þlimitþ(

    )

    unsigned int þlutþ(

    )

    unsigned int þmaxLiveþ(

    )

    unsigned int þmcþ(

    )

    unsigned int þmrþ(

    )

    unsigned int þnextþ(

    )

    unsigned int þpþ(

    )

    unsigned int þsecondDenþ(

    )

    unsigned int þtypeþMTR_DEFAULT or MTR_FIXED(

    )

    unsigned int þtypeþMTR_DEFAULT or MTR_FIXED(

    )

    unsigned int þupperBþupper bound(

    )

    unsigned long þincreaseþ(

    )

    unsigned long þmaxMemoryþ(

    )

    unsigned long þmaxMemoryþtarget maximum memory occupation(

    )

    unsigned long þstþ(

    )

    unsigned long þtlþ(

    )

    void *þdataþ(

    )

    void *þdataþ(

    )

    void *þdataþ(

    )

    þþ(

    )

Last updated on 20120204 17h33