Sfm_Ntk_t_ Struct Reference

BASIC TYPES ///. More...

#include <sfmInt.h>

Data Fields
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_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	nTryResubs
int	nRemoves
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
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

BASIC TYPES ///.

Definition at line 52 of file sfmInt.h.

Field Documentation

int Sfm_Ntk_t_::iPivotNode

Definition at line 82 of file sfmInt.h.

int Sfm_Ntk_t_::nCexes

Definition at line 95 of file sfmInt.h.

int Sfm_Ntk_t_::nLevelMax

Definition at line 61 of file sfmInt.h.

int Sfm_Ntk_t_::nMaxDivs

Definition at line 114 of file sfmInt.h.

int Sfm_Ntk_t_::nNodes

Definition at line 59 of file sfmInt.h.

int Sfm_Ntk_t_::nNodesTried

Definition at line 110 of file sfmInt.h.

int Sfm_Ntk_t_::nObjs

Definition at line 60 of file sfmInt.h.

int Sfm_Ntk_t_::nPis

Definition at line 57 of file sfmInt.h.

int Sfm_Ntk_t_::nPos

Definition at line 58 of file sfmInt.h.

int Sfm_Ntk_t_::nRemoves

Definition at line 92 of file sfmInt.h.

int Sfm_Ntk_t_::nResubs

Definition at line 93 of file sfmInt.h.

int Sfm_Ntk_t_::nSatCalls

Definition at line 112 of file sfmInt.h.

int Sfm_Ntk_t_::nSatVars

Definition at line 89 of file sfmInt.h.

int Sfm_Ntk_t_::nTimeOuts

Definition at line 113 of file sfmInt.h.

int Sfm_Ntk_t_::nTotalDivs

Definition at line 111 of file sfmInt.h.

int Sfm_Ntk_t_::nTotalEdgesBeg

Definition at line 107 of file sfmInt.h.

int Sfm_Ntk_t_::nTotalEdgesEnd

Definition at line 109 of file sfmInt.h.

int Sfm_Ntk_t_::nTotalNodesBeg

Definition at line 106 of file sfmInt.h.

int Sfm_Ntk_t_::nTotalNodesEnd

Definition at line 108 of file sfmInt.h.

int Sfm_Ntk_t_::nTravIds

Definition at line 79 of file sfmInt.h.

int Sfm_Ntk_t_::nTravIds2

Definition at line 80 of file sfmInt.h.

int Sfm_Ntk_t_::nTryRemoves

Definition at line 90 of file sfmInt.h.

int Sfm_Ntk_t_::nTryResubs

Definition at line 91 of file sfmInt.h.

Sfm_Par_t* Sfm_Ntk_t_::pPars

Definition at line 55 of file sfmInt.h.

sat_solver* Sfm_Ntk_t_::pSat

Definition at line 88 of file sfmInt.h.

abctime Sfm_Ntk_t_::timeCnf

Definition at line 118 of file sfmInt.h.

abctime Sfm_Ntk_t_::timeDiv

Definition at line 117 of file sfmInt.h.

abctime Sfm_Ntk_t_::timeOther

Definition at line 120 of file sfmInt.h.

abctime Sfm_Ntk_t_::timeSat

Definition at line 119 of file sfmInt.h.

abctime Sfm_Ntk_t_::timeTotal

Definition at line 121 of file sfmInt.h.

abctime Sfm_Ntk_t_::timeWin

Definition at line 116 of file sfmInt.h.

Vec_Wec_t* Sfm_Ntk_t_::vClauses

Definition at line 103 of file sfmInt.h.

Vec_Wec_t* Sfm_Ntk_t_::vCnfs

Definition at line 74 of file sfmInt.h.

Vec_Int_t Sfm_Ntk_t_::vCounts

Definition at line 71 of file sfmInt.h.

Vec_Int_t* Sfm_Ntk_t_::vCover

Definition at line 75 of file sfmInt.h.

Vec_Wrd_t* Sfm_Ntk_t_::vDivCexes

Definition at line 96 of file sfmInt.h.

Vec_Int_t* Sfm_Ntk_t_::vDivIds

Definition at line 100 of file sfmInt.h.

Vec_Int_t* Sfm_Ntk_t_::vDivs

Definition at line 84 of file sfmInt.h.

Vec_Int_t* Sfm_Ntk_t_::vDivVars

Definition at line 99 of file sfmInt.h.

Vec_Str_t* Sfm_Ntk_t_::vEmpty

Definition at line 64 of file sfmInt.h.

Vec_Int_t* Sfm_Ntk_t_::vFaninMap

Definition at line 104 of file sfmInt.h.

Vec_Wec_t Sfm_Ntk_t_::vFanins

Definition at line 66 of file sfmInt.h.

Vec_Wec_t Sfm_Ntk_t_::vFanouts

Definition at line 68 of file sfmInt.h.

Vec_Str_t* Sfm_Ntk_t_::vFixed

Definition at line 63 of file sfmInt.h.

Vec_Int_t Sfm_Ntk_t_::vId2Var

Definition at line 72 of file sfmInt.h.

Vec_Int_t Sfm_Ntk_t_::vLevels

Definition at line 69 of file sfmInt.h.

Vec_Int_t Sfm_Ntk_t_::vLevelsR

Definition at line 70 of file sfmInt.h.

Vec_Int_t* Sfm_Ntk_t_::vLits

Definition at line 101 of file sfmInt.h.

Vec_Int_t* Sfm_Ntk_t_::vNodes

Definition at line 83 of file sfmInt.h.

Vec_Int_t* Sfm_Ntk_t_::vOrder

Definition at line 98 of file sfmInt.h.

Vec_Int_t* Sfm_Ntk_t_::vRoots

Definition at line 85 of file sfmInt.h.

Vec_Int_t* Sfm_Ntk_t_::vTfo

Definition at line 86 of file sfmInt.h.

Vec_Int_t Sfm_Ntk_t_::vTravIds

Definition at line 77 of file sfmInt.h.

Vec_Int_t Sfm_Ntk_t_::vTravIds2

Definition at line 78 of file sfmInt.h.

Vec_Wrd_t* Sfm_Ntk_t_::vTruths

Definition at line 65 of file sfmInt.h.

Vec_Int_t* Sfm_Ntk_t_::vValues

Definition at line 102 of file sfmInt.h.

Vec_Int_t Sfm_Ntk_t_::vVar2Id

Definition at line 73 of file sfmInt.h.

---

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

• sfmInt.h