Package org.tweetyproject.lp.asp.examples

Class AggregateExample

java.lang.Object

org.tweetyproject.lp.asp.examples.AggregateExample

public class AggregateExample
extends Object

Some more examples on how aggregates work. Note that you can also parse aggregates using ASPParser, which is easier than manually creating them for bigger examples.
Tested with clingo 5.4.0

Author:

Anna Gessler

Constructor Summary

Constructors

Constructor	Description
AggregateExample()

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

AggregateExample

public AggregateExample()

Method Details

main

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

Parameters:

args - IOException

Throws:

IOException - IOException

ParseException - ParseException