cprover
|
#include <hardness_collector.h>
Public Types | |
using | handlert = std::function< void(solver_hardnesst &)> |
Public Member Functions | |
virtual void | with_solver_hardness (handlert handler)=0 |
virtual void | enable_hardness_collection ()=0 |
virtual | ~hardness_collectort ()=default |
Definition at line 22 of file hardness_collector.h.
using hardness_collectort::handlert = std::function<void(solver_hardnesst &)> |
Definition at line 25 of file hardness_collector.h.
|
virtualdefault |
|
pure virtual |
|
pure virtual |