Uses of Class
net.sf.tweety.lp.asp.syntax.AggregateElement

Packages that use AggregateElement

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

Uses of AggregateElement in net.sf.tweety.lp.asp.parser

Methods in net.sf.tweety.lp.asp.parser that return AggregateElement

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

Methods in net.sf.tweety.lp.asp.parser that return types with arguments of type AggregateElement

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

Uses of AggregateElement in net.sf.tweety.lp.asp.syntax

Methods in net.sf.tweety.lp.asp.syntax that return AggregateElement

Modifier and Type	Method and Description
AggregateElement	AggregateElement.clone()
AggregateElement	AggregateElement.exchange(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> v, net.sf.tweety.logics.commons.syntax.interfaces.Term<?> t)
AggregateElement	AggregateElement.substitute(Map<? extends net.sf.tweety.logics.commons.syntax.interfaces.Term<?>,? extends net.sf.tweety.logics.commons.syntax.interfaces.Term<?>> map)
AggregateElement	AggregateElement.substitute(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> t, net.sf.tweety.logics.commons.syntax.interfaces.Term<?> v)

Methods in net.sf.tweety.lp.asp.syntax that return types with arguments of type AggregateElement

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

Constructors in net.sf.tweety.lp.asp.syntax with parameters of type AggregateElement

Constructor and Description
AggregateElement(AggregateElement other) Copy-Constructor

Constructor parameters in net.sf.tweety.lp.asp.syntax with type arguments of type AggregateElement

Constructor and Description
AggregateAtom(ASPOperator.AggregateFunction func, List<AggregateElement> elements) Creates a new Aggregate with the given aggregate function and the given aggregate elements.
AggregateAtom(ASPOperator.AggregateFunction func, List<AggregateElement> elements, ASPOperator.BinaryOperator relation, net.sf.tweety.logics.commons.syntax.interfaces.Term<?> t) Creates a new Aggregate with the given aggregate function, the given aggregate elements, and the given aggregate relation.
AggregateAtom(ASPOperator.AggregateFunction func, List<AggregateElement> elements, ASPOperator.BinaryOperator relation, net.sf.tweety.logics.commons.syntax.interfaces.Term<?> t, ASPOperator.BinaryOperator relation2, net.sf.tweety.logics.commons.syntax.interfaces.Term<?> t2) Creates a new Aggregate with the given aggregate function, the given aggregate elements, and the given left and right aggregate relations.