abc-master
|
Data Fields | |
Vec_Int_t * | vCis |
Vec_Int_t * | vCos |
Vec_Int_t * | vCisChanged |
Vec_Int_t * | vAffected |
Vec_Int_t * | vFrontier |
int | nObjs |
int | nRegs |
int | nTravIds |
int | iObjData |
int | nObjData |
int * | pObjData |
unsigned * | pSimInfoPrev |
Definition at line 56 of file giaGlitch.c.
int Gli_Man_t_::iObjData |
Definition at line 66 of file giaGlitch.c.
int Gli_Man_t_::nObjData |
Definition at line 67 of file giaGlitch.c.
int Gli_Man_t_::nObjs |
Definition at line 63 of file giaGlitch.c.
int Gli_Man_t_::nRegs |
Definition at line 64 of file giaGlitch.c.
int Gli_Man_t_::nTravIds |
Definition at line 65 of file giaGlitch.c.
int* Gli_Man_t_::pObjData |
Definition at line 68 of file giaGlitch.c.
unsigned* Gli_Man_t_::pSimInfoPrev |
Definition at line 69 of file giaGlitch.c.
Vec_Int_t* Gli_Man_t_::vAffected |
Definition at line 61 of file giaGlitch.c.
Vec_Int_t* Gli_Man_t_::vCis |
Definition at line 58 of file giaGlitch.c.
Vec_Int_t* Gli_Man_t_::vCisChanged |
Definition at line 60 of file giaGlitch.c.
Vec_Int_t* Gli_Man_t_::vCos |
Definition at line 59 of file giaGlitch.c.
Vec_Int_t* Gli_Man_t_::vFrontier |
Definition at line 62 of file giaGlitch.c.