Public Attributes
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.

Member Data Documentation

◆ nCutSizeMax

int Abc_ManScl_t_::nCutSizeMax

Definition at line 41 of file abcLut.c.

◆ nLutSize

int Abc_ManScl_t_::nLutSize

Definition at line 40 of file abcLut.c.

◆ nNodesMax

int Abc_ManScl_t_::nNodesMax

Definition at line 42 of file abcLut.c.

◆ nWords

int Abc_ManScl_t_::nWords

Definition at line 43 of file abcLut.c.

◆ pBSet

int Abc_ManScl_t_::pBSet[SCL_VARS_MAX]

Definition at line 47 of file abcLut.c.

◆ uCofs

unsigned** Abc_ManScl_t_::uCofs

Definition at line 53 of file abcLut.c.

◆ uSims

unsigned** Abc_ManScl_t_::uSims

Definition at line 52 of file abcLut.c.

◆ uTruth

unsigned* Abc_ManScl_t_::uTruth

Definition at line 49 of file abcLut.c.

◆ uVars

unsigned** Abc_ManScl_t_::uVars

Definition at line 51 of file abcLut.c.

◆ vLeaves

Vec_Ptr_t* Abc_ManScl_t_::vLeaves

Definition at line 45 of file abcLut.c.

◆ vVolume

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:

src/base/abci/abcLut.c

Public Attributes