Tab_Tab_t_ Struct Reference

Collaboration diagram for Tab_Tab_t_:

Public Attributes
int	SizeMask
int	nBins
Tab_Obj_t *	pBins

Detailed Description

Definition at line 61 of file bmcFx.c.

Member Data Documentation

nBins

int Tab_Tab_t_::nBins

Definition at line 64 of file bmcFx.c.

pBins

Tab_Obj_t* Tab_Tab_t_::pBins

Definition at line 65 of file bmcFx.c.

SizeMask

int Tab_Tab_t_::SizeMask

Definition at line 63 of file bmcFx.c.

---

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

• src/sat/bmc/bmcFx.c