SymbLayerIter Struct Reference

#include <SymbLayer.h>

Data Fields
void *	arg
SymbLayerIterFilterFun	filter
unsigned int	index
unsigned int	mask

---

Field Documentation

void* SymbLayerIter::arg

SymbLayerIterFilterFun SymbLayerIter::filter

unsigned int SymbLayerIter::index

unsigned int SymbLayerIter::mask

---

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

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