@Test public void testFiniteDomainValues_managerTrivial() { { Set<String> ifaces = ImmutableSet.of(INACTIVE_IFACE_WITH_FILTER); Configuration c = createConfig(new NetworkFactory(), ifaces); BDDOutgoingOriginalFlowFilterManager mgr = getMgrForConfig(c); assertTrue(mgr.isTrivial()); } { Set<String> ifaces = ImmutableSet.of(INACTIVE_IFACE_WITH_FILTER, ACTIVE_IFACE_NO_FILTER_1); Configuration c = createConfig(new NetworkFactory(), ifaces); BDDOutgoingOriginalFlowFilterManager mgr = getMgrForConfig(c); assertTrue(mgr.isTrivial()); } { Set<String> ifaces = ImmutableSet.of( INACTIVE_IFACE_WITH_FILTER, ACTIVE_IFACE_NO_FILTER_1, ACTIVE_IFACE_NO_FILTER_2); Configuration c = createConfig(new NetworkFactory(), ifaces); BDDOutgoingOriginalFlowFilterManager mgr = getMgrForConfig(c); assertTrue(mgr.isTrivial()); } }
public boolean isTrivial() { return _finiteDomain.isEmpty(); }
BDDOutgoingOriginalFlowFilterManager { public boolean isTrivial() { return _finiteDomain.isEmpty(); } }
BDDOutgoingOriginalFlowFilterManager { public boolean isTrivial() { return _finiteDomain.isEmpty(); } private  BDDOutgoingOriginalFlowFilterManager(
      BDDFiniteDomain<String> finiteDomain,
      @Nullable String activeButNoOriginalFlowFilterRepresentative,
      Map<String, BDD> filterBdds,
      BDD permitVar); }
BDDOutgoingOriginalFlowFilterManager { public boolean isTrivial() { return _finiteDomain.isEmpty(); } 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 boolean isTrivial() { return _finiteDomain.isEmpty(); } 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();  }