ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Iso_Man_t_ Struct Reference
Collaboration diagram for Iso_Man_t_:

Public Attributes

Aig_Man_tpAig
 
Iso_Obj_tpObjs
 
int nObjIds
 
int nClasses
 
int nEntries
 
int nSingles
 
int nObjs
 
int nBins
 
int * pBins
 
Vec_Ptr_tvSingles
 
Vec_Ptr_tvClasses
 
Vec_Ptr_tvTemp1
 
Vec_Ptr_tvTemp2
 
abctime timeHash
 
abctime timeFout
 
abctime timeSort
 
abctime timeOther
 
abctime timeTotal
 

Detailed Description

Definition at line 278 of file saigIsoSlow.c.

Member Data Documentation

◆ nBins

int Iso_Man_t_::nBins

Definition at line 287 of file saigIsoSlow.c.

◆ nClasses

int Iso_Man_t_::nClasses

Definition at line 283 of file saigIsoSlow.c.

◆ nEntries

int Iso_Man_t_::nEntries

Definition at line 284 of file saigIsoSlow.c.

◆ nObjIds

int Iso_Man_t_::nObjIds

Definition at line 282 of file saigIsoSlow.c.

◆ nObjs

int Iso_Man_t_::nObjs

Definition at line 286 of file saigIsoSlow.c.

◆ nSingles

int Iso_Man_t_::nSingles

Definition at line 285 of file saigIsoSlow.c.

◆ pAig

Aig_Man_t* Iso_Man_t_::pAig

Definition at line 280 of file saigIsoSlow.c.

◆ pBins

int* Iso_Man_t_::pBins

Definition at line 288 of file saigIsoSlow.c.

◆ pObjs

Iso_Obj_t* Iso_Man_t_::pObjs

Definition at line 281 of file saigIsoSlow.c.

◆ timeFout

abctime Iso_Man_t_::timeFout

Definition at line 294 of file saigIsoSlow.c.

◆ timeHash

abctime Iso_Man_t_::timeHash

Definition at line 293 of file saigIsoSlow.c.

◆ timeOther

abctime Iso_Man_t_::timeOther

Definition at line 296 of file saigIsoSlow.c.

◆ timeSort

abctime Iso_Man_t_::timeSort

Definition at line 295 of file saigIsoSlow.c.

◆ timeTotal

abctime Iso_Man_t_::timeTotal

Definition at line 297 of file saigIsoSlow.c.

◆ vClasses

Vec_Ptr_t* Iso_Man_t_::vClasses

Definition at line 290 of file saigIsoSlow.c.

◆ vSingles

Vec_Ptr_t* Iso_Man_t_::vSingles

Definition at line 289 of file saigIsoSlow.c.

◆ vTemp1

Vec_Ptr_t* Iso_Man_t_::vTemp1

Definition at line 291 of file saigIsoSlow.c.

◆ vTemp2

Vec_Ptr_t* Iso_Man_t_::vTemp2

Definition at line 292 of file saigIsoSlow.c.


The documentation for this struct was generated from the following file: