@Test public void testErase() { Configuration c = createConfig(new NetworkFactory(), ALL_IFACES); BDDOutgoingOriginalFlowFilterManager mgr = getMgrForConfig(c); BDD outgoingOriginalFlowFiltersConstraint = mgr.outgoingOriginalFlowFiltersConstraint(); assertTrue(mgr.erase(outgoingOriginalFlowFiltersConstraint).isOne()); BDD permittedOutIface1 = mgr.permittedByOriginalFlowEgressFilter(ACTIVE_IFACE_WITH_FILTER_1); assertTrue(mgr.erase(permittedOutIface1).isOne()); }
public BDD erase(BDD bdd) { return _finiteDomain.existsValue(bdd).exist(_permitVar); }
BDDOutgoingOriginalFlowFilterManager { public BDD erase(BDD bdd) { return _finiteDomain.existsValue(bdd).exist(_permitVar); } }
BDDOutgoingOriginalFlowFilterManager { public BDD erase(BDD bdd) { return _finiteDomain.existsValue(bdd).exist(_permitVar); } private  BDDOutgoingOriginalFlowFilterManager(
      BDDFiniteDomain<String> finiteDomain,
      @Nullable String activeButNoOriginalFlowFilterRepresentative,
      Map<String, BDD> filterBdds,
      BDD permitVar); }
BDDOutgoingOriginalFlowFilterManager { public BDD erase(BDD bdd) { return _finiteDomain.existsValue(bdd).exist(_permitVar); } private  BDDOutgoingOriginalFlowFilterManager(
      BDDFiniteDomain<String> finiteDomain,
      @Nullable String activeButNoOriginalFlowFilterRepresentative,
      Map<String, BDD> filterBdds,
      BDD permitVar); static BDDOutgoingOriginalFlowFilterManager empty(BDDPacket pkt); static Map<String, BDDOutgoingOriginalFlowFilterManager> forNetwork(
      BDDPacket pkt, Map<String, Configuration> configs, Map<String, BDDSourceManager> srcMgrs); BDD outgoingOriginalFlowFiltersConstraint(); BDD erase(BDD bdd); BDD permittedByOriginalFlowEgressFilter(String iface); BDD deniedByOriginalFlowEgressFilter(String iface); boolean isTrivial(); }
BDDOutgoingOriginalFlowFilterManager { public BDD erase(BDD bdd) { return _finiteDomain.existsValue(bdd).exist(_permitVar); } private  BDDOutgoingOriginalFlowFilterManager(
      BDDFiniteDomain<String> finiteDomain,
      @Nullable String activeButNoOriginalFlowFilterRepresentative,
      Map<String, BDD> filterBdds,
      BDD permitVar); static BDDOutgoingOriginalFlowFilterManager empty(BDDPacket pkt); static Map<String, BDDOutgoingOriginalFlowFilterManager> forNetwork(
      BDDPacket pkt, Map<String, Configuration> configs, Map<String, BDDSourceManager> srcMgrs); BDD outgoingOriginalFlowFiltersConstraint(); BDD erase(BDD bdd); BDD permittedByOriginalFlowEgressFilter(String iface); BDD deniedByOriginalFlowEgressFilter(String iface); boolean isTrivial();  }