|
abc-master
|
Data Fields | |
| Aig_Man_t * | pAig |
| Iso_Obj_t * | pObjs |
| int | nObjIds |
| int | nClasses |
| int | nEntries |
| int | nSingles |
| int | nObjs |
| int | nBins |
| int * | pBins |
| Vec_Ptr_t * | vSingles |
| Vec_Ptr_t * | vClasses |
| Vec_Ptr_t * | vTemp1 |
| Vec_Ptr_t * | vTemp2 |
| abctime | timeHash |
| abctime | timeFout |
| abctime | timeSort |
| abctime | timeOther |
| abctime | timeTotal |
Definition at line 278 of file saigIsoSlow.c.
| int Iso_Man_t_::nBins |
Definition at line 287 of file saigIsoSlow.c.
| int Iso_Man_t_::nClasses |
Definition at line 283 of file saigIsoSlow.c.
| int Iso_Man_t_::nEntries |
Definition at line 284 of file saigIsoSlow.c.
| int Iso_Man_t_::nObjIds |
Definition at line 282 of file saigIsoSlow.c.
| int Iso_Man_t_::nObjs |
Definition at line 286 of file saigIsoSlow.c.
| int Iso_Man_t_::nSingles |
Definition at line 285 of file saigIsoSlow.c.
| Aig_Man_t* Iso_Man_t_::pAig |
Definition at line 280 of file saigIsoSlow.c.
| int* Iso_Man_t_::pBins |
Definition at line 288 of file saigIsoSlow.c.
| Iso_Obj_t* Iso_Man_t_::pObjs |
Definition at line 281 of file saigIsoSlow.c.
| abctime Iso_Man_t_::timeFout |
Definition at line 294 of file saigIsoSlow.c.
| abctime Iso_Man_t_::timeHash |
Definition at line 293 of file saigIsoSlow.c.
| abctime Iso_Man_t_::timeOther |
Definition at line 296 of file saigIsoSlow.c.
| abctime Iso_Man_t_::timeSort |
Definition at line 295 of file saigIsoSlow.c.
| abctime Iso_Man_t_::timeTotal |
Definition at line 297 of file saigIsoSlow.c.
| Vec_Ptr_t* Iso_Man_t_::vClasses |
Definition at line 290 of file saigIsoSlow.c.
| Vec_Ptr_t* Iso_Man_t_::vSingles |
Definition at line 289 of file saigIsoSlow.c.
| Vec_Ptr_t* Iso_Man_t_::vTemp1 |
Definition at line 291 of file saigIsoSlow.c.
| Vec_Ptr_t* Iso_Man_t_::vTemp2 |
Definition at line 292 of file saigIsoSlow.c.