net.sf.tweety.lp.asp.examples

Class ASPCore2ParserExample

java.lang.Object

net.sf.tweety.lp.asp.examples.ASPCore2ParserExample

public class ASPCore2ParserExample
extends Object

Examples for parsing simple ELP programs and for using Clingo to solve them.

Author:

Anna Gessler

Constructor Summary

Constructors

Constructor and Description
ASPCore2ParserExample()

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

ASPCore2ParserExample

public ASPCore2ParserExample()

Method Detail

main

public static void main(String[] args)
                 throws ParseException,
                        FileNotFoundException

Throws:

ParseException

FileNotFoundException