Sbd_Man_t_ Struct Reference

Collaboration diagram for Sbd_Man_t_:

Public Attributes
Sbd_Par_t *	pPars
Gia_Man_t *	pGia
Vec_Wec_t *	vTfos
Vec_Int_t *	vLutLevs
Vec_Int_t *	vLutCuts
Vec_Int_t *	vLutCuts2
Vec_Int_t *	vMirrors
Vec_Wrd_t *	vSims [4]
Vec_Int_t *	vCover
Vec_Int_t *	vLits
Vec_Int_t *	vLits2
int	nLuts [6]
int	nTried
int	nUsed
abctime	timeWin
abctime	timeCut
abctime	timeCov
abctime	timeCnf
abctime	timeSat
abctime	timeQbf
abctime	timeNew
abctime	timeOther
abctime	timeTotal
Sbd_Sto_t *	pSto
Sbd_Srv_t *	pSrv
int	Pivot
int	DivCutoff
Vec_Int_t *	vTfo
Vec_Int_t *	vRoots
Vec_Int_t *	vWinObjs
Vec_Int_t *	vObj2Var
Vec_Int_t *	vDivSet
Vec_Int_t *	vDivVars
Vec_Int_t *	vDivValues
Vec_Wec_t *	vDivLevels
Vec_Int_t *	vCounts [2]
Vec_Wrd_t *	vMatrix
sat_solver *	pSat

Detailed Description

Definition at line 34 of file sbdCore.c.

Member Data Documentation

DivCutoff

int Sbd_Man_t_::DivCutoff

Definition at line 63 of file sbdCore.c.

nLuts

int Sbd_Man_t_::nLuts[6]

Definition at line 47 of file sbdCore.c.

nTried

int Sbd_Man_t_::nTried

Definition at line 48 of file sbdCore.c.

nUsed

int Sbd_Man_t_::nUsed

Definition at line 49 of file sbdCore.c.

pGia

Gia_Man_t* Sbd_Man_t_::pGia

Definition at line 37 of file sbdCore.c.

Pivot

int Sbd_Man_t_::Pivot

Definition at line 62 of file sbdCore.c.

pPars

Sbd_Par_t* Sbd_Man_t_::pPars

Definition at line 36 of file sbdCore.c.

pSat

sat_solver* Sbd_Man_t_::pSat

Definition at line 74 of file sbdCore.c.

pSrv

Sbd_Srv_t* Sbd_Man_t_::pSrv

Definition at line 60 of file sbdCore.c.

pSto

Sbd_Sto_t* Sbd_Man_t_::pSto

Definition at line 59 of file sbdCore.c.

timeCnf

abctime Sbd_Man_t_::timeCnf

Definition at line 53 of file sbdCore.c.

timeCov

abctime Sbd_Man_t_::timeCov

Definition at line 52 of file sbdCore.c.

timeCut

abctime Sbd_Man_t_::timeCut

Definition at line 51 of file sbdCore.c.

timeNew

abctime Sbd_Man_t_::timeNew

Definition at line 56 of file sbdCore.c.

timeOther

abctime Sbd_Man_t_::timeOther

Definition at line 57 of file sbdCore.c.

timeQbf

abctime Sbd_Man_t_::timeQbf

Definition at line 55 of file sbdCore.c.

timeSat

abctime Sbd_Man_t_::timeSat

Definition at line 54 of file sbdCore.c.

timeTotal

abctime Sbd_Man_t_::timeTotal

Definition at line 58 of file sbdCore.c.

timeWin

abctime Sbd_Man_t_::timeWin

Definition at line 50 of file sbdCore.c.

vCounts

Vec_Int_t* Sbd_Man_t_::vCounts[2]

Definition at line 72 of file sbdCore.c.

vCover

Vec_Int_t* Sbd_Man_t_::vCover

Definition at line 44 of file sbdCore.c.

vDivLevels

Vec_Wec_t* Sbd_Man_t_::vDivLevels

Definition at line 71 of file sbdCore.c.

vDivSet

Vec_Int_t* Sbd_Man_t_::vDivSet

Definition at line 68 of file sbdCore.c.

vDivValues

Vec_Int_t* Sbd_Man_t_::vDivValues

Definition at line 70 of file sbdCore.c.

vDivVars

Vec_Int_t* Sbd_Man_t_::vDivVars

Definition at line 69 of file sbdCore.c.

vLits

Vec_Int_t* Sbd_Man_t_::vLits

Definition at line 45 of file sbdCore.c.

vLits2

Vec_Int_t* Sbd_Man_t_::vLits2

Definition at line 46 of file sbdCore.c.

vLutCuts

Vec_Int_t* Sbd_Man_t_::vLutCuts

Definition at line 40 of file sbdCore.c.

vLutCuts2

Vec_Int_t* Sbd_Man_t_::vLutCuts2

Definition at line 41 of file sbdCore.c.

vLutLevs

Vec_Int_t* Sbd_Man_t_::vLutLevs

Definition at line 39 of file sbdCore.c.

vMatrix

Vec_Wrd_t* Sbd_Man_t_::vMatrix

Definition at line 73 of file sbdCore.c.

vMirrors

Vec_Int_t* Sbd_Man_t_::vMirrors

Definition at line 42 of file sbdCore.c.

vObj2Var

Vec_Int_t* Sbd_Man_t_::vObj2Var

Definition at line 67 of file sbdCore.c.

vRoots

Vec_Int_t* Sbd_Man_t_::vRoots

Definition at line 65 of file sbdCore.c.

vSims

Vec_Wrd_t* Sbd_Man_t_::vSims[4]

Definition at line 43 of file sbdCore.c.

vTfo

Vec_Int_t* Sbd_Man_t_::vTfo

Definition at line 64 of file sbdCore.c.

vTfos

Vec_Wec_t* Sbd_Man_t_::vTfos

Definition at line 38 of file sbdCore.c.

vWinObjs

Vec_Int_t* Sbd_Man_t_::vWinObjs

Definition at line 66 of file sbdCore.c.

---

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

• src/opt/sbd/sbdCore.c