Swp_Man_t_ Struct Reference

Data Fields
Gia_Man_t *	pGia
int	nConfMax
int	nTimeOut
Vec_Int_t *	vProbes
Vec_Int_t *	vCondProbes
Vec_Int_t *	vCondAssump
sat_solver *	pSat
Vec_Int_t *	vId2Lit
Vec_Int_t *	vFront
Vec_Int_t *	vFanins
Vec_Int_t *	vCexSwp
Vec_Int_t *	vCexUser
int	nSatVars
int	nSatCalls
int	nSatCallsSat
int	nSatCallsUnsat
int	nSatCallsUndec
int	nSatProofs
abctime	timeStart
abctime	timeTotal
abctime	timeCnf
abctime	timeSat
abctime	timeSatSat
abctime	timeSatUnsat
abctime	timeSatUndec

Detailed Description

Definition at line 57 of file giaSweeper.c.

Field Documentation

int Swp_Man_t_::nConfMax

Definition at line 60 of file giaSweeper.c.

int Swp_Man_t_::nSatCalls

Definition at line 74 of file giaSweeper.c.

int Swp_Man_t_::nSatCallsSat

Definition at line 75 of file giaSweeper.c.

int Swp_Man_t_::nSatCallsUndec

Definition at line 77 of file giaSweeper.c.

int Swp_Man_t_::nSatCallsUnsat

Definition at line 76 of file giaSweeper.c.

int Swp_Man_t_::nSatProofs

Definition at line 78 of file giaSweeper.c.

int Swp_Man_t_::nSatVars

Definition at line 72 of file giaSweeper.c.

int Swp_Man_t_::nTimeOut

Definition at line 61 of file giaSweeper.c.

Gia_Man_t* Swp_Man_t_::pGia

Definition at line 59 of file giaSweeper.c.

sat_solver* Swp_Man_t_::pSat

Definition at line 66 of file giaSweeper.c.

abctime Swp_Man_t_::timeCnf

Definition at line 81 of file giaSweeper.c.

abctime Swp_Man_t_::timeSat

Definition at line 82 of file giaSweeper.c.

abctime Swp_Man_t_::timeSatSat

Definition at line 83 of file giaSweeper.c.

abctime Swp_Man_t_::timeSatUndec

Definition at line 85 of file giaSweeper.c.

abctime Swp_Man_t_::timeSatUnsat

Definition at line 84 of file giaSweeper.c.

abctime Swp_Man_t_::timeStart

Definition at line 79 of file giaSweeper.c.

abctime Swp_Man_t_::timeTotal

Definition at line 80 of file giaSweeper.c.

Vec_Int_t* Swp_Man_t_::vCexSwp

Definition at line 70 of file giaSweeper.c.

Vec_Int_t* Swp_Man_t_::vCexUser

Definition at line 71 of file giaSweeper.c.

Vec_Int_t* Swp_Man_t_::vCondAssump

Definition at line 64 of file giaSweeper.c.

Vec_Int_t* Swp_Man_t_::vCondProbes

Definition at line 63 of file giaSweeper.c.

Vec_Int_t* Swp_Man_t_::vFanins

Definition at line 69 of file giaSweeper.c.

Vec_Int_t* Swp_Man_t_::vFront

Definition at line 68 of file giaSweeper.c.

Vec_Int_t* Swp_Man_t_::vId2Lit

Definition at line 67 of file giaSweeper.c.

Vec_Int_t* Swp_Man_t_::vProbes

Definition at line 62 of file giaSweeper.c.

---

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

• giaSweeper.c