Package org.tweetyproject.lp.asp.syntax

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
     

  • 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 Details

    • ASPOperator

      public ASPOperator()