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

Public Attributes

Gia_Man_t * pAig
 
Gia_ParSim_t * pPars
 
int nWords
 
unsigned * pDataSim
 
Vec_Int_t * vClassOld
 
Vec_Int_t * vClassNew
 

Detailed Description

Definition at line 31 of file giaSim2.c.

Member Data Documentation

◆ nWords

int Gia_Sim2_t_::nWords

Definition at line 35 of file giaSim2.c.

◆ pAig

Gia_Man_t* Gia_Sim2_t_::pAig

Definition at line 33 of file giaSim2.c.

◆ pDataSim

unsigned* Gia_Sim2_t_::pDataSim

Definition at line 36 of file giaSim2.c.

◆ pPars

Gia_ParSim_t* Gia_Sim2_t_::pPars

Definition at line 34 of file giaSim2.c.

◆ vClassNew

Vec_Int_t* Gia_Sim2_t_::vClassNew

Definition at line 38 of file giaSim2.c.

◆ vClassOld

Vec_Int_t* Gia_Sim2_t_::vClassOld

Definition at line 37 of file giaSim2.c.

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