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

Class ASPOperator

  • public class ASPOperator
extends java.lang.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

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

    • Constructor Detail

      • ASPOperator

        public ASPOperator()