@Test public void testRemoveOutgoingInterfaceConstraints() { BDD outgoingOriginalFlowFiltersConstraint = MGR.outgoingOriginalFlowFiltersConstraint(); BDD permittedOutIface = MGR.permittedByOriginalFlowEgressFilter(IFACE); BDD permittedDstIp = PKT.getDstIp().value(PERMITTED_DST_IP.asLong()); assertThat( TRANSITION.transitForward(outgoingOriginalFlowFiltersConstraint.and(permittedOutIface)), equalTo(permittedDstIp)); assertThat(TRANSITION.transitBackward(ONE), equalTo(ONE)); }
RemoveOutgoingInterfaceConstraints(BDDOutgoingOriginalFlowFilterManager mgr) { checkArgument( !mgr.isTrivial(), "RemoveOutgoingInterfaceConstraints for a trivial BDDOutgoingOriginalFlowFilterManager. Use Identity instead"); _mgr = mgr; }
RemoveOutgoingInterfaceConstraints implements Transition { RemoveOutgoingInterfaceConstraints(BDDOutgoingOriginalFlowFilterManager mgr) { checkArgument( !mgr.isTrivial(), "RemoveOutgoingInterfaceConstraints for a trivial BDDOutgoingOriginalFlowFilterManager. Use Identity instead"); _mgr = mgr; } }
RemoveOutgoingInterfaceConstraints implements Transition { RemoveOutgoingInterfaceConstraints(BDDOutgoingOriginalFlowFilterManager mgr) { checkArgument( !mgr.isTrivial(), "RemoveOutgoingInterfaceConstraints for a trivial BDDOutgoingOriginalFlowFilterManager. Use Identity instead"); _mgr = mgr; } RemoveOutgoingInterfaceConstraints(BDDOutgoingOriginalFlowFilterManager mgr); }
RemoveOutgoingInterfaceConstraints implements Transition { RemoveOutgoingInterfaceConstraints(BDDOutgoingOriginalFlowFilterManager mgr) { checkArgument( !mgr.isTrivial(), "RemoveOutgoingInterfaceConstraints for a trivial BDDOutgoingOriginalFlowFilterManager. Use Identity instead"); _mgr = mgr; } RemoveOutgoingInterfaceConstraints(BDDOutgoingOriginalFlowFilterManager mgr); @Override BDD transitForward(BDD bdd); @Override BDD transitBackward(BDD bdd); }
RemoveOutgoingInterfaceConstraints implements Transition { RemoveOutgoingInterfaceConstraints(BDDOutgoingOriginalFlowFilterManager mgr) { checkArgument( !mgr.isTrivial(), "RemoveOutgoingInterfaceConstraints for a trivial BDDOutgoingOriginalFlowFilterManager. Use Identity instead"); _mgr = mgr; } RemoveOutgoingInterfaceConstraints(BDDOutgoingOriginalFlowFilterManager mgr); @Override BDD transitForward(BDD bdd); @Override BDD transitBackward(BDD bdd);  }