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
  
  Constructors
  Constructor Description
  
  ConsequentCVFPairComparator()
- Method Summary
  
  All Methods Instance Methods Concrete Methods
  Modifier and Type Method Description
  
  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, reversed, thenComparing, thenComparing, thenComparing, thenComparingDouble, thenComparingInt, thenComparingLong

Constructor Detail
- ConsequentCVFPairComparator
```
public ConsequentCVFPairComparator()
```

Method Detail

compare

@Pure
public int compare(Invariant inv1,
                   Invariant inv2)

Specified by:: compare in interface Comparator<Invariant>