Cbs_Man_t_ Struct Reference

Data Fields
Cbs_Par_t	Pars
Gia_Man_t *	pAig
Cbs_Que_t	pProp
Cbs_Que_t	pJust
Cbs_Que_t	pClauses
Gia_Obj_t **	pIter
Vec_Int_t *	vLevReas
Vec_Int_t *	vModel
Vec_Ptr_t *	vTemp
int	nSatUnsat
int	nSatSat
int	nSatUndec
int	nSatTotal
int	nConfUnsat
int	nConfSat
int	nConfUndec
abctime	timeSatUnsat
abctime	timeSatSat
abctime	timeSatUndec
abctime	timeTotal

Detailed Description

Definition at line 63 of file giaCSat.c.

Field Documentation

int Cbs_Man_t_::nConfSat

Definition at line 81 of file giaCSat.c.

int Cbs_Man_t_::nConfUndec

Definition at line 82 of file giaCSat.c.

int Cbs_Man_t_::nConfUnsat

Definition at line 80 of file giaCSat.c.

int Cbs_Man_t_::nSatSat

Definition at line 76 of file giaCSat.c.

int Cbs_Man_t_::nSatTotal

Definition at line 78 of file giaCSat.c.

int Cbs_Man_t_::nSatUndec

Definition at line 77 of file giaCSat.c.

int Cbs_Man_t_::nSatUnsat

Definition at line 75 of file giaCSat.c.

Gia_Man_t* Cbs_Man_t_::pAig

Definition at line 66 of file giaCSat.c.

Cbs_Par_t Cbs_Man_t_::Pars

Definition at line 65 of file giaCSat.c.

Cbs_Que_t Cbs_Man_t_::pClauses

Definition at line 69 of file giaCSat.c.

Gia_Obj_t** Cbs_Man_t_::pIter

Definition at line 70 of file giaCSat.c.

Cbs_Que_t Cbs_Man_t_::pJust

Definition at line 68 of file giaCSat.c.

Cbs_Que_t Cbs_Man_t_::pProp

Definition at line 67 of file giaCSat.c.

abctime Cbs_Man_t_::timeSatSat

Definition at line 85 of file giaCSat.c.

abctime Cbs_Man_t_::timeSatUndec

Definition at line 86 of file giaCSat.c.

abctime Cbs_Man_t_::timeSatUnsat

Definition at line 84 of file giaCSat.c.

abctime Cbs_Man_t_::timeTotal

Definition at line 87 of file giaCSat.c.

Vec_Int_t* Cbs_Man_t_::vLevReas

Definition at line 71 of file giaCSat.c.

Vec_Int_t* Cbs_Man_t_::vModel

Definition at line 72 of file giaCSat.c.

Vec_Ptr_t* Cbs_Man_t_::vTemp

Definition at line 73 of file giaCSat.c.

---

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

• giaCSat.c