Class ASPOperator

java.lang.Object
org.tweetyproject.lp.asp.syntax.ASPOperator
public class ASPOperator extends 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 enum 
    ASPOperator.AggregateFunction
    The following aggregate functions are supported by the ASP-Core-2 standard and by Tweety.
    static enum 
    ASPOperator.ArithmeticOperator
    The arithmetic operators that are supported by the ASP-Core-2 standard: PLUS (+), MINUS (-), TIMES (*), DIV (/)
    In addition, the following operators from Clingo and DLV are supported: MODULO (\)
    static enum 
    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.ClingoPredicate
    Additional special predicates of the clingo syntax that have no direct representation in the DLV or ASP-Core-2 format.
    static class 
    ASPOperator.DLVPredicate
    Additional special predicates of the DLV syntax that have no direct representation in the Clingo or ASP-Core-2 format.
    static enum 
    ASPOperator.OptimizeFunction
    An enum representing optimization functions: MINIMIZE and MAXIMIZE.

  • Constructor Summary

    Constructors
    Constructor
    Description
    ASPOperator()
    Default Constructor

  • Method Summary

    Methods inherited from class java.lang.Object

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

  • Constructor Details

    • ASPOperator

      public ASPOperator()
      Default Constructor