Inheritance diagram for hardness_collectort:

Collaboration diagram for hardness_collectort:

Public Attributes
std::unique_ptr< clause_hardness_collectort >	solver_hardness

Detailed Description

Definition at line 44 of file hardness_collector.h.

Member Data Documentation

std::unique_ptr<clause_hardness_collectort> hardness_collectort::solver_hardness

Definition at line 47 of file hardness_collector.h.

The documentation for this class was generated from the following file:

/home/runner/work/cbmc-documentation/cbmc-documentation/src/solvers/hardness_collector.h