CppClingo::Ground::AtomBase Member List

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

add(Symbol atom, StateAtom state, Gen &&gen) -> std::pair< MapAtom::iterator, AtomUpdate >	CppClingo::Ground::AtomBase	inline
begin(MatcherType type) const -> size_t	CppClingo::Ground::BaseImpl< Symbol, AtomBase >	inline
clear_context()	CppClingo::Ground::BaseImpl< Symbol, AtomBase >	inline
contains(Key const &sym, MatcherType type) const -> std::optional< size_t >	CppClingo::Ground::BaseImpl< Symbol, AtomBase >	inline
context() -> T &	CppClingo::Ground::BaseImpl< Symbol, AtomBase >	inline
domain() const	CppClingo::Ground::AtomBase	inline
end(MatcherType type) const -> size_t	CppClingo::Ground::BaseImpl< Symbol, AtomBase >	inline
ensure(size_t generation)	CppClingo::Ground::BaseImpl< Symbol, AtomBase >	inline
find(Symbol const &sym) -> std::optional< MapAtom::iterator >	CppClingo::Ground::AtomBase	inline
has_update() const -> bool	CppClingo::Ground::BaseImpl< Symbol, AtomBase >	inline
index(Symbol const &sym) const -> size_t	CppClingo::Ground::AtomBase	inline
is_fact(Symbol sym) const -> bool	CppClingo::Ground::AtomBase	inline
Key typedef	CppClingo::Ground::BaseImpl< Symbol, AtomBase >
MapAtom typedef	CppClingo::Ground::AtomBase
mark(SymbolCollector &gc)	CppClingo::Ground::AtomBase	inline
mark_negated() -> size_t	CppClingo::Ground::AtomBase	inline
mark_projected() -> size_t	CppClingo::Ground::AtomBase	inline
mark_shown() -> size_t	CppClingo::Ground::AtomBase	inline
nth(size_t i) const -> MapAtom::const_iterator	CppClingo::Ground::AtomBase	inline
nth(size_t i) -> MapAtom::iterator	CppClingo::Ground::AtomBase	inline
num_shown() const -> size_t	CppClingo::Ground::AtomBase	inline
simplify(Pred const &pred, size_t &rem, size_t &fact)	CppClingo::Ground::AtomBase	inline
size() const -> size_t	CppClingo::Ground::AtomBase	inline
update(size_t generation)	CppClingo::Ground::BaseImpl< Symbol, AtomBase >	inline