|
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.