CppClingo::Ground::BaseAssignAggr Member List

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

add(size_t idx, Symbol val) -> bool	CppClingo::Ground::BaseAssignAggr
AtomMap typedef	CppClingo::Ground::BaseAssignAggr
atoms() -> AtomMap &	CppClingo::Ground::BaseAssignAggr
AtomSet typedef	CppClingo::Ground::BaseAssignAggr
BaseAssignAggr(size_t size, bool domain_elems, bool single_pass_elems)	CppClingo::Ground::BaseAssignAggr	inline
begin(MatcherType type) const -> size_t	CppClingo::Ground::BaseImpl< std::pair< size_t, Symbol >, BaseAssignAggr >	inline
clear_context()	CppClingo::Ground::BaseImpl< std::pair< size_t, Symbol >, BaseAssignAggr >	inline
contains(Key const &sym, MatcherType type) const -> std::optional< size_t >	CppClingo::Ground::BaseAssignAggr	inline
BaseImpl< std::pair< size_t, Symbol >, BaseAssignAggr >::contains(Key const &sym, MatcherType type) const -> std::optional< size_t >	CppClingo::Ground::BaseImpl< std::pair< size_t, Symbol >, BaseAssignAggr >	inline
context() -> T &	CppClingo::Ground::BaseImpl< std::pair< size_t, Symbol >, BaseAssignAggr >	inline
derived() -> AtomSet &	CppClingo::Ground::BaseAssignAggr
domain_elems() const -> bool	CppClingo::Ground::BaseAssignAggr
end(MatcherType type) const -> size_t	CppClingo::Ground::BaseImpl< std::pair< size_t, Symbol >, BaseAssignAggr >	inline
ensure(size_t generation)	CppClingo::Ground::BaseImpl< std::pair< size_t, Symbol >, BaseAssignAggr >	inline
has_update() const -> bool	CppClingo::Ground::BaseImpl< std::pair< size_t, Symbol >, BaseAssignAggr >	inline
index(Key sym) const -> size_t	CppClingo::Ground::BaseAssignAggr
is_fact(Key sym) const -> bool	CppClingo::Ground::BaseAssignAggr
Key typedef	CppClingo::Ground::BaseAssignAggr
nth(size_t i) const -> AtomSet::const_iterator	CppClingo::Ground::BaseAssignAggr
nth(size_t i) -> AtomSet::iterator	CppClingo::Ground::BaseAssignAggr
single_pass_elems() const -> bool	CppClingo::Ground::BaseAssignAggr
size() const -> size_t	CppClingo::Ground::BaseAssignAggr
update(size_t generation)	CppClingo::Ground::BaseImpl< std::pair< size_t, Symbol >, BaseAssignAggr >	inline