TraceDefineFrame Struct Reference

#include <Trace_private.h>

Data Fields
node_ptr *	i_values
node_ptr *	in_values
node_ptr *	n_values
node_ptr *	s_values
node_ptr *	si_values
node_ptr *	sin_values
node_ptr *	sn_values

---

Detailed Description

Todo:

Missing synopsis

Todo:

Missing description

---

Field Documentation

node_ptr* TraceDefineFrame::i_values

node_ptr* TraceDefineFrame::in_values

node_ptr* TraceDefineFrame::n_values

node_ptr* TraceDefineFrame::s_values

node_ptr* TraceDefineFrame::si_values

node_ptr* TraceDefineFrame::sin_values

node_ptr* TraceDefineFrame::sn_values

---

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

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