daikon.diff
Class ConsequentCVFPairComparator

Object
  ConsequentCVFPairComparator

All Implemented Interfaces:

Comparator<Invariant>

public class ConsequentCVFPairComparator
extends Object
implements Comparator<Invariant>

Comparator for sorting invariants. Uses the ConsequentPairComparator, initialized with the ClassVarnameFormulaComparator. See the documentation for those two classes to figure out what this class does.

Constructor Summary

ConsequentCVFPairComparator()

Method Summary

int	compare(Invariant inv1, Invariant inv2)

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface Comparator

equals

Constructor Detail

ConsequentCVFPairComparator

public ConsequentCVFPairComparator()

Method Detail

compare

public int compare(Invariant inv1,
                   Invariant inv2)

Specified by:

compare in interface Comparator<Invariant>