CBMC
Public Member Functions | Public Attributes | List of all members
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 71 of file solver_hardness.h.

Member Function Documentation

◆ empty()

bool solver_hardnesst::assertion_statst::empty ( ) const

Definition at line 39 of file solver_hardness.cpp.

Member Data Documentation

◆ pcs

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

Definition at line 75 of file solver_hardness.h.

◆ sat_hardness

sat_hardnesst solver_hardnesst::assertion_statst::sat_hardness

Definition at line 73 of file solver_hardness.h.

◆ ssa_expression

std::string solver_hardnesst::assertion_statst::ssa_expression

Definition at line 74 of file solver_hardness.h.

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