@Test public void testForNetwork() { NetworkFactory nf = new NetworkFactory(); Configuration config1 = configWithOneAcl(nf); Configuration config2 = configWithOneAcl(nf); Map<String, Configuration> network = ImmutableMap.of(config1.getHostname(), config1, config2.getHostname(), config2); Map<String, BDDSourceManager> bddSourceManagers = BDDSourceManager.forNetwork(_pkt, network, false); BDDSourceManager mgr1 = bddSourceManagers.get(config1.getHostname()); BDDSourceManager mgr2 = bddSourceManagers.get(config2.getHostname()); assertThat(mgr1.getSourceBDDs().values(), equalTo(mgr2.getSourceBDDs().values())); }
public static Map<String, BDDSourceManager> forNetwork( BDDPacket pkt, Map<String, Configuration> configs) { return forNetwork(pkt, configs, false); }
BDDSourceManager { public static Map<String, BDDSourceManager> forNetwork( BDDPacket pkt, Map<String, Configuration> configs) { return forNetwork(pkt, configs, false); } }
BDDSourceManager { public static Map<String, BDDSourceManager> forNetwork( BDDPacket pkt, Map<String, Configuration> configs) { return forNetwork(pkt, configs, false); } private  BDDSourceManager(
      BDDFiniteDomain<String> finiteDomain, Set<String> activeButUnreferenced); }
BDDSourceManager { public static Map<String, BDDSourceManager> forNetwork( BDDPacket pkt, Map<String, Configuration> configs) { return forNetwork(pkt, configs, false); } private  BDDSourceManager(
      BDDFiniteDomain<String> finiteDomain, Set<String> activeButUnreferenced); static BDDSourceManager forInterfaces(BDDPacket pkt, Set<String> interfaces); static BDDSourceManager forInterfaces(BDDInteger var, Set<String> interfaces); static BDDSourceManager empty(BDDPacket pkt); static BDDSourceManager forIpAccessList(
      BDDPacket pkt, Configuration config, IpAccessList acl); static BDDSourceManager forSources(
      BDDPacket pkt, Set<String> activeSources, Set<String> referencedSources); static Map<String, BDDSourceManager> forNetwork(
      BDDPacket pkt, Map<String, Configuration> configs); static Map<String, BDDSourceManager> forNetwork(
      BDDPacket pkt, Map<String, Configuration> configs, boolean initializeSessions); static BDDSourceManager forIpAccessList(
      BDDPacket pkt,
      Set<String> activeInterfaces,
      Map<String, IpAccessList> namedAcls,
      IpAccessList acl); BDDFiniteDomain<String> getFiniteDomain(); BDD getOriginatingFromDeviceBDD(); BDD getSourceInterfaceBDD(String iface); Map<String, BDD> getSourceBDDs(); Optional<String> getSourceFromAssignment(BDD bdd); boolean isTrivial(); BDD isValidValue(); BDD existsSource(BDD bdd); boolean hasIsValidConstraint(BDD bdd); boolean hasSourceConstraint(BDD bdd); boolean allSourcesTracked(); }
BDDSourceManager { public static Map<String, BDDSourceManager> forNetwork( BDDPacket pkt, Map<String, Configuration> configs) { return forNetwork(pkt, configs, false); } private  BDDSourceManager(
      BDDFiniteDomain<String> finiteDomain, Set<String> activeButUnreferenced); static BDDSourceManager forInterfaces(BDDPacket pkt, Set<String> interfaces); static BDDSourceManager forInterfaces(BDDInteger var, Set<String> interfaces); static BDDSourceManager empty(BDDPacket pkt); static BDDSourceManager forIpAccessList(
      BDDPacket pkt, Configuration config, IpAccessList acl); static BDDSourceManager forSources(
      BDDPacket pkt, Set<String> activeSources, Set<String> referencedSources); static Map<String, BDDSourceManager> forNetwork(
      BDDPacket pkt, Map<String, Configuration> configs); static Map<String, BDDSourceManager> forNetwork(
      BDDPacket pkt, Map<String, Configuration> configs, boolean initializeSessions); static BDDSourceManager forIpAccessList(
      BDDPacket pkt,
      Set<String> activeInterfaces,
      Map<String, IpAccessList> namedAcls,
      IpAccessList acl); BDDFiniteDomain<String> getFiniteDomain(); BDD getOriginatingFromDeviceBDD(); BDD getSourceInterfaceBDD(String iface); Map<String, BDD> getSourceBDDs(); Optional<String> getSourceFromAssignment(BDD bdd); boolean isTrivial(); BDD isValidValue(); BDD existsSource(BDD bdd); boolean hasIsValidConstraint(BDD bdd); boolean hasSourceConstraint(BDD bdd); boolean allSourcesTracked();  }