TraceVarFrame Struct Reference

#include <Trace_private.h>

Data Fields
TraceDefineFrame_ptr	bwd_define_frame
TraceDefineFrame_ptr	fwd_define_frame
node_ptr *	input_values
boolean	loopback
TraceVarFrame_ptr	next_frame
TraceVarFrame_ptr	prev_frame
node_ptr *	state_values

---

Detailed Description

Todo:

Missing synopsis

Todo:

Missing description

---

Field Documentation

TraceDefineFrame_ptr TraceVarFrame::bwd_define_frame

TraceDefineFrame_ptr TraceVarFrame::fwd_define_frame

node_ptr* TraceVarFrame::input_values

boolean TraceVarFrame::loopback

TraceVarFrame_ptr TraceVarFrame::next_frame

TraceVarFrame_ptr TraceVarFrame::prev_frame

node_ptr* TraceVarFrame::state_values

---

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

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