|
abc-master
|
Data Fields | |
| Gia_ParFra_t * | pPars |
| Gia_Man_t * | pAig |
| Gia_Man_t * | pOrder |
| Vec_Int_t * | vLimit |
| Vec_Int_t * | vRank |
| Vec_Int_t * | vDegree |
| Vec_Int_t * | vDegDiff |
| Vec_Int_t * | vFirst |
| Vec_Int_t * | vStore |
| Gia_Man_t * | pNew |
| int | LastLit |
Definition at line 42 of file giaFrames.c.
| int Gia_ManUnr_t_::LastLit |
Definition at line 57 of file giaFrames.c.
| Gia_Man_t* Gia_ManUnr_t_::pAig |
Definition at line 45 of file giaFrames.c.
| Gia_Man_t* Gia_ManUnr_t_::pNew |
Definition at line 56 of file giaFrames.c.
| Gia_Man_t* Gia_ManUnr_t_::pOrder |
Definition at line 47 of file giaFrames.c.
| Gia_ParFra_t* Gia_ManUnr_t_::pPars |
Definition at line 44 of file giaFrames.c.
| Vec_Int_t* Gia_ManUnr_t_::vDegDiff |
Definition at line 52 of file giaFrames.c.
| Vec_Int_t* Gia_ManUnr_t_::vDegree |
Definition at line 51 of file giaFrames.c.
| Vec_Int_t* Gia_ManUnr_t_::vFirst |
Definition at line 53 of file giaFrames.c.
| Vec_Int_t* Gia_ManUnr_t_::vLimit |
Definition at line 48 of file giaFrames.c.
| Vec_Int_t* Gia_ManUnr_t_::vRank |
Definition at line 50 of file giaFrames.c.
| Vec_Int_t* Gia_ManUnr_t_::vStore |
Definition at line 54 of file giaFrames.c.