abc-master
|
Data Fields | |
Aig_Man_t * | pAig |
int | nObjs |
Iso_Dat_t * | pData |
Vec_Int_t * | vVisited |
Vec_Ptr_t * | vRoots |
Vec_Int_t * | vPlaces |
int * | pCounters |
Definition at line 51 of file saigIsoFast.c.
int Iso_Sto_t_::nObjs |
Definition at line 54 of file saigIsoFast.c.
Aig_Man_t* Iso_Sto_t_::pAig |
Definition at line 53 of file saigIsoFast.c.
int* Iso_Sto_t_::pCounters |
Definition at line 59 of file saigIsoFast.c.
Iso_Dat_t* Iso_Sto_t_::pData |
Definition at line 55 of file saigIsoFast.c.
Vec_Int_t* Iso_Sto_t_::vPlaces |
Definition at line 58 of file saigIsoFast.c.
Vec_Ptr_t* Iso_Sto_t_::vRoots |
Definition at line 57 of file saigIsoFast.c.
Vec_Int_t* Iso_Sto_t_::vVisited |
Definition at line 56 of file saigIsoFast.c.