m_numRules = Integer.MAX_VALUE;
m_numRules = Integer.MAX_VALUE;  String classIndexString = Utils.getOption('c',options);
  public void setOptions(String[] options) throws Exception {        resetOptions();    String numRulesString = Utils.getOption('N', options),           classIndexString = Utils.getOption('c',options);        if (numRulesString.length() != 0) 	m_numRules = Integer.parseInt(numRulesString)+5;    else        m_numRules = Integer.MAX_VALUE;    if (classIndexString.length() != 0) 	m_classIndex = Integer.parseInt(numRulesString);    m_car = Utils.getFlag('A', options);  }