Searched refs:TempComb (Results 1 – 1 of 1) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/extrab/ |
| H A D | extraBddMisc.c | 2486 DdNode *Result, *TempComb, *Aux; in Extra_zddRandomSet() local
2520 TempComb = Extra_zddCombination( dd, VarValues, n ); in Extra_zddRandomSet()
2521 Cudd_Ref( TempComb ); in Extra_zddRandomSet()
2527 Aux = Cudd_zddDiff( dd, Result, TempComb ); in Extra_zddRandomSet()
2532 Cudd_RecursiveDerefZdd( dd, TempComb ); in Extra_zddRandomSet()
2542 Result = Cudd_zddUnion( dd, Aux = Result, TempComb ); in Extra_zddRandomSet()
2545 Cudd_RecursiveDerefZdd( dd, TempComb ); in Extra_zddRandomSet()
|