abc-master
|
Data Fields | |
Aig_Man_t * | pAig |
Vec_Ptr_t * | vMatrix |
int | nRegsMax |
Vec_Ptr_t * | vParts |
char * | pfUsedRegs |
Vec_Int_t * | vRegs |
Vec_Int_t * | vUniques |
Vec_Int_t * | vFreeVars |
Vec_Flt_t * | vPartCost |
char * | pfPartVars |
Definition at line 33 of file aigPartReg.c.
int Aig_ManPre_t_::nRegsMax |
Definition at line 38 of file aigPartReg.c.
Aig_Man_t* Aig_ManPre_t_::pAig |
Definition at line 36 of file aigPartReg.c.
char* Aig_ManPre_t_::pfPartVars |
Definition at line 47 of file aigPartReg.c.
char* Aig_ManPre_t_::pfUsedRegs |
Definition at line 41 of file aigPartReg.c.
Vec_Int_t* Aig_ManPre_t_::vFreeVars |
Definition at line 45 of file aigPartReg.c.
Vec_Ptr_t* Aig_ManPre_t_::vMatrix |
Definition at line 37 of file aigPartReg.c.
Vec_Flt_t* Aig_ManPre_t_::vPartCost |
Definition at line 46 of file aigPartReg.c.
Vec_Ptr_t* Aig_ManPre_t_::vParts |
Definition at line 40 of file aigPartReg.c.
Vec_Int_t* Aig_ManPre_t_::vRegs |
Definition at line 43 of file aigPartReg.c.
Vec_Int_t* Aig_ManPre_t_::vUniques |
Definition at line 44 of file aigPartReg.c.