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

c_cast	Clingo::Model	friend
ConstModel(clingo_model_t const *mdl)	Clingo::ConstModel	inlineexplicit
contains(Symbol const &atom) const -> bool	Clingo::ConstModel	inline
control() const -> SolveControl	Clingo::Model	inline
cost() const -> SumSpan	Clingo::ConstModel	inline
extend(SymbolSpan symbols) const	Clingo::Model	inline
is_consequence(ProgramLiteral lit) const -> std::optional< bool >	Clingo::ConstModel	inline
is_true(ProgramLiteral lit) const -> bool	Clingo::ConstModel	inline
Model(clingo_model_t *mdl)	Clingo::Model	inlineexplicit
number() const -> uint64_t	Clingo::ConstModel	inline
optimality_proven() const -> bool	Clingo::ConstModel	inline
priorities() const -> WeightSpan	Clingo::ConstModel	inline
symbols(ShowFlags flags=ShowFlags::shown) const -> SymbolVector	Clingo::ConstModel	inline
thread_id() const -> ProgramId	Clingo::ConstModel	inline
to_string() const -> std::string	Clingo::ConstModel	inline
type() const -> ModelType	Clingo::ConstModel	inline