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

Public Attributes

Gia_Man_t * pGia
 
Gia_Man_t * pNew
 
Hash_IntMan_t * pHash
 
int nNewSize
 
Vec_Int_t * vUsed
 
Vec_Int_t * vId2Used
 
Vec_Wrd_t * vTruths
 
Vec_Int_t * vLeaves
 
abctime clkStart
 

Detailed Description

Definition at line 34 of file giaShrink7.c.

Member Data Documentation

◆ clkStart

abctime Unm_Man_t_::clkStart

Definition at line 44 of file giaShrink7.c.

◆ nNewSize

int Unm_Man_t_::nNewSize

Definition at line 39 of file giaShrink7.c.

◆ pGia

Gia_Man_t* Unm_Man_t_::pGia

Definition at line 36 of file giaShrink7.c.

◆ pHash

Hash_IntMan_t* Unm_Man_t_::pHash

Definition at line 38 of file giaShrink7.c.

◆ pNew

Gia_Man_t* Unm_Man_t_::pNew

Definition at line 37 of file giaShrink7.c.

◆ vId2Used

Vec_Int_t* Unm_Man_t_::vId2Used

Definition at line 41 of file giaShrink7.c.

◆ vLeaves

Vec_Int_t* Unm_Man_t_::vLeaves

Definition at line 43 of file giaShrink7.c.

◆ vTruths

Vec_Wrd_t* Unm_Man_t_::vTruths

Definition at line 42 of file giaShrink7.c.

◆ vUsed

Vec_Int_t* Unm_Man_t_::vUsed

Definition at line 40 of file giaShrink7.c.

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