ASPParserExample

java.lang.Object

org.tweetyproject.lp.asp.examples.ASPParserExample

public class ASPParserExample extends Object

Examples for parsing programs in Clingo and DLV syntax and using the respective solvers to solve them.
Tested with clingo 5.4.0 and DLV dec-17-2012

Author:: Anna Gessler

Constructor Summary

Constructors

Constructor

Description

ASPParserExample()
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
- ASPParserExample
  
  public ASPParserExample()
Method Details
- main
  
  public static void main(String[] args) throws ParseException, FileNotFoundException
  
  Parameters:
  
  args - ParseException
  
  Throws:
  
  ParseException - ParseException
  
  FileNotFoundException - FileNotFoundException