Fra_Lcr_t_ Struct Reference

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
abctime	timeSim
abctime	timePart
abctime	timeTrav
abctime	timeFraig
abctime	timeUpdate
abctime	timeTotal

Detailed Description

Definition at line 31 of file fraLcr.c.

Field Documentation

int Fra_Lcr_t_::fRefining

Definition at line 44 of file fraLcr.c.

int Fra_Lcr_t_::fVerbose

Definition at line 47 of file fraLcr.c.

int Fra_Lcr_t_::nFramesP

Definition at line 46 of file fraLcr.c.

int Fra_Lcr_t_::nIters

Definition at line 49 of file fraLcr.c.

int Fra_Lcr_t_::nLitsBeg

Definition at line 50 of file fraLcr.c.

int Fra_Lcr_t_::nLitsEnd

Definition at line 51 of file fraLcr.c.

int Fra_Lcr_t_::nNodesBeg

Definition at line 52 of file fraLcr.c.

int Fra_Lcr_t_::nNodesEnd

Definition at line 53 of file fraLcr.c.

int Fra_Lcr_t_::nRegsBeg

Definition at line 54 of file fraLcr.c.

int Fra_Lcr_t_::nRegsEnd

Definition at line 55 of file fraLcr.c.

Aig_Man_t* Fra_Lcr_t_::pAig

Definition at line 34 of file fraLcr.c.

Fra_Cla_t* Fra_Lcr_t_::pCla

Definition at line 36 of file fraLcr.c.

int* Fra_Lcr_t_::pInToOutNum

Definition at line 40 of file fraLcr.c.

int* Fra_Lcr_t_::pInToOutPart

Definition at line 39 of file fraLcr.c.

abctime Fra_Lcr_t_::timeFraig

Definition at line 60 of file fraLcr.c.

abctime Fra_Lcr_t_::timePart

Definition at line 58 of file fraLcr.c.

abctime Fra_Lcr_t_::timeSim

Definition at line 57 of file fraLcr.c.

abctime Fra_Lcr_t_::timeTotal

Definition at line 62 of file fraLcr.c.

abctime Fra_Lcr_t_::timeTrav

Definition at line 59 of file fraLcr.c.

abctime Fra_Lcr_t_::timeUpdate

Definition at line 61 of file fraLcr.c.

Vec_Ptr_t* Fra_Lcr_t_::vFraigs

Definition at line 42 of file fraLcr.c.

Vec_Ptr_t* Fra_Lcr_t_::vParts

Definition at line 38 of file fraLcr.c.

---

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

• fraLcr.c