abc-master
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
Gli_Man_t_ Struct Reference

Data Fields

Vec_Int_tvCis
 
Vec_Int_tvCos
 
Vec_Int_tvCisChanged
 
Vec_Int_tvAffected
 
Vec_Int_tvFrontier
 
int nObjs
 
int nRegs
 
int nTravIds
 
int iObjData
 
int nObjData
 
int * pObjData
 
unsigned * pSimInfoPrev
 

Detailed Description

Definition at line 56 of file giaGlitch.c.

Field Documentation

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.


The documentation for this struct was generated from the following file: