Collaboration diagram for Gia_ManEra_t_:

[legend]

Public Attributes
Gia_Man_t *	pAig

int	nWordsSim

int	nWordsDat

unsigned *	pDataSim

Mem_Fixed_t *	pMemory

Vec_Ptr_t *	vStates

Gia_ObjEra_t *	pStateNew

int	iCurState

Vec_Int_t *	vBugTrace

Vec_Int_t *	vStgDump

int	nBins

unsigned *	pBins

Detailed Description

Definition at line 44 of file giaEra.c.

Member Data Documentation

◆ iCurState

int Gia_ManEra_t_::iCurState

Definition at line 53 of file giaEra.c.

◆ nBins

int Gia_ManEra_t_::nBins

Definition at line 57 of file giaEra.c.

◆ nWordsDat

int Gia_ManEra_t_::nWordsDat

Definition at line 48 of file giaEra.c.

◆ nWordsSim

int Gia_ManEra_t_::nWordsSim

Definition at line 47 of file giaEra.c.

◆ pAig

Gia_Man_t* Gia_ManEra_t_::pAig

Definition at line 46 of file giaEra.c.

◆ pBins

unsigned* Gia_ManEra_t_::pBins

Definition at line 58 of file giaEra.c.

◆ pDataSim

unsigned* Gia_ManEra_t_::pDataSim

Definition at line 49 of file giaEra.c.

◆ pMemory

Mem_Fixed_t* Gia_ManEra_t_::pMemory

Definition at line 50 of file giaEra.c.

◆ pStateNew

Gia_ObjEra_t* Gia_ManEra_t_::pStateNew

Definition at line 52 of file giaEra.c.

◆ vBugTrace

Vec_Int_t* Gia_ManEra_t_::vBugTrace

Definition at line 54 of file giaEra.c.

◆ vStates

Vec_Ptr_t* Gia_ManEra_t_::vStates

Definition at line 51 of file giaEra.c.

◆ vStgDump

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:

src/aig/gia/giaEra.c

Public Attributes