Uses of Class
org.tweetyproject.lp.asp.syntax.AggregateAtom
-
Uses of AggregateAtom in org.tweetyproject.lp.asp.parser
-
Uses of AggregateAtom in org.tweetyproject.lp.asp.syntax
Modifier and TypeMethodDescriptionAggregateAtom.clone()
AggregateHead.getFormula()
AggregateAtom.substitute(Term<?> t, Term<?> v)
Modifier and TypeMethodDescriptionvoid
AggregateHead.setFormula(AggregateAtom head)
Sets the aggregate atom that makes up this rule head.ModifierConstructorDescriptionAggregateAtom(AggregateAtom other)
Copy-ConstructorAggregateHead(AggregateAtom head)
Creates a new ASPAggregateHead with the given aggregate atom.