Uses of Class
net.sf.tweety.lp.asp.syntax.AggregateAtom
-
Packages that use AggregateAtom Package Description net.sf.tweety.lp.asp.parser net.sf.tweety.lp.asp.syntax -
-
Uses of AggregateAtom in net.sf.tweety.lp.asp.parser
Methods in net.sf.tweety.lp.asp.parser that return AggregateAtom Modifier and Type Method Description AggregateAtom
InstantiateVisitor. visit(ASTAggregate node, java.lang.Object data)
-
Uses of AggregateAtom in net.sf.tweety.lp.asp.syntax
Methods in net.sf.tweety.lp.asp.syntax that return AggregateAtom Modifier and Type Method Description AggregateAtom
AggregateAtom. clone()
AggregateAtom
AggregateAtom. substitute(Term<?> t, Term<?> v)
Constructors in net.sf.tweety.lp.asp.syntax with parameters of type AggregateAtom Constructor Description AggregateAtom(AggregateAtom other)
Copy-Constructor
-