
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] |
1.6.1