CppClingo::Control::Model Member List

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

contains(Symbol sym) const -> bool	CppClingo::Control::Model	inline
context() -> SolveControl &	CppClingo::Control::Model	inline
costs() const -> std::span< prg_sum_t const >	CppClingo::Control::Model	inline
extend(SymbolSpan symbols)	CppClingo::Control::Model	inlinevirtual
is_consequence(prg_lit_t lit) const -> ConsequenceType	CppClingo::Control::Model	inline
is_true(prg_lit_t lit) const -> bool	CppClingo::Control::Model	inline
number() const -> uint64_t	CppClingo::Control::Model	inline
optimality_proven() const -> bool	CppClingo::Control::Model	inline
priorities() const -> std::span< prg_weight_t const >	CppClingo::Control::Model	inline
symbols(SymbolSelectFlags type, SymbolVec &res) const	CppClingo::Control::Model	inline
thread_id() const -> prg_id_t	CppClingo::Control::Model	inline
type() const -> ModelType	CppClingo::Control::Model	inline
~Model()=default (defined in CppClingo::Control::Model)	CppClingo::Control::Model	virtual