Class TransitionComparator

  • All Implemented Interfaces:
    java.io.Serializable, java.util.Comparator<Transition>

    class TransitionComparator
    extends java.lang.Object
    implements java.util.Comparator<Transition>, java.io.Serializable
    • Field Summary

      Fields 
      Modifier and Type Field Description
      (package private) static long serialVersionUID  
      (package private) boolean to_first  
    • Constructor Summary

      Constructors 
      Constructor Description
      TransitionComparator​(boolean to_first)  
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      int compare​(Transition t1, Transition t2)
      Compares by (min, reverse max, to) or (to, min, reverse max).
      • 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, reversed, thenComparing, thenComparing, thenComparing, thenComparingDouble, thenComparingInt, thenComparingLong
    • Field Detail

      • to_first

        boolean to_first
    • Constructor Detail

      • TransitionComparator

        TransitionComparator​(boolean to_first)
    • Method Detail

      • compare

        public int compare​(Transition t1,
                           Transition t2)
        Compares by (min, reverse max, to) or (to, min, reverse max).
        Specified by:
        compare in interface java.util.Comparator<Transition>