@Test public void testEmptyDomain() { assertTrue(new BDDFiniteDomain<>(_pkt, "foo", ImmutableSet.of()).isEmpty()); assertTrue(new BDDFiniteDomain<>(_pkt.getDstIp(), ImmutableSet.of()).isEmpty()); }
public boolean isEmpty() { return _valueToBdd.isEmpty(); }
BDDFiniteDomain { public boolean isEmpty() { return _valueToBdd.isEmpty(); } }
BDDFiniteDomain { public boolean isEmpty() { return _valueToBdd.isEmpty(); } BDDFiniteDomain(BDDPacket pkt, String varName, Set<V> values);   BDDFiniteDomain(BDDInteger var, Set<V> values); }
BDDFiniteDomain { public boolean isEmpty() { return _valueToBdd.isEmpty(); } BDDFiniteDomain(BDDPacket pkt, String varName, Set<V> values);   BDDFiniteDomain(BDDInteger var, Set<V> values); static Map<K, BDDFiniteDomain<V>> domainsWithSharedVariable(
      BDDPacket pkt, String varName, Map<K, Set<V>> values); BDD existsValue(BDD bdd); BDD getConstraintForValue(V value); Map<V, BDD> getValueBdds(); V getValueFromAssignment(BDD bdd); boolean isEmpty(); BDD getIsValidConstraint(); @Nonnull BDDInteger getVar(); }
BDDFiniteDomain { public boolean isEmpty() { return _valueToBdd.isEmpty(); } BDDFiniteDomain(BDDPacket pkt, String varName, Set<V> values);   BDDFiniteDomain(BDDInteger var, Set<V> values); static Map<K, BDDFiniteDomain<V>> domainsWithSharedVariable(
      BDDPacket pkt, String varName, Map<K, Set<V>> values); BDD existsValue(BDD bdd); BDD getConstraintForValue(V value); Map<V, BDD> getValueBdds(); V getValueFromAssignment(BDD bdd); boolean isEmpty(); BDD getIsValidConstraint(); @Nonnull BDDInteger getVar();  }