| assignLevels(AssignLevel &lvl) | Gringo::Input::TupleBodyAggregate | virtual |
| bounds | Gringo::Input::TupleBodyAggregate | |
| check(ChkLvlVec &lvl) const | Gringo::Input::TupleBodyAggregate | virtual |
| clone() const | Gringo::Input::TupleBodyAggregate | virtual |
| collect(VarTermBoundVec &vars) const | Gringo::Input::TupleBodyAggregate | virtual |
| elems | Gringo::Input::TupleBodyAggregate | |
| fun | Gringo::Input::TupleBodyAggregate | |
| hash() const | Gringo::Input::TupleBodyAggregate | virtual |
| hasPool(bool beforeRewrite) const | Gringo::Input::TupleBodyAggregate | virtual |
| isAssignment() const | Gringo::Input::TupleBodyAggregate | virtual |
| loc() const =0 | Gringo::Locatable | pure virtual |
| loc(Location const &loc)=0 | Gringo::Locatable | pure virtual |
| naf | Gringo::Input::TupleBodyAggregate | |
| operator!=(BodyAggregateconst &other) const | Gringo::Comparable< BodyAggregate > | inlinevirtual |
| operator==(BodyAggregate const &other) const | Gringo::Input::TupleBodyAggregate | virtual |
| Gringo::Input::BodyAggregate::operator==(BodyAggregateconst &other) const =0 | Gringo::Comparable< BodyAggregate > | pure virtual |
| print(std::ostream &out) const | Gringo::Input::TupleBodyAggregate | virtual |
| removeAssignment() | Gringo::Input::TupleBodyAggregate | virtual |
| replace(Defines &dx) | Gringo::Input::TupleBodyAggregate | virtual |
| rewriteAggregates(UBodyAggrVec &aggr) | Gringo::Input::TupleBodyAggregate | virtual |
| rewriteArithmetics(Term::ArithmeticsMap &arith, Literal::AssignVec &assign, unsigned &auxNum) | Gringo::Input::TupleBodyAggregate | virtual |
| simplify(Projections &project, Term::DotsMap &dots, Term::ScriptMap &scripts, unsigned &auxNum) | Gringo::Input::TupleBodyAggregate | virtual |
| toGround(ToGroundArg &x, Ground::UStmVec &stms) const | Gringo::Input::TupleBodyAggregate | virtual |
| TupleBodyAggregate(NAF naf, AggregateFunction fun, BoundVec &&bounds, BodyAggrElemVec &&elems) | Gringo::Input::TupleBodyAggregate | |
| unpool(UBodyAggrVec &x, bool beforeRewrite) | Gringo::Input::TupleBodyAggregate | virtual |
| ~BodyAggregate() | Gringo::Input::BodyAggregate | inlinevirtual |
| ~Clonable() | Gringo::Clonable< BodyAggregate > | inlinevirtual |
| ~Comparable() | Gringo::Comparable< BodyAggregate > | inlinevirtual |
| ~Hashable() | Gringo::Hashable | inlinevirtual |
| ~Locatable() | Gringo::Locatable | inlinevirtual |
| ~Printable() | Gringo::Printable | inlinevirtual |
| ~TupleBodyAggregate() | Gringo::Input::TupleBodyAggregate | virtual |
1.8.7