Collaboration diagram for Qbf_Man_t_:

[legend]

Public Attributes
Gia_Man_t *	pGia

int	nPars

int	nVars

int	fVerbose

int	iParVarBeg

sat_solver *	pSatVer

sat_solver *	pSatSyn

bmcg_sat_solver *	pSatSynG

Vec_Int_t *	vValues

Vec_Int_t *	vParMap

Vec_Int_t *	vLits

abctime	clkStart

abctime	clkSat

Detailed Description

Definition at line 37 of file giaQbf.c.

Member Data Documentation

◆ clkSat

abctime Qbf_Man_t_::clkSat

Definition at line 52 of file giaQbf.c.

◆ clkStart

abctime Qbf_Man_t_::clkStart

Definition at line 51 of file giaQbf.c.

◆ fVerbose

int Qbf_Man_t_::fVerbose

Definition at line 42 of file giaQbf.c.

◆ iParVarBeg

int Qbf_Man_t_::iParVarBeg

Definition at line 44 of file giaQbf.c.

◆ nPars

int Qbf_Man_t_::nPars

Definition at line 40 of file giaQbf.c.

◆ nVars

int Qbf_Man_t_::nVars

Definition at line 41 of file giaQbf.c.

◆ pGia

Gia_Man_t* Qbf_Man_t_::pGia

Definition at line 39 of file giaQbf.c.

◆ pSatSyn

sat_solver* Qbf_Man_t_::pSatSyn

Definition at line 46 of file giaQbf.c.

◆ pSatSynG

bmcg_sat_solver* Qbf_Man_t_::pSatSynG

Definition at line 47 of file giaQbf.c.

◆ pSatVer

sat_solver* Qbf_Man_t_::pSatVer

Definition at line 45 of file giaQbf.c.

◆ vLits

Vec_Int_t* Qbf_Man_t_::vLits

Definition at line 50 of file giaQbf.c.

◆ vParMap

Vec_Int_t* Qbf_Man_t_::vParMap

Definition at line 49 of file giaQbf.c.

◆ vValues

Vec_Int_t* Qbf_Man_t_::vValues

Definition at line 48 of file giaQbf.c.

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

src/aig/gia/giaQbf.c

Public Attributes