@Test public void testTransitBackwards_alreadyConstrained() { BDD permittedOutIface = MGR.permittedByOriginalFlowEgressFilter(IFACE); _thrown.expect(AssertionError.class); TRANSITION.transitBackward(permittedOutIface); }
@Override public BDD transitBackward(BDD bdd) { assert bdd.equals(_mgr.erase(bdd)); return bdd; }
RemoveOutgoingInterfaceConstraints implements Transition { @Override public BDD transitBackward(BDD bdd) { assert bdd.equals(_mgr.erase(bdd)); return bdd; } }
RemoveOutgoingInterfaceConstraints implements Transition { @Override public BDD transitBackward(BDD bdd) { assert bdd.equals(_mgr.erase(bdd)); return bdd; } RemoveOutgoingInterfaceConstraints(BDDOutgoingOriginalFlowFilterManager mgr); }
RemoveOutgoingInterfaceConstraints implements Transition { @Override public BDD transitBackward(BDD bdd) { assert bdd.equals(_mgr.erase(bdd)); return bdd; } RemoveOutgoingInterfaceConstraints(BDDOutgoingOriginalFlowFilterManager mgr); @Override BDD transitForward(BDD bdd); @Override BDD transitBackward(BDD bdd); }
RemoveOutgoingInterfaceConstraints implements Transition { @Override public BDD transitBackward(BDD bdd) { assert bdd.equals(_mgr.erase(bdd)); return bdd; } RemoveOutgoingInterfaceConstraints(BDDOutgoingOriginalFlowFilterManager mgr); @Override BDD transitForward(BDD bdd); @Override BDD transitBackward(BDD bdd);  }