Package org.svvrl.goal.core.tran.tester

Class SystemVariable.LTLComparator

java.lang.Object
org.svvrl.goal.core.tran.tester.SystemVariable.LTLComparator
All Implemented Interfaces:
java.util.Comparator<LTL>
Enclosing class:
SystemVariable
class SystemVariable.LTLComparator
extends java.lang.Object
implements java.util.Comparator<LTL>

  • Constructor Summary

    Constructors 
    Constructor Description
    LTLComparator()  

  • Method Summary

    Modifier and Type Method Description
    int compare​(LTL q1, LTL q2)  

    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

  • Constructor Details

  • Method Details

    • compare

      public int compare​(LTL q1, LTL q2)
      Specified by:
      compare in interface java.util.Comparator<LTL>