Clingo
Loading...
Searching...
No Matches
CppClingo::Ground::BaseHdAggr Member List

This is the complete list of members for CppClingo::Ground::BaseHdAggr, including all inherited members.

add(Symbol const *sym, AggregateFunction fun) -> std::pair< AtomMap::iterator, bool >CppClingo::Ground::BaseHdAggr
AtomMap typedefCppClingo::Ground::BaseHdAggr
atoms() -> AtomMap &CppClingo::Ground::BaseHdAggr
BaseHdAggr(size_t size)CppClingo::Ground::BaseHdAggrinline
begin(MatcherType type) const -> size_tCppClingo::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::BaseHdAggrinline
context() -> T &CppClingo::Ground::BaseImpl< Symbol const *, BaseHdAggr >inline
end(MatcherType type) const -> size_tCppClingo::Ground::BaseImpl< Symbol const *, BaseHdAggr >inline
ensure(size_t generation)CppClingo::Ground::BaseImpl< Symbol const *, BaseHdAggr >inline
has_update() const -> boolCppClingo::Ground::BaseImpl< Symbol const *, BaseHdAggr >inline
index(Symbol const *sym) const -> size_tCppClingo::Ground::BaseHdAggr
Key typedefCppClingo::Ground::BaseImpl< Symbol const *, BaseHdAggr >
nth(size_t i) const -> AtomMap::const_iteratorCppClingo::Ground::BaseHdAggr
nth(size_t i) -> AtomMap::iteratorCppClingo::Ground::BaseHdAggr
size() const -> size_tCppClingo::Ground::BaseHdAggr
update(size_t generation)CppClingo::Ground::BaseImpl< Symbol const *, BaseHdAggr >inline