Abc_ZddMan_ Struct Reference

Data Fields
int	nVars
int	nObjs
int	nObjsAlloc
int	nPermSize
unsigned	nUniqueMask
unsigned	nCacheMask
int *	pUnique
int *	pNexts
Abc_ZddEnt *	pCache
Abc_ZddObj *	pObjs
int	nCacheLookups
int	nCacheMisses
word	nMemory
int *	pV2TI
int *	pV2TJ
int *	pT2V

Detailed Description

Definition at line 73 of file extraUtilPerm.c.

Field Documentation

int Abc_ZddMan_::nCacheLookups

Definition at line 85 of file extraUtilPerm.c.

unsigned Abc_ZddMan_::nCacheMask

Definition at line 80 of file extraUtilPerm.c.

int Abc_ZddMan_::nCacheMisses

Definition at line 86 of file extraUtilPerm.c.

word Abc_ZddMan_::nMemory

Definition at line 87 of file extraUtilPerm.c.

int Abc_ZddMan_::nObjs

Definition at line 76 of file extraUtilPerm.c.

int Abc_ZddMan_::nObjsAlloc

Definition at line 77 of file extraUtilPerm.c.

int Abc_ZddMan_::nPermSize

Definition at line 78 of file extraUtilPerm.c.

unsigned Abc_ZddMan_::nUniqueMask

Definition at line 79 of file extraUtilPerm.c.

int Abc_ZddMan_::nVars

Definition at line 75 of file extraUtilPerm.c.

Abc_ZddEnt* Abc_ZddMan_::pCache

Definition at line 83 of file extraUtilPerm.c.

int* Abc_ZddMan_::pNexts

Definition at line 82 of file extraUtilPerm.c.

Abc_ZddObj* Abc_ZddMan_::pObjs

Definition at line 84 of file extraUtilPerm.c.

int* Abc_ZddMan_::pT2V

Definition at line 90 of file extraUtilPerm.c.

int* Abc_ZddMan_::pUnique

Definition at line 81 of file extraUtilPerm.c.

int* Abc_ZddMan_::pV2TI

Definition at line 88 of file extraUtilPerm.c.

int* Abc_ZddMan_::pV2TJ

Definition at line 89 of file extraUtilPerm.c.

---

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

• extraUtilPerm.c