public String toString() { String str = ""; str += "position= " + IntegerVector.toString(position) + ", " + vars.toString(); return str; }