Fra_Lcr_t_ Struct Reference

Collaboration diagram for Fra_Lcr_t_:

[legend]

Data Fields
Aig_Man_t *	pAig
Fra_Cla_t *	pCla
Vec_Ptr_t *	vParts
int *	pInToOutPart
int *	pInToOutNum
Vec_Ptr_t *	vFraigs
int	fRefining
int	nFramesP
int	fVerbose
int	nIters
int	nLitsBeg
int	nLitsEnd
int	nNodesBeg
int	nNodesEnd
int	nRegsBeg
int	nRegsEnd
int	timeSim
int	timePart
int	timeTrav
int	timeFraig
int	timeUpdate
int	timeTotal

---

Detailed Description

Definition at line 28 of file fraLcr.c.

---

Field Documentation

int Fra_Lcr_t_::fRefining

Definition at line 41 of file fraLcr.c.

int Fra_Lcr_t_::fVerbose

Definition at line 44 of file fraLcr.c.

int Fra_Lcr_t_::nFramesP

Definition at line 43 of file fraLcr.c.

int Fra_Lcr_t_::nIters

Definition at line 46 of file fraLcr.c.

int Fra_Lcr_t_::nLitsBeg

Definition at line 47 of file fraLcr.c.

int Fra_Lcr_t_::nLitsEnd

Definition at line 48 of file fraLcr.c.

int Fra_Lcr_t_::nNodesBeg

Definition at line 49 of file fraLcr.c.

int Fra_Lcr_t_::nNodesEnd

Definition at line 50 of file fraLcr.c.

int Fra_Lcr_t_::nRegsBeg

Definition at line 51 of file fraLcr.c.

int Fra_Lcr_t_::nRegsEnd

Definition at line 52 of file fraLcr.c.

Aig_Man_t* Fra_Lcr_t_::pAig

Definition at line 31 of file fraLcr.c.

Fra_Cla_t* Fra_Lcr_t_::pCla

Definition at line 33 of file fraLcr.c.

int* Fra_Lcr_t_::pInToOutNum

Definition at line 37 of file fraLcr.c.

int* Fra_Lcr_t_::pInToOutPart

Definition at line 36 of file fraLcr.c.

int Fra_Lcr_t_::timeFraig

Definition at line 57 of file fraLcr.c.

int Fra_Lcr_t_::timePart

Definition at line 55 of file fraLcr.c.

int Fra_Lcr_t_::timeSim

Definition at line 54 of file fraLcr.c.

int Fra_Lcr_t_::timeTotal

Definition at line 59 of file fraLcr.c.

int Fra_Lcr_t_::timeTrav

Definition at line 56 of file fraLcr.c.

int Fra_Lcr_t_::timeUpdate

Definition at line 58 of file fraLcr.c.

Vec_Ptr_t* Fra_Lcr_t_::vFraigs

Definition at line 39 of file fraLcr.c.

Vec_Ptr_t* Fra_Lcr_t_::vParts

Definition at line 35 of file fraLcr.c.

---

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

• src/aig/fra/fraLcr.c