return applyAll0((BuDDyBDD) that, opr, (BuDDyBDD) var);
BuDDyBDD c = (BuDDyBDD) that; BuDDyBDD d = (BuDDyBDD) var; int b = applyAll0(_id, c._id, opr.id, d._id); return new BuDDyBDD(b);
        public BDD applyAll(BDD that, BDDFactory.BDDOp opr, BDD var) {            return applyAll0((BuDDyBDD) that, opr, (BuDDyBDD) var);        }