abc-master
|
Data Fields | |
Gia_Man_t * | pGia |
int | nObjs |
int | nUniques |
Vec_Int_t * | vUniques |
Vec_Int_t * | vTied |
Vec_Int_t * | vTable |
Vec_Int_t * | vPlaces |
Vec_Ptr_t * | vSingles |
Vec_Int_t * | vVec0 |
Vec_Int_t * | vVec1 |
Vec_Int_t * | vMap0 |
Vec_Int_t * | vMap1 |
int | nIters |
abctime | timeStart |
abctime | timeSim |
abctime | timeRefine |
abctime | timeSort |
abctime | timeOther |
abctime | timeTotal |