abc-master
|
Data Fields | |
Gia_Man_t * | pAig |
int | nWordsSim |
int | nWordsDat |
unsigned * | pDataSim |
Mem_Fixed_t * | pMemory |
Vec_Ptr_t * | vStates |
Gia_ObjEra_t * | pStateNew |
int | iCurState |
Vec_Int_t * | vBugTrace |
Vec_Int_t * | vStgDump |
int | nBins |
unsigned * | pBins |
Mem_Fixed_t* Gia_ManEra_t_::pMemory |
Gia_ObjEra_t* Gia_ManEra_t_::pStateNew |