TraceFrozenFrame Struct Reference

#include <Trace_private.h>

Data Fields
node_ptr *	frozen_values

---

Detailed Description

Todo:

Missing synopsis

Todo:

Missing description

---

Field Documentation

node_ptr* TraceFrozenFrame::frozen_values

---

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

• NuSMV/code/nusmv/core/trace/Trace_private.h