Uses of Class
net.sf.tweety.lp.asp.syntax.ASPOperator.BinaryOperator
-
Packages that use ASPOperator.BinaryOperator Package Description net.sf.tweety.lp.asp.parser net.sf.tweety.lp.asp.syntax -
-
Uses of ASPOperator.BinaryOperator in net.sf.tweety.lp.asp.parser
Methods in net.sf.tweety.lp.asp.parser that return ASPOperator.BinaryOperator Modifier and Type Method Description ASPOperator.BinaryOperator
InstantiateVisitor. evaluateBinop(java.lang.String op)
-
Uses of ASPOperator.BinaryOperator in net.sf.tweety.lp.asp.syntax
Methods in net.sf.tweety.lp.asp.syntax that return ASPOperator.BinaryOperator Modifier and Type Method Description ASPOperator.BinaryOperator
AggregateAtom. getLeftOperator()
Returns the operator of the left aggregate relation.ASPOperator.BinaryOperator
ComparativeAtom. getOperator()
Returns the comparative operator of the atom.ASPOperator.BinaryOperator
AggregateAtom. getRightOperator()
Returns the operator of the right aggregate relation.static ASPOperator.BinaryOperator
ASPOperator.BinaryOperator. valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.static ASPOperator.BinaryOperator[]
ASPOperator.BinaryOperator. 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.BinaryOperator Modifier and Type Method Description void
AggregateAtom. setLeftOperator(ASPOperator.BinaryOperator op)
Sets the operator of the left aggregate relation.void
AggregateAtom. setRightOperator(ASPOperator.BinaryOperator op)
Sets the operator of the right aggregate relation.Constructors in net.sf.tweety.lp.asp.syntax with parameters of type ASPOperator.BinaryOperator Constructor Description AggregateAtom(ASPOperator.AggregateFunction func, java.util.List<AggregateElement> elements, ASPOperator.BinaryOperator relation, Term<?> t)
Creates a new Aggregate with the given aggregate function, the given aggregate elements, and the given aggregate relation.AggregateAtom(ASPOperator.AggregateFunction func, java.util.List<AggregateElement> elements, ASPOperator.BinaryOperator relation, Term<?> t, ASPOperator.BinaryOperator relation2, Term<?> t2)
Creates a new Aggregate with the given aggregate function, the given aggregate elements, and the given left and right aggregate relations.ComparativeAtom(ASPOperator.BinaryOperator op, Term<?> left, Term<?> right)
-