Llb_Mnx_t_ Struct Reference

Data Fields
Aig_Man_t *	pAig
Gia_ParLlb_t *	pPars
DdManager *	dd
DdNode *	bBad
DdNode *	bReached
DdNode *	bCurrent
DdNode *	bNext
Vec_Ptr_t *	vRings
Vec_Ptr_t *	vRoots
Vec_Int_t *	vOrder
Vec_Int_t *	vVars2Q
abctime	timeImage
abctime	timeRemap
abctime	timeReo
abctime	timeOther
abctime	timeTotal

Detailed Description

Definition at line 33 of file llb4Nonlin.c.

Field Documentation

DdNode* Llb_Mnx_t_::bBad

Definition at line 41 of file llb4Nonlin.c.

DdNode* Llb_Mnx_t_::bCurrent

Definition at line 43 of file llb4Nonlin.c.

DdNode* Llb_Mnx_t_::bNext

Definition at line 44 of file llb4Nonlin.c.

DdNode* Llb_Mnx_t_::bReached

Definition at line 42 of file llb4Nonlin.c.

DdManager* Llb_Mnx_t_::dd

Definition at line 40 of file llb4Nonlin.c.

Aig_Man_t* Llb_Mnx_t_::pAig

Definition at line 36 of file llb4Nonlin.c.

Gia_ParLlb_t* Llb_Mnx_t_::pPars

Definition at line 37 of file llb4Nonlin.c.

abctime Llb_Mnx_t_::timeImage

Definition at line 52 of file llb4Nonlin.c.

abctime Llb_Mnx_t_::timeOther

Definition at line 55 of file llb4Nonlin.c.

abctime Llb_Mnx_t_::timeRemap

Definition at line 53 of file llb4Nonlin.c.

abctime Llb_Mnx_t_::timeReo

Definition at line 54 of file llb4Nonlin.c.

abctime Llb_Mnx_t_::timeTotal

Definition at line 56 of file llb4Nonlin.c.

Vec_Int_t* Llb_Mnx_t_::vOrder

Definition at line 49 of file llb4Nonlin.c.

Vec_Ptr_t* Llb_Mnx_t_::vRings

Definition at line 45 of file llb4Nonlin.c.

Vec_Ptr_t* Llb_Mnx_t_::vRoots

Definition at line 46 of file llb4Nonlin.c.

Vec_Int_t* Llb_Mnx_t_::vVars2Q

Definition at line 50 of file llb4Nonlin.c.

---

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

• llb4Nonlin.c