HAL
Public Attributes | List of all members
Abc_Ntk_t_ Struct Reference
Collaboration diagram for Abc_Ntk_t_:
Collaboration graph

Public Attributes

Abc_NtkType_t ntkType
 
Abc_NtkFunc_t ntkFunc
 
char * pName
 
char * pSpec
 
Nm_Man_t * pManName
 
Vec_Ptr_t * vObjs
 
Vec_Ptr_t * vPis
 
Vec_Ptr_t * vPos
 
Vec_Ptr_t * vCis
 
Vec_Ptr_t * vCos
 
Vec_Ptr_t * vPios
 
Vec_Ptr_t * vBoxes
 
Vec_Ptr_t * vLtlProperties
 
int nObjCounts [ABC_OBJ_NUMBER]
 
int nObjs
 
int nConstrs
 
int nBarBufs
 
int nBarBufs2
 
Abc_Ntk_t * pNetBackup
 
int iStep
 
Abc_Des_t * pDesign
 
Abc_Ntk_t * pAltView
 
int fHieVisited
 
int fHiePath
 
int Id
 
double dTemp
 
int nTravIds
 
Vec_Int_t vTravIds
 
Mem_Fixed_t * pMmObj
 
Mem_Step_t * pMmStep
 
void * pManFunc
 
Abc_ManTime_t * pManTime
 
void * pManCut
 
float AndGateDelay
 
int LevelMax
 
Vec_Int_t * vLevelsR
 
Vec_Ptr_t * vSupps
 
int * pModel
 
Abc_Cex_t * pSeqModel
 
Vec_Ptr_t * vSeqModelVec
 
Abc_Ntk_t * pExdc
 
void * pExcare
 
void * pData
 
Abc_Ntk_t * pCopy
 
void * pBSMan
 
void * pSCLib
 
Vec_Int_t * vGates
 
Vec_Int_t * vPhases
 
char * pWLoadUsed
 
float * pLutTimes
 
Vec_Ptr_t * vOnehots
 
Vec_Int_t * vObjPerm
 
Vec_Int_t * vTopo
 
Vec_Ptr_t * vAttrs
 
Vec_Int_t * vNameIds
 
Vec_Int_t * vFins
 

Detailed Description

Definition at line 183 of file simplification_abc.cpp.

Member Data Documentation

◆ AndGateDelay

float Abc_Ntk_t_::AndGateDelay

Definition at line 224 of file simplification_abc.cpp.

◆ dTemp

double Abc_Ntk_t_::dTemp

Definition at line 215 of file simplification_abc.cpp.

◆ fHiePath

int Abc_Ntk_t_::fHiePath

Definition at line 213 of file simplification_abc.cpp.

◆ fHieVisited

int Abc_Ntk_t_::fHieVisited

Definition at line 212 of file simplification_abc.cpp.

◆ Id

int Abc_Ntk_t_::Id

Definition at line 214 of file simplification_abc.cpp.

◆ iStep

int Abc_Ntk_t_::iStep

Definition at line 208 of file simplification_abc.cpp.

◆ LevelMax

int Abc_Ntk_t_::LevelMax

Definition at line 225 of file simplification_abc.cpp.

◆ nBarBufs

int Abc_Ntk_t_::nBarBufs

Definition at line 204 of file simplification_abc.cpp.

◆ nBarBufs2

int Abc_Ntk_t_::nBarBufs2

Definition at line 205 of file simplification_abc.cpp.

◆ nConstrs

int Abc_Ntk_t_::nConstrs

Definition at line 203 of file simplification_abc.cpp.

◆ nObjCounts

int Abc_Ntk_t_::nObjCounts[ABC_OBJ_NUMBER]

Definition at line 201 of file simplification_abc.cpp.

◆ nObjs

int Abc_Ntk_t_::nObjs

Definition at line 202 of file simplification_abc.cpp.

◆ ntkFunc

Abc_NtkFunc_t Abc_Ntk_t_::ntkFunc

Definition at line 187 of file simplification_abc.cpp.

◆ ntkType

Abc_NtkType_t Abc_Ntk_t_::ntkType

Definition at line 186 of file simplification_abc.cpp.

◆ nTravIds

int Abc_Ntk_t_::nTravIds

Definition at line 217 of file simplification_abc.cpp.

◆ pAltView

Abc_Ntk_t* Abc_Ntk_t_::pAltView

Definition at line 211 of file simplification_abc.cpp.

◆ pBSMan

void* Abc_Ntk_t_::pBSMan

Definition at line 235 of file simplification_abc.cpp.

◆ pCopy

Abc_Ntk_t* Abc_Ntk_t_::pCopy

Definition at line 234 of file simplification_abc.cpp.

◆ pData

void* Abc_Ntk_t_::pData

Definition at line 233 of file simplification_abc.cpp.

◆ pDesign

Abc_Des_t* Abc_Ntk_t_::pDesign

Definition at line 210 of file simplification_abc.cpp.

◆ pExcare

void* Abc_Ntk_t_::pExcare

Definition at line 232 of file simplification_abc.cpp.

◆ pExdc

Abc_Ntk_t* Abc_Ntk_t_::pExdc

Definition at line 231 of file simplification_abc.cpp.

◆ pLutTimes

float* Abc_Ntk_t_::pLutTimes

Definition at line 240 of file simplification_abc.cpp.

◆ pManCut

void* Abc_Ntk_t_::pManCut

Definition at line 223 of file simplification_abc.cpp.

◆ pManFunc

void* Abc_Ntk_t_::pManFunc

Definition at line 221 of file simplification_abc.cpp.

◆ pManName

Nm_Man_t* Abc_Ntk_t_::pManName

Definition at line 190 of file simplification_abc.cpp.

◆ pManTime

Abc_ManTime_t* Abc_Ntk_t_::pManTime

Definition at line 222 of file simplification_abc.cpp.

◆ pMmObj

Mem_Fixed_t* Abc_Ntk_t_::pMmObj

Definition at line 219 of file simplification_abc.cpp.

◆ pMmStep

Mem_Step_t* Abc_Ntk_t_::pMmStep

Definition at line 220 of file simplification_abc.cpp.

◆ pModel

int* Abc_Ntk_t_::pModel

Definition at line 228 of file simplification_abc.cpp.

◆ pName

char* Abc_Ntk_t_::pName

Definition at line 188 of file simplification_abc.cpp.

◆ pNetBackup

Abc_Ntk_t* Abc_Ntk_t_::pNetBackup

Definition at line 207 of file simplification_abc.cpp.

◆ pSCLib

void* Abc_Ntk_t_::pSCLib

Definition at line 236 of file simplification_abc.cpp.

◆ pSeqModel

Abc_Cex_t* Abc_Ntk_t_::pSeqModel

Definition at line 229 of file simplification_abc.cpp.

◆ pSpec

char* Abc_Ntk_t_::pSpec

Definition at line 189 of file simplification_abc.cpp.

◆ pWLoadUsed

char* Abc_Ntk_t_::pWLoadUsed

Definition at line 239 of file simplification_abc.cpp.

◆ vAttrs

Vec_Ptr_t* Abc_Ntk_t_::vAttrs

Definition at line 244 of file simplification_abc.cpp.

◆ vBoxes

Vec_Ptr_t* Abc_Ntk_t_::vBoxes

Definition at line 198 of file simplification_abc.cpp.

◆ vCis

Vec_Ptr_t* Abc_Ntk_t_::vCis

Definition at line 195 of file simplification_abc.cpp.

◆ vCos

Vec_Ptr_t* Abc_Ntk_t_::vCos

Definition at line 196 of file simplification_abc.cpp.

◆ vFins

Vec_Int_t* Abc_Ntk_t_::vFins

Definition at line 246 of file simplification_abc.cpp.

◆ vGates

Vec_Int_t* Abc_Ntk_t_::vGates

Definition at line 237 of file simplification_abc.cpp.

◆ vLevelsR

Vec_Int_t* Abc_Ntk_t_::vLevelsR

Definition at line 226 of file simplification_abc.cpp.

◆ vLtlProperties

Vec_Ptr_t* Abc_Ntk_t_::vLtlProperties

Definition at line 199 of file simplification_abc.cpp.

◆ vNameIds

Vec_Int_t* Abc_Ntk_t_::vNameIds

Definition at line 245 of file simplification_abc.cpp.

◆ vObjPerm

Vec_Int_t* Abc_Ntk_t_::vObjPerm

Definition at line 242 of file simplification_abc.cpp.

◆ vObjs

Vec_Ptr_t* Abc_Ntk_t_::vObjs

Definition at line 192 of file simplification_abc.cpp.

◆ vOnehots

Vec_Ptr_t* Abc_Ntk_t_::vOnehots

Definition at line 241 of file simplification_abc.cpp.

◆ vPhases

Vec_Int_t* Abc_Ntk_t_::vPhases

Definition at line 238 of file simplification_abc.cpp.

◆ vPios

Vec_Ptr_t* Abc_Ntk_t_::vPios

Definition at line 197 of file simplification_abc.cpp.

◆ vPis

Vec_Ptr_t* Abc_Ntk_t_::vPis

Definition at line 193 of file simplification_abc.cpp.

◆ vPos

Vec_Ptr_t* Abc_Ntk_t_::vPos

Definition at line 194 of file simplification_abc.cpp.

◆ vSeqModelVec

Vec_Ptr_t* Abc_Ntk_t_::vSeqModelVec

Definition at line 230 of file simplification_abc.cpp.

◆ vSupps

Vec_Ptr_t* Abc_Ntk_t_::vSupps

Definition at line 227 of file simplification_abc.cpp.

◆ vTopo

Vec_Int_t* Abc_Ntk_t_::vTopo

Definition at line 243 of file simplification_abc.cpp.

◆ vTravIds

Vec_Int_t Abc_Ntk_t_::vTravIds

Definition at line 218 of file simplification_abc.cpp.

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