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