abc-master
|
#include <hop.h>
Data Fields | |
Vec_Ptr_t * | vPis |
Vec_Ptr_t * | vPos |
Vec_Ptr_t * | vObjs |
Hop_Obj_t * | pConst1 |
Hop_Obj_t | Ghost |
int | nObjs [AIG_VOID] |
int | nCreated |
int | nDeleted |
Hop_Obj_t ** | pTable |
int | nTableSize |
void * | pData |
int | nTravIds |
int | fRefCount |
int | fCatchExor |
Vec_Ptr_t * | vChunks |
Vec_Ptr_t * | vPages |
Hop_Obj_t * | pListFree |
abctime | time1 |
abctime | time2 |