table_pair Struct Reference

#include <sbmcHash.h>

Data Fields
int	data
node_ptr	key

---

Field Documentation

int table_pair::data

node_ptr table_pair::key

---

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

• NuSMV/code/nusmv/core/bmc/sbmc/sbmcHash.h