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