class BDDFiniteDomain {

  public boolean isEmpty() {
    return _valueToBdd.isEmpty();
  }

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

}