CppClingo::Ground::AtomDisjunction Member List

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

add_elem(size_t idx)	CppClingo::Ground::AtomDisjunction
dequeue()	CppClingo::Ground::AtomDisjunction
elems() const -> std::span< size_t const >	CppClingo::Ground::AtomDisjunction
enqueue() -> bool	CppClingo::Ground::AtomDisjunction
is_fact() const -> bool	CppClingo::Ground::AtomDisjunction
mark_fact()	CppClingo::Ground::AtomDisjunction
todo() -> std::span< size_t const >	CppClingo::Ground::AtomDisjunction
uid() const -> std::optional< size_t >	CppClingo::Ground::AtomDisjunction
uid(size_t uid)	CppClingo::Ground::AtomDisjunction