Collaboration diagram for Gia_ManTer_t_:

[legend]

Public Attributes
Gia_Man_t *	pAig

int	nIters

int	nStateWords

Vec_Ptr_t *	vStates

Vec_Ptr_t *	vFlops

Vec_Int_t *	vRetired

char *	pRetired

int *	pCount0

int *	pCountX

int	nBins

unsigned **	pBins

unsigned *	pDataSim

unsigned *	pDataSimCis

unsigned *	pDataSimCos

Detailed Description

Definition at line 46 of file giaTsim.c.

Member Data Documentation

◆ nBins

int Gia_ManTer_t_::nBins

Definition at line 58 of file giaTsim.c.

◆ nIters

int Gia_ManTer_t_::nIters

Definition at line 49 of file giaTsim.c.

◆ nStateWords

int Gia_ManTer_t_::nStateWords

Definition at line 50 of file giaTsim.c.

◆ pAig

Gia_Man_t* Gia_ManTer_t_::pAig

Definition at line 48 of file giaTsim.c.

◆ pBins

unsigned** Gia_ManTer_t_::pBins

Definition at line 59 of file giaTsim.c.

◆ pCount0

int* Gia_ManTer_t_::pCount0

Definition at line 55 of file giaTsim.c.

◆ pCountX

int* Gia_ManTer_t_::pCountX

Definition at line 56 of file giaTsim.c.

◆ pDataSim

unsigned* Gia_ManTer_t_::pDataSim

Definition at line 61 of file giaTsim.c.

◆ pDataSimCis

unsigned* Gia_ManTer_t_::pDataSimCis

Definition at line 62 of file giaTsim.c.

◆ pDataSimCos

unsigned* Gia_ManTer_t_::pDataSimCos

Definition at line 63 of file giaTsim.c.

◆ pRetired

char* Gia_ManTer_t_::pRetired

Definition at line 54 of file giaTsim.c.

◆ vFlops

Vec_Ptr_t* Gia_ManTer_t_::vFlops

Definition at line 52 of file giaTsim.c.

◆ vRetired

Vec_Int_t* Gia_ManTer_t_::vRetired

Definition at line 53 of file giaTsim.c.

◆ vStates

Vec_Ptr_t* Gia_ManTer_t_::vStates

Definition at line 51 of file giaTsim.c.

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

src/aig/gia/giaTsim.c

Public Attributes