SymbTableIter Struct Reference

#include <SymbTable.h>

Data Fields
void *	arg
SymbTableIterFilterFun	filter
unsigned int	index
unsigned int	mask
SymbTable_ptr	st

---

Field Documentation

void* SymbTableIter::arg

SymbTableIterFilterFun SymbTableIter::filter

unsigned int SymbTableIter::index

unsigned int SymbTableIter::mask

SymbTable_ptr SymbTableIter::st

---

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

• NuSMV/code/nusmv/core/compile/symb_table/SymbTable.h