abc-master
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
Gia_Iso2Man_t_ Struct Reference

Data Fields

Gia_Man_tpGia
 
int nObjs
 
int nUniques
 
Vec_Int_tvUniques
 
Vec_Int_tvTied
 
Vec_Int_tvTable
 
Vec_Int_tvPlaces
 
Vec_Ptr_tvSingles
 
Vec_Int_tvVec0
 
Vec_Int_tvVec1
 
Vec_Int_tvMap0
 
Vec_Int_tvMap1
 
int nIters
 
abctime timeStart
 
abctime timeSim
 
abctime timeRefine
 
abctime timeSort
 
abctime timeOther
 
abctime timeTotal
 

Detailed Description

Definition at line 74 of file giaIso2.c.

Field Documentation

int Gia_Iso2Man_t_::nIters

Definition at line 91 of file giaIso2.c.

int Gia_Iso2Man_t_::nObjs

Definition at line 77 of file giaIso2.c.

int Gia_Iso2Man_t_::nUniques

Definition at line 78 of file giaIso2.c.

Gia_Man_t* Gia_Iso2Man_t_::pGia

Definition at line 76 of file giaIso2.c.

abctime Gia_Iso2Man_t_::timeOther

Definition at line 96 of file giaIso2.c.

abctime Gia_Iso2Man_t_::timeRefine

Definition at line 94 of file giaIso2.c.

abctime Gia_Iso2Man_t_::timeSim

Definition at line 93 of file giaIso2.c.

abctime Gia_Iso2Man_t_::timeSort

Definition at line 95 of file giaIso2.c.

abctime Gia_Iso2Man_t_::timeStart

Definition at line 92 of file giaIso2.c.

abctime Gia_Iso2Man_t_::timeTotal

Definition at line 97 of file giaIso2.c.

Vec_Int_t* Gia_Iso2Man_t_::vMap0

Definition at line 88 of file giaIso2.c.

Vec_Int_t* Gia_Iso2Man_t_::vMap1

Definition at line 89 of file giaIso2.c.

Vec_Int_t* Gia_Iso2Man_t_::vPlaces

Definition at line 83 of file giaIso2.c.

Vec_Ptr_t* Gia_Iso2Man_t_::vSingles

Definition at line 84 of file giaIso2.c.

Vec_Int_t* Gia_Iso2Man_t_::vTable

Definition at line 82 of file giaIso2.c.

Vec_Int_t* Gia_Iso2Man_t_::vTied

Definition at line 81 of file giaIso2.c.

Vec_Int_t* Gia_Iso2Man_t_::vUniques

Definition at line 80 of file giaIso2.c.

Vec_Int_t* Gia_Iso2Man_t_::vVec0

Definition at line 86 of file giaIso2.c.

Vec_Int_t* Gia_Iso2Man_t_::vVec1

Definition at line 87 of file giaIso2.c.


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