RbcDfsFunctions Struct Reference

#include <rbc.h>

Data Fields
Rbc_ProcPtr_t	BackVisit
Rbc_ProcPtr_t	FirstVisit
Rbc_ProcPtr_t	LastVisit
Rbc_IntPtr_t	Set

---

Field Documentation

Rbc_ProcPtr_t RbcDfsFunctions::BackVisit

Rbc_ProcPtr_t RbcDfsFunctions::FirstVisit

Rbc_ProcPtr_t RbcDfsFunctions::LastVisit

Rbc_IntPtr_t RbcDfsFunctions::Set

---

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

• NuSMV/code/nusmv/core/rbc/rbc.h