Enum ASPOperator.ArithmeticOperator

java.lang.Object
java.lang.Enum<ASPOperator.ArithmeticOperator>
org.tweetyproject.lp.asp.syntax.ASPOperator.ArithmeticOperator
All Implemented Interfaces:
Serializable, Comparable<ASPOperator.ArithmeticOperator>, Constable
Enclosing class:
ASPOperator

public static enum ASPOperator.ArithmeticOperator extends 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 (\)
Author:
Anna Gessler