Uses of Enum
org.tweetyproject.lp.asp.syntax.ASPOperator.ArithmeticOperator

Packages that use ASPOperator.ArithmeticOperator

Package	Description
org.tweetyproject.lp.asp.parser
org.tweetyproject.lp.asp.syntax

Uses of ASPOperator.ArithmeticOperator in org.tweetyproject.lp.asp.parser

Methods in org.tweetyproject.lp.asp.parser that return ASPOperator.ArithmeticOperator

Modifier and Type	Method	Description
static ASPOperator.ArithmeticOperator	InstantiateVisitor.evaluateArithop(String sop)	Evaluates the given arithmetic operator string and returns the corresponding

Uses of ASPOperator.ArithmeticOperator in org.tweetyproject.lp.asp.syntax

Methods in org.tweetyproject.lp.asp.syntax that return ASPOperator.ArithmeticOperator

Modifier and Type	Method	Description
ASPOperator.ArithmeticOperator	ArithmeticTerm.getOperator()	Return the arithmetic operator of this arithmetic term.
static ASPOperator.ArithmeticOperator	ASPOperator.ArithmeticOperator.valueOf(String name)	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.

Methods in org.tweetyproject.lp.asp.syntax with parameters of type ASPOperator.ArithmeticOperator

Modifier and Type	Method	Description
void	ArithmeticTerm.setOperator(ASPOperator.ArithmeticOperator op)	Sets the operator of this arithmetic term.

Constructors in org.tweetyproject.lp.asp.syntax with parameters of type ASPOperator.ArithmeticOperator

Modifier	Constructor	Description
	ArithmeticTerm(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.

Constructor parameters in org.tweetyproject.lp.asp.syntax with type arguments of type ASPOperator.ArithmeticOperator

Modifier	Constructor	Description
	ArithmeticTerm(Triple<ASPOperator.ArithmeticOperator,Term<?>,Term<?>> triple)	Create a new arithmetic term based on the given triple of an arithmetic operator and two terms.