Uses of Enum Class
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)	Evaluates the given aggregate function string and returns the corresponding ASPOperator.AggregateFunction.

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

Subclasses with type arguments of type ASPOperator.AggregateFunction in org.tweetyproject.lp.asp.syntax

Modifier and Type	Class	Description
static enum	ASPOperator.AggregateFunction	The following aggregate functions are supported by the ASP-Core-2 standard and by Tweety.

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

Modifier and Type	Method	Description
ASPOperator.AggregateFunction	AggregateAtom.getFunction()	Return the aggregate function
static ASPOperator.AggregateFunction	ASPOperator.AggregateFunction.valueOf(String name)	Returns the enum constant of this class with the specified name.
static ASPOperator.AggregateFunction[]	ASPOperator.AggregateFunction.values()	Returns an array containing the constants of this enum class, 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.