static void printSet(IntSetVar var, boolean requiredOnly) {
System.out.print(var.name());
Iterator iter;
if (requiredOnly) {
System.out.print(": ");
iter = var.requiredSet().iterator();
} else {
System.out.print("(possibleSet)" + ": ");
iter = var.possibleSet().iterator();
}
while (iter.hasNext()) {
Integer val = (Integer) iter.next();
System.out.print(names[val.intValue()] + (iter.hasNext() ? ", " : ""));
}
}
