C
- coefficient typepublic class CriticalPairComparator<C extends RingElem<C>> extends java.lang.Object implements java.io.Serializable, java.util.Comparator<AbstractPair<C>>
Modifier and Type | Field and Description |
---|---|
protected TermOrder.EVComparator |
ec |
TermOrder |
tord |
Constructor and Description |
---|
CriticalPairComparator(TermOrder t)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
int |
compare(AbstractPair<C> p1,
AbstractPair<C> p2)
Compare.
|
java.lang.String |
toString()
toString.
|
protected final TermOrder.EVComparator ec
public CriticalPairComparator(TermOrder t)
t
- TermOrder.public int compare(AbstractPair<C> p1, AbstractPair<C> p2)
compare
in interface java.util.Comparator<AbstractPair<C extends RingElem<C>>>
p1
- first critical pair.p2
- second critical pair.public java.lang.String toString()
toString
in class java.lang.Object