14 #ifndef CPROVER_SOLVERS_HARDNESS_COLLECTOR_H
15 #define CPROVER_SOLVERS_HARDNESS_COLLECTOR_H
33 T &maybe_hardness_collector,
39 auto hardness_collector =
42 hardness_collector->with_solver_hardness(handler);
Base class for all expressions.
virtual void enable_hardness_collection()=0
std::function< void(solver_hardnesst &)> handlert
virtual void with_solver_hardness(handlert handler)=0
virtual ~hardness_collectort()=default
void with_solver_hardness(T &maybe_hardness_collector, hardness_collectort::handlert handler)
A structure that facilitates collecting the complexity statistics from a decision procedure.