Uses of Enum
org.tweetyproject.lp.asp.syntax.ASPOperator.AggregateFunction

Packages that use ASPOperator.AggregateFunction

Package	Description
org.tweetyproject.lp.asp.parser
org.tweetyproject.lp.asp.syntax

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

Methods in org.tweetyproject.lp.asp.parser that return ASPOperator.AggregateFunction

Modifier and Type	Method	Description
static ASPOperator.AggregateFunction	InstantiateVisitor.evaluateAggrFunc(String func)

Uses of ASPOperator.AggregateFunction in org.tweetyproject.lp.asp.syntax

Methods in org.tweetyproject.lp.asp.syntax that return ASPOperator.AggregateFunction

Modifier and Type	Method	Description
ASPOperator.AggregateFunction	AggregateAtom.getFunction()
static ASPOperator.AggregateFunction	ASPOperator.AggregateFunction.valueOf(String name)	Returns the enum constant of this type with the specified name.
static ASPOperator.AggregateFunction[]	ASPOperator.AggregateFunction.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.AggregateFunction

Modifier and Type	Method	Description
void	AggregateAtom.setFunction(ASPOperator.AggregateFunction function)	Sets the aggregate function.

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

Modifier	Constructor	Description
	AggregateAtom(ASPOperator.AggregateFunction function, List<AggregateElement> elements)	Creates a new Aggregate with the given aggregate function and the given aggregate elements.
	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.