Pandora
Class PLComparator

java.lang.Object
  Pandora.PLComparator

All Implemented Interfaces:

java.util.Comparator<ProofLine>

public class PLComparator
extends java.lang.Object
implements java.util.Comparator<ProofLine>

Constructor Summary

PLComparator()

Method Summary

int	compare(ProofLine o1, ProofLine o2)

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.util.Comparator

equals

Constructor Detail

PLComparator

public PLComparator()

Method Detail

compare

public int compare(ProofLine o1,
                   ProofLine o2)

Specified by:

compare in interface java.util.Comparator<ProofLine>