hashPtr Struct Reference

#include <sbmcHash.h>

Data Fields
unsigned	alloc
unsigned	occupied
struct table_pair *	table

---

Detailed Description

Todo:

Missing synopsis

Todo:

Missing description

---

Field Documentation

unsigned hashPtr::alloc

Number of slots allocated

unsigned hashPtr::occupied

Number of slots occupied

struct table_pair* hashPtr::table [read]

The table

---

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

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