If_Man_t_ Struct Reference

#include <if.h>

Data Fields
char *	pName
If_Par_t *	pPars
If_Obj_t *	pConst1
Vec_Ptr_t *	vCis
Vec_Ptr_t *	vCos
Vec_Ptr_t *	vObjs
Vec_Ptr_t *	vObjsRev
Vec_Ptr_t *	vTemp
int	nObjs [IF_VOID]
int	nLevelMax
float	fEpsilon
float	RequiredGlo
float	RequiredGlo2
float	AreaGlo
int	nNets
float	dPower
int	nCutsUsed
int	nCutsMerged
unsigned *	puTemp [4]
word *	puTempW
int	SortMode
int	fNextRound
int	nChoices
Vec_Int_t *	vSwitching
int	pPerm [3][IF_MAX_LUTSIZE]
unsigned	uSharedMask
int	nShared
int	fReqTimeWarn
Vec_Int_t *	vCover
Vec_Int_t *	vArray
Vec_Wrd_t *	vAnds
Vec_Wrd_t *	vOrGate
Vec_Wrd_t *	vAndGate
Vec_Ptr_t *	vLatchOrder
Vec_Int_t *	vLags
int	nAttempts
int	nMaxIters
int	Period
int	nTruth6Words [IF_MAX_FUNC_LUTSIZE+1]
int	nPermWords
int	nObjBytes
int	nCutBytes
int	nSetBytes
Mem_Fixed_t *	pMemObj
Mem_Fixed_t *	pMemSet
If_Set_t *	pMemCi
If_Set_t *	pMemAnd
If_Set_t *	pFreeList
int	nSmallSupp
int	nCutsTotal
int	nCutsUseless [32]
int	nCutsCount [32]
int	nCutsCountAll
int	nCutsUselessAll
int	nCuts5
int	nCuts5a
If_DsdMan_t *	pIfDsdMan
Vec_Mem_t *	vTtMem [IF_MAX_FUNC_LUTSIZE+1]
Vec_Wec_t *	vTtIsops [IF_MAX_FUNC_LUTSIZE+1]
Vec_Int_t *	vTtDsds [IF_MAX_FUNC_LUTSIZE+1]
Vec_Str_t *	vTtPerms [IF_MAX_FUNC_LUTSIZE+1]
Vec_Str_t *	vTtVars [IF_MAX_FUNC_LUTSIZE+1]
Vec_Int_t *	vTtDecs [IF_MAX_FUNC_LUTSIZE+1]
Hash_IntMan_t *	vPairHash
Vec_Int_t *	vPairRes
Vec_Str_t *	vPairPerms
char	pCanonPerm [IF_MAX_LUTSIZE]
unsigned	uCanonPhase
int	nCacheHits
int	nCacheMisses
abctime	timeCache [6]
int	nBestCutSmall [2]
int	nCountNonDec [2]
Vec_Int_t *	vCutData
Tim_Man_t *	pManTim
Vec_Int_t *	vCoAttrs
int	nTableSize [2]
int	nTableEntries [2]
void **	pHashTable [2]
Mem_Fixed_t *	pMemEntries

Detailed Description

Definition at line 180 of file if.h.

Field Documentation

float If_Man_t_::AreaGlo

Definition at line 198 of file if.h.

float If_Man_t_::dPower

Definition at line 200 of file if.h.

float If_Man_t_::fEpsilon

Definition at line 195 of file if.h.

int If_Man_t_::fNextRound

Definition at line 206 of file if.h.

int If_Man_t_::fReqTimeWarn

Definition at line 212 of file if.h.

int If_Man_t_::nAttempts

Definition at line 222 of file if.h.

int If_Man_t_::nBestCutSmall[2]

Definition at line 258 of file if.h.

int If_Man_t_::nCacheHits

Definition at line 255 of file if.h.

int If_Man_t_::nCacheMisses

Definition at line 256 of file if.h.

int If_Man_t_::nChoices

Definition at line 207 of file if.h.

int If_Man_t_::nCountNonDec[2]

Definition at line 259 of file if.h.

int If_Man_t_::nCutBytes

Definition at line 229 of file if.h.

int If_Man_t_::nCuts5

Definition at line 242 of file if.h.

int If_Man_t_::nCuts5a

Definition at line 242 of file if.h.

int If_Man_t_::nCutsCount[32]

Definition at line 239 of file if.h.

int If_Man_t_::nCutsCountAll

Definition at line 240 of file if.h.

int If_Man_t_::nCutsMerged

Definition at line 202 of file if.h.

int If_Man_t_::nCutsTotal

Definition at line 237 of file if.h.

int If_Man_t_::nCutsUsed

Definition at line 201 of file if.h.

int If_Man_t_::nCutsUseless[32]

Definition at line 238 of file if.h.

int If_Man_t_::nCutsUselessAll

Definition at line 241 of file if.h.

int If_Man_t_::nLevelMax

Definition at line 194 of file if.h.

int If_Man_t_::nMaxIters

Definition at line 223 of file if.h.

int If_Man_t_::nNets

Definition at line 199 of file if.h.

int If_Man_t_::nObjBytes

Definition at line 228 of file if.h.

int If_Man_t_::nObjs[IF_VOID]

Definition at line 192 of file if.h.

int If_Man_t_::nPermWords

Definition at line 227 of file if.h.

int If_Man_t_::nSetBytes

Definition at line 230 of file if.h.

int If_Man_t_::nShared

Definition at line 211 of file if.h.

int If_Man_t_::nSmallSupp

Definition at line 236 of file if.h.

int If_Man_t_::nTableEntries[2]

Definition at line 267 of file if.h.

int If_Man_t_::nTableSize[2]

Definition at line 266 of file if.h.

int If_Man_t_::nTruth6Words[IF_MAX_FUNC_LUTSIZE+1]

Definition at line 226 of file if.h.

char If_Man_t_::pCanonPerm[IF_MAX_LUTSIZE]

Definition at line 253 of file if.h.

If_Obj_t* If_Man_t_::pConst1

Definition at line 186 of file if.h.

int If_Man_t_::Period

Definition at line 224 of file if.h.

If_Set_t* If_Man_t_::pFreeList

Definition at line 235 of file if.h.

void** If_Man_t_::pHashTable[2]

Definition at line 268 of file if.h.

If_DsdMan_t* If_Man_t_::pIfDsdMan

Definition at line 243 of file if.h.

Tim_Man_t* If_Man_t_::pManTim

Definition at line 263 of file if.h.

If_Set_t* If_Man_t_::pMemAnd

Definition at line 234 of file if.h.

If_Set_t* If_Man_t_::pMemCi

Definition at line 233 of file if.h.

Mem_Fixed_t* If_Man_t_::pMemEntries

Definition at line 269 of file if.h.

Mem_Fixed_t* If_Man_t_::pMemObj

Definition at line 231 of file if.h.

Mem_Fixed_t* If_Man_t_::pMemSet

Definition at line 232 of file if.h.

char* If_Man_t_::pName

Definition at line 182 of file if.h.

If_Par_t* If_Man_t_::pPars

Definition at line 184 of file if.h.

int If_Man_t_::pPerm[3][IF_MAX_LUTSIZE]

Definition at line 209 of file if.h.

unsigned* If_Man_t_::puTemp[4]

Definition at line 203 of file if.h.

word* If_Man_t_::puTempW

Definition at line 204 of file if.h.

float If_Man_t_::RequiredGlo

Definition at line 196 of file if.h.

float If_Man_t_::RequiredGlo2

Definition at line 197 of file if.h.

int If_Man_t_::SortMode

Definition at line 205 of file if.h.

abctime If_Man_t_::timeCache[6]

Definition at line 257 of file if.h.

unsigned If_Man_t_::uCanonPhase

Definition at line 254 of file if.h.

unsigned If_Man_t_::uSharedMask

Definition at line 210 of file if.h.

Vec_Wrd_t* If_Man_t_::vAndGate

Definition at line 218 of file if.h.

Vec_Wrd_t* If_Man_t_::vAnds

Definition at line 216 of file if.h.

Vec_Int_t* If_Man_t_::vArray

Definition at line 215 of file if.h.

Vec_Ptr_t* If_Man_t_::vCis

Definition at line 187 of file if.h.

Vec_Int_t* If_Man_t_::vCoAttrs

Definition at line 264 of file if.h.

Vec_Ptr_t* If_Man_t_::vCos

Definition at line 188 of file if.h.

Vec_Int_t* If_Man_t_::vCover

Definition at line 214 of file if.h.

Vec_Int_t* If_Man_t_::vCutData

Definition at line 260 of file if.h.

Vec_Int_t* If_Man_t_::vLags

Definition at line 221 of file if.h.

Vec_Ptr_t* If_Man_t_::vLatchOrder

Definition at line 220 of file if.h.

Vec_Ptr_t* If_Man_t_::vObjs

Definition at line 189 of file if.h.

Vec_Ptr_t* If_Man_t_::vObjsRev

Definition at line 190 of file if.h.

Vec_Wrd_t* If_Man_t_::vOrGate

Definition at line 217 of file if.h.

Hash_IntMan_t* If_Man_t_::vPairHash

Definition at line 250 of file if.h.

Vec_Str_t* If_Man_t_::vPairPerms

Definition at line 252 of file if.h.

Vec_Int_t* If_Man_t_::vPairRes

Definition at line 251 of file if.h.

Vec_Int_t* If_Man_t_::vSwitching

Definition at line 208 of file if.h.

Vec_Ptr_t* If_Man_t_::vTemp

Definition at line 191 of file if.h.

Vec_Int_t* If_Man_t_::vTtDecs[IF_MAX_FUNC_LUTSIZE+1]

Definition at line 249 of file if.h.

Vec_Int_t* If_Man_t_::vTtDsds[IF_MAX_FUNC_LUTSIZE+1]

Definition at line 246 of file if.h.

Vec_Wec_t* If_Man_t_::vTtIsops[IF_MAX_FUNC_LUTSIZE+1]

Definition at line 245 of file if.h.

Vec_Mem_t* If_Man_t_::vTtMem[IF_MAX_FUNC_LUTSIZE+1]

Definition at line 244 of file if.h.

Vec_Str_t* If_Man_t_::vTtPerms[IF_MAX_FUNC_LUTSIZE+1]

Definition at line 247 of file if.h.

Vec_Str_t* If_Man_t_::vTtVars[IF_MAX_FUNC_LUTSIZE+1]

Definition at line 248 of file if.h.

---

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

• if.h