Esempio n. 1
0
 /**
  * Returns the variable set that contains the variables used to define this finite domain block.
  *
  * <p>Compare to fdd_ithset.
  *
  * @return BDDVarSet
  */
 public BDDVarSet set() {
   return var.id();
 }