Package org.tweetyproject.lp.asp.examples

Class ASPExample

  • public class ASPExample
extends java.lang.Object
    Example code for creating ASP programs and calling the clingo solver. See ASPCore2ParserExample for how to quickly parse the same examples using the parser. Tested with clingo 5.2.2
    Author:
    Anna Gessler

    • Constructor Summary

      Constructors 
      Constructor Description
      ASPExample()  

    • 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

      • ASPExample

        public ASPExample()

    • Method Detail

      • main

        public static void main​(java.lang.String[] args)
                 throws java.io.IOException
        Throws:
        java.io.IOException