|
abc-master
|
Data Fields | |
| Gia_Man_t * | pGia0 |
| Gia_Man_t * | pGia |
| Jf_Par_t * | pPars |
| Mf_Obj_t * | pLfObjs |
| Vec_Ptr_t | vPages |
| Vec_Mem_t * | vTtMem |
| Vec_Int_t | vCnfSizes |
| Vec_Int_t | vCnfMem |
| int | iCur |
| int | Iter |
| int | fUseEla |
| abctime | clkStart |
| double | CutCount [4] |
| int | nCutCounts [MF_LEAF_MAX+1] |
| int Mf_Man_t_::nCutCounts[MF_LEAF_MAX+1] |