Uses of Class
org.tweetyproject.lp.asp.syntax.AggregateElement

Packages that use AggregateElement

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

Uses of AggregateElement in org.tweetyproject.lp.asp.parser

Methods in org.tweetyproject.lp.asp.parser that return AggregateElement

Modifier and Type	Method	Description
AggregateElement	InstantiateVisitor.visit(ASTAggrElement node, Object data)

Methods in org.tweetyproject.lp.asp.parser that return types with arguments of type AggregateElement

Modifier and Type	Method	Description
List<AggregateElement>	InstantiateVisitor.visit(ASTAggrElementList node, Object data)

Uses of AggregateElement in org.tweetyproject.lp.asp.syntax

Methods in org.tweetyproject.lp.asp.syntax that return AggregateElement

Modifier and Type	Method	Description
AggregateElement	AggregateElement.clone()
AggregateElement	AggregateElement.exchange(Term<?> v, Term<?> t)
AggregateElement	AggregateElement.substitute(Map<? extends Term<?>,? extends Term<?>> map)
AggregateElement	AggregateElement.substitute(Term<?> t, Term<?> v)

Methods in org.tweetyproject.lp.asp.syntax that return types with arguments of type AggregateElement

Modifier and Type	Method	Description
List<AggregateElement>	AggregateAtom.getAggregateElements()

Method parameters in org.tweetyproject.lp.asp.syntax with type arguments of type AggregateElement

Modifier and Type	Method	Description
void	AggregateAtom.setAggregateElements(List<AggregateElement> aggregateElements)	Set the elements that the aggregate ranges over.

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

Modifier	Constructor	Description
	AggregateElement(AggregateElement other)	Copy-Constructor

Constructor parameters in org.tweetyproject.lp.asp.syntax with type arguments of type AggregateElement

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.