ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Public Attributes | List of all members
Gia_Iso2Man_t_ Struct Reference
Collaboration diagram for Gia_Iso2Man_t_:
Collaboration graph
[legend]

Public Attributes

Gia_Man_t * pGia
 
int nObjs
 
int nUniques
 
Vec_Int_t * vUniques
 
Vec_Int_t * vTied
 
Vec_Int_t * vTable
 
Vec_Int_t * vPlaces
 
Vec_Ptr_t * vSingles
 
Vec_Int_t * vVec0
 
Vec_Int_t * vVec1
 
Vec_Int_t * vMap0
 
Vec_Int_t * vMap1
 
int nIters
 
abctime timeStart
 
abctime timeSim
 
abctime timeRefine
 
abctime timeSort
 
abctime timeOther
 
abctime timeTotal
 

Detailed Description

Definition at line 74 of file giaIso2.c.

Member Data Documentation

◆ nIters

int Gia_Iso2Man_t_::nIters

Definition at line 91 of file giaIso2.c.

◆ nObjs

int Gia_Iso2Man_t_::nObjs

Definition at line 77 of file giaIso2.c.

◆ nUniques

int Gia_Iso2Man_t_::nUniques

Definition at line 78 of file giaIso2.c.

◆ pGia

Gia_Man_t* Gia_Iso2Man_t_::pGia

Definition at line 76 of file giaIso2.c.

◆ timeOther

abctime Gia_Iso2Man_t_::timeOther

Definition at line 96 of file giaIso2.c.

◆ timeRefine

abctime Gia_Iso2Man_t_::timeRefine

Definition at line 94 of file giaIso2.c.

◆ timeSim

abctime Gia_Iso2Man_t_::timeSim

Definition at line 93 of file giaIso2.c.

◆ timeSort

abctime Gia_Iso2Man_t_::timeSort

Definition at line 95 of file giaIso2.c.

◆ timeStart

abctime Gia_Iso2Man_t_::timeStart

Definition at line 92 of file giaIso2.c.

◆ timeTotal

abctime Gia_Iso2Man_t_::timeTotal

Definition at line 97 of file giaIso2.c.

◆ vMap0

Vec_Int_t* Gia_Iso2Man_t_::vMap0

Definition at line 88 of file giaIso2.c.

◆ vMap1

Vec_Int_t* Gia_Iso2Man_t_::vMap1

Definition at line 89 of file giaIso2.c.

◆ vPlaces

Vec_Int_t* Gia_Iso2Man_t_::vPlaces

Definition at line 83 of file giaIso2.c.

◆ vSingles

Vec_Ptr_t* Gia_Iso2Man_t_::vSingles

Definition at line 84 of file giaIso2.c.

◆ vTable

Vec_Int_t* Gia_Iso2Man_t_::vTable

Definition at line 82 of file giaIso2.c.

◆ vTied

Vec_Int_t* Gia_Iso2Man_t_::vTied

Definition at line 81 of file giaIso2.c.

◆ vUniques

Vec_Int_t* Gia_Iso2Man_t_::vUniques

Definition at line 80 of file giaIso2.c.

◆ vVec0

Vec_Int_t* Gia_Iso2Man_t_::vVec0

Definition at line 86 of file giaIso2.c.

◆ vVec1

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: