public List<PSToken> getConflictSet(int t) {
    List<PSToken> retval = new Vector<PSToken>();

    PSTimePointList tokKeys = res_.getOrderingChoices(t);
    for (int i = 0; i < tokKeys.size(); i++) {
      PSToken tok = psengine_.getTokenByKey(tokKeys.get(i));
      retval.add(tok);
    }

    return retval;
  }
  public int getMostViolatedTime() {
    int t = -1;
    double lowestLevel = Double.MAX_VALUE;

    PSResourceProfile prof = res_.getLevels();
    PSTimePointList times = prof.getTimes();
    for (int i = 0; i < times.size(); i++) {
      double level = prof.getLowerBound(times.get(i));
      if (level < lowestLevel) {
        lowestLevel = level;
        if (level < 0) t = times.get(i);
      }
    }

    if (t >= 0)
      RCPSPUtil.dbgout("MaxViolation for " + res_.getName() + " " + lowestLevel + " at time " + t);

    return t;
  }