@Test public void testAllSourcesTracked() { BDDSourceManager mgr = BDDSourceManager.forSources(_pkt, ALL_IFACES, ALL_IFACES); assertFalse(mgr.isTrivial()); assertTrue(mgr.allSourcesTracked()); mgr = BDDSourceManager.forSources(_pkt, ALL_IFACES, ImmutableSet.of(IFACE1)); assertFalse(mgr.isTrivial()); assertFalse(mgr.allSourcesTracked()); }
public boolean allSourcesTracked() { return !isTrivial() && _activeButUnreferenced.isEmpty(); }
BDDSourceManager { public boolean allSourcesTracked() { return !isTrivial() && _activeButUnreferenced.isEmpty(); } }
BDDSourceManager { public boolean allSourcesTracked() { return !isTrivial() && _activeButUnreferenced.isEmpty(); } private  BDDSourceManager(
      BDDFiniteDomain<String> finiteDomain, Set<String> activeButUnreferenced); }
BDDSourceManager { public boolean allSourcesTracked() { return !isTrivial() && _activeButUnreferenced.isEmpty(); } 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 boolean allSourcesTracked() { return !isTrivial() && _activeButUnreferenced.isEmpty(); } 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();  }