ConsequentPairComparator

Object
- ConsequentPairComparator

All Implemented Interfaces:

Comparator<Invariant>
```
public class ConsequentPairComparator
extends Object
implements Comparator<Invariant>
```
Comparator for pairing invariants. In an invariant in set2 is an implication, its consequent is used instead of the whole invariant. In set1, the whole invariant is always used. Some examples:
```
 this.compare(A, B⇒A) == c.compare(A, A)
 this.compare(C, D) == c.compare(C, D)
 
```

- Constructor Summary
  
  Constructors
  Constructor Description
  
  ConsequentPairComparator(Comparator<Invariant> c)
- 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

ConsequentPairComparator

public ConsequentPairComparator(Comparator<Invariant> c)

Method Detail

compare

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

Specified by:: compare in interface Comparator<Invariant>