Collaboration diagram for Lms_Man_t_:

[legend]

Public Attributes
int	nVars

int	nWords

int	nCuts

int	fFuncOnly

int	fLibConstr

Gia_Man_t *	pGia

Vec_Mem_t *	vTtMem

Vec_Int_t *	vTruthIds

Vec_Int_t *	vTruthPo

Vec_Wrd_t *	vDelays

Vec_Str_t *	vAreas

Vec_Int_t *	vFreqs

Vec_Int_t *	vTruthFreqs

Vec_Ptr_t *	vNodes

Vec_Ptr_t *	vLabelsP

Vec_Int_t *	vLabels

Vec_Str_t *	vSupps

word	pTemp1 [LMS_MAX_WORD]

word	pTemp2 [LMS_MAX_WORD]

int	nTried

int	nFilterSize

int	nFilterRedund

int	nFilterVolume

int	nFilterTruth

int	nFilterError

int	nFilterSame

int	nAdded

int	nAddedFuncs

int	nHoleInTheWall

abctime	timeTruth

abctime	timeCanon

abctime	timeBuild

abctime	timeCheck

abctime	timeInsert

abctime	timeOther

abctime	timeTotal

Detailed Description

Definition at line 49 of file abcRec3.c.

Member Data Documentation

◆ fFuncOnly

int Lms_Man_t_::fFuncOnly

Definition at line 55 of file abcRec3.c.

◆ fLibConstr

int Lms_Man_t_::fLibConstr

Definition at line 56 of file abcRec3.c.

◆ nAdded

int Lms_Man_t_::nAdded

Definition at line 83 of file abcRec3.c.

◆ nAddedFuncs

int Lms_Man_t_::nAddedFuncs

Definition at line 84 of file abcRec3.c.

◆ nCuts

int Lms_Man_t_::nCuts

Definition at line 54 of file abcRec3.c.

◆ nFilterError

int Lms_Man_t_::nFilterError

Definition at line 81 of file abcRec3.c.

◆ nFilterRedund

int Lms_Man_t_::nFilterRedund

Definition at line 78 of file abcRec3.c.

◆ nFilterSame

int Lms_Man_t_::nFilterSame

Definition at line 82 of file abcRec3.c.

◆ nFilterSize

int Lms_Man_t_::nFilterSize

Definition at line 77 of file abcRec3.c.

◆ nFilterTruth

int Lms_Man_t_::nFilterTruth

Definition at line 80 of file abcRec3.c.

◆ nFilterVolume

int Lms_Man_t_::nFilterVolume

Definition at line 79 of file abcRec3.c.

◆ nHoleInTheWall

int Lms_Man_t_::nHoleInTheWall

Definition at line 85 of file abcRec3.c.

◆ nTried

int Lms_Man_t_::nTried

Definition at line 76 of file abcRec3.c.

◆ nVars

int Lms_Man_t_::nVars

Definition at line 52 of file abcRec3.c.

◆ nWords

int Lms_Man_t_::nWords

Definition at line 53 of file abcRec3.c.

◆ pGia

Gia_Man_t* Lms_Man_t_::pGia

Definition at line 58 of file abcRec3.c.

◆ pTemp1

word Lms_Man_t_::pTemp1[LMS_MAX_WORD]

Definition at line 73 of file abcRec3.c.

◆ pTemp2

word Lms_Man_t_::pTemp2[LMS_MAX_WORD]

Definition at line 74 of file abcRec3.c.

◆ timeBuild

abctime Lms_Man_t_::timeBuild

Definition at line 89 of file abcRec3.c.

◆ timeCanon

abctime Lms_Man_t_::timeCanon

Definition at line 88 of file abcRec3.c.

◆ timeCheck

abctime Lms_Man_t_::timeCheck

Definition at line 90 of file abcRec3.c.

◆ timeInsert

abctime Lms_Man_t_::timeInsert

Definition at line 91 of file abcRec3.c.

◆ timeOther

abctime Lms_Man_t_::timeOther

Definition at line 92 of file abcRec3.c.

◆ timeTotal

abctime Lms_Man_t_::timeTotal

Definition at line 93 of file abcRec3.c.

◆ timeTruth

abctime Lms_Man_t_::timeTruth

Definition at line 87 of file abcRec3.c.

◆ vAreas

Vec_Str_t* Lms_Man_t_::vAreas

Definition at line 65 of file abcRec3.c.

◆ vDelays

Vec_Wrd_t* Lms_Man_t_::vDelays

Definition at line 64 of file abcRec3.c.

◆ vFreqs

Vec_Int_t* Lms_Man_t_::vFreqs

Definition at line 66 of file abcRec3.c.

◆ vLabels

Vec_Int_t* Lms_Man_t_::vLabels

Definition at line 71 of file abcRec3.c.

◆ vLabelsP

Vec_Ptr_t* Lms_Man_t_::vLabelsP

Definition at line 70 of file abcRec3.c.

◆ vNodes

Vec_Ptr_t* Lms_Man_t_::vNodes

Definition at line 69 of file abcRec3.c.

◆ vSupps

Vec_Str_t* Lms_Man_t_::vSupps

Definition at line 72 of file abcRec3.c.

◆ vTruthFreqs

Vec_Int_t* Lms_Man_t_::vTruthFreqs

Definition at line 67 of file abcRec3.c.

◆ vTruthIds

Vec_Int_t* Lms_Man_t_::vTruthIds

Definition at line 61 of file abcRec3.c.

◆ vTruthPo

Vec_Int_t* Lms_Man_t_::vTruthPo

Definition at line 63 of file abcRec3.c.

◆ vTtMem

Vec_Mem_t* Lms_Man_t_::vTtMem

Definition at line 59 of file abcRec3.c.

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

src/base/abci/abcRec3.c

Public Attributes