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.