Class OrderingExample


  • public class OrderingExample
    extends java.lang.Object
    example on how to use the OrderingSemanticsReasoner
    Author:
    Lars Bengel
    • Constructor Summary

      Constructors 
      Constructor Description
      OrderingExample()  
    • Method Summary

      Modifier and Type Method Description
      static void main​(java.lang.String[] args)  
      • Methods inherited from class java.lang.Object

        equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • OrderingExample

        public OrderingExample()
    • Method Detail

      • main

        public static void main​(java.lang.String[] args)
                         throws java.lang.NoSuchMethodException,
                                java.lang.IllegalAccessException,
                                java.lang.reflect.InvocationTargetException
        Throws:
        java.lang.NoSuchMethodException
        java.lang.IllegalAccessException
        java.lang.reflect.InvocationTargetException