solver_hardnesst::assertion_statst Struct Reference

#include <solver_hardness.h>

Collaboration diagram for solver_hardnesst::assertion_statst:

Public Member Functions
bool	empty () const

Public Attributes
sat_hardnesst	sat_hardness
std::string	ssa_expression
std::vector< goto_programt::const_targett >	pcs

Detailed Description

Definition at line 68 of file solver_hardness.h.

Member Function Documentation

empty()

bool solver_hardnesst::assertion_statst::empty

(

)

const

Definition at line 40 of file solver_hardness.cpp.

Member Data Documentation

pcs

std::vector<goto_programt::const_targett> solver_hardnesst::assertion_statst::pcs

Definition at line 72 of file solver_hardness.h.

sat_hardness

sat_hardnesst solver_hardnesst::assertion_statst::sat_hardness

Definition at line 70 of file solver_hardness.h.

ssa_expression

std::string solver_hardnesst::assertion_statst::ssa_expression

Definition at line 71 of file solver_hardness.h.

---

The documentation for this struct was generated from the following files:

• /home/runner/work/cbmc/cbmc/src/goto-symex/solver_hardness.h
• /home/runner/work/cbmc/cbmc/src/goto-symex/solver_hardness.cpp