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

Public Attributes

Gia_Man_tpGia
 
int nObjs
 
int nUniques
 
int nSingles
 
int nEntries
 
int * pLevels
 
int * pUniques
 
wordpStoreW
 
unsigned * pStoreU
 
Vec_Int_tvLevCounts
 
Vec_Int_tvClasses
 
Vec_Int_tvClasses2
 
abctime timeStart
 
abctime timeSim
 
abctime timeRefine
 
abctime timeSort
 
abctime timeOther
 
abctime timeTotal
 

Detailed Description

Definition at line 68 of file giaIso.c.

Member Data Documentation

◆ nEntries

int Gia_IsoMan_t_::nEntries

Definition at line 74 of file giaIso.c.

◆ nObjs

int Gia_IsoMan_t_::nObjs

Definition at line 71 of file giaIso.c.

◆ nSingles

int Gia_IsoMan_t_::nSingles

Definition at line 73 of file giaIso.c.

◆ nUniques

int Gia_IsoMan_t_::nUniques

Definition at line 72 of file giaIso.c.

◆ pGia

Gia_Man_t* Gia_IsoMan_t_::pGia

Definition at line 70 of file giaIso.c.

◆ pLevels

int* Gia_IsoMan_t_::pLevels

Definition at line 76 of file giaIso.c.

◆ pStoreU

unsigned* Gia_IsoMan_t_::pStoreU

Definition at line 79 of file giaIso.c.

◆ pStoreW

word* Gia_IsoMan_t_::pStoreW

Definition at line 78 of file giaIso.c.

◆ pUniques

int* Gia_IsoMan_t_::pUniques

Definition at line 77 of file giaIso.c.

◆ timeOther

abctime Gia_IsoMan_t_::timeOther

Definition at line 89 of file giaIso.c.

◆ timeRefine

abctime Gia_IsoMan_t_::timeRefine

Definition at line 87 of file giaIso.c.

◆ timeSim

abctime Gia_IsoMan_t_::timeSim

Definition at line 86 of file giaIso.c.

◆ timeSort

abctime Gia_IsoMan_t_::timeSort

Definition at line 88 of file giaIso.c.

◆ timeStart

abctime Gia_IsoMan_t_::timeStart

Definition at line 85 of file giaIso.c.

◆ timeTotal

abctime Gia_IsoMan_t_::timeTotal

Definition at line 90 of file giaIso.c.

◆ vClasses

Vec_Int_t* Gia_IsoMan_t_::vClasses

Definition at line 82 of file giaIso.c.

◆ vClasses2

Vec_Int_t* Gia_IsoMan_t_::vClasses2

Definition at line 83 of file giaIso.c.

◆ vLevCounts

Vec_Int_t* Gia_IsoMan_t_::vLevCounts

Definition at line 81 of file giaIso.c.


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