CppClingo::Control::EventHandler Member List

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

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