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