CppClingo::Ground::BaseBdAggr Member List

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

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