ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Public Attributes | List of all members
Abc_BddMan_ Struct Reference

Public Attributes

int nVars
 
int nObjs
 
int nObjsAlloc
 
int * pUnique
 
int * pNexts
 
int * pCache
 
int * pObjs
 
unsigned char * pVars
 
unsigned char * pMark
 
unsigned nUniqueMask
 
unsigned nCacheMask
 
int nCacheLookups
 
int nCacheMisses
 
word nMemory
 

Detailed Description

Definition at line 35 of file extraUtilMult.c.

Member Data Documentation

◆ nCacheLookups

int Abc_BddMan_::nCacheLookups

Definition at line 48 of file extraUtilMult.c.

◆ nCacheMask

unsigned Abc_BddMan_::nCacheMask

Definition at line 47 of file extraUtilMult.c.

◆ nCacheMisses

int Abc_BddMan_::nCacheMisses

Definition at line 49 of file extraUtilMult.c.

◆ nMemory

word Abc_BddMan_::nMemory

Definition at line 50 of file extraUtilMult.c.

◆ nObjs

int Abc_BddMan_::nObjs

Definition at line 38 of file extraUtilMult.c.

◆ nObjsAlloc

int Abc_BddMan_::nObjsAlloc

Definition at line 39 of file extraUtilMult.c.

◆ nUniqueMask

unsigned Abc_BddMan_::nUniqueMask

Definition at line 46 of file extraUtilMult.c.

◆ nVars

int Abc_BddMan_::nVars

Definition at line 37 of file extraUtilMult.c.

◆ pCache

int* Abc_BddMan_::pCache

Definition at line 42 of file extraUtilMult.c.

◆ pMark

unsigned char* Abc_BddMan_::pMark

Definition at line 45 of file extraUtilMult.c.

◆ pNexts

int* Abc_BddMan_::pNexts

Definition at line 41 of file extraUtilMult.c.

◆ pObjs

int* Abc_BddMan_::pObjs

Definition at line 43 of file extraUtilMult.c.

◆ pUnique

int* Abc_BddMan_::pUnique

Definition at line 40 of file extraUtilMult.c.

◆ pVars

unsigned char* Abc_BddMan_::pVars

Definition at line 44 of file extraUtilMult.c.

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