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

Data Fields

Gia_Man_tpAig
 
Gia_ParSim_tpPars
 
int nWords
 
unsigned * pDataSim
 
Vec_Int_tvClassOld
 
Vec_Int_tvClassNew
 

Detailed Description

Definition at line 31 of file giaSim2.c.

Field Documentation

int Gia_Sim2_t_::nWords

Definition at line 35 of file giaSim2.c.

Gia_Man_t* Gia_Sim2_t_::pAig

Definition at line 33 of file giaSim2.c.

unsigned* Gia_Sim2_t_::pDataSim

Definition at line 36 of file giaSim2.c.

Gia_ParSim_t* Gia_Sim2_t_::pPars

Definition at line 34 of file giaSim2.c.

Vec_Int_t* Gia_Sim2_t_::vClassNew

Definition at line 38 of file giaSim2.c.

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: