hardness_collectort Class Reference

#include <hardness_collector.h>

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

solver_hardness

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/cbmc/src/solvers/hardness_collector.h