Llb_Img_t_ Struct Reference

Data Fields
Aig_Man_t *	pInit
Aig_Man_t *	pAig
Gia_ParLlb_t *	pPars
DdManager *	dd
DdManager *	ddG
DdManager *	ddR
Vec_Ptr_t *	vDdMans
Vec_Ptr_t *	vRings
Vec_Int_t *	vDriRefs
Vec_Int_t *	vVarsCs
Vec_Int_t *	vVarsNs
Vec_Int_t *	vCs2Glo
Vec_Int_t *	vNs2Glo
Vec_Int_t *	vGlo2Cs
Vec_Int_t *	vGlo2Ns

Detailed Description

Definition at line 31 of file llb2Core.c.

Field Documentation

DdManager* Llb_Img_t_::dd

Definition at line 37 of file llb2Core.c.

DdManager* Llb_Img_t_::ddG

Definition at line 38 of file llb2Core.c.

DdManager* Llb_Img_t_::ddR

Definition at line 39 of file llb2Core.c.

Aig_Man_t* Llb_Img_t_::pAig

Definition at line 34 of file llb2Core.c.

Aig_Man_t* Llb_Img_t_::pInit

Definition at line 33 of file llb2Core.c.

Gia_ParLlb_t* Llb_Img_t_::pPars

Definition at line 35 of file llb2Core.c.

Vec_Int_t* Llb_Img_t_::vCs2Glo

Definition at line 47 of file llb2Core.c.

Vec_Ptr_t* Llb_Img_t_::vDdMans

Definition at line 40 of file llb2Core.c.

Vec_Int_t* Llb_Img_t_::vDriRefs

Definition at line 43 of file llb2Core.c.

Vec_Int_t* Llb_Img_t_::vGlo2Cs

Definition at line 49 of file llb2Core.c.

Vec_Int_t* Llb_Img_t_::vGlo2Ns

Definition at line 50 of file llb2Core.c.

Vec_Int_t* Llb_Img_t_::vNs2Glo

Definition at line 48 of file llb2Core.c.

Vec_Ptr_t* Llb_Img_t_::vRings

Definition at line 41 of file llb2Core.c.

Vec_Int_t* Llb_Img_t_::vVarsCs

Definition at line 44 of file llb2Core.c.

Vec_Int_t* Llb_Img_t_::vVarsNs

Definition at line 45 of file llb2Core.c.

---

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

• llb2Core.c