Package net.sf.tweety.lp.asp.syntax

Class ASPOperator

java.lang.Object

net.sf.tweety.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 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.
static class	ASPOperator.BinaryOperator	The binary comparative operators that are supported by the ASP-Core-2 standard and by Tweety.

Constructor Summary

Constructors

Constructor	Description
ASPOperator()

Method Summary

Methods inherited from class java.lang.Object

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

Constructor Detail

ASPOperator

public ASPOperator()