TraceSymbolsIter Struct Reference

Trace vertical iterator type. More...

#include <Trace.h>

Data Fields
unsigned	cursor
unsigned	section
Trace_ptr	trace
TraceIteratorType	type

---

Detailed Description

Trace vertical iterator type.

optional

See also:

optional

---

Field Documentation

unsigned TraceSymbolsIter::cursor

unsigned TraceSymbolsIter::section

Trace_ptr TraceSymbolsIter::trace

TraceIteratorType TraceSymbolsIter::type

---

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

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