daikon.inv
Class Invariant.InvariantComparatorForPrinting

Object
  Invariant.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

Invariant.InvariantComparatorForPrinting()

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

Invariant.InvariantComparatorForPrinting

public Invariant.InvariantComparatorForPrinting()

Method Detail

compare

public int compare(Invariant inv1,
                   Invariant inv2)

Specified by:

compare in interface Comparator<Invariant>