
Public Attributes | |
| int | nIns |
| int | nOuts |
| int | pTried [TREE_MAX_VARS] |
| int | pPerm [TREE_MAX_VARS] |
| int | pIPerm [TREE_MAX_VARS] |
| int | nNodes [TREE_MAX_VARS] |
| Vec_Int_t | vCofs [TREE_MAX_VARS] |
| word * | pMem |
Definition at line 35 of file giaMinLut2.c.
| int Tree_Sto_t_::nIns |
Definition at line 37 of file giaMinLut2.c.
| int Tree_Sto_t_::nNodes[TREE_MAX_VARS] |
Definition at line 42 of file giaMinLut2.c.
| int Tree_Sto_t_::nOuts |
Definition at line 38 of file giaMinLut2.c.
| int Tree_Sto_t_::pIPerm[TREE_MAX_VARS] |
Definition at line 41 of file giaMinLut2.c.
| word* Tree_Sto_t_::pMem |
Definition at line 44 of file giaMinLut2.c.
| int Tree_Sto_t_::pPerm[TREE_MAX_VARS] |
Definition at line 40 of file giaMinLut2.c.
| int Tree_Sto_t_::pTried[TREE_MAX_VARS] |
Definition at line 39 of file giaMinLut2.c.
| Vec_Int_t Tree_Sto_t_::vCofs[TREE_MAX_VARS] |
Definition at line 43 of file giaMinLut2.c.