Uses of Enum
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
static ASPOperator.BinaryOperator	InstantiateVisitor.evaluateBinop(String op)	evaluateBinop

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	ChoiceHead.getLeftOperator()	Return the left comparison operator.
ASPOperator.BinaryOperator	ComparativeAtom.getOperator()
ASPOperator.BinaryOperator	AggregateAtom.getRightOperator()	Returns the operator of the right aggregate relation.
ASPOperator.BinaryOperator	ChoiceHead.getRightOperator()	Return the right comparison operator.
static ASPOperator.BinaryOperator	ASPOperator.BinaryOperator.valueOf(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(int term, ASPOperator.BinaryOperator op)	Set the left relation term and operator.
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	ChoiceHead.setLeftOperator(ASPOperator.BinaryOperator leftOp)	Set the left comparison operator.
void	AggregateAtom.setRight(int term, ASPOperator.BinaryOperator op)	Set the right relation term and operator.
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.
void	ChoiceHead.setRightOperator(ASPOperator.BinaryOperator rightOp)	Set the right comparison operator.

Constructors in org.tweetyproject.lp.asp.syntax with parameters of type ASPOperator.BinaryOperator

Modifier	Constructor	Description
	AggregateAtom(ASPOperator.AggregateFunction function, 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, 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, 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, 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.
	ChoiceHead(List<ChoiceElement> elements, ASPOperator.BinaryOperator rightOp, Term<?> rightTerm)
	ChoiceHead(List<ChoiceElement> elements, ASPOperator.BinaryOperator leftOp, Term<?> leftTerm, ASPOperator.BinaryOperator rightOp, Term<?> rightTerm)
	ChoiceHead(ChoiceElement e, ASPOperator.BinaryOperator rightOp, Term<?> rightTerm)
	ComparativeAtom(ASPOperator.BinaryOperator op, Term<?> left, Term<?> right)	Create a new comparative atom with the given operator and left and right term.