Package org.tweetyproject.lp.asp.syntax

Class ASPOperator

  • public class ASPOperator
extends java.lang.Object
    This class collects some common operators used in ASP terms as well as the possible function names for aggregates.
    Author:
    Anna Gessler

    • Nested Class Summary

      Nested Classes 
      Modifier and Type Class Description
      static class  ASPOperator.AggregateFunction
      The following aggregate functions are supported by the ASP-Core-2 standard and by Tweety.
      static class  ASPOperator.ArithmeticOperator
      The arithmetic operators that are supported by the ASP-Core-2 standard and by Tweety: PLUS (+), MINUS (-), TIMES (*), DIV (/)
      static class  ASPOperator.BinaryOperator
      The binary comparative operators that are supported by the ASP-Core-2 standard and by Tweety: LT (<), LEQ (<=), EQ (==), NEQ (!=), GT (>), GEQ (>=)
      static class  ASPOperator.OptimizeFunction  

    • Constructor Summary

      Constructors 
      Constructor Description
      ASPOperator()  

    • Method Summary

      • Methods inherited from class java.lang.Object

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

    • Constructor Detail

      • ASPOperator

        public ASPOperator()