#include <mpmInt.h>

Collaboration diagram for Mpm_Man_t_:

[legend]

Public Attributes
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.

Member Data Documentation

◆ fMainRun

int Mpm_Man_t_::fMainRun

Definition at line 105 of file mpmInt.h.

◆ funcCst0

int Mpm_Man_t_::funcCst0

Definition at line 125 of file mpmInt.h.

◆ funcVar0

int Mpm_Man_t_::funcVar0

Definition at line 126 of file mpmInt.h.

◆ GloArea

word Mpm_Man_t_::GloArea

Definition at line 107 of file mpmInt.h.

◆ GloEdge

word Mpm_Man_t_::GloEdge

Definition at line 108 of file mpmInt.h.

◆ GloRequired

int Mpm_Man_t_::GloRequired

Definition at line 106 of file mpmInt.h.

◆ nCountDsd

int Mpm_Man_t_::nCountDsd[600]

Definition at line 151 of file mpmInt.h.

◆ nCuts

int Mpm_Man_t_::nCuts[3]

Definition at line 120 of file mpmInt.h.

◆ nCutsMerged

int Mpm_Man_t_::nCutsMerged

Definition at line 155 of file mpmInt.h.

◆ nCutsMergedAll

int Mpm_Man_t_::nCutsMergedAll

Definition at line 156 of file mpmInt.h.

◆ nCutStore

int Mpm_Man_t_::nCutStore

Definition at line 112 of file mpmInt.h.

◆ nLutSize

int Mpm_Man_t_::nLutSize

Definition at line 100 of file mpmInt.h.

◆ nNoMatch

int Mpm_Man_t_::nNoMatch

Definition at line 153 of file mpmInt.h.

◆ nNonDsd

int Mpm_Man_t_::nNonDsd

Definition at line 152 of file mpmInt.h.

◆ nNumCuts

int Mpm_Man_t_::nNumCuts

Definition at line 101 of file mpmInt.h.

◆ nSmallSupp

int Mpm_Man_t_::nSmallSupp

Definition at line 157 of file mpmInt.h.

◆ nTruWords

int Mpm_Man_t_::nTruWords

Definition at line 102 of file mpmInt.h.

◆ pCutCmp

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

Definition at line 118 of file mpmInt.h.

◆ pCuts

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

Definition at line 121 of file mpmInt.h.

◆ pCutStore

Mpm_Uni_t* Mpm_Man_t_::pCutStore[MPM_CUT_MAX+1]

Definition at line 113 of file mpmInt.h.

◆ pCutUnits

Mpm_Uni_t Mpm_Man_t_::pCutUnits[MPM_CUT_MAX+1]

Definition at line 114 of file mpmInt.h.

◆ pDsd6

Mpm_Dsd_t* Mpm_Man_t_::pDsd6

Definition at line 132 of file mpmInt.h.

◆ Perm6

char Mpm_Man_t_::Perm6[720][6]

Definition at line 136 of file mpmInt.h.

◆ pHash

Hsh_IntMan_t* Mpm_Man_t_::pHash

Definition at line 133 of file mpmInt.h.

◆ pLibLut

Mpm_LibLut_t* Mpm_Man_t_::pLibLut

Definition at line 103 of file mpmInt.h.

◆ pManCuts

Mmr_Step_t* Mpm_Man_t_::pManCuts

Definition at line 110 of file mpmInt.h.

◆ pMig

Mig_Man_t* Mpm_Man_t_::pMig

Definition at line 97 of file mpmInt.h.

◆ pPars

Mpm_Par_t* Mpm_Man_t_::pPars

Definition at line 98 of file mpmInt.h.

◆ pSigns

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

Definition at line 122 of file mpmInt.h.

◆ timeCompare

abctime Mpm_Man_t_::timeCompare

Definition at line 161 of file mpmInt.h.

◆ timeDerive

abctime Mpm_Man_t_::timeDerive

Definition at line 158 of file mpmInt.h.

◆ timeEval

abctime Mpm_Man_t_::timeEval

Definition at line 160 of file mpmInt.h.

◆ timeMerge

abctime Mpm_Man_t_::timeMerge

Definition at line 159 of file mpmInt.h.

◆ timeOther

abctime Mpm_Man_t_::timeOther

Definition at line 163 of file mpmInt.h.

◆ timeStore

abctime Mpm_Man_t_::timeStore

Definition at line 162 of file mpmInt.h.

◆ timeTotal

abctime Mpm_Man_t_::timeTotal

Definition at line 164 of file mpmInt.h.

◆ Truth

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

Definition at line 130 of file mpmInt.h.

◆ Truth0

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

Definition at line 127 of file mpmInt.h.

◆ Truth1

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

Definition at line 128 of file mpmInt.h.

◆ TruthC

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

Definition at line 129 of file mpmInt.h.

◆ uComplMask

unsigned Mpm_Man_t_::uComplMask[3]

Definition at line 139 of file mpmInt.h.

◆ uPermMask

unsigned Mpm_Man_t_::uPermMask[3]

Definition at line 138 of file mpmInt.h.

◆ vAreas

Vec_Int_t Mpm_Man_t_::vAreas

Definition at line 149 of file mpmInt.h.

◆ vConfgRes

Vec_Int_t* Mpm_Man_t_::vConfgRes

Definition at line 134 of file mpmInt.h.

◆ vCutBests

Vec_Int_t Mpm_Man_t_::vCutBests

Definition at line 142 of file mpmInt.h.

◆ vCutLists

Vec_Int_t Mpm_Man_t_::vCutLists

Definition at line 143 of file mpmInt.h.

◆ vEdges

Vec_Int_t Mpm_Man_t_::vEdges

Definition at line 150 of file mpmInt.h.

◆ vEstRefs

Vec_Int_t Mpm_Man_t_::vEstRefs

Definition at line 146 of file mpmInt.h.

◆ vFreeUnits

Vec_Ptr_t Mpm_Man_t_::vFreeUnits

Definition at line 115 of file mpmInt.h.

◆ vMap2Perm

Vec_Int_t* Mpm_Man_t_::vMap2Perm

Definition at line 137 of file mpmInt.h.

◆ vMapRefs

Vec_Int_t Mpm_Man_t_::vMapRefs

Definition at line 145 of file mpmInt.h.

◆ vMigRefs

Vec_Int_t Mpm_Man_t_::vMigRefs

Definition at line 144 of file mpmInt.h.

◆ vNpnConfigs

Vec_Wec_t* Mpm_Man_t_::vNpnConfigs

Definition at line 140 of file mpmInt.h.

◆ vPerm6

Vec_Wrd_t* Mpm_Man_t_::vPerm6

Definition at line 135 of file mpmInt.h.

◆ vRequireds

Vec_Int_t Mpm_Man_t_::vRequireds

Definition at line 147 of file mpmInt.h.

◆ vTemp

Vec_Ptr_t* Mpm_Man_t_::vTemp

Definition at line 116 of file mpmInt.h.

◆ vTimes

Vec_Int_t Mpm_Man_t_::vTimes

Definition at line 148 of file mpmInt.h.

◆ vTtMem

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:

src/map/mpm/mpmInt.h

Public Attributes