ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Public Attributes | List of all members
Tab_Man_t_ Struct Reference
Collaboration diagram for Tab_Man_t_:
Collaboration graph
[legend]

Public Attributes

int SizeMask
 
int nBins
 
Tab_Obj_t * pBins
 
Pla_Man_t * pMan
 
int nVars
 
int nCubes
 
int nLits
 
int nTable
 
int * pCubes
 
word * pValues
 
Tab_Ent_t * pTable
 
int Degree
 
int Mask
 
int nEnts
 

Detailed Description

Definition at line 81 of file plaHash.c.

Member Data Documentation

◆ Degree

int Tab_Man_t_::Degree

Definition at line 180 of file extraUtilPrime.c.

◆ Mask

int Tab_Man_t_::Mask

Definition at line 181 of file extraUtilPrime.c.

◆ nBins

int Tab_Man_t_::nBins

Definition at line 84 of file plaHash.c.

◆ nCubes

int Tab_Man_t_::nCubes

Definition at line 174 of file extraUtilPrime.c.

◆ nEnts

int Tab_Man_t_::nEnts

Definition at line 182 of file extraUtilPrime.c.

◆ nLits

int Tab_Man_t_::nLits

Definition at line 175 of file extraUtilPrime.c.

◆ nTable

int Tab_Man_t_::nTable

Definition at line 176 of file extraUtilPrime.c.

◆ nVars

int Tab_Man_t_::nVars

Definition at line 173 of file extraUtilPrime.c.

◆ pBins

Tab_Obj_t* Tab_Man_t_::pBins

Definition at line 85 of file plaHash.c.

◆ pCubes

int* Tab_Man_t_::pCubes

Definition at line 177 of file extraUtilPrime.c.

◆ pMan

Pla_Man_t* Tab_Man_t_::pMan

Definition at line 86 of file plaHash.c.

◆ pTable

Tab_Ent_t* Tab_Man_t_::pTable

Definition at line 179 of file extraUtilPrime.c.

◆ pValues

word* Tab_Man_t_::pValues

Definition at line 178 of file extraUtilPrime.c.

◆ SizeMask

int Tab_Man_t_::SizeMask

Definition at line 83 of file plaHash.c.

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