@Override public int compare(State o1, State o2) { return MathUtil.compare(o1.pseudoTimeToWrite, o2.pseudoTimeToWrite); } }
@Override public int compare(State o1, State o2) { return MathUtil.compare(o1.pseudoTimeToWrite, o2.pseudoTimeToWrite); } }
@Override public int compare(State o1, State o2) { return MathUtil.compare(o1.pseudoTimeToWrite, o2.pseudoTimeToWrite); } }