Gia_ManTer_t_ Struct Reference

Data Fields
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.

Field Documentation

int Gia_ManTer_t_::nBins

Definition at line 58 of file giaTsim.c.

int Gia_ManTer_t_::nIters

Definition at line 49 of file giaTsim.c.

int Gia_ManTer_t_::nStateWords

Definition at line 50 of file giaTsim.c.

Gia_Man_t* Gia_ManTer_t_::pAig

Definition at line 48 of file giaTsim.c.

unsigned** Gia_ManTer_t_::pBins

Definition at line 59 of file giaTsim.c.

int* Gia_ManTer_t_::pCount0

Definition at line 55 of file giaTsim.c.

int* Gia_ManTer_t_::pCountX

Definition at line 56 of file giaTsim.c.

unsigned* Gia_ManTer_t_::pDataSim

Definition at line 61 of file giaTsim.c.

unsigned* Gia_ManTer_t_::pDataSimCis

Definition at line 62 of file giaTsim.c.

unsigned* Gia_ManTer_t_::pDataSimCos

Definition at line 63 of file giaTsim.c.

char* Gia_ManTer_t_::pRetired

Definition at line 54 of file giaTsim.c.

Vec_Ptr_t* Gia_ManTer_t_::vFlops

Definition at line 52 of file giaTsim.c.

Vec_Int_t* Gia_ManTer_t_::vRetired

Definition at line 53 of file giaTsim.c.

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:

• giaTsim.c