Uses of Class
net.sf.tweety.lp.asp.syntax.ASPOperator.ArithmeticOperator

Packages that use ASPOperator.ArithmeticOperator

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

Uses of ASPOperator.ArithmeticOperator in net.sf.tweety.lp.asp.parser

Methods in net.sf.tweety.lp.asp.parser that return ASPOperator.ArithmeticOperator

Modifier and Type	Method and Description
static ASPOperator.ArithmeticOperator	InstantiateVisitor.evaluateArithop(String sop)

Uses of ASPOperator.ArithmeticOperator in net.sf.tweety.lp.asp.syntax

Methods in net.sf.tweety.lp.asp.syntax that return ASPOperator.ArithmeticOperator

Modifier and Type	Method and Description
ASPOperator.ArithmeticOperator	ArithmeticTerm.getOperator() Returns the 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 net.sf.tweety.lp.asp.syntax with parameters of type ASPOperator.ArithmeticOperator

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

Constructors in net.sf.tweety.lp.asp.syntax with parameters of type ASPOperator.ArithmeticOperator

Constructor and Description
ArithmeticTerm(ASPOperator.ArithmeticOperator op, net.sf.tweety.logics.commons.syntax.interfaces.Term<?> t) Creates an arithmetic term of the form -(t)
ArithmeticTerm(ASPOperator.ArithmeticOperator op, net.sf.tweety.logics.commons.syntax.interfaces.Term<?> left, net.sf.tweety.logics.commons.syntax.interfaces.Term<?> right)

Constructor parameters in net.sf.tweety.lp.asp.syntax with type arguments of type ASPOperator.ArithmeticOperator

Constructor and Description
ArithmeticTerm(net.sf.tweety.commons.util.Triple<ASPOperator.ArithmeticOperator,net.sf.tweety.logics.commons.syntax.interfaces.Term<?>,net.sf.tweety.logics.commons.syntax.interfaces.Term<?>> triple)