solver_hardness.h File Reference

#include <solvers/hardness_collector.h>
#include <solvers/prop/prop_conv_solver.h>
#include <fstream>
#include <string>
#include <unordered_map>
#include <unordered_set>
#include <vector>
#include <goto-programs/goto_program.h>
#include <util/optional.h>

Include dependency graph for solver_hardness.h:

This graph shows which files directly or indirectly include this file:

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)

Function Documentation

with_solver_hardness()

static void with_solver_hardness ( decision_proceduret &  maybe_hardness_collector, std::function< void(solver_hardnesst &hardness)>  handler  )

inlinestatic

Definition at line 164 of file solver_hardness.h.