public class AllPropositionIntervalComparator extends Object implements Comparator<Proposition>
| Constructor and Description |
|---|
AllPropositionIntervalComparator() |
| Modifier and Type | Method and Description |
|---|---|
int |
compare(Proposition o1,
Proposition o2)
If comparing
TemporalPropositions, compares their intervals;
otherwise, a constant proposition compared to a temporal proposition
will return -1, and a constant proposition compared to
another constant proposition will return 0. |
boolean |
equals(Object obj) |
clone, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitcomparing, comparing, comparingDouble, comparingInt, comparingLong, naturalOrder, nullsFirst, nullsLast, reversed, reverseOrder, thenComparing, thenComparing, thenComparing, thenComparingDouble, thenComparingInt, thenComparingLongpublic int compare(Proposition o1, Proposition o2)
TemporalPropositions, compares their intervals;
otherwise, a constant proposition compared to a temporal proposition
will return -1, and a constant proposition compared to
another constant proposition will return 0.compare in interface Comparator<Proposition>o1 - a Proposition.o2 - another Proposition.o1 is before o2 according to the
rules above return -1. If the same, return 0.
If after, return 1.public boolean equals(Object obj)
equals in interface Comparator<Proposition>equals in class ObjectCopyright © 2012–2018 Emory University. All rights reserved.