CBMC
|
#include <solvers/hardness_collector.h>
#include <solvers/prop/prop_conv_solver.h>
#include <string>
#include <unordered_map>
#include <unordered_set>
#include <vector>
#include <goto-programs/goto_program.h>
Go to the source code of this file.
Classes | |
struct | solver_hardnesst |
A structure that facilitates collecting the complexity statistics from a decision procedure. More... | |
struct | solver_hardnesst::sat_hardnesst |
struct | solver_hardnesst::hardness_ssa_keyt |
struct | solver_hardnesst::assertion_statst |
struct | std::hash< solver_hardnesst::hardness_ssa_keyt > |
Functions | |
static void | with_solver_hardness (decision_proceduret &maybe_hardness_collector, std::function< void(solver_hardnesst &hardness)> handler) |
|
inlinestatic |
Definition at line 161 of file solver_hardness.h.