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 |