#include <lpkInt.h>

Collaboration diagram for Lpk_Man_t_:

[legend]

Public Attributes
Lpk_Par_t *	pPars

Abc_Ntk_t *	pNtk

Abc_Obj_t *	pObj

int	nMffc

int	nCuts

int	nCutsMax

int	nEvals

Lpk_Cut_t	pCuts [LPK_CUTS_MAX]

int	pEvals [LPK_CUTS_MAX]

Vec_Vec_t *	vVisited

If_Man_t *	pIfMan

Vec_Int_t *	vCover

Vec_Vec_t *	vLevels

int	fCofactoring

int	fCalledOnce

int	nCalledSRed

int	pRefs [LPK_SIZE_MAX]

int	pCands [LPK_SIZE_MAX]

Vec_Ptr_t *	vLeaves

Vec_Ptr_t *	vTemp

Vec_Ptr_t *	vTtElems

Vec_Ptr_t *	vTtNodes

Vec_Int_t *	vMemory

Vec_Int_t *	vBddDir

Vec_Int_t *	vBddInv

unsigned	puSupps [32]

unsigned *	ppTruths [5][16]

Vec_Int_t *	vSets [8]

Kit_DsdMan_t *	pDsdMan

int	nNodesTotal

int	nNodesOver

int	nCutsTotal

int	nCutsUseful

int	nGainTotal

int	nChanges

int	nBenefited

int	nMuxes

int	nDsds

int	nTotalNets

int	nTotalNets2

int	nTotalNodes

int	nTotalNodes2

int	nBlocks [17]

abctime	timeCuts

abctime	timeTruth

abctime	timeSupps

abctime	timeTruth2

abctime	timeTruth3

abctime	timeEval

abctime	timeMap

abctime	timeOther

abctime	timeTotal

abctime	timeEvalMuxAn

abctime	timeEvalMuxSp

abctime	timeEvalDsdAn

abctime	timeEvalDsdSp

Detailed Description

Definition at line 69 of file lpkInt.h.

Member Data Documentation

◆ fCalledOnce

int Lpk_Man_t_::fCalledOnce

Definition at line 91 of file lpkInt.h.

◆ fCofactoring

int Lpk_Man_t_::fCofactoring

Definition at line 90 of file lpkInt.h.

◆ nBenefited

int Lpk_Man_t_::nBenefited

Definition at line 115 of file lpkInt.h.

◆ nBlocks

int Lpk_Man_t_::nBlocks[17]

Definition at line 123 of file lpkInt.h.

◆ nCalledSRed

int Lpk_Man_t_::nCalledSRed

Definition at line 92 of file lpkInt.h.

◆ nChanges

int Lpk_Man_t_::nChanges

Definition at line 114 of file lpkInt.h.

◆ nCuts

int Lpk_Man_t_::nCuts

Definition at line 78 of file lpkInt.h.

◆ nCutsMax

int Lpk_Man_t_::nCutsMax

Definition at line 79 of file lpkInt.h.

◆ nCutsTotal

int Lpk_Man_t_::nCutsTotal

Definition at line 111 of file lpkInt.h.

◆ nCutsUseful

int Lpk_Man_t_::nCutsUseful

Definition at line 112 of file lpkInt.h.

◆ nDsds

int Lpk_Man_t_::nDsds

Definition at line 117 of file lpkInt.h.

◆ nEvals

int Lpk_Man_t_::nEvals

Definition at line 80 of file lpkInt.h.

◆ nGainTotal

int Lpk_Man_t_::nGainTotal

Definition at line 113 of file lpkInt.h.

◆ nMffc

int Lpk_Man_t_::nMffc

Definition at line 77 of file lpkInt.h.

◆ nMuxes

int Lpk_Man_t_::nMuxes

Definition at line 116 of file lpkInt.h.

◆ nNodesOver

int Lpk_Man_t_::nNodesOver

Definition at line 110 of file lpkInt.h.

◆ nNodesTotal

int Lpk_Man_t_::nNodesTotal

Definition at line 109 of file lpkInt.h.

◆ nTotalNets

int Lpk_Man_t_::nTotalNets

Definition at line 118 of file lpkInt.h.

◆ nTotalNets2

int Lpk_Man_t_::nTotalNets2

Definition at line 119 of file lpkInt.h.

◆ nTotalNodes

int Lpk_Man_t_::nTotalNodes

Definition at line 120 of file lpkInt.h.

◆ nTotalNodes2

int Lpk_Man_t_::nTotalNodes2

Definition at line 121 of file lpkInt.h.

◆ pCands

int Lpk_Man_t_::pCands[LPK_SIZE_MAX]

Definition at line 94 of file lpkInt.h.

◆ pCuts

Lpk_Cut_t Lpk_Man_t_::pCuts[LPK_CUTS_MAX]

Definition at line 81 of file lpkInt.h.

◆ pDsdMan

Kit_DsdMan_t* Lpk_Man_t_::pDsdMan

Definition at line 107 of file lpkInt.h.

◆ pEvals

int Lpk_Man_t_::pEvals[LPK_CUTS_MAX]

Definition at line 82 of file lpkInt.h.

◆ pIfMan

If_Man_t* Lpk_Man_t_::pIfMan

Definition at line 86 of file lpkInt.h.

◆ pNtk

Abc_Ntk_t* Lpk_Man_t_::pNtk

Definition at line 74 of file lpkInt.h.

◆ pObj

Abc_Obj_t* Lpk_Man_t_::pObj

Definition at line 75 of file lpkInt.h.

◆ pPars

Lpk_Par_t* Lpk_Man_t_::pPars

Definition at line 72 of file lpkInt.h.

◆ ppTruths

unsigned* Lpk_Man_t_::ppTruths[5][16]

Definition at line 104 of file lpkInt.h.

◆ pRefs

int Lpk_Man_t_::pRefs[LPK_SIZE_MAX]

Definition at line 93 of file lpkInt.h.

◆ puSupps

unsigned Lpk_Man_t_::puSupps[32]

Definition at line 103 of file lpkInt.h.

◆ timeCuts

abctime Lpk_Man_t_::timeCuts

Definition at line 125 of file lpkInt.h.

◆ timeEval

abctime Lpk_Man_t_::timeEval

Definition at line 130 of file lpkInt.h.

◆ timeEvalDsdAn

abctime Lpk_Man_t_::timeEvalDsdAn

Definition at line 137 of file lpkInt.h.

◆ timeEvalDsdSp

abctime Lpk_Man_t_::timeEvalDsdSp

Definition at line 138 of file lpkInt.h.

◆ timeEvalMuxAn

abctime Lpk_Man_t_::timeEvalMuxAn

Definition at line 135 of file lpkInt.h.

◆ timeEvalMuxSp

abctime Lpk_Man_t_::timeEvalMuxSp

Definition at line 136 of file lpkInt.h.

◆ timeMap

abctime Lpk_Man_t_::timeMap

Definition at line 131 of file lpkInt.h.

◆ timeOther

abctime Lpk_Man_t_::timeOther

Definition at line 132 of file lpkInt.h.

◆ timeSupps

abctime Lpk_Man_t_::timeSupps

Definition at line 127 of file lpkInt.h.

◆ timeTotal

abctime Lpk_Man_t_::timeTotal

Definition at line 133 of file lpkInt.h.

◆ timeTruth

abctime Lpk_Man_t_::timeTruth

Definition at line 126 of file lpkInt.h.

◆ timeTruth2

abctime Lpk_Man_t_::timeTruth2

Definition at line 128 of file lpkInt.h.

◆ timeTruth3

abctime Lpk_Man_t_::timeTruth3

Definition at line 129 of file lpkInt.h.

◆ vBddDir

Vec_Int_t* Lpk_Man_t_::vBddDir

Definition at line 101 of file lpkInt.h.

◆ vBddInv

Vec_Int_t* Lpk_Man_t_::vBddInv

Definition at line 102 of file lpkInt.h.

◆ vCover

Vec_Int_t* Lpk_Man_t_::vCover

Definition at line 87 of file lpkInt.h.

◆ vLeaves

Vec_Ptr_t* Lpk_Man_t_::vLeaves

Definition at line 95 of file lpkInt.h.

◆ vLevels

Vec_Vec_t* Lpk_Man_t_::vLevels

Definition at line 88 of file lpkInt.h.

◆ vMemory

Vec_Int_t* Lpk_Man_t_::vMemory

Definition at line 100 of file lpkInt.h.

◆ vSets

Vec_Int_t* Lpk_Man_t_::vSets[8]

Definition at line 106 of file lpkInt.h.

◆ vTemp

Vec_Ptr_t* Lpk_Man_t_::vTemp

Definition at line 96 of file lpkInt.h.

◆ vTtElems

Vec_Ptr_t* Lpk_Man_t_::vTtElems

Definition at line 98 of file lpkInt.h.

◆ vTtNodes

Vec_Ptr_t* Lpk_Man_t_::vTtNodes

Definition at line 99 of file lpkInt.h.

◆ vVisited

Vec_Vec_t* Lpk_Man_t_::vVisited

Definition at line 84 of file lpkInt.h.

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

src/opt/lpk/lpkInt.h

Public Attributes