Bdc_Man_t_ Struct Reference

#include <bdcInt.h>

Data Fields
Bdc_Par_t *	pPars
int	nVars
int	nWords
int	nNodesMax
int	nDivsLimit
Bdc_Fun_t *	pNodes
int	nNodesAlloc
int	nNodes
int	nNodesNew
Bdc_Fun_t *	pRoot
Bdc_Fun_t **	pTable
int	nTableSize
Vec_Int_t *	vSpots
Vec_Ptr_t *	vTruths
unsigned *	puTemp1
unsigned *	puTemp2
unsigned *	puTemp3
unsigned *	puTemp4
Bdc_Isf_t *	pIsfOL
Bdc_Isf_t	IsfOL
Bdc_Isf_t *	pIsfOR
Bdc_Isf_t	IsfOR
Bdc_Isf_t *	pIsfAL
Bdc_Isf_t	IsfAL
Bdc_Isf_t *	pIsfAR
Bdc_Isf_t	IsfAR
Vec_Int_t *	vMemory
int	numCalls
int	numNodes
int	numMuxes
int	numAnds
int	numOrs
int	numWeaks
int	numReuse
abctime	timeCache
abctime	timeCheck
abctime	timeMuxes
abctime	timeSupps
abctime	timeTotal

Detailed Description

Definition at line 81 of file bdcInt.h.

Field Documentation

Bdc_Isf_t Bdc_Man_t_::IsfAL

Definition at line 108 of file bdcInt.h.

Bdc_Isf_t Bdc_Man_t_::IsfAR

Definition at line 109 of file bdcInt.h.

Bdc_Isf_t Bdc_Man_t_::IsfOL

Definition at line 106 of file bdcInt.h.

Bdc_Isf_t Bdc_Man_t_::IsfOR

Definition at line 107 of file bdcInt.h.

int Bdc_Man_t_::nDivsLimit

Definition at line 88 of file bdcInt.h.

int Bdc_Man_t_::nNodes

Definition at line 92 of file bdcInt.h.

int Bdc_Man_t_::nNodesAlloc

Definition at line 91 of file bdcInt.h.

int Bdc_Man_t_::nNodesMax

Definition at line 87 of file bdcInt.h.

int Bdc_Man_t_::nNodesNew

Definition at line 93 of file bdcInt.h.

int Bdc_Man_t_::nTableSize

Definition at line 97 of file bdcInt.h.

int Bdc_Man_t_::numAnds

Definition at line 116 of file bdcInt.h.

int Bdc_Man_t_::numCalls

Definition at line 113 of file bdcInt.h.

int Bdc_Man_t_::numMuxes

Definition at line 115 of file bdcInt.h.

int Bdc_Man_t_::numNodes

Definition at line 114 of file bdcInt.h.

int Bdc_Man_t_::numOrs

Definition at line 117 of file bdcInt.h.

int Bdc_Man_t_::numReuse

Definition at line 119 of file bdcInt.h.

int Bdc_Man_t_::numWeaks

Definition at line 118 of file bdcInt.h.

int Bdc_Man_t_::nVars

Definition at line 85 of file bdcInt.h.

int Bdc_Man_t_::nWords

Definition at line 86 of file bdcInt.h.

Bdc_Isf_t* Bdc_Man_t_::pIsfAL

Definition at line 108 of file bdcInt.h.

Bdc_Isf_t* Bdc_Man_t_::pIsfAR

Definition at line 109 of file bdcInt.h.

Bdc_Isf_t* Bdc_Man_t_::pIsfOL

Definition at line 106 of file bdcInt.h.

Bdc_Isf_t* Bdc_Man_t_::pIsfOR

Definition at line 107 of file bdcInt.h.

Bdc_Fun_t* Bdc_Man_t_::pNodes

Definition at line 90 of file bdcInt.h.

Bdc_Par_t* Bdc_Man_t_::pPars

Definition at line 84 of file bdcInt.h.

Bdc_Fun_t* Bdc_Man_t_::pRoot

Definition at line 94 of file bdcInt.h.

Bdc_Fun_t** Bdc_Man_t_::pTable

Definition at line 96 of file bdcInt.h.

unsigned* Bdc_Man_t_::puTemp1

Definition at line 101 of file bdcInt.h.

unsigned* Bdc_Man_t_::puTemp2

Definition at line 102 of file bdcInt.h.

unsigned* Bdc_Man_t_::puTemp3

Definition at line 103 of file bdcInt.h.

unsigned* Bdc_Man_t_::puTemp4

Definition at line 104 of file bdcInt.h.

abctime Bdc_Man_t_::timeCache

Definition at line 121 of file bdcInt.h.

abctime Bdc_Man_t_::timeCheck

Definition at line 122 of file bdcInt.h.

abctime Bdc_Man_t_::timeMuxes

Definition at line 123 of file bdcInt.h.

abctime Bdc_Man_t_::timeSupps

Definition at line 124 of file bdcInt.h.

abctime Bdc_Man_t_::timeTotal

Definition at line 125 of file bdcInt.h.

Vec_Int_t* Bdc_Man_t_::vMemory

Definition at line 111 of file bdcInt.h.

Vec_Int_t* Bdc_Man_t_::vSpots

Definition at line 98 of file bdcInt.h.

Vec_Ptr_t* Bdc_Man_t_::vTruths

Definition at line 100 of file bdcInt.h.

---

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

• bdcInt.h