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

Data Fields

Gia_Man_tpAig
 
int nWordsSim
 
int nWordsDat
 
unsigned * pDataSim
 
Mem_Fixed_tpMemory
 
Vec_Ptr_tvStates
 
Gia_ObjEra_tpStateNew
 
int iCurState
 
Vec_Int_tvBugTrace
 
Vec_Int_tvStgDump
 
int nBins
 
unsigned * pBins
 

Detailed Description

Definition at line 44 of file giaEra.c.

Field Documentation

int Gia_ManEra_t_::iCurState

Definition at line 53 of file giaEra.c.

int Gia_ManEra_t_::nBins

Definition at line 57 of file giaEra.c.

int Gia_ManEra_t_::nWordsDat

Definition at line 48 of file giaEra.c.

int Gia_ManEra_t_::nWordsSim

Definition at line 47 of file giaEra.c.

Gia_Man_t* Gia_ManEra_t_::pAig

Definition at line 46 of file giaEra.c.

unsigned* Gia_ManEra_t_::pBins

Definition at line 58 of file giaEra.c.

unsigned* Gia_ManEra_t_::pDataSim

Definition at line 49 of file giaEra.c.

Mem_Fixed_t* Gia_ManEra_t_::pMemory

Definition at line 50 of file giaEra.c.

Gia_ObjEra_t* Gia_ManEra_t_::pStateNew

Definition at line 52 of file giaEra.c.

Vec_Int_t* Gia_ManEra_t_::vBugTrace

Definition at line 54 of file giaEra.c.

Vec_Ptr_t* Gia_ManEra_t_::vStates

Definition at line 51 of file giaEra.c.

Vec_Int_t* Gia_ManEra_t_::vStgDump

Definition at line 55 of file giaEra.c.


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