Collaboration diagram for Bmcs_Man_t_:

[legend]

Public Attributes
Bmc_AndPar_t *	pPars

Gia_Man_t *	pGia

Gia_Man_t *	pFrames

Gia_Man_t *	pClean

Vec_Ptr_t	vGia2Fr

Vec_Int_t	vFr2Sat

Vec_Int_t	vCiMap

bmc_sat_solver *	pSats [PAR_THR_MAX]

int	nSatVars

int	nSatVarsOld

int	fStopNow

abctime	timeUnf

abctime	timeCnf

abctime	timeSat

abctime	timeOth

Detailed Description

Definition at line 70 of file bmcBmcS.c.

Member Data Documentation

◆ fStopNow

int Bmcs_Man_t_::fStopNow

Definition at line 82 of file bmcBmcS.c.

◆ nSatVars

int Bmcs_Man_t_::nSatVars

Definition at line 80 of file bmcBmcS.c.

◆ nSatVarsOld

int Bmcs_Man_t_::nSatVarsOld

Definition at line 81 of file bmcBmcS.c.

◆ pClean

Gia_Man_t* Bmcs_Man_t_::pClean

Definition at line 75 of file bmcBmcS.c.

◆ pFrames

Gia_Man_t* Bmcs_Man_t_::pFrames

Definition at line 74 of file bmcBmcS.c.

◆ pGia

Gia_Man_t* Bmcs_Man_t_::pGia

Definition at line 73 of file bmcBmcS.c.

◆ pPars

Bmc_AndPar_t* Bmcs_Man_t_::pPars

Definition at line 72 of file bmcBmcS.c.

◆ pSats

bmc_sat_solver* Bmcs_Man_t_::pSats[PAR_THR_MAX]

Definition at line 79 of file bmcBmcS.c.

◆ timeCnf

abctime Bmcs_Man_t_::timeCnf

Definition at line 84 of file bmcBmcS.c.

◆ timeOth

abctime Bmcs_Man_t_::timeOth

Definition at line 86 of file bmcBmcS.c.

◆ timeSat

abctime Bmcs_Man_t_::timeSat

Definition at line 85 of file bmcBmcS.c.

◆ timeUnf

abctime Bmcs_Man_t_::timeUnf

Definition at line 83 of file bmcBmcS.c.

◆ vCiMap

Vec_Int_t Bmcs_Man_t_::vCiMap

Definition at line 78 of file bmcBmcS.c.

◆ vFr2Sat

Vec_Int_t Bmcs_Man_t_::vFr2Sat

Definition at line 77 of file bmcBmcS.c.

◆ vGia2Fr

Vec_Ptr_t Bmcs_Man_t_::vGia2Fr

Definition at line 76 of file bmcBmcS.c.

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

src/sat/bmc/bmcBmcS.c

Public Attributes