Fraig_HashTableStruct_t_ Struct Reference

#include <fraigInt.h>

Collaboration diagram for Fraig_HashTableStruct_t_:

[legend]

Data Fields
Fraig_Node_t **	pBins
int	nBins
int	nEntries

---

Detailed Description

Definition at line 292 of file fraigInt.h.

---

Field Documentation

int Fraig_HashTableStruct_t_::nBins

Definition at line 295 of file fraigInt.h.

int Fraig_HashTableStruct_t_::nEntries

Definition at line 296 of file fraigInt.h.

Fraig_Node_t** Fraig_HashTableStruct_t_::pBins

Definition at line 294 of file fraigInt.h.

---

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

• src/sat/fraig/fraigInt.h