m_showRules = Utils.getFlag('D', options);
m_showRules = Utils.getFlag('Y', options);
  public void setOptions(String[] options) throws Exception {    // Option -D    m_showRules = Utils.getFlag('D', options);    // Option -R    String rhoaString = Utils.getOption('R', options);    if (rhoaString.length() != 0) {      m_Rhoa = Double.parseDouble(rhoaString);      if (m_Rhoa < 0 || m_Rhoa > 1) {        throw new Exception(            "Vigilance parameter (rhoa) should be a real number in range [0,1]");      }    }    else      m_Rhoa = 0.5;      // Option -B    String boundsString = Utils.getOption('B', options);    if (boundsString.length() != 0) {      m_BoundsFile = new File(boundsString);    } //fi    Utils.checkForRemainingOptions(options);  } //setOptions