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

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Details

AggregateExample

public AggregateExample()

Default Constructor

Method Details

main

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

Example method

Parameters:

args - IOException

Throws:

IOException - IOException

ParseException - ParseException