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.