CppClingo::Ground::StateAtomCondLit Member List

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

add_elem(size_t index)	CppClingo::Ground::StateAtomCondLit	inline
elems() const -> std::span< size_t const >	CppClingo::Ground::StateAtomCondLit	inline
enqueue(MapElemCondLit const &elems) -> bool	CppClingo::Ground::StateAtomCondLit
has_offset() const -> bool	CppClingo::Ground::StateAtomCondLit	inline
is_fact(MapElemCondLit const &elems) const -> bool	CppClingo::Ground::StateAtomCondLit
is_false() const -> bool	CppClingo::Ground::StateAtomCondLit	inline
offset() const -> size_t	CppClingo::Ground::StateAtomCondLit	inline
propagate(MapElemCondLit const &elems) -> bool	CppClingo::Ground::StateAtomCondLit
set_offset(size_t offset)	CppClingo::Ground::StateAtomCondLit	inline
StateAtomCondLit()=default (defined in CppClingo::Ground::StateAtomCondLit)	CppClingo::Ground::StateAtomCondLit
uid() const -> std::optional< size_t >	CppClingo::Ground::StateAtomCondLit	inline
uid(size_t uid)	CppClingo::Ground::StateAtomCondLit	inline