Clingo::SolveControl Member List

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

add_clause(ProgramLiteralSpan lits) const	Clingo::SolveControl	inline
add_nogood(ProgramLiteralSpan lits) const	Clingo::SolveControl	inline
base() const -> Base	Clingo::SolveControl	inline
SolveControl(clingo_solve_control_t *ctl)	Clingo::SolveControl	inlineexplicit