Cec_ManSat_t_ Struct Reference

#include <cecInt.h>

Data Fields
Cec_ParSat_t *	pPars
Gia_Man_t *	pAig
Vec_Int_t *	vStatus
sat_solver *	pSat
int	nSatVars
int *	pSatVars
Vec_Ptr_t *	vUsedNodes
int	nRecycles
int	nCallsSince
Vec_Ptr_t *	vFanins
Vec_Int_t *	vCex
Vec_Int_t *	vVisits
int	nSatUnsat
int	nSatSat
int	nSatUndec
int	nSatTotal
int	nCexLits
int	nConfUnsat
int	nConfSat
int	nConfUndec
int	timeSatUnsat
int	timeSatSat
int	timeSatUndec
int	timeTotal

Detailed Description

Definition at line 75 of file cecInt.h.

Field Documentation

int Cec_ManSat_t_::nCallsSince

Definition at line 88 of file cecInt.h.

int Cec_ManSat_t_::nCexLits

Definition at line 98 of file cecInt.h.

int Cec_ManSat_t_::nConfSat

Definition at line 101 of file cecInt.h.

int Cec_ManSat_t_::nConfUndec

Definition at line 102 of file cecInt.h.

int Cec_ManSat_t_::nConfUnsat

Definition at line 100 of file cecInt.h.

int Cec_ManSat_t_::nRecycles

Definition at line 87 of file cecInt.h.

int Cec_ManSat_t_::nSatSat

Definition at line 95 of file cecInt.h.

int Cec_ManSat_t_::nSatTotal

Definition at line 97 of file cecInt.h.

int Cec_ManSat_t_::nSatUndec

Definition at line 96 of file cecInt.h.

int Cec_ManSat_t_::nSatUnsat

Definition at line 94 of file cecInt.h.

int Cec_ManSat_t_::nSatVars

Definition at line 84 of file cecInt.h.

Gia_Man_t* Cec_ManSat_t_::pAig

Definition at line 80 of file cecInt.h.

Cec_ParSat_t* Cec_ManSat_t_::pPars

Definition at line 78 of file cecInt.h.

sat_solver* Cec_ManSat_t_::pSat

Definition at line 83 of file cecInt.h.

int* Cec_ManSat_t_::pSatVars

Definition at line 85 of file cecInt.h.

int Cec_ManSat_t_::timeSatSat

Definition at line 105 of file cecInt.h.

int Cec_ManSat_t_::timeSatUndec

Definition at line 106 of file cecInt.h.

int Cec_ManSat_t_::timeSatUnsat

Definition at line 104 of file cecInt.h.

int Cec_ManSat_t_::timeTotal

Definition at line 107 of file cecInt.h.

Vec_Int_t* Cec_ManSat_t_::vCex

Definition at line 91 of file cecInt.h.

Vec_Ptr_t* Cec_ManSat_t_::vFanins

Definition at line 89 of file cecInt.h.

Vec_Int_t* Cec_ManSat_t_::vStatus

Definition at line 81 of file cecInt.h.

Vec_Ptr_t* Cec_ManSat_t_::vUsedNodes

Definition at line 86 of file cecInt.h.

Vec_Int_t* Cec_ManSat_t_::vVisits

Definition at line 92 of file cecInt.h.

---

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

• cecInt.h