Class AggregateExample
- java.lang.Object
-
- org.tweetyproject.lp.asp.examples.AggregateExample
-
public class AggregateExample extends java.lang.Object
Some more examples on how aggregates work. Note that you can also parse aggregates using the ASP2CoreParser, which is easier than manually creating them for bigger examples. Tested with clingo 5.2.2- Author:
- Anna Gessler
-
-
Constructor Summary
Constructors Constructor Description AggregateExample()
-
Method Summary
Modifier and Type Method Description static void
main(java.lang.String[] args)
-
-
-
Method Detail
-
main
public static void main(java.lang.String[] args) throws java.io.IOException, ParseException
- Throws:
java.io.IOException
ParseException
-
-