Collaboration diagram for Bmcg_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

bmcg_sat_solver *	pSats [PAR_THR_MAX]

int	nSatVars

int	nOldFrPis

int	nOldFrPos

int	fStopNow

abctime	timeUnf

abctime	timeCnf

abctime	timeSmp

abctime	timeSat

abctime	timeOth

Detailed Description

Definition at line 34 of file bmcBmcG.c.

Member Data Documentation

◆ fStopNow

int Bmcg_Man_t_::fStopNow

Definition at line 47 of file bmcBmcG.c.

◆ nOldFrPis

int Bmcg_Man_t_::nOldFrPis

Definition at line 45 of file bmcBmcG.c.

◆ nOldFrPos

int Bmcg_Man_t_::nOldFrPos

Definition at line 46 of file bmcBmcG.c.

◆ nSatVars

int Bmcg_Man_t_::nSatVars

Definition at line 44 of file bmcBmcG.c.

◆ pClean

Gia_Man_t* Bmcg_Man_t_::pClean

Definition at line 39 of file bmcBmcG.c.

◆ pFrames

Gia_Man_t* Bmcg_Man_t_::pFrames

Definition at line 38 of file bmcBmcG.c.

◆ pGia

Gia_Man_t* Bmcg_Man_t_::pGia

Definition at line 37 of file bmcBmcG.c.

◆ pPars

Bmc_AndPar_t* Bmcg_Man_t_::pPars

Definition at line 36 of file bmcBmcG.c.

◆ pSats

bmcg_sat_solver* Bmcg_Man_t_::pSats[PAR_THR_MAX]

Definition at line 43 of file bmcBmcG.c.

◆ timeCnf

abctime Bmcg_Man_t_::timeCnf

Definition at line 49 of file bmcBmcG.c.

◆ timeOth

abctime Bmcg_Man_t_::timeOth

Definition at line 52 of file bmcBmcG.c.

◆ timeSat

abctime Bmcg_Man_t_::timeSat

Definition at line 51 of file bmcBmcG.c.

◆ timeSmp

abctime Bmcg_Man_t_::timeSmp

Definition at line 50 of file bmcBmcG.c.

◆ timeUnf

abctime Bmcg_Man_t_::timeUnf

Definition at line 48 of file bmcBmcG.c.

◆ vCiMap

Vec_Int_t Bmcg_Man_t_::vCiMap

Definition at line 42 of file bmcBmcG.c.

◆ vFr2Sat

Vec_Int_t Bmcg_Man_t_::vFr2Sat

Definition at line 41 of file bmcBmcG.c.

◆ vGia2Fr

Vec_Ptr_t Bmcg_Man_t_::vGia2Fr

Definition at line 40 of file bmcBmcG.c.

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

src/sat/bmc/bmcBmcG.c

Public Attributes