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.
-