CppClingo::Ground::AtomTheory Member List

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

add_elem(size_t idx)	CppClingo::Ground::AtomTheory
AtomTheory(Symbol name, std::optional< size_t > rhs)	CppClingo::Ground::AtomTheory	inline
elems() const -> std::span< size_t const >	CppClingo::Ground::AtomTheory
name() const -> Symbol	CppClingo::Ground::AtomTheory	inline
rhs() const -> std::optional< size_t >	CppClingo::Ground::AtomTheory	inline
uid() const -> std::optional< size_t >	CppClingo::Ground::AtomTheory
uid(size_t uid)	CppClingo::Ground::AtomTheory