@Test public void testEmpty() { BDDOutgoingOriginalFlowFilterManager empty = BDDOutgoingOriginalFlowFilterManager.empty(PKT); assertTrue(empty.isTrivial()); }
public static BDDOutgoingOriginalFlowFilterManager empty(BDDPacket pkt) { return new BDDOutgoingOriginalFlowFilterManager( new BDDFiniteDomain<>(pkt, VAR_NAME, ImmutableSet.of()), null, ImmutableMap.of(), allocatePermitVar(pkt)); }
BDDOutgoingOriginalFlowFilterManager { public static BDDOutgoingOriginalFlowFilterManager empty(BDDPacket pkt) { return new BDDOutgoingOriginalFlowFilterManager( new BDDFiniteDomain<>(pkt, VAR_NAME, ImmutableSet.of()), null, ImmutableMap.of(), allocatePermitVar(pkt)); } }
BDDOutgoingOriginalFlowFilterManager { public static BDDOutgoingOriginalFlowFilterManager empty(BDDPacket pkt) { return new BDDOutgoingOriginalFlowFilterManager( new BDDFiniteDomain<>(pkt, VAR_NAME, ImmutableSet.of()), null, ImmutableMap.of(), allocatePermitVar(pkt)); } private  BDDOutgoingOriginalFlowFilterManager(
      BDDFiniteDomain<String> finiteDomain,
      @Nullable String activeButNoOriginalFlowFilterRepresentative,
      Map<String, BDD> filterBdds,
      BDD permitVar); }
BDDOutgoingOriginalFlowFilterManager { public static BDDOutgoingOriginalFlowFilterManager empty(BDDPacket pkt) { return new BDDOutgoingOriginalFlowFilterManager( new BDDFiniteDomain<>(pkt, VAR_NAME, ImmutableSet.of()), null, ImmutableMap.of(), allocatePermitVar(pkt)); } 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 static BDDOutgoingOriginalFlowFilterManager empty(BDDPacket pkt) { return new BDDOutgoingOriginalFlowFilterManager( new BDDFiniteDomain<>(pkt, VAR_NAME, ImmutableSet.of()), null, ImmutableMap.of(), allocatePermitVar(pkt)); } 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();  }