|
abc-master
|
#include <amapInt.h>
Data Fields | |
| Amap_Par_t * | pPars |
| Amap_Lib_t * | pLib |
| float | fEpsilonInternal |
| float | fAreaInv |
| int | fUseXor |
| int | fUseMux |
| Vec_Ptr_t * | vPis |
| Vec_Ptr_t * | vPos |
| Vec_Ptr_t * | vObjs |
| Aig_MmFixed_t * | pMemObj |
| Aig_MmFlex_t * | pMemCuts |
| Aig_MmFlex_t * | pMemCutBest |
| Aig_MmFlex_t * | pMemTemp |
| Amap_Obj_t * | pConst1 |
| int | nObjs [AMAP_OBJ_VOID] |
| int | nLevelMax |
| int | nChoicesGiven |
| int | nChoicesAdded |
| Vec_Int_t * | vTemp |
| int * | pMatsTemp |
| Amap_Cut_t ** | ppCutsTemp |
| Amap_Cut_t * | pCutsPi |
| Vec_Ptr_t * | vCuts0 |
| Vec_Ptr_t * | vCuts1 |
| Vec_Ptr_t * | vCuts2 |
| int | nCutsUsed |
| int | nCutsTried |
| int | nCutsTried3 |
| int | nBytesUsed |
| int Amap_Man_t_::nObjs[AMAP_OBJ_VOID] |
| Amap_Obj_t* Amap_Man_t_::pConst1 |
| Amap_Cut_t* Amap_Man_t_::pCutsPi |
| Amap_Lib_t* Amap_Man_t_::pLib |
| Aig_MmFlex_t* Amap_Man_t_::pMemCutBest |
| Aig_MmFlex_t* Amap_Man_t_::pMemCuts |
| Aig_MmFixed_t* Amap_Man_t_::pMemObj |
| Aig_MmFlex_t* Amap_Man_t_::pMemTemp |
| Amap_Par_t* Amap_Man_t_::pPars |
| Amap_Cut_t** Amap_Man_t_::ppCutsTemp |