Uses of Class
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(java.lang.String sop)
-
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()
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 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 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 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.
-