public class ExprPolynomialComparator extends java.lang.Object implements java.io.Serializable, java.util.Comparator<ExprPolynomial>
Modifier and Type | Field and Description |
---|---|
boolean |
reverse |
ExprTermOrder |
tord |
Constructor and Description |
---|
ExprPolynomialComparator(ExprTermOrder t,
boolean reverse)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
int |
compare(ExprPolynomial p1,
ExprPolynomial p2)
Compare polynomials.
|
boolean |
equals(java.lang.Object o)
Equals test of comparator.
|
int |
hashCode()
Hash code for this PolynomialComparator.
|
java.lang.String |
toString()
toString.
|
public final ExprTermOrder tord
public final boolean reverse
public ExprPolynomialComparator(ExprTermOrder t, boolean reverse)
t
- TermOrder.reverse
- flag if reverse ordering is requested.public int compare(ExprPolynomial p1, ExprPolynomial p2)
compare
in interface java.util.Comparator<ExprPolynomial>
p1
- first polynomial.p2
- second polynomial.public boolean equals(java.lang.Object o)
equals
in interface java.util.Comparator<ExprPolynomial>
equals
in class java.lang.Object
o
- other object.public int hashCode()
hashCode
in class java.lang.Object
Object.hashCode()
public java.lang.String toString()
toString
in class java.lang.Object