@Test public void testIsValidConstraint() { BDDInteger var = _pkt.allocateBDDInteger("", 1, false); assertThat( new BDDFiniteDomain<>(var, ImmutableSet.of(1)).getIsValidConstraint(), equalTo(var.getFactory().one())); assertThat( new BDDFiniteDomain<>(var, ImmutableSet.of(1, 2)).getIsValidConstraint(), equalTo(var.getFactory().one())); }
public BDD getIsValidConstraint() { return _isValidValue; }
BDDFiniteDomain { public BDD getIsValidConstraint() { return _isValidValue; } }
BDDFiniteDomain { public BDD getIsValidConstraint() { return _isValidValue; } BDDFiniteDomain(BDDPacket pkt, String varName, Set<V> values);   BDDFiniteDomain(BDDInteger var, Set<V> values); }
BDDFiniteDomain { public BDD getIsValidConstraint() { return _isValidValue; } 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 BDD getIsValidConstraint() { return _isValidValue; } 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();  }