Saig_MvMan_t_ Struct Reference

Data Fields
Aig_Man_t *	pAig
int	nStatesMax
int	nLevelsMax
int	nValuesMax
int	nFlops
Saig_MvObj_t *	pAigOld
Vec_Ptr_t *	vFlops
Vec_Int_t *	vXFlops
Vec_Ptr_t *	vTired
unsigned *	pTStates
int	nTStatesSize
Aig_MmFixed_t *	pMemStates
Vec_Ptr_t *	vStates
int *	pRegsUndef
int **	pRegsValues
int *	nRegsValues
int	nRUndefs
int	nRValues [SAIG_DIFF_VALUES+1]
Saig_MvAnd_t *	pAigNew
int	nObjsAlloc
int	nObjs
int	nPis
int *	pTNodes
int	nTNodesSize
unsigned char *	pLevels

Detailed Description

Definition at line 54 of file saigSimMv.c.

Field Documentation

int Saig_MvMan_t_::nFlops

Definition at line 62 of file saigSimMv.c.

int Saig_MvMan_t_::nLevelsMax

Definition at line 60 of file saigSimMv.c.

int Saig_MvMan_t_::nObjs

Definition at line 80 of file saigSimMv.c.

int Saig_MvMan_t_::nObjsAlloc

Definition at line 79 of file saigSimMv.c.

int Saig_MvMan_t_::nPis

Definition at line 81 of file saigSimMv.c.

int* Saig_MvMan_t_::nRegsValues

Definition at line 74 of file saigSimMv.c.

int Saig_MvMan_t_::nRUndefs

Definition at line 75 of file saigSimMv.c.

int Saig_MvMan_t_::nRValues[SAIG_DIFF_VALUES+1]

Definition at line 76 of file saigSimMv.c.

int Saig_MvMan_t_::nStatesMax

Definition at line 59 of file saigSimMv.c.

int Saig_MvMan_t_::nTNodesSize

Definition at line 83 of file saigSimMv.c.

int Saig_MvMan_t_::nTStatesSize

Definition at line 69 of file saigSimMv.c.

int Saig_MvMan_t_::nValuesMax

Definition at line 61 of file saigSimMv.c.

Aig_Man_t* Saig_MvMan_t_::pAig

Definition at line 57 of file saigSimMv.c.

Saig_MvAnd_t* Saig_MvMan_t_::pAigNew

Definition at line 78 of file saigSimMv.c.

Saig_MvObj_t* Saig_MvMan_t_::pAigOld

Definition at line 64 of file saigSimMv.c.

unsigned char* Saig_MvMan_t_::pLevels

Definition at line 84 of file saigSimMv.c.

Aig_MmFixed_t* Saig_MvMan_t_::pMemStates

Definition at line 70 of file saigSimMv.c.

int* Saig_MvMan_t_::pRegsUndef

Definition at line 72 of file saigSimMv.c.

int** Saig_MvMan_t_::pRegsValues

Definition at line 73 of file saigSimMv.c.

int* Saig_MvMan_t_::pTNodes

Definition at line 82 of file saigSimMv.c.

unsigned* Saig_MvMan_t_::pTStates

Definition at line 68 of file saigSimMv.c.

Vec_Ptr_t* Saig_MvMan_t_::vFlops

Definition at line 65 of file saigSimMv.c.

Vec_Ptr_t* Saig_MvMan_t_::vStates

Definition at line 71 of file saigSimMv.c.

Vec_Ptr_t* Saig_MvMan_t_::vTired

Definition at line 67 of file saigSimMv.c.

Vec_Int_t* Saig_MvMan_t_::vXFlops

Definition at line 66 of file saigSimMv.c.

---

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

• saigSimMv.c