Data Fields | |
int | nInputs |
int | nFuncs |
DdManager * | dd |
DdNode * | bValues [15][4] |
DdNode * | bValueDcs [15][4] |
DdNode * | bFuncs [15] |
Definition at line 28 of file abcMv.c.
DdNode* Mv_Man_t_::bFuncs[15] |
DdNode* Mv_Man_t_::bValueDcs[15][4] |
DdNode* Mv_Man_t_::bValues[15][4] |