org.firej.dfa
Class StateComparator

java.lang.Object
  extended by org.firej.dfa.StateComparator
All Implemented Interfaces:
java.util.Comparator<State>

public class StateComparator
extends java.lang.Object
implements java.util.Comparator<State>

Compares two states

Author:
Vassilios Karakoidas (bkarak@aueb.gr)

Field Summary
static StateComparator defaultInstance
           
 
Method Summary
 int compare(State state_a, State state_b)
           
 
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
 

Field Detail

defaultInstance

public static final StateComparator defaultInstance
Method Detail

compare

public int compare(State state_a,
                   State state_b)
Specified by:
compare in interface java.util.Comparator<State>