Gia_Man_t_ Struct Reference

#include <gia.h>

Data Fields
char *	pName
char *	pSpec
int	nRegs
int	nRegsAlloc
int	nObjs
int	nObjsAlloc
Gia_Obj_t *	pObjs
unsigned *	pMuxes
int	nXors
int	nMuxes
int	nBufs
Vec_Int_t *	vCis
Vec_Int_t *	vCos
int *	pHTable
int	nHTable
int	fAddStrash
int	fSweeper
int *	pRefs
Vec_Int_t *	vLevels
int	nLevels
int	nConstrs
int	nTravIds
int	nFront
int *	pReprsOld
Gia_Rpr_t *	pReprs
int *	pNexts
int *	pSibls
int *	pIso
int	nTerLoop
int	nTerStates
int *	pFanData
int	nFansAlloc
Vec_Int_t *	vFanoutNums
Vec_Int_t *	vFanout
Vec_Int_t *	vMapping
Vec_Int_t *	vCellMapping
Vec_Int_t *	vPacking
Vec_Int_t *	vLutConfigs
Abc_Cex_t *	pCexComb
Abc_Cex_t *	pCexSeq
Vec_Ptr_t *	vSeqModelVec
Vec_Int_t	vCopies
Vec_Int_t *	vTruths
Vec_Int_t *	vFlopClasses
Vec_Int_t *	vGateClasses
Vec_Int_t *	vObjClasses
Vec_Int_t *	vInitClasses
Vec_Int_t *	vRegClasses
Vec_Int_t *	vDoms
Vec_Int_t *	vBarBufs
unsigned char *	pSwitching
Gia_Plc_t *	pPlacement
Gia_Man_t *	pAigExtra
Vec_Flt_t *	vInArrs
Vec_Flt_t *	vOutReqs
Vec_Int_t *	vSwitching
int *	pTravIds
int	nTravIdsAlloc
Vec_Ptr_t *	vNamesIn
Vec_Ptr_t *	vNamesOut
Vec_Int_t *	vUserPiIds
Vec_Int_t *	vUserPoIds
Vec_Int_t *	vUserFfIds
Vec_Int_t *	vCiNumsOrig
Vec_Int_t *	vCoNumsOrig
Vec_Int_t *	vCofVars
Vec_Vec_t *	vClockDoms
Vec_Flt_t *	vTiming
void *	pManTime
void *	pLutLib
word	nHashHit
word	nHashMiss
void *	pData
unsigned *	pData2
int	iData
int	iData2
int	nAnd2Delay
int	fVerbose
int	iPatsPi
Vec_Wrd_t *	vSims
Vec_Wrd_t *	vSimsPi
Vec_Int_t *	vClassOld
Vec_Int_t *	vClassNew
int	nTtVars
int	nTtWords
Vec_Int_t *	vTtNums
Vec_Int_t *	vTtNodes
Vec_Ptr_t *	vTtInputs
Vec_Wrd_t *	vTtMemory
Vec_Int_t *	vSuper
Vec_Int_t *	vStore

Detailed Description

Definition at line 95 of file gia.h.

Field Documentation

int Gia_Man_t_::fAddStrash

Definition at line 112 of file gia.h.

int Gia_Man_t_::fSweeper

Definition at line 113 of file gia.h.

int Gia_Man_t_::fVerbose

Definition at line 174 of file gia.h.

int Gia_Man_t_::iData

Definition at line 171 of file gia.h.

int Gia_Man_t_::iData2

Definition at line 172 of file gia.h.

int Gia_Man_t_::iPatsPi

Definition at line 176 of file gia.h.

int Gia_Man_t_::nAnd2Delay

Definition at line 173 of file gia.h.

int Gia_Man_t_::nBufs

Definition at line 107 of file gia.h.

int Gia_Man_t_::nConstrs

Definition at line 117 of file gia.h.

int Gia_Man_t_::nFansAlloc

Definition at line 128 of file gia.h.

int Gia_Man_t_::nFront

Definition at line 119 of file gia.h.

word Gia_Man_t_::nHashHit

Definition at line 167 of file gia.h.

word Gia_Man_t_::nHashMiss

Definition at line 168 of file gia.h.

int Gia_Man_t_::nHTable

Definition at line 111 of file gia.h.

int Gia_Man_t_::nLevels

Definition at line 116 of file gia.h.

int Gia_Man_t_::nMuxes

Definition at line 106 of file gia.h.

int Gia_Man_t_::nObjs

Definition at line 101 of file gia.h.

int Gia_Man_t_::nObjsAlloc

Definition at line 102 of file gia.h.

int Gia_Man_t_::nRegs

Definition at line 99 of file gia.h.

int Gia_Man_t_::nRegsAlloc

Definition at line 100 of file gia.h.

int Gia_Man_t_::nTerLoop

Definition at line 125 of file gia.h.

int Gia_Man_t_::nTerStates

Definition at line 126 of file gia.h.

int Gia_Man_t_::nTravIds

Definition at line 118 of file gia.h.

int Gia_Man_t_::nTravIdsAlloc

Definition at line 154 of file gia.h.

int Gia_Man_t_::nTtVars

Definition at line 182 of file gia.h.

int Gia_Man_t_::nTtWords

Definition at line 183 of file gia.h.

int Gia_Man_t_::nXors

Definition at line 105 of file gia.h.

Gia_Man_t* Gia_Man_t_::pAigExtra

Definition at line 149 of file gia.h.

Abc_Cex_t* Gia_Man_t_::pCexComb

Definition at line 135 of file gia.h.

Abc_Cex_t* Gia_Man_t_::pCexSeq

Definition at line 136 of file gia.h.

void* Gia_Man_t_::pData

Definition at line 169 of file gia.h.

unsigned* Gia_Man_t_::pData2

Definition at line 170 of file gia.h.

int* Gia_Man_t_::pFanData

Definition at line 127 of file gia.h.

int* Gia_Man_t_::pHTable

Definition at line 110 of file gia.h.

int* Gia_Man_t_::pIso

Definition at line 124 of file gia.h.

void* Gia_Man_t_::pLutLib

Definition at line 166 of file gia.h.

void* Gia_Man_t_::pManTime

Definition at line 165 of file gia.h.

unsigned* Gia_Man_t_::pMuxes

Definition at line 104 of file gia.h.

char* Gia_Man_t_::pName

Definition at line 97 of file gia.h.

int* Gia_Man_t_::pNexts

Definition at line 122 of file gia.h.

Gia_Obj_t* Gia_Man_t_::pObjs

Definition at line 103 of file gia.h.

Gia_Plc_t* Gia_Man_t_::pPlacement

Definition at line 148 of file gia.h.

int* Gia_Man_t_::pRefs

Definition at line 114 of file gia.h.

Gia_Rpr_t* Gia_Man_t_::pReprs

Definition at line 121 of file gia.h.

int* Gia_Man_t_::pReprsOld

Definition at line 120 of file gia.h.

int* Gia_Man_t_::pSibls

Definition at line 123 of file gia.h.

char* Gia_Man_t_::pSpec

Definition at line 98 of file gia.h.

unsigned char* Gia_Man_t_::pSwitching

Definition at line 147 of file gia.h.

int* Gia_Man_t_::pTravIds

Definition at line 153 of file gia.h.

Vec_Int_t* Gia_Man_t_::vBarBufs

Definition at line 146 of file gia.h.

Vec_Int_t* Gia_Man_t_::vCellMapping

Definition at line 132 of file gia.h.

Vec_Int_t* Gia_Man_t_::vCiNumsOrig

Definition at line 160 of file gia.h.

Vec_Int_t* Gia_Man_t_::vCis

Definition at line 108 of file gia.h.

Vec_Int_t* Gia_Man_t_::vClassNew

Definition at line 180 of file gia.h.

Vec_Int_t* Gia_Man_t_::vClassOld

Definition at line 179 of file gia.h.

Vec_Vec_t* Gia_Man_t_::vClockDoms

Definition at line 163 of file gia.h.

Vec_Int_t* Gia_Man_t_::vCofVars

Definition at line 162 of file gia.h.

Vec_Int_t* Gia_Man_t_::vCoNumsOrig

Definition at line 161 of file gia.h.

Vec_Int_t Gia_Man_t_::vCopies

Definition at line 138 of file gia.h.

Vec_Int_t* Gia_Man_t_::vCos

Definition at line 109 of file gia.h.

Vec_Int_t* Gia_Man_t_::vDoms

Definition at line 145 of file gia.h.

Vec_Int_t* Gia_Man_t_::vFanout

Definition at line 130 of file gia.h.

Vec_Int_t* Gia_Man_t_::vFanoutNums

Definition at line 129 of file gia.h.

Vec_Int_t* Gia_Man_t_::vFlopClasses

Definition at line 140 of file gia.h.

Vec_Int_t* Gia_Man_t_::vGateClasses

Definition at line 141 of file gia.h.

Vec_Flt_t* Gia_Man_t_::vInArrs

Definition at line 150 of file gia.h.

Vec_Int_t* Gia_Man_t_::vInitClasses

Definition at line 143 of file gia.h.

Vec_Int_t* Gia_Man_t_::vLevels

Definition at line 115 of file gia.h.

Vec_Int_t* Gia_Man_t_::vLutConfigs

Definition at line 134 of file gia.h.

Vec_Int_t* Gia_Man_t_::vMapping

Definition at line 131 of file gia.h.

Vec_Ptr_t* Gia_Man_t_::vNamesIn

Definition at line 155 of file gia.h.

Vec_Ptr_t* Gia_Man_t_::vNamesOut

Definition at line 156 of file gia.h.

Vec_Int_t* Gia_Man_t_::vObjClasses

Definition at line 142 of file gia.h.

Vec_Flt_t* Gia_Man_t_::vOutReqs

Definition at line 151 of file gia.h.

Vec_Int_t* Gia_Man_t_::vPacking

Definition at line 133 of file gia.h.

Vec_Int_t* Gia_Man_t_::vRegClasses

Definition at line 144 of file gia.h.

Vec_Ptr_t* Gia_Man_t_::vSeqModelVec

Definition at line 137 of file gia.h.

Vec_Wrd_t* Gia_Man_t_::vSims

Definition at line 177 of file gia.h.

Vec_Wrd_t* Gia_Man_t_::vSimsPi

Definition at line 178 of file gia.h.

Vec_Int_t* Gia_Man_t_::vStore

Definition at line 190 of file gia.h.

Vec_Int_t* Gia_Man_t_::vSuper

Definition at line 189 of file gia.h.

Vec_Int_t* Gia_Man_t_::vSwitching

Definition at line 152 of file gia.h.

Vec_Flt_t* Gia_Man_t_::vTiming

Definition at line 164 of file gia.h.

Vec_Int_t* Gia_Man_t_::vTruths

Definition at line 139 of file gia.h.

Vec_Ptr_t* Gia_Man_t_::vTtInputs

Definition at line 186 of file gia.h.

Vec_Wrd_t* Gia_Man_t_::vTtMemory

Definition at line 187 of file gia.h.

Vec_Int_t* Gia_Man_t_::vTtNodes

Definition at line 185 of file gia.h.

Vec_Int_t* Gia_Man_t_::vTtNums

Definition at line 184 of file gia.h.

Vec_Int_t* Gia_Man_t_::vUserFfIds

Definition at line 159 of file gia.h.

Vec_Int_t* Gia_Man_t_::vUserPiIds

Definition at line 157 of file gia.h.

Vec_Int_t* Gia_Man_t_::vUserPoIds

Definition at line 158 of file gia.h.

---

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

• gia.h