Abc_ManScl_t_ Struct Reference

Data Fields
int	nLutSize
int	nCutSizeMax
int	nNodesMax
int	nWords
Vec_Ptr_t *	vLeaves
Vec_Ptr_t *	vVolume
int	pBSet [SCL_VARS_MAX]
unsigned *	uTruth
unsigned **	uVars
unsigned **	uSims
unsigned **	uCofs

Detailed Description

Definition at line 37 of file abcLut.c.

Field Documentation

int Abc_ManScl_t_::nCutSizeMax

Definition at line 41 of file abcLut.c.

int Abc_ManScl_t_::nLutSize

Definition at line 40 of file abcLut.c.

int Abc_ManScl_t_::nNodesMax

Definition at line 42 of file abcLut.c.

int Abc_ManScl_t_::nWords

Definition at line 43 of file abcLut.c.

int Abc_ManScl_t_::pBSet[SCL_VARS_MAX]

Definition at line 47 of file abcLut.c.

unsigned** Abc_ManScl_t_::uCofs

Definition at line 53 of file abcLut.c.

unsigned** Abc_ManScl_t_::uSims

Definition at line 52 of file abcLut.c.

unsigned* Abc_ManScl_t_::uTruth

Definition at line 49 of file abcLut.c.

unsigned** Abc_ManScl_t_::uVars

Definition at line 51 of file abcLut.c.

Vec_Ptr_t* Abc_ManScl_t_::vLeaves

Definition at line 45 of file abcLut.c.

Vec_Ptr_t* Abc_ManScl_t_::vVolume

Definition at line 46 of file abcLut.c.

---

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

• abcLut.c