Searched defs:autoDynZ (Results 1 – 10 of 10) sorted by relevance
106 int autoDynZ; in Extra_zddSubSet() local139 int autoDynZ; in Extra_zddSupSet() local171 int autoDynZ; in Extra_zddNotSubSet() local204 int autoDynZ; in Extra_zddNotSupSet() local238 int autoDynZ; in Extra_zddMaxNotSupSet() local
494 int autoDynZ; in Extra_zddTuplesFromBdd() local
139 <li> Sift the variable up and down and applies the XOR transformation, in Cudd_zddIsop()
423 int autoDynZ; /* automatic dynamic reordering flag (ZDD) */ in PBORI_PREFIX() local
118 int autoDynZ; in Cudd_zddIsop() local
477 int autoDynZ; /**< automatic dynamic reordering flag (ZDD) */ member
139 int autoDynZ; in Cudd_zddIsop() local
143 int autoDynZ; in Cudd_zddIsop() local
417 int autoDynZ; /* automatic dynamic reordering flag (ZDD) */ member