Pandora
Class PLComparator

java.lang.Object
  extended by 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>