#include <abc.h>

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

Detailed Description

Definition at line 153 of file abc.h.

Field Documentation

float Abc_Ntk_t_::AndGateDelay

Definition at line 194 of file abc.h.

double Abc_Ntk_t_::dTemp

Definition at line 185 of file abc.h.

int Abc_Ntk_t_::fHiePath

Definition at line 183 of file abc.h.

int Abc_Ntk_t_::fHieVisited

Definition at line 182 of file abc.h.

int Abc_Ntk_t_::Id

Definition at line 184 of file abc.h.

int Abc_Ntk_t_::iStep

Definition at line 178 of file abc.h.

int Abc_Ntk_t_::LevelMax

Definition at line 195 of file abc.h.

int Abc_Ntk_t_::nBarBufs

Definition at line 174 of file abc.h.

int Abc_Ntk_t_::nBarBufs2

Definition at line 175 of file abc.h.

int Abc_Ntk_t_::nConstrs

Definition at line 173 of file abc.h.

int Abc_Ntk_t_::nObjCounts[ABC_OBJ_NUMBER]

Definition at line 171 of file abc.h.

int Abc_Ntk_t_::nObjs

Definition at line 172 of file abc.h.

Abc_NtkFunc_t Abc_Ntk_t_::ntkFunc

Definition at line 157 of file abc.h.

Abc_NtkType_t Abc_Ntk_t_::ntkType

Definition at line 156 of file abc.h.

int Abc_Ntk_t_::nTravIds

Definition at line 187 of file abc.h.

Abc_Ntk_t* Abc_Ntk_t_::pAltView

Definition at line 181 of file abc.h.

void* Abc_Ntk_t_::pBSMan

Definition at line 205 of file abc.h.

Abc_Ntk_t* Abc_Ntk_t_::pCopy

Definition at line 204 of file abc.h.

void* Abc_Ntk_t_::pData

Definition at line 203 of file abc.h.

Abc_Des_t* Abc_Ntk_t_::pDesign

Definition at line 180 of file abc.h.

void* Abc_Ntk_t_::pExcare

Definition at line 202 of file abc.h.

Abc_Ntk_t* Abc_Ntk_t_::pExdc

Definition at line 201 of file abc.h.

float* Abc_Ntk_t_::pLutTimes

Definition at line 210 of file abc.h.

void* Abc_Ntk_t_::pManCut

Definition at line 193 of file abc.h.

void* Abc_Ntk_t_::pManFunc

Definition at line 191 of file abc.h.

Nm_Man_t* Abc_Ntk_t_::pManName

Definition at line 160 of file abc.h.

Abc_ManTime_t* Abc_Ntk_t_::pManTime

Definition at line 192 of file abc.h.

Mem_Fixed_t* Abc_Ntk_t_::pMmObj

Definition at line 189 of file abc.h.

Mem_Step_t* Abc_Ntk_t_::pMmStep

Definition at line 190 of file abc.h.

int* Abc_Ntk_t_::pModel

Definition at line 198 of file abc.h.

char* Abc_Ntk_t_::pName

Definition at line 158 of file abc.h.

Abc_Ntk_t* Abc_Ntk_t_::pNetBackup

Definition at line 177 of file abc.h.

void* Abc_Ntk_t_::pSCLib

Definition at line 206 of file abc.h.

Abc_Cex_t* Abc_Ntk_t_::pSeqModel

Definition at line 199 of file abc.h.

char* Abc_Ntk_t_::pSpec

Definition at line 159 of file abc.h.

char* Abc_Ntk_t_::pWLoadUsed

Definition at line 209 of file abc.h.

Vec_Ptr_t* Abc_Ntk_t_::vAttrs

Definition at line 214 of file abc.h.

Vec_Ptr_t* Abc_Ntk_t_::vBoxes

Definition at line 168 of file abc.h.

Vec_Ptr_t* Abc_Ntk_t_::vCis

Definition at line 165 of file abc.h.

Vec_Ptr_t* Abc_Ntk_t_::vCos

Definition at line 166 of file abc.h.

Vec_Int_t* Abc_Ntk_t_::vGates

Definition at line 207 of file abc.h.

Vec_Int_t* Abc_Ntk_t_::vLevelsR

Definition at line 196 of file abc.h.

Vec_Ptr_t* Abc_Ntk_t_::vLtlProperties

Definition at line 169 of file abc.h.

Vec_Int_t* Abc_Ntk_t_::vNameIds

Definition at line 215 of file abc.h.

Vec_Int_t* Abc_Ntk_t_::vObjPerm

Definition at line 212 of file abc.h.

Vec_Ptr_t* Abc_Ntk_t_::vObjs

Definition at line 162 of file abc.h.

Vec_Ptr_t* Abc_Ntk_t_::vOnehots

Definition at line 211 of file abc.h.

Vec_Int_t* Abc_Ntk_t_::vPhases

Definition at line 208 of file abc.h.

Vec_Ptr_t* Abc_Ntk_t_::vPios

Definition at line 167 of file abc.h.

Vec_Ptr_t* Abc_Ntk_t_::vPis

Definition at line 163 of file abc.h.

Vec_Ptr_t* Abc_Ntk_t_::vPos

Definition at line 164 of file abc.h.

Vec_Ptr_t* Abc_Ntk_t_::vSeqModelVec

Definition at line 200 of file abc.h.

Vec_Ptr_t* Abc_Ntk_t_::vSupps

Definition at line 197 of file abc.h.

Vec_Int_t* Abc_Ntk_t_::vTopo

Definition at line 213 of file abc.h.

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:

abc.h

Data Fields

Detailed Description

Field Documentation