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()	Default Constructor

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Details

ASPExample

public ASPExample()

Default Constructor

Method Details

main

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

Example

Parameters:

args - IOException

Throws:

IOException - IOException