propertyt::trace_statet Struct Reference

#include <solver_types.h>

Collaboration diagram for propertyt::trace_statet:

Public Attributes
frame_reft	frame
std::vector< trace_updatet >	updates

Detailed Description

Definition at line 151 of file solver_types.h.

Member Data Documentation

frame

frame_reft propertyt::trace_statet::frame

Definition at line 153 of file solver_types.h.

updates

std::vector<trace_updatet> propertyt::trace_statet::updates

Definition at line 154 of file solver_types.h.

---

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

• /home/runner/work/cbmc/cbmc/src/cprover/solver_types.h