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

Packages that use AggregateAtom

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

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

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

Modifier and Type	Method	Description
AggregateAtom	InstantiateVisitor.visit(ASTAggregate node, Object data)

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

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

Modifier and Type	Method	Description
AggregateAtom	AggregateAtom.clone()
AggregateAtom	AggregateHead.getFormula()	Return the aggregate atom that makes up this rule head.
AggregateAtom	AggregateAtom.substitute(Term<?> t, Term<?> v)

Methods in org.tweetyproject.lp.asp.syntax with parameters of type AggregateAtom

Modifier and Type	Method	Description
void	AggregateHead.setFormula(AggregateAtom head)	Sets the aggregate atom that makes up this rule head.

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

Modifier	Constructor	Description
	AggregateAtom(AggregateAtom other)	Copy-Constructor
	AggregateHead(AggregateAtom head)	Creates a new ASPAggregateHead with the given aggregate atom.