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
operator=(SolveEventHandler &&other) -> SolveEventHandler &=delete	Clingo::SolveEventHandler
SolveEventHandler()=default	Clingo::SolveEventHandler
SolveEventHandler(SolveEventHandler &&other)=delete	Clingo::SolveEventHandler
stats(Stats step, Stats accu)	Clingo::SolveEventHandler	inline
unsat(SumSpan lower_bound)	Clingo::SolveEventHandler	inline
~SolveEventHandler()=default	Clingo::SolveEventHandler	virtual