newVector.addElement(new Option("\tSet the seed of randomization\n" + "\t(default 1)","S", 1, "-S <seed>"));
  public Enumeration listOptions() {    Vector newVector = new Vector(4);	    newVector.addElement(new Option("\tSet number of folds for REP\n" +				    "\tOne fold is used as pruning set.\n" +				    "\t(default 3)","N", 1, "-N <number of folds>"));	    newVector.addElement(new Option("\tSet if NOT uses randomization\n" +				    "\t(default:use randomization)","R", 0, "-R"));    newVector.addElement(new Option("\tSet whether consider the exclusive\n" +				    "\texpressions for nominal attributes\n"+				    "\t(default false)","E", 0, "-E"));	    newVector.addElement(new Option("\tSet the minimal weights of instances\n" +				    "\twithin a split.\n" +				    "\t(default 2.0)","M", 1, "-M <min. weights>"));	    newVector.addElement(new Option("\tSet number of antecedents for pre-pruning\n" +				    "\tif -1, then REP is used\n" +				    "\t(default -1)","P", 1, "-P <number of antecedents>"));	    return newVector.elements();  }