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, java.lang.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()
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 Constructor Description AggregateAtom(AggregateAtom other)
Copy-ConstructorAggregateHead(AggregateAtom head)
Creates a new ASPAggregateHead with the given aggregate atom.
-