abc-master
|
Data Fields | |
Gia_Man_t * | pGia |
Vec_Int_t * | vCis |
Vec_Int_t * | vCos |
int | nObjs |
int | nRegs |
int * | pObjData |
int | nObjData |
int | fVerbose |
int | nCutCur |
int | nCutMax |
Definition at line 56 of file giaForce.c.
int Frc_Man_t_::fVerbose |
Definition at line 65 of file giaForce.c.
int Frc_Man_t_::nCutCur |
Definition at line 66 of file giaForce.c.
int Frc_Man_t_::nCutMax |
Definition at line 67 of file giaForce.c.
int Frc_Man_t_::nObjData |
Definition at line 64 of file giaForce.c.
int Frc_Man_t_::nObjs |
Definition at line 61 of file giaForce.c.
int Frc_Man_t_::nRegs |
Definition at line 62 of file giaForce.c.
Gia_Man_t* Frc_Man_t_::pGia |
Definition at line 58 of file giaForce.c.
int* Frc_Man_t_::pObjData |
Definition at line 63 of file giaForce.c.
Vec_Int_t* Frc_Man_t_::vCis |
Definition at line 59 of file giaForce.c.
Vec_Int_t* Frc_Man_t_::vCos |
Definition at line 60 of file giaForce.c.