#include <sfmInt.h>

Collaboration diagram for Sfm_Ntk_t_:

[legend]

Public Attributes
Sfm_Par_t *	pPars

int	nPis

int	nPos

int	nNodes

int	nObjs

int	nLevelMax

Vec_Str_t *	vFixed

Vec_Str_t *	vEmpty

Vec_Wrd_t *	vTruths

Vec_Wec_t	vFanins

Vec_Int_t *	vStarts

Vec_Wrd_t *	vTruths2

Vec_Wec_t	vFanouts

Vec_Int_t	vLevels

Vec_Int_t	vLevelsR

Vec_Int_t	vCounts

Vec_Int_t	vId2Var

Vec_Int_t	vVar2Id

Vec_Wec_t *	vCnfs

Vec_Int_t *	vCover

Vec_Int_t	vTravIds

Vec_Int_t	vTravIds2

int	nTravIds

int	nTravIds2

int	iPivotNode

Vec_Int_t *	vNodes

Vec_Int_t *	vDivs

Vec_Int_t *	vRoots

Vec_Int_t *	vTfo

sat_solver *	pSat

int	nSatVars

int	nTryRemoves

int	nTryImproves

int	nTryResubs

int	nRemoves

int	nImproves

int	nResubs

int	nCexes

Vec_Wrd_t *	vDivCexes

Vec_Int_t *	vOrder

Vec_Int_t *	vDivVars

Vec_Int_t *	vDivIds

Vec_Int_t *	vLits

Vec_Int_t *	vValues

Vec_Wec_t *	vClauses

Vec_Int_t *	vFaninMap

word	TtElems [SFM_FANIN_MAX][SFM_WORDS_MAX]

word *	pTtElems [SFM_FANIN_MAX]

word	pTruth [SFM_WORDS_MAX]

word	pCube [SFM_WORDS_MAX]

int	nTotalNodesBeg

int	nTotalEdgesBeg

int	nTotalNodesEnd

int	nTotalEdgesEnd

int	nNodesTried

int	nTotalDivs

int	nSatCalls

int	nTimeOuts

int	nMaxDivs

abctime	timeWin

abctime	timeDiv

abctime	timeCnf

abctime	timeSat

abctime	timeOther

abctime	timeTotal

Detailed Description

Definition at line 71 of file sfmInt.h.

Member Data Documentation

◆ iPivotNode

int Sfm_Ntk_t_::iPivotNode

Definition at line 103 of file sfmInt.h.

◆ nCexes

int Sfm_Ntk_t_::nCexes

Definition at line 118 of file sfmInt.h.

◆ nImproves

int Sfm_Ntk_t_::nImproves

Definition at line 115 of file sfmInt.h.

◆ nLevelMax

int Sfm_Ntk_t_::nLevelMax

Definition at line 80 of file sfmInt.h.

◆ nMaxDivs

int Sfm_Ntk_t_::nMaxDivs

Definition at line 141 of file sfmInt.h.

◆ nNodes

int Sfm_Ntk_t_::nNodes

Definition at line 78 of file sfmInt.h.

◆ nNodesTried

int Sfm_Ntk_t_::nNodesTried

Definition at line 137 of file sfmInt.h.

◆ nObjs

int Sfm_Ntk_t_::nObjs

Definition at line 79 of file sfmInt.h.

◆ nPis

int Sfm_Ntk_t_::nPis

Definition at line 76 of file sfmInt.h.

◆ nPos

int Sfm_Ntk_t_::nPos

Definition at line 77 of file sfmInt.h.

◆ nRemoves

int Sfm_Ntk_t_::nRemoves

Definition at line 114 of file sfmInt.h.

◆ nResubs

int Sfm_Ntk_t_::nResubs

Definition at line 116 of file sfmInt.h.

◆ nSatCalls

int Sfm_Ntk_t_::nSatCalls

Definition at line 139 of file sfmInt.h.

◆ nSatVars

int Sfm_Ntk_t_::nSatVars

Definition at line 110 of file sfmInt.h.

◆ nTimeOuts

int Sfm_Ntk_t_::nTimeOuts

Definition at line 140 of file sfmInt.h.

◆ nTotalDivs

int Sfm_Ntk_t_::nTotalDivs

Definition at line 138 of file sfmInt.h.

◆ nTotalEdgesBeg

int Sfm_Ntk_t_::nTotalEdgesBeg

Definition at line 134 of file sfmInt.h.

◆ nTotalEdgesEnd

int Sfm_Ntk_t_::nTotalEdgesEnd

Definition at line 136 of file sfmInt.h.

◆ nTotalNodesBeg

int Sfm_Ntk_t_::nTotalNodesBeg

Definition at line 133 of file sfmInt.h.

◆ nTotalNodesEnd

int Sfm_Ntk_t_::nTotalNodesEnd

Definition at line 135 of file sfmInt.h.

◆ nTravIds

int Sfm_Ntk_t_::nTravIds

Definition at line 100 of file sfmInt.h.

◆ nTravIds2

int Sfm_Ntk_t_::nTravIds2

Definition at line 101 of file sfmInt.h.

◆ nTryImproves

int Sfm_Ntk_t_::nTryImproves

Definition at line 112 of file sfmInt.h.

◆ nTryRemoves

int Sfm_Ntk_t_::nTryRemoves

Definition at line 111 of file sfmInt.h.

◆ nTryResubs

int Sfm_Ntk_t_::nTryResubs

Definition at line 113 of file sfmInt.h.

◆ pCube

word Sfm_Ntk_t_::pCube[SFM_WORDS_MAX]

Definition at line 131 of file sfmInt.h.

◆ pPars

Sfm_Par_t* Sfm_Ntk_t_::pPars

Definition at line 74 of file sfmInt.h.

◆ pSat

sat_solver* Sfm_Ntk_t_::pSat

Definition at line 109 of file sfmInt.h.

◆ pTruth

word Sfm_Ntk_t_::pTruth[SFM_WORDS_MAX]

Definition at line 130 of file sfmInt.h.

◆ pTtElems

word* Sfm_Ntk_t_::pTtElems[SFM_FANIN_MAX]

Definition at line 129 of file sfmInt.h.

◆ timeCnf

abctime Sfm_Ntk_t_::timeCnf

Definition at line 145 of file sfmInt.h.

◆ timeDiv

abctime Sfm_Ntk_t_::timeDiv

Definition at line 144 of file sfmInt.h.

◆ timeOther

abctime Sfm_Ntk_t_::timeOther

Definition at line 147 of file sfmInt.h.

◆ timeSat

abctime Sfm_Ntk_t_::timeSat

Definition at line 146 of file sfmInt.h.

◆ timeTotal

abctime Sfm_Ntk_t_::timeTotal

Definition at line 148 of file sfmInt.h.

◆ timeWin

abctime Sfm_Ntk_t_::timeWin

Definition at line 143 of file sfmInt.h.

◆ TtElems

word Sfm_Ntk_t_::TtElems[SFM_FANIN_MAX][SFM_WORDS_MAX]

Definition at line 128 of file sfmInt.h.

◆ vClauses

Vec_Wec_t* Sfm_Ntk_t_::vClauses

Definition at line 126 of file sfmInt.h.

◆ vCnfs

Vec_Wec_t* Sfm_Ntk_t_::vCnfs

Definition at line 95 of file sfmInt.h.

◆ vCounts

Vec_Int_t Sfm_Ntk_t_::vCounts

Definition at line 92 of file sfmInt.h.

◆ vCover

Vec_Int_t* Sfm_Ntk_t_::vCover

Definition at line 96 of file sfmInt.h.

◆ vDivCexes

Vec_Wrd_t* Sfm_Ntk_t_::vDivCexes

Definition at line 119 of file sfmInt.h.

◆ vDivIds

Vec_Int_t* Sfm_Ntk_t_::vDivIds

Definition at line 123 of file sfmInt.h.

◆ vDivs

Vec_Int_t* Sfm_Ntk_t_::vDivs

Definition at line 105 of file sfmInt.h.

◆ vDivVars

Vec_Int_t* Sfm_Ntk_t_::vDivVars

Definition at line 122 of file sfmInt.h.

◆ vEmpty

Vec_Str_t* Sfm_Ntk_t_::vEmpty

Definition at line 83 of file sfmInt.h.

◆ vFaninMap

Vec_Int_t* Sfm_Ntk_t_::vFaninMap

Definition at line 127 of file sfmInt.h.

◆ vFanins

Vec_Wec_t Sfm_Ntk_t_::vFanins

Definition at line 85 of file sfmInt.h.

◆ vFanouts

Vec_Wec_t Sfm_Ntk_t_::vFanouts

Definition at line 89 of file sfmInt.h.

◆ vFixed

Vec_Str_t* Sfm_Ntk_t_::vFixed

Definition at line 82 of file sfmInt.h.

◆ vId2Var

Vec_Int_t Sfm_Ntk_t_::vId2Var

Definition at line 93 of file sfmInt.h.

◆ vLevels

Vec_Int_t Sfm_Ntk_t_::vLevels

Definition at line 90 of file sfmInt.h.

◆ vLevelsR

Vec_Int_t Sfm_Ntk_t_::vLevelsR

Definition at line 91 of file sfmInt.h.

◆ vLits

Vec_Int_t* Sfm_Ntk_t_::vLits

Definition at line 124 of file sfmInt.h.

◆ vNodes

Vec_Int_t* Sfm_Ntk_t_::vNodes

Definition at line 104 of file sfmInt.h.

◆ vOrder

Vec_Int_t* Sfm_Ntk_t_::vOrder

Definition at line 121 of file sfmInt.h.

◆ vRoots

Vec_Int_t* Sfm_Ntk_t_::vRoots

Definition at line 106 of file sfmInt.h.

◆ vStarts

Vec_Int_t* Sfm_Ntk_t_::vStarts

Definition at line 86 of file sfmInt.h.

◆ vTfo

Vec_Int_t* Sfm_Ntk_t_::vTfo

Definition at line 107 of file sfmInt.h.

◆ vTravIds

Vec_Int_t Sfm_Ntk_t_::vTravIds

Definition at line 98 of file sfmInt.h.

◆ vTravIds2

Vec_Int_t Sfm_Ntk_t_::vTravIds2

Definition at line 99 of file sfmInt.h.

◆ vTruths

Vec_Wrd_t* Sfm_Ntk_t_::vTruths

Definition at line 84 of file sfmInt.h.

◆ vTruths2

Vec_Wrd_t* Sfm_Ntk_t_::vTruths2

Definition at line 87 of file sfmInt.h.

◆ vValues

Vec_Int_t* Sfm_Ntk_t_::vValues

Definition at line 125 of file sfmInt.h.

◆ vVar2Id

Vec_Int_t Sfm_Ntk_t_::vVar2Id

Definition at line 94 of file sfmInt.h.

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

src/opt/sfm/sfmInt.h

Public Attributes