public void printVariable() { Utility.Dprintc("VARIABLE " + varID + " ", 0); for (int j = 0; j < domain.length; j++) { Utility.Dprintc(domain[j].toString() + " ", 0); } Utility.Dprint("", 0); }