Uses of Class org.tweetyproject.lp.asp.syntax.ASPOperator.BinaryOperator

Packages that use ASPOperator.BinaryOperator
Package Description

org.tweetyproject.lp.asp.parser

org.tweetyproject.lp.asp.syntax

Uses of ASPOperator.BinaryOperator in org.tweetyproject.lp.asp.parser

Methods in org.tweetyproject.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 org.tweetyproject.lp.asp.syntax

Methods in org.tweetyproject.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()`
`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 org.tweetyproject.lp.asp.syntax with parameters of type ASPOperator.BinaryOperator
Modifier and Type	Method	Description
`void`	AggregateAtom.`setLeft(Term<?> term, ASPOperator.BinaryOperator op)`	Set the left relation term and operator.
`void`	AggregateAtom.`setLeftOperator(ASPOperator.BinaryOperator op)`	Sets the operator of the left aggregate relation.
`void`	AggregateAtom.`setRight(Term<?> term, ASPOperator.BinaryOperator op)`	Set the right relation term and operator.
`void`	AggregateAtom.`setRightOperator(ASPOperator.BinaryOperator op)`	Sets the operator of the right aggregate relation.

Constructors in org.tweetyproject.lp.asp.syntax with parameters of type ASPOperator.BinaryOperator
Constructor	Description
`AggregateAtom(ASPOperator.AggregateFunction function, java.util.List<AggregateElement> elements, ASPOperator.BinaryOperator rightRelation, int rightBound)`	Creates a new Aggregate of the form "#func { elements } op rightBound" with the given aggregate function #func, the given aggregate elements, the given aggregate relation op and the given rightBound.
`AggregateAtom(ASPOperator.AggregateFunction function, java.util.List<AggregateElement> elements, ASPOperator.BinaryOperator leftRelation, int leftBound, ASPOperator.BinaryOperator rightRelation, int rightBound)`	Creates a new Aggregate of the form "leftBound op #func { elements } op rightBound" with the given aggregate function, the given aggregate elements, and the given left and right aggregate relations and integer bounds.
`AggregateAtom(ASPOperator.AggregateFunction function, java.util.List<AggregateElement> elements, ASPOperator.BinaryOperator rightRelation, Term<?> rightBound)`	Creates a new Aggregate of the form "#func { elements } op rightBound" with the given aggregate function #func, the given aggregate elements, the given aggregate relation op and the given rightBound.
`AggregateAtom(ASPOperator.AggregateFunction function, java.util.List<AggregateElement> elements, ASPOperator.BinaryOperator leftRelation, Term<?> leftBound, ASPOperator.BinaryOperator rightRelation, Term<?> rightBound)`	Creates a new Aggregate of the form "leftBound leftOp #func { elements } rightOp rightBound" with the given aggregate function, the given aggregate elements, and the given left and right aggregate relations and bounds.
`ComparativeAtom(ASPOperator.BinaryOperator op, Term<?> left, Term<?> right)`	Create a new comparative atom with the given operator and left and right term.