public void replaceWith(BDDPairing pair) { replaceWith0((BuDDyBDDPairing) pair);
public BDD replaceWith(BDDPairing pair) { BuDDyBDDPairing p = (BuDDyBDDPairing) pair; int b = replace0(_id, p._ptr); addRef(b); delRef(_id); _id = b; return this;
        public void replaceWith(BDDPairing pair) {            replaceWith0((BuDDyBDDPairing) pair);         }