@Test public void testFiniteDomainValues_oneActiveIfaceWithFilter() { { Set<String> ifaces = ImmutableSet.of(ACTIVE_IFACE_WITH_FILTER_1, INACTIVE_IFACE_WITH_FILTER); Configuration c = createConfig(new NetworkFactory(), ifaces); BDDOutgoingOriginalFlowFilterManager mgr = getMgrForConfig(c); assertThat( mgr.getInterfaceBDDs(), equalTo(ImmutableMap.of(ACTIVE_IFACE_WITH_FILTER_1, PKT.getFactory().one()))); } { Set<String> ifaces = ImmutableSet.of( ACTIVE_IFACE_WITH_FILTER_1, INACTIVE_IFACE_WITH_FILTER, ACTIVE_IFACE_NO_FILTER_1); Configuration c = createConfig(new NetworkFactory(), ifaces); BDDOutgoingOriginalFlowFilterManager mgr = getMgrForConfig(c); assertThat(mgr.getInterfaceBDDs().keySet(), contains(ACTIVE_IFACE_WITH_FILTER_1)); BDD activeIfaceWithFilterBdd = mgr.getInterfaceBDDs().get(ACTIVE_IFACE_WITH_FILTER_1); assertTrue(!activeIfaceWithFilterBdd.isZero() && !activeIfaceWithFilterBdd.isOne()); } }
@Nonnull Map<String, BDD> getInterfaceBDDs() { return _interfaceBdds; }
BDDOutgoingOriginalFlowFilterManager { @Nonnull Map<String, BDD> getInterfaceBDDs() { return _interfaceBdds; } }
BDDOutgoingOriginalFlowFilterManager { @Nonnull Map<String, BDD> getInterfaceBDDs() { return _interfaceBdds; } private  BDDOutgoingOriginalFlowFilterManager(
      BDDFiniteDomain<String> finiteDomain,
      @Nullable String activeButNoOriginalFlowFilterRepresentative,
      Map<String, BDD> filterBdds,
      BDD permitVar); }
BDDOutgoingOriginalFlowFilterManager { @Nonnull Map<String, BDD> getInterfaceBDDs() { return _interfaceBdds; } 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 { @Nonnull Map<String, BDD> getInterfaceBDDs() { return _interfaceBdds; } 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();  }