CppClingo::Ground::StateCondLit Member List

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

add_conclusion(Assignment const &ass, MapAtomCondLit::iterator it, size_t conclusion, bool fact)	CppClingo::Ground::StateCondLit
add_empty(Assignment const &ass) -> std::pair< MapAtomCondLit::iterator, bool >	CppClingo::Ground::StateCondLit
add_premise(EvalContext const &ctx, ULitVec const &premise) -> bool	CppClingo::Ground::StateCondLit
atom_find(Assignment const &ass) -> MapAtomCondLit::iterator	CppClingo::Ground::StateCondLit
atom_index(Assignment const &ass) -> std::optional< size_t >	CppClingo::Ground::StateCondLit
atom_index(MapAtomCondLit::const_iterator it) const -> size_t	CppClingo::Ground::StateCondLit
atom_is_fact(MapAtomCondLit::iterator it) -> bool	CppClingo::Ground::StateCondLit
atom_nth(size_t index) -> MapAtomCondLit::iterator	CppClingo::Ground::StateCondLit
base_empty() -> BaseCondLitEmpty &	CppClingo::Ground::StateCondLit
base_lit() -> BaseCondLit &	CppClingo::Ground::StateCondLit
base_premise() -> BaseCondLitPremise &	CppClingo::Ground::StateCondLit
domain() const -> bool	CppClingo::Ground::StateCondLit
elem_find(Assignment const &ass, MapAtomCondLit::iterator it) -> MapElemCondLit::iterator	CppClingo::Ground::StateCondLit
elem_index(MapElemCondLit::const_iterator it) const -> size_t	CppClingo::Ground::StateCondLit
index() const -> size_t	CppClingo::Ground::StateCondLit
output(Logger &log, SymbolStore &store, OutputStm &out) override	CppClingo::Ground::StateCondLit	virtual
propagate() -> bool	CppClingo::Ground::StateCondLit
StateCondLit(std::pmr::monotonic_buffer_resource &mbr, VariableVec local, VariableVec global, size_t index, bool has_conclusion, bool sp_premise, bool domain)	CppClingo::Ground::StateCondLit	inline
vars(VariableSet &res, bool all) const	CppClingo::Ground::StateCondLit
vars(bool all) const -> VariableSet	CppClingo::Ground::StateCondLit
vars_global() const -> VariableVec const &	CppClingo::Ground::StateCondLit
vars_local() const -> VariableVec const &	CppClingo::Ground::StateCondLit
~State()=default	CppClingo::Ground::State	virtual