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 Description static ASPOperator.ArithmeticOperator
InstantiateVisitor. evaluateArithop(java.lang.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 Description ASPOperator.ArithmeticOperator
ArithmeticTerm. getOperator()
Returns the operator of this arithmetic term.static ASPOperator.ArithmeticOperator
ASPOperator.ArithmeticOperator. valueOf(java.lang.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 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 Description ArithmeticTerm(ASPOperator.ArithmeticOperator op, Term<?> t)
Creates an arithmetic term of the form -(t)ArithmeticTerm(ASPOperator.ArithmeticOperator op, Term<?> left, Term<?> right)
Constructor parameters in net.sf.tweety.lp.asp.syntax with type arguments of type ASPOperator.ArithmeticOperator Constructor Description ArithmeticTerm(Triple<ASPOperator.ArithmeticOperator,Term<?>,Term<?>> triple)
-