CppClingo::Control::SolveEventHandler Member List

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

on_core(Potassco::LitSpan core)	CppClingo::Control::SolveEventHandler	inline
on_finish(SolveResult result)	CppClingo::Control::SolveEventHandler	inline
on_model(Model &mdl) -> bool	CppClingo::Control::SolveEventHandler	inline
on_stats(Potassco::AbstractStatistics &stats)	CppClingo::Control::SolveEventHandler	inline
on_unsat(Clasp::SumView bound)	CppClingo::Control::SolveEventHandler	inline
~SolveEventHandler()=default (defined in CppClingo::Control::SolveEventHandler)	CppClingo::Control::SolveEventHandler	virtual