Package org.tweetyproject.lp.asp.examples

Class ASPExample

java.lang.Object

org.tweetyproject.lp.asp.examples.ASPExample

public class ASPExample
extends Object

Example code for creating basic ASP programs and calling solvers and grounders. See ASPParserExample for how to quickly parse the same examples using the parser.
Tested with clingo 5.4.0

Author:

Anna Gessler

Constructor Summary

Constructors

Constructor	Description
ASPExample()

Method Summary

Modifier and Type	Method	Description
static void	main(String[] args)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

ASPExample

public ASPExample()

Method Details

main

public static void main(String[] args)
                 throws IOException

Parameters:

args - IOException

Throws:

IOException - IOException