use applyEx instead of and/exist
@@ -3,6 +3,7 @@ package org.batfish.bddreachability.transition;
import static com.google.common.base.Preconditions.checkArgument;
import net.sf.javabdd.BDD;
+import net.sf.javabdd.BDDFactory;
/** A transition that erases a variable and then constrains it to have a new value. */
public final class EraseAndSet implements Transition {
@@ -31,6 +32,6 @@ public final class EraseAndSet implements Transition {
@Override
public BDD transitBackward(BDD bdd) {
- return bdd.and(_setValue).exist(_eraseVars);
+ return bdd.applyEx(_setValue, BDDFactory.and, _eraseVars);
}
}
