add(Symbol const *sym, AggregateFunction fun) -> std::pair< AtomMap::iterator, bool > | CppClingo::Ground::BaseHdAggr | |
AtomMap typedef | CppClingo::Ground::BaseHdAggr | |
atoms() -> AtomMap & | CppClingo::Ground::BaseHdAggr | |
BaseHdAggr(size_t size) | CppClingo::Ground::BaseHdAggr | inline |
begin(MatcherType type) const -> size_t | CppClingo::Ground::BaseImpl< Symbol const *, BaseHdAggr > | inline |
clear_context() | CppClingo::Ground::BaseImpl< Symbol const *, BaseHdAggr > | inline |
contains(Key const &sym, MatcherType type) const -> std::optional< size_t > | CppClingo::Ground::BaseHdAggr | inline |
context() -> T & | CppClingo::Ground::BaseImpl< Symbol const *, BaseHdAggr > | inline |
end(MatcherType type) const -> size_t | CppClingo::Ground::BaseImpl< Symbol const *, BaseHdAggr > | inline |
ensure(size_t generation) | CppClingo::Ground::BaseImpl< Symbol const *, BaseHdAggr > | inline |
has_update() const -> bool | CppClingo::Ground::BaseImpl< Symbol const *, BaseHdAggr > | inline |
index(Symbol const *sym) const -> size_t | CppClingo::Ground::BaseHdAggr | |
Key typedef | CppClingo::Ground::BaseImpl< Symbol const *, BaseHdAggr > | |
nth(size_t i) const -> AtomMap::const_iterator | CppClingo::Ground::BaseHdAggr | |
nth(size_t i) -> AtomMap::iterator | CppClingo::Ground::BaseHdAggr | |
size() const -> size_t | CppClingo::Ground::BaseHdAggr | |
update(size_t generation) | CppClingo::Ground::BaseImpl< Symbol const *, BaseHdAggr > | inline |