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 and 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 and 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()