public void applyWith(BDD that, BDDFactory.BDDOp opr) { applyWith0((BuDDyBDD) that, opr);
public BDD applyWith(BDD that, BDDFactory.BDDOp opr) { BuDDyBDD c = (BuDDyBDD) that; int b = apply0(_id, c._id, opr.id); addRef(b); delRef(_id); if (this != c) { delRef(c._id); c._id = INVALID_BDD; } _id = b; return this;
        public void applyWith(BDD that, BDDFactory.BDDOp opr) {            applyWith0((BuDDyBDD) that, opr);        }