Tas_Man_t_ Struct Reference

Data Fields
Tas_Par_t	Pars
Gia_Man_t *	pAig
Tas_Que_t	pProp
Tas_Que_t	pJust
Tas_Que_t	pClauses
Gia_Obj_t **	pIter
Vec_Int_t *	vLevReas
Vec_Int_t *	vModel
Vec_Ptr_t *	vTemp
Tas_Sto_t	pStore
int *	pWatches
Vec_Int_t *	vWatchLits
int	nClauses
float *	pActivity
Vec_Int_t *	vActiveVars
int	nSatUnsat
int	nSatSat
int	nSatUndec
int	nSatTotal
int	nConfUnsat
int	nConfSat
int	nConfUndec
abctime	timeSatUnsat
abctime	timeSatSat
abctime	timeSatUndec
abctime	timeTotal
Tas_Sto_t *	pVars
Tas_Sto_t *	pClauses
int	nConfTotal
clock_t	timeSatUnsat
clock_t	timeSatSat
clock_t	timeSatUndec
clock_t	timeTotal

Detailed Description

Definition at line 82 of file giaCTas.c.

Field Documentation

int Tas_Man_t_::nClauses

Definition at line 97 of file giaCTas.c.

int Tas_Man_t_::nConfSat

Definition at line 108 of file giaCTas.c.

int Tas_Man_t_::nConfTotal

Definition at line 116 of file giaCTas2.c.

int Tas_Man_t_::nConfUndec

Definition at line 109 of file giaCTas.c.

int Tas_Man_t_::nConfUnsat

Definition at line 107 of file giaCTas.c.

int Tas_Man_t_::nSatSat

Definition at line 103 of file giaCTas.c.

int Tas_Man_t_::nSatTotal

Definition at line 105 of file giaCTas.c.

int Tas_Man_t_::nSatUndec

Definition at line 104 of file giaCTas.c.

int Tas_Man_t_::nSatUnsat

Definition at line 102 of file giaCTas.c.

float* Tas_Man_t_::pActivity

Definition at line 99 of file giaCTas.c.

Gia_Man_t * Tas_Man_t_::pAig

Definition at line 85 of file giaCTas.c.

Tas_Par_t Tas_Man_t_::Pars

Definition at line 84 of file giaCTas.c.

Tas_Que_t Tas_Man_t_::pClauses

Definition at line 88 of file giaCTas.c.

Tas_Sto_t* Tas_Man_t_::pClauses

Definition at line 101 of file giaCTas2.c.

Gia_Obj_t** Tas_Man_t_::pIter

Definition at line 89 of file giaCTas.c.

Tas_Que_t Tas_Man_t_::pJust

Definition at line 87 of file giaCTas.c.

Tas_Que_t Tas_Man_t_::pProp

Definition at line 86 of file giaCTas.c.

Tas_Sto_t Tas_Man_t_::pStore

Definition at line 94 of file giaCTas.c.

Tas_Sto_t* Tas_Man_t_::pVars

Definition at line 100 of file giaCTas2.c.

int* Tas_Man_t_::pWatches

Definition at line 95 of file giaCTas.c.

abctime Tas_Man_t_::timeSatSat

Definition at line 112 of file giaCTas.c.

clock_t Tas_Man_t_::timeSatSat

Definition at line 119 of file giaCTas2.c.

abctime Tas_Man_t_::timeSatUndec

Definition at line 113 of file giaCTas.c.

clock_t Tas_Man_t_::timeSatUndec

Definition at line 120 of file giaCTas2.c.

abctime Tas_Man_t_::timeSatUnsat

Definition at line 111 of file giaCTas.c.

clock_t Tas_Man_t_::timeSatUnsat

Definition at line 118 of file giaCTas2.c.

abctime Tas_Man_t_::timeTotal

Definition at line 114 of file giaCTas.c.

clock_t Tas_Man_t_::timeTotal

Definition at line 121 of file giaCTas2.c.

Vec_Int_t* Tas_Man_t_::vActiveVars

Definition at line 100 of file giaCTas.c.

Vec_Int_t* Tas_Man_t_::vLevReas

Definition at line 90 of file giaCTas.c.

Vec_Int_t * Tas_Man_t_::vModel

Definition at line 91 of file giaCTas.c.

Vec_Ptr_t * Tas_Man_t_::vTemp

Definition at line 92 of file giaCTas.c.

Vec_Int_t* Tas_Man_t_::vWatchLits

Definition at line 96 of file giaCTas.c.

---

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

• giaCTas.c
• giaCTas2.c