abc-master
|
#include <ivy.h>
Data Fields | |
Vec_Ptr_t * | vPis |
Vec_Ptr_t * | vPos |
Vec_Ptr_t * | vBufs |
Vec_Ptr_t * | vObjs |
Ivy_Obj_t * | pConst1 |
Ivy_Obj_t | Ghost |
int | nObjs [IVY_VOID] |
int | nCreated |
int | nDeleted |
int * | pTable |
int | nTableSize |
int | fCatchExor |
int | nTravIds |
int | nLevelMax |
Vec_Int_t * | vRequired |
int | fFanout |
void * | pData |
void * | pCopy |
Ivy_Man_t * | pHaig |
int | nClassesSkip |
Vec_Ptr_t * | vChunks |
Vec_Ptr_t * | vPages |
Ivy_Obj_t * | pListFree |
abctime | time1 |
abctime | time2 |