Class AggregateExample
- java.lang.Object
-
- org.tweetyproject.lp.asp.examples.AggregateExample
-
public class AggregateExample extends java.lang.ObjectSome 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 voidmain(java.lang.String[] args)
-
-
-
Method Detail
-
main
public static void main(java.lang.String[] args) throws java.io.IOException, ParseException- Throws:
java.io.IOExceptionParseException
-
-