CppClingo::Control::SolveControl Member List

This is the complete list of members for CppClingo::Control::SolveControl, including all inherited members.

add_clause(PrgLitSpan lits)	CppClingo::Control::SolveControl	inline
bases() const -> Ground::Bases const &	CppClingo::Control::BaseView	inline
clasp_program() const -> Clasp::Asp::LogicProgram const &	CppClingo::Control::BaseView	inline
clasp_theory() const -> Potassco::TheoryData const &	CppClingo::Control::BaseView	inline
term_base() const -> TermBaseMap const &	CppClingo::Control::BaseView	inline
~BaseView()=default	CppClingo::Control::BaseView	virtual