CppClingo::Ground::StateCondLitElem Member List

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

conclusion() const -> std::optional< size_t >	CppClingo::Ground::StateCondLitElem	inline
has_offset() const -> bool	CppClingo::Ground::StateCondLitElem	inline
is_blocked() const -> bool	CppClingo::Ground::StateCondLitElem	inline
is_fact() const -> bool	CppClingo::Ground::StateCondLitElem	inline
is_false() const	CppClingo::Ground::StateCondLitElem	inline
offset() const -> size_t	CppClingo::Ground::StateCondLitElem	inline
premise() const -> size_t	CppClingo::Ground::StateCondLitElem	inline
set_conclusion(size_t conclusion, bool fact)	CppClingo::Ground::StateCondLitElem	inline
set_offset(size_t offset)	CppClingo::Ground::StateCondLitElem	inline
StateCondLitElem(size_t premise, bool premise_is_fact, bool has_conclusion)	CppClingo::Ground::StateCondLitElem	inline