Clingo::SolveEventHandler Member List

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

finish(SolveResult result) noexcept	Clingo::SolveEventHandler	inline
model(Model model) -> bool	Clingo::SolveEventHandler	inline
stats(Stats step, Stats accu)	Clingo::SolveEventHandler	inline
unsat(SumSpan lower_bound)	Clingo::SolveEventHandler	inline
~SolveEventHandler()=default	Clingo::SolveEventHandler	virtual