Mpm_Man_t_ Struct Reference

#include <mpmInt.h>

Data Fields
Mig_Man_t *	pMig
Mpm_Par_t *	pPars
int	nLutSize
int	nNumCuts
int	nTruWords
Mpm_LibLut_t *	pLibLut
int	fMainRun
int	GloRequired
word	GloArea
word	GloEdge
Mmr_Step_t *	pManCuts
int	nCutStore
Mpm_Uni_t *	pCutStore [MPM_CUT_MAX+1]
Mpm_Uni_t	pCutUnits [MPM_CUT_MAX+1]
Vec_Ptr_t	vFreeUnits
Vec_Ptr_t *	vTemp
int(*	pCutCmp )(Mpm_Uni_t *, Mpm_Uni_t *)
int	nCuts [3]
Mpm_Cut_t *	pCuts [3][MPM_CUT_MAX+1]
word	pSigns [3][MPM_CUT_MAX+1]
Vec_Mem_t *	vTtMem
int	funcCst0
int	funcVar0
word	Truth0 [(1<< ((MPM_VAR_MAX)-6))]
word	Truth1 [(1<< ((MPM_VAR_MAX)-6))]
word	TruthC [(1<< ((MPM_VAR_MAX)-6))]
word	Truth [(1<< ((MPM_VAR_MAX)-6))]
Mpm_Dsd_t *	pDsd6
Hsh_IntMan_t *	pHash
Vec_Int_t *	vConfgRes
Vec_Wrd_t *	vPerm6
char	Perm6 [720][6]
Vec_Int_t *	vMap2Perm
unsigned	uPermMask [3]
unsigned	uComplMask [3]
Vec_Wec_t *	vNpnConfigs
Vec_Int_t	vCutBests
Vec_Int_t	vCutLists
Vec_Int_t	vMigRefs
Vec_Int_t	vMapRefs
Vec_Int_t	vEstRefs
Vec_Int_t	vRequireds
Vec_Int_t	vTimes
Vec_Int_t	vAreas
Vec_Int_t	vEdges
int	nCountDsd [600]
int	nNonDsd
int	nNoMatch
int	nCutsMerged
int	nCutsMergedAll
int	nSmallSupp
abctime	timeDerive
abctime	timeMerge
abctime	timeEval
abctime	timeCompare
abctime	timeStore
abctime	timeOther
abctime	timeTotal

Detailed Description

Definition at line 95 of file mpmInt.h.

Field Documentation

int Mpm_Man_t_::fMainRun

Definition at line 105 of file mpmInt.h.

int Mpm_Man_t_::funcCst0

Definition at line 125 of file mpmInt.h.

int Mpm_Man_t_::funcVar0

Definition at line 126 of file mpmInt.h.

word Mpm_Man_t_::GloArea

Definition at line 107 of file mpmInt.h.

word Mpm_Man_t_::GloEdge

Definition at line 108 of file mpmInt.h.

int Mpm_Man_t_::GloRequired

Definition at line 106 of file mpmInt.h.

int Mpm_Man_t_::nCountDsd[600]

Definition at line 151 of file mpmInt.h.

int Mpm_Man_t_::nCuts[3]

Definition at line 120 of file mpmInt.h.

int Mpm_Man_t_::nCutsMerged

Definition at line 155 of file mpmInt.h.

int Mpm_Man_t_::nCutsMergedAll

Definition at line 156 of file mpmInt.h.

int Mpm_Man_t_::nCutStore

Definition at line 112 of file mpmInt.h.

int Mpm_Man_t_::nLutSize

Definition at line 100 of file mpmInt.h.

int Mpm_Man_t_::nNoMatch

Definition at line 153 of file mpmInt.h.

int Mpm_Man_t_::nNonDsd

Definition at line 152 of file mpmInt.h.

int Mpm_Man_t_::nNumCuts

Definition at line 101 of file mpmInt.h.

int Mpm_Man_t_::nSmallSupp

Definition at line 157 of file mpmInt.h.

int Mpm_Man_t_::nTruWords

Definition at line 102 of file mpmInt.h.

int(* Mpm_Man_t_::pCutCmp)(Mpm_Uni_t *, Mpm_Uni_t *)

Definition at line 118 of file mpmInt.h.

Mpm_Cut_t* Mpm_Man_t_::pCuts[3][MPM_CUT_MAX+1]

Definition at line 121 of file mpmInt.h.

Mpm_Uni_t* Mpm_Man_t_::pCutStore[MPM_CUT_MAX+1]

Definition at line 113 of file mpmInt.h.

Mpm_Uni_t Mpm_Man_t_::pCutUnits[MPM_CUT_MAX+1]

Definition at line 114 of file mpmInt.h.

Mpm_Dsd_t* Mpm_Man_t_::pDsd6

Definition at line 132 of file mpmInt.h.

char Mpm_Man_t_::Perm6[720][6]

Definition at line 136 of file mpmInt.h.

Hsh_IntMan_t* Mpm_Man_t_::pHash

Definition at line 133 of file mpmInt.h.

Mpm_LibLut_t* Mpm_Man_t_::pLibLut

Definition at line 103 of file mpmInt.h.

Mmr_Step_t* Mpm_Man_t_::pManCuts

Definition at line 110 of file mpmInt.h.

Mig_Man_t* Mpm_Man_t_::pMig

Definition at line 97 of file mpmInt.h.

Mpm_Par_t* Mpm_Man_t_::pPars

Definition at line 98 of file mpmInt.h.

word Mpm_Man_t_::pSigns[3][MPM_CUT_MAX+1]

Definition at line 122 of file mpmInt.h.

abctime Mpm_Man_t_::timeCompare

Definition at line 161 of file mpmInt.h.

abctime Mpm_Man_t_::timeDerive

Definition at line 158 of file mpmInt.h.

abctime Mpm_Man_t_::timeEval

Definition at line 160 of file mpmInt.h.

abctime Mpm_Man_t_::timeMerge

Definition at line 159 of file mpmInt.h.

abctime Mpm_Man_t_::timeOther

Definition at line 163 of file mpmInt.h.

abctime Mpm_Man_t_::timeStore

Definition at line 162 of file mpmInt.h.

abctime Mpm_Man_t_::timeTotal

Definition at line 164 of file mpmInt.h.

word Mpm_Man_t_::Truth[(1<< ((MPM_VAR_MAX)-6))]

Definition at line 130 of file mpmInt.h.

word Mpm_Man_t_::Truth0[(1<< ((MPM_VAR_MAX)-6))]

Definition at line 127 of file mpmInt.h.

word Mpm_Man_t_::Truth1[(1<< ((MPM_VAR_MAX)-6))]

Definition at line 128 of file mpmInt.h.

word Mpm_Man_t_::TruthC[(1<< ((MPM_VAR_MAX)-6))]

Definition at line 129 of file mpmInt.h.

unsigned Mpm_Man_t_::uComplMask[3]

Definition at line 139 of file mpmInt.h.

unsigned Mpm_Man_t_::uPermMask[3]

Definition at line 138 of file mpmInt.h.

Vec_Int_t Mpm_Man_t_::vAreas

Definition at line 149 of file mpmInt.h.

Vec_Int_t* Mpm_Man_t_::vConfgRes

Definition at line 134 of file mpmInt.h.

Vec_Int_t Mpm_Man_t_::vCutBests

Definition at line 142 of file mpmInt.h.

Vec_Int_t Mpm_Man_t_::vCutLists

Definition at line 143 of file mpmInt.h.

Vec_Int_t Mpm_Man_t_::vEdges

Definition at line 150 of file mpmInt.h.

Vec_Int_t Mpm_Man_t_::vEstRefs

Definition at line 146 of file mpmInt.h.

Vec_Ptr_t Mpm_Man_t_::vFreeUnits

Definition at line 115 of file mpmInt.h.

Vec_Int_t* Mpm_Man_t_::vMap2Perm

Definition at line 137 of file mpmInt.h.

Vec_Int_t Mpm_Man_t_::vMapRefs

Definition at line 145 of file mpmInt.h.

Vec_Int_t Mpm_Man_t_::vMigRefs

Definition at line 144 of file mpmInt.h.

Vec_Wec_t* Mpm_Man_t_::vNpnConfigs

Definition at line 140 of file mpmInt.h.

Vec_Wrd_t* Mpm_Man_t_::vPerm6

Definition at line 135 of file mpmInt.h.

Vec_Int_t Mpm_Man_t_::vRequireds

Definition at line 147 of file mpmInt.h.

Vec_Ptr_t* Mpm_Man_t_::vTemp

Definition at line 116 of file mpmInt.h.

Vec_Int_t Mpm_Man_t_::vTimes

Definition at line 148 of file mpmInt.h.

Vec_Mem_t* Mpm_Man_t_::vTtMem

Definition at line 124 of file mpmInt.h.

---

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

• mpmInt.h