Lines Matching refs:pairs
543 bddPair *pairs;
558 pairs = bdd_newpair();
559 bdd_setpairs(pairs, o, n, size);
567 PairSet_val(result) = pairs;
577 bddPair *pairs;
592 pairs = bdd_newpair();
593 bdd_setbddpairs(pairs, o, n, size);
601 PairSet_val(result) = pairs;
814 bddPair *pairs;
829 pairs = bdd_newpair();
830 fdd_setpairs(pairs, o, n, size);
838 PairSet_val(result) = pairs;