Raptor
Class PLComparator

java.lang.Object
  Raptor.PLComparator

All Implemented Interfaces:

java.util.Comparator<ProofLine>

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

Used by Justification class to sort a List of ProofLines by line number

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>