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 Description AggregateElement
InstantiateVisitor. visit(ASTAggrElement node, java.lang.Object data)
Methods in net.sf.tweety.lp.asp.parser that return types with arguments of type AggregateElement Modifier and Type Method Description java.util.List<AggregateElement>
InstantiateVisitor. visit(ASTAggrElementList node, java.lang.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 Description AggregateElement
AggregateElement. clone()
AggregateElement
AggregateElement. exchange(Term<?> v, Term<?> t)
AggregateElement
AggregateElement. substitute(java.util.Map<? extends Term<?>,? extends Term<?>> map)
AggregateElement
AggregateElement. substitute(Term<?> t, Term<?> v)
Methods in net.sf.tweety.lp.asp.syntax that return types with arguments of type AggregateElement Modifier and Type Method Description java.util.List<AggregateElement>
AggregateAtom. getAggregateElements()
Constructors in net.sf.tweety.lp.asp.syntax with parameters of type AggregateElement Constructor Description AggregateElement(AggregateElement other)
Copy-ConstructorConstructor parameters in net.sf.tweety.lp.asp.syntax with type arguments of type AggregateElement 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.
-