Invariant.InvariantComparatorForPrinting

Object
- InvariantComparatorForPrinting

All Implemented Interfaces:

Comparator<Invariant>

Enclosing class:

Invariant
```
public static final class Invariant.InvariantComparatorForPrinting
extends Object
implements Comparator<Invariant>
```
Compare based on arity, then printed representation.

- Constructor Summary
  
  Constructors
  Constructor Description
  
  InvariantComparatorForPrinting()
- 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
- InvariantComparatorForPrinting
```
public InvariantComparatorForPrinting()
```

Method Detail

compare

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

Specified by:: compare in interface Comparator<Invariant>