BddFsmCache::BddFsmReachable_TAG Struct Reference

#include <bddInt.h>

Data Fields
boolean	computed
int	diameter
BddStates *	layers
BddStates	reachable_states

---

Field Documentation

boolean BddFsmCache::BddFsmReachable_TAG::computed

int BddFsmCache::BddFsmReachable_TAG::diameter

BddStates* BddFsmCache::BddFsmReachable_TAG::layers

BddStates BddFsmCache::BddFsmReachable_TAG::reachable_states

---

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

• NuSMV/code/nusmv/core/fsm/bdd/bddInt.h