#include <lpkInt.h>

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

Field Documentation

int Lpk_Man_t_::fCalledOnce

Definition at line 91 of file lpkInt.h.

int Lpk_Man_t_::fCofactoring

Definition at line 90 of file lpkInt.h.

int Lpk_Man_t_::nBenefited

Definition at line 114 of file lpkInt.h.

int Lpk_Man_t_::nBlocks[17]

Definition at line 122 of file lpkInt.h.

int Lpk_Man_t_::nCalledSRed

Definition at line 92 of file lpkInt.h.

int Lpk_Man_t_::nChanges

Definition at line 113 of file lpkInt.h.

int Lpk_Man_t_::nCuts

Definition at line 78 of file lpkInt.h.

int Lpk_Man_t_::nCutsMax

Definition at line 79 of file lpkInt.h.

int Lpk_Man_t_::nCutsTotal

Definition at line 110 of file lpkInt.h.

int Lpk_Man_t_::nCutsUseful

Definition at line 111 of file lpkInt.h.

int Lpk_Man_t_::nDsds

Definition at line 116 of file lpkInt.h.

int Lpk_Man_t_::nEvals

Definition at line 80 of file lpkInt.h.

int Lpk_Man_t_::nGainTotal

Definition at line 112 of file lpkInt.h.

int Lpk_Man_t_::nMffc

Definition at line 77 of file lpkInt.h.

int Lpk_Man_t_::nMuxes

Definition at line 115 of file lpkInt.h.

int Lpk_Man_t_::nNodesOver

Definition at line 109 of file lpkInt.h.

int Lpk_Man_t_::nNodesTotal

Definition at line 108 of file lpkInt.h.

int Lpk_Man_t_::nTotalNets

Definition at line 117 of file lpkInt.h.

int Lpk_Man_t_::nTotalNets2

Definition at line 118 of file lpkInt.h.

int Lpk_Man_t_::nTotalNodes

Definition at line 119 of file lpkInt.h.

int Lpk_Man_t_::nTotalNodes2

Definition at line 120 of file lpkInt.h.

int Lpk_Man_t_::pCands[LPK_SIZE_MAX]

Definition at line 94 of file lpkInt.h.

Lpk_Cut_t Lpk_Man_t_::pCuts[LPK_CUTS_MAX]

Definition at line 81 of file lpkInt.h.

Kit_DsdMan_t* Lpk_Man_t_::pDsdMan

Definition at line 106 of file lpkInt.h.

int Lpk_Man_t_::pEvals[LPK_CUTS_MAX]

Definition at line 82 of file lpkInt.h.

If_Man_t* Lpk_Man_t_::pIfMan

Definition at line 86 of file lpkInt.h.

Abc_Ntk_t* Lpk_Man_t_::pNtk

Definition at line 74 of file lpkInt.h.

Abc_Obj_t* Lpk_Man_t_::pObj

Definition at line 75 of file lpkInt.h.

Lpk_Par_t* Lpk_Man_t_::pPars

Definition at line 72 of file lpkInt.h.

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

Definition at line 103 of file lpkInt.h.

int Lpk_Man_t_::pRefs[LPK_SIZE_MAX]

Definition at line 93 of file lpkInt.h.

unsigned Lpk_Man_t_::puSupps[32]

Definition at line 102 of file lpkInt.h.

abctime Lpk_Man_t_::timeCuts

Definition at line 124 of file lpkInt.h.

abctime Lpk_Man_t_::timeEval

Definition at line 129 of file lpkInt.h.

abctime Lpk_Man_t_::timeEvalDsdAn

Definition at line 136 of file lpkInt.h.

abctime Lpk_Man_t_::timeEvalDsdSp

Definition at line 137 of file lpkInt.h.

abctime Lpk_Man_t_::timeEvalMuxAn

Definition at line 134 of file lpkInt.h.

abctime Lpk_Man_t_::timeEvalMuxSp

Definition at line 135 of file lpkInt.h.

abctime Lpk_Man_t_::timeMap

Definition at line 130 of file lpkInt.h.

abctime Lpk_Man_t_::timeOther

Definition at line 131 of file lpkInt.h.

abctime Lpk_Man_t_::timeSupps

Definition at line 126 of file lpkInt.h.

abctime Lpk_Man_t_::timeTotal

Definition at line 132 of file lpkInt.h.

abctime Lpk_Man_t_::timeTruth

Definition at line 125 of file lpkInt.h.

abctime Lpk_Man_t_::timeTruth2

Definition at line 127 of file lpkInt.h.

abctime Lpk_Man_t_::timeTruth3

Definition at line 128 of file lpkInt.h.

Vec_Int_t* Lpk_Man_t_::vBddDir

Definition at line 100 of file lpkInt.h.

Vec_Int_t* Lpk_Man_t_::vBddInv

Definition at line 101 of file lpkInt.h.

Vec_Int_t* Lpk_Man_t_::vCover

Definition at line 87 of file lpkInt.h.

Vec_Ptr_t* Lpk_Man_t_::vLeaves

Definition at line 95 of file lpkInt.h.

Vec_Vec_t* Lpk_Man_t_::vLevels

Definition at line 88 of file lpkInt.h.

Vec_Int_t* Lpk_Man_t_::vMemory

Definition at line 99 of file lpkInt.h.

Vec_Int_t* Lpk_Man_t_::vSets[8]

Definition at line 105 of file lpkInt.h.

Vec_Ptr_t* Lpk_Man_t_::vTtElems

Definition at line 97 of file lpkInt.h.

Vec_Ptr_t* Lpk_Man_t_::vTtNodes

Definition at line 98 of file lpkInt.h.

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:

lpkInt.h

Data Fields

Detailed Description

Field Documentation