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 |
Definition at line 33 of file abcLut.c.
int Abc_ManScl_t_::pBSet[SCL_VARS_MAX] |
unsigned** Abc_ManScl_t_::uCofs |
unsigned** Abc_ManScl_t_::uSims |
unsigned* Abc_ManScl_t_::uTruth |
unsigned** Abc_ManScl_t_::uVars |