TraceStepIter Struct Reference

Trace vertical iterator type. More...

#include <Trace.h>

Data Fields
unsigned	cursor
unsigned	section
TraceIter	step
Trace_ptr	trace
TraceIteratorType	type

---

Detailed Description

Trace vertical iterator type.

optional

See also:

optional

---

Field Documentation

unsigned TraceStepIter::cursor

unsigned TraceStepIter::section

TraceIter TraceStepIter::step

Trace_ptr TraceStepIter::trace

TraceIteratorType TraceStepIter::type

---

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

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