Class 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
    • Method Summary

      Modifier and Type Method Description
      static void main​(java.lang.String[] args)  
      • Methods inherited from class java.lang.Object

        equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • AggregateExample

        public AggregateExample()
    • Method Detail

      • main

        public static void main​(java.lang.String[] args)
                         throws java.io.IOException,
                                ParseException
        Throws:
        java.io.IOException
        ParseException