Abc_BSEval_t_ Struct Reference

Public Attributes
int	nVars
int	nLVars
int	nBVars
Vec_Int_t *	vPairs [MAX_TT_SIZE][MAX_TT_SIZE]
Vec_Int_t *	vCounts
Vec_Int_t *	vTable
Vec_Int_t *	vUsed
Vec_Wrd_t *	vStore
Vec_Wec_t *	vSets [MAX_TT_SIZE]
Vec_Wrd_t *	vCofs [MAX_TT_SIZE]
word *	pPat

Detailed Description

Definition at line 44 of file utilBSet.c.

Member Data Documentation

nBVars

int Abc_BSEval_t_::nBVars

Definition at line 48 of file utilBSet.c.

nLVars

int Abc_BSEval_t_::nLVars

Definition at line 47 of file utilBSet.c.

nVars

int Abc_BSEval_t_::nVars

Definition at line 46 of file utilBSet.c.

pPat

word* Abc_BSEval_t_::pPat

Definition at line 56 of file utilBSet.c.

vCofs

Vec_Wrd_t* Abc_BSEval_t_::vCofs[MAX_TT_SIZE]

Definition at line 55 of file utilBSet.c.

vCounts

Vec_Int_t* Abc_BSEval_t_::vCounts

Definition at line 50 of file utilBSet.c.

vPairs

Vec_Int_t* Abc_BSEval_t_::vPairs[MAX_TT_SIZE][MAX_TT_SIZE]

Definition at line 49 of file utilBSet.c.

vSets

Vec_Wec_t* Abc_BSEval_t_::vSets[MAX_TT_SIZE]

Definition at line 54 of file utilBSet.c.

vStore

Vec_Wrd_t* Abc_BSEval_t_::vStore

Definition at line 53 of file utilBSet.c.

vTable

Vec_Int_t* Abc_BSEval_t_::vTable

Definition at line 51 of file utilBSet.c.

vUsed

Vec_Int_t* Abc_BSEval_t_::vUsed

Definition at line 52 of file utilBSet.c.

---

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

• src/misc/util/utilBSet.c