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