ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Public Attributes | List of all members
Dss_Man_t_ Struct Reference
Collaboration diagram for Dss_Man_t_:
Collaboration graph
[legend]

Public Attributes

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.

Member Data Documentation

◆ nBins

int Dss_Man_t_::nBins

Definition at line 80 of file dauTree.c.

◆ nCache

int Dss_Man_t_::nCache

Definition at line 89 of file dauTree.c.

◆ nCacheEntries

int Dss_Man_t_::nCacheEntries[2]

Definition at line 93 of file dauTree.c.

◆ nCacheHits

int Dss_Man_t_::nCacheHits[2]

Definition at line 91 of file dauTree.c.

◆ nCacheMisses

int Dss_Man_t_::nCacheMisses[2]

Definition at line 92 of file dauTree.c.

◆ nNonDecLimit

int Dss_Man_t_::nNonDecLimit

Definition at line 79 of file dauTree.c.

◆ nVars

int Dss_Man_t_::nVars

Definition at line 78 of file dauTree.c.

◆ pBins

unsigned* Dss_Man_t_::pBins

Definition at line 81 of file dauTree.c.

◆ pCache

Dss_Ent_t** Dss_Man_t_::pCache

Definition at line 88 of file dauTree.c.

◆ pMem

Mem_Flex_t* Dss_Man_t_::pMem

Definition at line 82 of file dauTree.c.

◆ pMemEnts

Mem_Flex_t* Dss_Man_t_::pMemEnts

Definition at line 90 of file dauTree.c.

◆ pTtElems

word** Dss_Man_t_::pTtElems

Definition at line 87 of file dauTree.c.

◆ timeBeg

abctime Dss_Man_t_::timeBeg

Definition at line 94 of file dauTree.c.

◆ timeDec

abctime Dss_Man_t_::timeDec

Definition at line 95 of file dauTree.c.

◆ timeEnd

abctime Dss_Man_t_::timeEnd

Definition at line 97 of file dauTree.c.

◆ timeLook

abctime Dss_Man_t_::timeLook

Definition at line 96 of file dauTree.c.

◆ vCopies

Vec_Int_t* Dss_Man_t_::vCopies

Definition at line 86 of file dauTree.c.

◆ vLeaves

Vec_Int_t* Dss_Man_t_::vLeaves

Definition at line 85 of file dauTree.c.

◆ vNexts

Vec_Int_t* Dss_Man_t_::vNexts

Definition at line 84 of file dauTree.c.

◆ vObjs

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: