Bdc_Man_t_ Struct Reference

#include <bdcInt.h>

Collaboration diagram for Bdc_Man_t_:

[legend]

Data Fields
Bdc_Par_t *	pPars
int	nVars
int	nWords
int	nNodesLimit
int	nDivsLimit
Bdc_Fun_t *	pNodes
int	nNodes
int	nNodesNew
int	nNodesAlloc
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

---

Detailed Description

Definition at line 79 of file bdcInt.h.

---

Field Documentation

Bdc_Isf_t Bdc_Man_t_::IsfAL

Definition at line 106 of file bdcInt.h.

Bdc_Isf_t Bdc_Man_t_::IsfAR

Definition at line 107 of file bdcInt.h.

Bdc_Isf_t Bdc_Man_t_::IsfOL

Definition at line 104 of file bdcInt.h.

Bdc_Isf_t Bdc_Man_t_::IsfOR

Definition at line 105 of file bdcInt.h.

int Bdc_Man_t_::nDivsLimit

Definition at line 86 of file bdcInt.h.

int Bdc_Man_t_::nNodes

Definition at line 89 of file bdcInt.h.

int Bdc_Man_t_::nNodesAlloc

Definition at line 91 of file bdcInt.h.

int Bdc_Man_t_::nNodesLimit

Definition at line 85 of file bdcInt.h.

int Bdc_Man_t_::nNodesNew

Definition at line 90 of file bdcInt.h.

int Bdc_Man_t_::nTableSize

Definition at line 95 of file bdcInt.h.

int Bdc_Man_t_::nVars

Definition at line 83 of file bdcInt.h.

int Bdc_Man_t_::nWords

Definition at line 84 of file bdcInt.h.

Bdc_Isf_t* Bdc_Man_t_::pIsfAL

Definition at line 106 of file bdcInt.h.

Bdc_Isf_t* Bdc_Man_t_::pIsfAR

Definition at line 107 of file bdcInt.h.

Bdc_Isf_t* Bdc_Man_t_::pIsfOL

Definition at line 104 of file bdcInt.h.

Bdc_Isf_t* Bdc_Man_t_::pIsfOR

Definition at line 105 of file bdcInt.h.

Bdc_Fun_t* Bdc_Man_t_::pNodes

Definition at line 88 of file bdcInt.h.

Bdc_Par_t* Bdc_Man_t_::pPars

Definition at line 82 of file bdcInt.h.

Bdc_Fun_t* Bdc_Man_t_::pRoot

Definition at line 92 of file bdcInt.h.

Bdc_Fun_t** Bdc_Man_t_::pTable

Definition at line 94 of file bdcInt.h.

unsigned* Bdc_Man_t_::puTemp1

Definition at line 99 of file bdcInt.h.

unsigned* Bdc_Man_t_::puTemp2

Definition at line 100 of file bdcInt.h.

unsigned* Bdc_Man_t_::puTemp3

Definition at line 101 of file bdcInt.h.

unsigned* Bdc_Man_t_::puTemp4

Definition at line 102 of file bdcInt.h.

Vec_Int_t* Bdc_Man_t_::vMemory

Definition at line 109 of file bdcInt.h.

Vec_Int_t* Bdc_Man_t_::vSpots

Definition at line 96 of file bdcInt.h.

Vec_Ptr_t* Bdc_Man_t_::vTruths

Definition at line 98 of file bdcInt.h.

---

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

• src/aig/bdc/bdcInt.h