@Test public void testGetValueFromAssignment() { BDDFiniteDomain<Integer> fd = new BDDFiniteDomain<>(_pkt, "", ImmutableSet.of(1, 2, 3)); assertThat(fd.getValueFromAssignment(fd.getConstraintForValue(1)), equalTo(1)); assertThat(fd.getValueFromAssignment(fd.getConstraintForValue(2)), equalTo(2)); assertThat(fd.getValueFromAssignment(fd.getConstraintForValue(3)), equalTo(3)); }
public V getValueFromAssignment(BDD bdd) { checkArgument(bdd.isAssignment()); V ret = _bddToValue.get(bdd.project(_var.getVars())); checkArgument(ret != null, "No value for valid assignment"); return ret; }
BDDFiniteDomain { public V getValueFromAssignment(BDD bdd) { checkArgument(bdd.isAssignment()); V ret = _bddToValue.get(bdd.project(_var.getVars())); checkArgument(ret != null, "No value for valid assignment"); return ret; } }
BDDFiniteDomain { public V getValueFromAssignment(BDD bdd) { checkArgument(bdd.isAssignment()); V ret = _bddToValue.get(bdd.project(_var.getVars())); checkArgument(ret != null, "No value for valid assignment"); return ret; } BDDFiniteDomain(BDDPacket pkt, String varName, Set<V> values);   BDDFiniteDomain(BDDInteger var, Set<V> values); }
BDDFiniteDomain { public V getValueFromAssignment(BDD bdd) { checkArgument(bdd.isAssignment()); V ret = _bddToValue.get(bdd.project(_var.getVars())); checkArgument(ret != null, "No value for valid assignment"); return ret; } 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 V getValueFromAssignment(BDD bdd) { checkArgument(bdd.isAssignment()); V ret = _bddToValue.get(bdd.project(_var.getVars())); checkArgument(ret != null, "No value for valid assignment"); return ret; } 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();  }