Lms_Man_t_ Struct Reference

Data Fields
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.

Field Documentation

int Lms_Man_t_::fFuncOnly

Definition at line 55 of file abcRec3.c.

int Lms_Man_t_::fLibConstr

Definition at line 56 of file abcRec3.c.

int Lms_Man_t_::nAdded

Definition at line 83 of file abcRec3.c.

int Lms_Man_t_::nAddedFuncs

Definition at line 84 of file abcRec3.c.

int Lms_Man_t_::nCuts

Definition at line 54 of file abcRec3.c.

int Lms_Man_t_::nFilterError

Definition at line 81 of file abcRec3.c.

int Lms_Man_t_::nFilterRedund

Definition at line 78 of file abcRec3.c.

int Lms_Man_t_::nFilterSame

Definition at line 82 of file abcRec3.c.

int Lms_Man_t_::nFilterSize

Definition at line 77 of file abcRec3.c.

int Lms_Man_t_::nFilterTruth

Definition at line 80 of file abcRec3.c.

int Lms_Man_t_::nFilterVolume

Definition at line 79 of file abcRec3.c.

int Lms_Man_t_::nHoleInTheWall

Definition at line 85 of file abcRec3.c.

int Lms_Man_t_::nTried

Definition at line 76 of file abcRec3.c.

int Lms_Man_t_::nVars

Definition at line 52 of file abcRec3.c.

int Lms_Man_t_::nWords

Definition at line 53 of file abcRec3.c.

Gia_Man_t* Lms_Man_t_::pGia

Definition at line 58 of file abcRec3.c.

word Lms_Man_t_::pTemp1[LMS_MAX_WORD]

Definition at line 73 of file abcRec3.c.

word Lms_Man_t_::pTemp2[LMS_MAX_WORD]

Definition at line 74 of file abcRec3.c.

abctime Lms_Man_t_::timeBuild

Definition at line 89 of file abcRec3.c.

abctime Lms_Man_t_::timeCanon

Definition at line 88 of file abcRec3.c.

abctime Lms_Man_t_::timeCheck

Definition at line 90 of file abcRec3.c.

abctime Lms_Man_t_::timeInsert

Definition at line 91 of file abcRec3.c.

abctime Lms_Man_t_::timeOther

Definition at line 92 of file abcRec3.c.

abctime Lms_Man_t_::timeTotal

Definition at line 93 of file abcRec3.c.

abctime Lms_Man_t_::timeTruth

Definition at line 87 of file abcRec3.c.

Vec_Str_t* Lms_Man_t_::vAreas

Definition at line 65 of file abcRec3.c.

Vec_Wrd_t* Lms_Man_t_::vDelays

Definition at line 64 of file abcRec3.c.

Vec_Int_t* Lms_Man_t_::vFreqs

Definition at line 66 of file abcRec3.c.

Vec_Int_t* Lms_Man_t_::vLabels

Definition at line 71 of file abcRec3.c.

Vec_Ptr_t* Lms_Man_t_::vLabelsP

Definition at line 70 of file abcRec3.c.

Vec_Ptr_t* Lms_Man_t_::vNodes

Definition at line 69 of file abcRec3.c.

Vec_Str_t* Lms_Man_t_::vSupps

Definition at line 72 of file abcRec3.c.

Vec_Int_t* Lms_Man_t_::vTruthFreqs

Definition at line 67 of file abcRec3.c.

Vec_Int_t* Lms_Man_t_::vTruthIds

Definition at line 61 of file abcRec3.c.

Vec_Int_t* Lms_Man_t_::vTruthPo

Definition at line 63 of file abcRec3.c.

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:

• abcRec3.c