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