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

Fields in net.sf.tweety.lp.asp.syntax declared as ASPOperator.BinaryOperator

Modifier and Type	Field	Description
private ASPOperator.BinaryOperator	AggregateAtom.leftOp	A comparative operator that will be used to compare the aggregate's resulting value with the another value (leftGuard) to produce a truth value.
private ASPOperator.BinaryOperator	ComparativeAtom.op	The comparative operator of the atom.
private ASPOperator.BinaryOperator	AggregateAtom.rightOp	A comparative operator that will be used to compare the aggregate's resulting value with the another value (rightGuard) to produce a truth value.

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)