class BDDFiniteDomain {

  public BDD getIsValidConstraint() {
    return _isValidValue;
  }

  public  BDDFiniteDomain(BDDPacket pkt, String varName, Set<V> values);
    BDDFiniteDomain(BDDInteger var, Set<V> values);

}