Llb_Mgr_t_ Struct Reference

Data Fields
Aig_Man_t *	pAig
Vec_Ptr_t *	vLeaves
Vec_Ptr_t *	vRoots
DdManager *	dd
int *	pVars2Q
Llb_Prt_t **	pParts
Llb_Var_t **	pVars
int	iPartFree
int	nVars
int	nSuppMax
int *	pSupp
Vec_Int_t *	vVars2Q
int	nSizeMax

Detailed Description

Definition at line 47 of file llb3Image.c.

Field Documentation

DdManager * Llb_Mgr_t_::dd

Definition at line 52 of file llb3Image.c.

int Llb_Mgr_t_::iPartFree

Definition at line 57 of file llb3Image.c.

int Llb_Mgr_t_::nSizeMax

Definition at line 51 of file llb4Image.c.

int Llb_Mgr_t_::nSuppMax

Definition at line 59 of file llb3Image.c.

int Llb_Mgr_t_::nVars

Definition at line 58 of file llb3Image.c.

Aig_Man_t* Llb_Mgr_t_::pAig

Definition at line 49 of file llb3Image.c.

Llb_Prt_t ** Llb_Mgr_t_::pParts

Definition at line 55 of file llb3Image.c.

int * Llb_Mgr_t_::pSupp

Definition at line 61 of file llb3Image.c.

Llb_Var_t ** Llb_Mgr_t_::pVars

Definition at line 56 of file llb3Image.c.

int* Llb_Mgr_t_::pVars2Q

Definition at line 53 of file llb3Image.c.

Vec_Ptr_t* Llb_Mgr_t_::vLeaves

Definition at line 50 of file llb3Image.c.

Vec_Ptr_t* Llb_Mgr_t_::vRoots

Definition at line 51 of file llb3Image.c.

Vec_Int_t* Llb_Mgr_t_::vVars2Q

Definition at line 50 of file llb4Image.c.

---

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

• llb3Image.c
• llb4Image.c