Cbs0_Man_t_ Struct Reference

Data Fields
Cbs0_Par_t	Pars
Gia_Man_t *	pAig
Cbs0_Que_t	pProp
Cbs0_Que_t	pJust
Vec_Int_t *	vModel
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 59 of file giaCSatOld.c.

Field Documentation

int Cbs0_Man_t_::nConfSat

Definition at line 73 of file giaCSatOld.c.

int Cbs0_Man_t_::nConfUndec

Definition at line 74 of file giaCSatOld.c.

int Cbs0_Man_t_::nConfUnsat

Definition at line 72 of file giaCSatOld.c.

int Cbs0_Man_t_::nSatSat

Definition at line 68 of file giaCSatOld.c.

int Cbs0_Man_t_::nSatTotal

Definition at line 70 of file giaCSatOld.c.

int Cbs0_Man_t_::nSatUndec

Definition at line 69 of file giaCSatOld.c.

int Cbs0_Man_t_::nSatUnsat

Definition at line 67 of file giaCSatOld.c.

Gia_Man_t* Cbs0_Man_t_::pAig

Definition at line 62 of file giaCSatOld.c.

Cbs0_Par_t Cbs0_Man_t_::Pars

Definition at line 61 of file giaCSatOld.c.

Cbs0_Que_t Cbs0_Man_t_::pJust

Definition at line 64 of file giaCSatOld.c.

Cbs0_Que_t Cbs0_Man_t_::pProp

Definition at line 63 of file giaCSatOld.c.

abctime Cbs0_Man_t_::timeSatSat

Definition at line 77 of file giaCSatOld.c.

abctime Cbs0_Man_t_::timeSatUndec

Definition at line 78 of file giaCSatOld.c.

abctime Cbs0_Man_t_::timeSatUnsat

Definition at line 76 of file giaCSatOld.c.

abctime Cbs0_Man_t_::timeTotal

Definition at line 79 of file giaCSatOld.c.

Vec_Int_t* Cbs0_Man_t_::vModel

Definition at line 65 of file giaCSatOld.c.

---

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

• giaCSatOld.c