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 |
Implemented in satcheck_minisat2_baset< T >, satcheck_minisat2_baset< Minisat::SimpSolver >, satcheck_minisat2_baset< Minisat::Solver >, satcheck_ipasirt, satcheck_glucose_baset< T >, satcheck_glucose_baset< Glucose::Solver >, satcheck_glucose_baset< Glucose::SimpSolver >, satcheck_cadicalt, and prop_conv_solvert.
|
pure virtual |
Implemented in satcheck_minisat2_baset< T >, satcheck_minisat2_baset< Minisat::SimpSolver >, satcheck_minisat2_baset< Minisat::Solver >, satcheck_ipasirt, satcheck_glucose_baset< T >, satcheck_glucose_baset< Glucose::Solver >, satcheck_glucose_baset< Glucose::SimpSolver >, satcheck_cadicalt, and prop_conv_solvert.