/* (non-Javadoc)
* @see net.sf.javabdd.BDD#applyWith(net.sf.javabdd.BDD, net.sf.javabdd.BDDFactory.BDDOp)
*/
public BDD applyWith(BDD that, BDDFactory.BDDOp opr) {
CUDDBDD c = (CUDDBDD) that;
long b = apply0(_ddnode_ptr, c._ddnode_ptr, opr.id);
addRef(b);
delRef(_ddnode_ptr);
if (this != c) {
delRef(c._ddnode_ptr);
c._ddnode_ptr = INVALID_BDD;
}
_ddnode_ptr = b;
return this;
}
/* (non-Javadoc)
* @see net.sf.javabdd.BDD#restrictWith(net.sf.javabdd.BDD)
*/
public BDD restrictWith(BDD var) {
CUDDBDD c = (CUDDBDD) var;
long b = restrict0(_ddnode_ptr, c._ddnode_ptr);
addRef(b);
delRef(_ddnode_ptr);
if (this != c) {
delRef(c._ddnode_ptr);
c._ddnode_ptr = INVALID_BDD;
}
_ddnode_ptr = b;
return this;
}