Qbf_Man_t_ Struct Reference

Data Fields
Gia_Man_t *	pGia
int	nPars
int	nVars
int	fVerbose
int	iParVarBeg
sat_solver *	pSatVer
sat_solver *	pSatSyn
Vec_Int_t *	vValues
Vec_Int_t *	vParMap
Vec_Int_t *	vLits
abctime	clkStart
abctime	clkSat

Detailed Description

Definition at line 34 of file giaQbf.c.

Field Documentation

abctime Qbf_Man_t_::clkSat

Definition at line 48 of file giaQbf.c.

abctime Qbf_Man_t_::clkStart

Definition at line 47 of file giaQbf.c.

int Qbf_Man_t_::fVerbose

Definition at line 39 of file giaQbf.c.

int Qbf_Man_t_::iParVarBeg

Definition at line 41 of file giaQbf.c.

int Qbf_Man_t_::nPars

Definition at line 37 of file giaQbf.c.

int Qbf_Man_t_::nVars

Definition at line 38 of file giaQbf.c.

Gia_Man_t* Qbf_Man_t_::pGia

Definition at line 36 of file giaQbf.c.

sat_solver* Qbf_Man_t_::pSatSyn

Definition at line 43 of file giaQbf.c.

sat_solver* Qbf_Man_t_::pSatVer

Definition at line 42 of file giaQbf.c.

Vec_Int_t* Qbf_Man_t_::vLits

Definition at line 46 of file giaQbf.c.

Vec_Int_t* Qbf_Man_t_::vParMap

Definition at line 45 of file giaQbf.c.

Vec_Int_t* Qbf_Man_t_::vValues

Definition at line 44 of file giaQbf.c.

---

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

• giaQbf.c