ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Public Attributes | List of all members
Saig_MvMan_t_ Struct Reference
Collaboration diagram for Saig_MvMan_t_:
Collaboration graph
[legend]

Public Attributes

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.

Member Data Documentation

◆ nFlops

int Saig_MvMan_t_::nFlops

Definition at line 62 of file saigSimMv.c.

◆ nLevelsMax

int Saig_MvMan_t_::nLevelsMax

Definition at line 60 of file saigSimMv.c.

◆ nObjs

int Saig_MvMan_t_::nObjs

Definition at line 80 of file saigSimMv.c.

◆ nObjsAlloc

int Saig_MvMan_t_::nObjsAlloc

Definition at line 79 of file saigSimMv.c.

◆ nPis

int Saig_MvMan_t_::nPis

Definition at line 81 of file saigSimMv.c.

◆ nRegsValues

int* Saig_MvMan_t_::nRegsValues

Definition at line 74 of file saigSimMv.c.

◆ nRUndefs

int Saig_MvMan_t_::nRUndefs

Definition at line 75 of file saigSimMv.c.

◆ nRValues

int Saig_MvMan_t_::nRValues[SAIG_DIFF_VALUES+1]

Definition at line 76 of file saigSimMv.c.

◆ nStatesMax

int Saig_MvMan_t_::nStatesMax

Definition at line 59 of file saigSimMv.c.

◆ nTNodesSize

int Saig_MvMan_t_::nTNodesSize

Definition at line 83 of file saigSimMv.c.

◆ nTStatesSize

int Saig_MvMan_t_::nTStatesSize

Definition at line 69 of file saigSimMv.c.

◆ nValuesMax

int Saig_MvMan_t_::nValuesMax

Definition at line 61 of file saigSimMv.c.

◆ pAig

Aig_Man_t* Saig_MvMan_t_::pAig

Definition at line 57 of file saigSimMv.c.

◆ pAigNew

Saig_MvAnd_t* Saig_MvMan_t_::pAigNew

Definition at line 78 of file saigSimMv.c.

◆ pAigOld

Saig_MvObj_t* Saig_MvMan_t_::pAigOld

Definition at line 64 of file saigSimMv.c.

◆ pLevels

unsigned char* Saig_MvMan_t_::pLevels

Definition at line 84 of file saigSimMv.c.

◆ pMemStates

Aig_MmFixed_t* Saig_MvMan_t_::pMemStates

Definition at line 70 of file saigSimMv.c.

◆ pRegsUndef

int* Saig_MvMan_t_::pRegsUndef

Definition at line 72 of file saigSimMv.c.

◆ pRegsValues

int** Saig_MvMan_t_::pRegsValues

Definition at line 73 of file saigSimMv.c.

◆ pTNodes

int* Saig_MvMan_t_::pTNodes

Definition at line 82 of file saigSimMv.c.

◆ pTStates

unsigned* Saig_MvMan_t_::pTStates

Definition at line 68 of file saigSimMv.c.

◆ vFlops

Vec_Ptr_t* Saig_MvMan_t_::vFlops

Definition at line 65 of file saigSimMv.c.

◆ vStates

Vec_Ptr_t* Saig_MvMan_t_::vStates

Definition at line 71 of file saigSimMv.c.

◆ vTired

Vec_Ptr_t* Saig_MvMan_t_::vTired

Definition at line 67 of file saigSimMv.c.

◆ vXFlops

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: