Dss_Man_t_ Struct Reference

Data Fields
int	nVars
int	nNonDecLimit
int	nBins
unsigned *	pBins
Mem_Flex_t *	pMem
Vec_Ptr_t *	vObjs
Vec_Int_t *	vNexts
Vec_Int_t *	vLeaves
Vec_Int_t *	vCopies
word **	pTtElems
Dss_Ent_t **	pCache
int	nCache
Mem_Flex_t *	pMemEnts
int	nCacheHits [2]
int	nCacheMisses [2]
int	nCacheEntries [2]
abctime	timeBeg
abctime	timeDec
abctime	timeLook
abctime	timeEnd

Detailed Description

Definition at line 76 of file dauTree.c.

Field Documentation

int Dss_Man_t_::nBins

Definition at line 80 of file dauTree.c.

int Dss_Man_t_::nCache

Definition at line 89 of file dauTree.c.

int Dss_Man_t_::nCacheEntries[2]

Definition at line 93 of file dauTree.c.

int Dss_Man_t_::nCacheHits[2]

Definition at line 91 of file dauTree.c.

int Dss_Man_t_::nCacheMisses[2]

Definition at line 92 of file dauTree.c.

int Dss_Man_t_::nNonDecLimit

Definition at line 79 of file dauTree.c.

int Dss_Man_t_::nVars

Definition at line 78 of file dauTree.c.

unsigned* Dss_Man_t_::pBins

Definition at line 81 of file dauTree.c.

Dss_Ent_t** Dss_Man_t_::pCache

Definition at line 88 of file dauTree.c.

Mem_Flex_t* Dss_Man_t_::pMem

Definition at line 82 of file dauTree.c.

Mem_Flex_t* Dss_Man_t_::pMemEnts

Definition at line 90 of file dauTree.c.

word** Dss_Man_t_::pTtElems

Definition at line 87 of file dauTree.c.

abctime Dss_Man_t_::timeBeg

Definition at line 94 of file dauTree.c.

abctime Dss_Man_t_::timeDec

Definition at line 95 of file dauTree.c.

abctime Dss_Man_t_::timeEnd

Definition at line 97 of file dauTree.c.

abctime Dss_Man_t_::timeLook

Definition at line 96 of file dauTree.c.

Vec_Int_t* Dss_Man_t_::vCopies

Definition at line 86 of file dauTree.c.

Vec_Int_t* Dss_Man_t_::vLeaves

Definition at line 85 of file dauTree.c.

Vec_Int_t* Dss_Man_t_::vNexts

Definition at line 84 of file dauTree.c.

Vec_Ptr_t* Dss_Man_t_::vObjs

Definition at line 83 of file dauTree.c.

---

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

• dauTree.c