buddy/src/bddop.c

120 static BDD    apply_rec(BDD, BDD);
517       res = apply_rec(l, r);
535 static BDD apply_rec(BDD l, BDD r)
607 	 PUSHREF( apply_rec(LOW(l), LOW(r)) );
608 	 PUSHREF( apply_rec(HIGH(l), HIGH(r)) );
614 	 PUSHREF( apply_rec(LOW(l), r) );
615 	 PUSHREF( apply_rec(HIGH(l), r) );
620 	 PUSHREF( apply_rec(l, LOW(r)) );
621 	 PUSHREF( apply_rec(l, HIGH(r)) );
1515       PUSHREF( apply_rec(LOW(d), HIGH(d)) ); /* Exist quant */
1711       res = apply_rec(READREF(2), READREF(1));
1979       res = apply_rec(l,r);
2001 	    res = apply_rec(READREF(2), READREF(1));
2011 	    res = apply_rec(READREF(2), READREF(1));
2020 	    res = apply_rec(READREF(2), READREF(1));