#include <abc.h>

Collaboration diagram for Abc_Ntk_t_:

[legend]

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

Vec_Int_t *	vOrigNodeIds

Detailed Description

Definition at line 153 of file abc.h.

Member Data Documentation

◆ AndGateDelay

float Abc_Ntk_t_::AndGateDelay

Definition at line 194 of file abc.h.

◆ dTemp

double Abc_Ntk_t_::dTemp

Definition at line 185 of file abc.h.

◆ fHiePath

int Abc_Ntk_t_::fHiePath

Definition at line 183 of file abc.h.

◆ fHieVisited

int Abc_Ntk_t_::fHieVisited

Definition at line 182 of file abc.h.

◆ Id

int Abc_Ntk_t_::Id

Definition at line 184 of file abc.h.

◆ iStep

int Abc_Ntk_t_::iStep

Definition at line 178 of file abc.h.

◆ LevelMax

int Abc_Ntk_t_::LevelMax

Definition at line 195 of file abc.h.

◆ nBarBufs

int Abc_Ntk_t_::nBarBufs

Definition at line 174 of file abc.h.

◆ nBarBufs2

int Abc_Ntk_t_::nBarBufs2

Definition at line 175 of file abc.h.

◆ nConstrs

int Abc_Ntk_t_::nConstrs

Definition at line 173 of file abc.h.

◆ nObjCounts

int Abc_Ntk_t_::nObjCounts[ABC_OBJ_NUMBER]

Definition at line 171 of file abc.h.

◆ nObjs

int Abc_Ntk_t_::nObjs

Definition at line 172 of file abc.h.

◆ ntkFunc

Abc_NtkFunc_t Abc_Ntk_t_::ntkFunc

Definition at line 157 of file abc.h.

◆ ntkType

Abc_NtkType_t Abc_Ntk_t_::ntkType

Definition at line 156 of file abc.h.

◆ nTravIds

int Abc_Ntk_t_::nTravIds

Definition at line 187 of file abc.h.

◆ pAltView

Abc_Ntk_t* Abc_Ntk_t_::pAltView

Definition at line 181 of file abc.h.

◆ pBSMan

void* Abc_Ntk_t_::pBSMan

Definition at line 205 of file abc.h.

◆ pCopy

Abc_Ntk_t* Abc_Ntk_t_::pCopy

Definition at line 204 of file abc.h.

◆ pData

void* Abc_Ntk_t_::pData

Definition at line 203 of file abc.h.

◆ pDesign

Abc_Des_t* Abc_Ntk_t_::pDesign

Definition at line 180 of file abc.h.

◆ pExcare

void* Abc_Ntk_t_::pExcare

Definition at line 202 of file abc.h.

◆ pExdc

Abc_Ntk_t* Abc_Ntk_t_::pExdc

Definition at line 201 of file abc.h.

◆ pLutTimes

float* Abc_Ntk_t_::pLutTimes

Definition at line 210 of file abc.h.

◆ pManCut

void* Abc_Ntk_t_::pManCut

Definition at line 193 of file abc.h.

◆ pManFunc

void* Abc_Ntk_t_::pManFunc

Definition at line 191 of file abc.h.

◆ pManName

Nm_Man_t* Abc_Ntk_t_::pManName

Definition at line 160 of file abc.h.

◆ pManTime

Abc_ManTime_t* Abc_Ntk_t_::pManTime

Definition at line 192 of file abc.h.

◆ pMmObj

Mem_Fixed_t* Abc_Ntk_t_::pMmObj

Definition at line 189 of file abc.h.

◆ pMmStep

Mem_Step_t* Abc_Ntk_t_::pMmStep

Definition at line 190 of file abc.h.

◆ pModel

int* Abc_Ntk_t_::pModel

Definition at line 198 of file abc.h.

◆ pName

char* Abc_Ntk_t_::pName

Definition at line 158 of file abc.h.

◆ pNetBackup

Abc_Ntk_t* Abc_Ntk_t_::pNetBackup

Definition at line 177 of file abc.h.

◆ pSCLib

void* Abc_Ntk_t_::pSCLib

Definition at line 206 of file abc.h.

◆ pSeqModel

Abc_Cex_t* Abc_Ntk_t_::pSeqModel

Definition at line 199 of file abc.h.

◆ pSpec

char* Abc_Ntk_t_::pSpec

Definition at line 159 of file abc.h.

◆ pWLoadUsed

char* Abc_Ntk_t_::pWLoadUsed

Definition at line 209 of file abc.h.

◆ vAttrs

Vec_Ptr_t* Abc_Ntk_t_::vAttrs

Definition at line 214 of file abc.h.

◆ vBoxes

Vec_Ptr_t* Abc_Ntk_t_::vBoxes

Definition at line 168 of file abc.h.

◆ vCis

Vec_Ptr_t* Abc_Ntk_t_::vCis

Definition at line 165 of file abc.h.

◆ vCos

Vec_Ptr_t* Abc_Ntk_t_::vCos

Definition at line 166 of file abc.h.

◆ vFins

Vec_Int_t* Abc_Ntk_t_::vFins

Definition at line 216 of file abc.h.

◆ vGates

Vec_Int_t* Abc_Ntk_t_::vGates

Definition at line 207 of file abc.h.

◆ vLevelsR

Vec_Int_t* Abc_Ntk_t_::vLevelsR

Definition at line 196 of file abc.h.

◆ vLtlProperties

Vec_Ptr_t* Abc_Ntk_t_::vLtlProperties

Definition at line 169 of file abc.h.

◆ vNameIds

Vec_Int_t* Abc_Ntk_t_::vNameIds

Definition at line 215 of file abc.h.

◆ vObjPerm

Vec_Int_t* Abc_Ntk_t_::vObjPerm

Definition at line 212 of file abc.h.

◆ vObjs

Vec_Ptr_t* Abc_Ntk_t_::vObjs

Definition at line 162 of file abc.h.

◆ vOnehots

Vec_Ptr_t* Abc_Ntk_t_::vOnehots

Definition at line 211 of file abc.h.

◆ vOrigNodeIds

Vec_Int_t* Abc_Ntk_t_::vOrigNodeIds

Definition at line 217 of file abc.h.

◆ vPhases

Vec_Int_t* Abc_Ntk_t_::vPhases

Definition at line 208 of file abc.h.

◆ vPios

Vec_Ptr_t* Abc_Ntk_t_::vPios

Definition at line 167 of file abc.h.

◆ vPis

Vec_Ptr_t* Abc_Ntk_t_::vPis

Definition at line 163 of file abc.h.

◆ vPos

Vec_Ptr_t* Abc_Ntk_t_::vPos

Definition at line 164 of file abc.h.

◆ vSeqModelVec

Vec_Ptr_t* Abc_Ntk_t_::vSeqModelVec

Definition at line 200 of file abc.h.

◆ vSupps

Vec_Ptr_t* Abc_Ntk_t_::vSupps

Definition at line 197 of file abc.h.

◆ vTopo

Vec_Int_t* Abc_Ntk_t_::vTopo

Definition at line 213 of file abc.h.

◆ vTravIds

Vec_Int_t Abc_Ntk_t_::vTravIds

Definition at line 188 of file abc.h.

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

src/base/abc/abc.h

Public Attributes