Uses of Class
net.sf.tweety.lp.asp.syntax.ASPOperator.AggregateFunction

Packages that use ASPOperator.AggregateFunction

Package	Description
net.sf.tweety.lp.asp.parser
net.sf.tweety.lp.asp.syntax

Uses of ASPOperator.AggregateFunction in net.sf.tweety.lp.asp.parser

Methods in net.sf.tweety.lp.asp.parser that return ASPOperator.AggregateFunction

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

Uses of ASPOperator.AggregateFunction in net.sf.tweety.lp.asp.syntax

Methods in net.sf.tweety.lp.asp.syntax that return ASPOperator.AggregateFunction

Modifier and Type	Method	Description
ASPOperator.AggregateFunction	AggregateAtom.getFunction()	Returns the aggregate function.
static ASPOperator.AggregateFunction	ASPOperator.AggregateFunction.valueOf(java.lang.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 net.sf.tweety.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 net.sf.tweety.lp.asp.syntax with parameters of type ASPOperator.AggregateFunction

Constructor	Description
AggregateAtom(ASPOperator.AggregateFunction func, java.util.List<AggregateElement> elements)	Creates a new Aggregate with the given aggregate function and the given aggregate elements.
AggregateAtom(ASPOperator.AggregateFunction func, java.util.List<AggregateElement> elements, ASPOperator.BinaryOperator relation, Term<?> t)	Creates a new Aggregate with the given aggregate function, the given aggregate elements, and the given aggregate relation.
AggregateAtom(ASPOperator.AggregateFunction func, java.util.List<AggregateElement> elements, ASPOperator.BinaryOperator relation, Term<?> t, ASPOperator.BinaryOperator relation2, Term<?> t2)	Creates a new Aggregate with the given aggregate function, the given aggregate elements, and the given left and right aggregate relations.