Unr_Man_t_ Struct Reference

Data Fields
Gia_Man_t *	pGia
Gia_Man_t *	pFrames
int	nObjs
Vec_Int_t *	vOrder
Vec_Int_t *	vOrderLim
Vec_Int_t *	vTents
Vec_Int_t *	vRanks
int *	pObjs
int *	pEnd
Vec_Int_t *	vObjLim
Vec_Int_t *	vCiMap
Vec_Int_t *	vCoMap
Vec_Int_t *	vPiLits

Detailed Description

Definition at line 48 of file bmcUnroll.c.

Field Documentation

int Unr_Man_t_::nObjs

Definition at line 53 of file bmcUnroll.c.

int* Unr_Man_t_::pEnd

Definition at line 61 of file bmcUnroll.c.

Gia_Man_t* Unr_Man_t_::pFrames

Definition at line 52 of file bmcUnroll.c.

Gia_Man_t* Unr_Man_t_::pGia

Definition at line 51 of file bmcUnroll.c.

int* Unr_Man_t_::pObjs

Definition at line 60 of file bmcUnroll.c.

Vec_Int_t* Unr_Man_t_::vCiMap

Definition at line 63 of file bmcUnroll.c.

Vec_Int_t* Unr_Man_t_::vCoMap

Definition at line 64 of file bmcUnroll.c.

Vec_Int_t* Unr_Man_t_::vObjLim

Definition at line 62 of file bmcUnroll.c.

Vec_Int_t* Unr_Man_t_::vOrder

Definition at line 55 of file bmcUnroll.c.

Vec_Int_t* Unr_Man_t_::vOrderLim

Definition at line 56 of file bmcUnroll.c.

Vec_Int_t* Unr_Man_t_::vPiLits

Definition at line 65 of file bmcUnroll.c.

Vec_Int_t* Unr_Man_t_::vRanks

Definition at line 58 of file bmcUnroll.c.

Vec_Int_t* Unr_Man_t_::vTents

Definition at line 57 of file bmcUnroll.c.

---

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

• bmcUnroll.c