Class EquivalenceRulesComparator
java.lang.Object
de.saar.chorus.domgraph.chart.lethal.EquivalenceRulesComparator
- All Implemented Interfaces:
Comparator<de.saar.chorus.term.Term>
public class EquivalenceRulesComparator
extends Object
implements Comparator<de.saar.chorus.term.Term>
- Author:
- venant
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionintcompare(de.saar.chorus.term.Term o1, de.saar.chorus.term.Term o2) Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitMethods inherited from interface java.util.Comparator
equals, reversed, thenComparing, thenComparing, thenComparing, thenComparingDouble, thenComparingInt, thenComparingLong
-
Constructor Details
-
EquivalenceRulesComparator
-
EquivalenceRulesComparator
public EquivalenceRulesComparator()
-
-
Method Details
-
compare
public int compare(de.saar.chorus.term.Term o1, de.saar.chorus.term.Term o2) - Specified by:
comparein interfaceComparator<de.saar.chorus.term.Term>
-