Uses of Enum
org.tweetyproject.lp.asp.syntax.ASPOperator.ArithmeticOperator
-
Uses of ASPOperator.ArithmeticOperator in org.tweetyproject.lp.asp.parser
-
Uses of ASPOperator.ArithmeticOperator in org.tweetyproject.lp.asp.syntax
Modifier and TypeMethodDescriptionArithmeticTerm.getOperator()
Returns the enum constant of this type with the specified name.static ASPOperator.ArithmeticOperator[]
ASPOperator.ArithmeticOperator.values()
Returns an array containing the constants of this enum type, in the order they are declared.Modifier and TypeMethodDescriptionvoid
ArithmeticTerm.setOperator
(ASPOperator.ArithmeticOperator op) Sets the operator of this arithmetic term.ModifierConstructorDescriptionArithmeticTerm
(ASPOperator.ArithmeticOperator op, Term<?> t) Creates an arithmetic term of the form '-(t)'ArithmeticTerm
(ASPOperator.ArithmeticOperator op, Term<?> left, Term<?> right) Create a new arithmetic term with the given operator and left and right term.ModifierConstructorDescriptionArithmeticTerm
(Triple<ASPOperator.ArithmeticOperator, Term<?>, Term<?>> triple) Create a new arithmetic term based on the given triple of an arithmetic operator and two terms.