Ga2_Man_t_ Struct Reference

Data Fields
Gia_Man_t *	pGia
Abs_Par_t *	pPars
Vec_Ptr_t *	vCnfs
Vec_Int_t *	vIds
Vec_Int_t *	vProofIds
Vec_Int_t *	vAbs
Vec_Int_t *	vValues
int	nProofIds
int	LimAbs
int	LimPpi
int	nMarked
int	fUseNewLine
Rnm_Man_t *	pRnm
Vec_Ptr_t *	vId2Lit
sat_solver2 *	pSat
int	nSatVars
int	nCexes
int	nObjAdded
int	nPdrCalls
int *	pTable
int	nTable
int	nHashHit
int	nHashMiss
int	nHashOver
Vec_Int_t *	vLits
Vec_Int_t *	vIsopMem
char *	pSopSizes
char **	pSops
abctime	timeStart
abctime	timeInit
abctime	timeSat
abctime	timeUnsat
abctime	timeCex
abctime	timeOther

Detailed Description

Definition at line 38 of file absGla.c.

Field Documentation

int Ga2_Man_t_::fUseNewLine

Definition at line 54 of file absGla.c.

int Ga2_Man_t_::LimAbs

Definition at line 51 of file absGla.c.

int Ga2_Man_t_::LimPpi

Definition at line 52 of file absGla.c.

int Ga2_Man_t_::nCexes

Definition at line 62 of file absGla.c.

int Ga2_Man_t_::nHashHit

Definition at line 68 of file absGla.c.

int Ga2_Man_t_::nHashMiss

Definition at line 69 of file absGla.c.

int Ga2_Man_t_::nHashOver

Definition at line 70 of file absGla.c.

int Ga2_Man_t_::nMarked

Definition at line 53 of file absGla.c.

int Ga2_Man_t_::nObjAdded

Definition at line 63 of file absGla.c.

int Ga2_Man_t_::nPdrCalls

Definition at line 64 of file absGla.c.

int Ga2_Man_t_::nProofIds

Definition at line 50 of file absGla.c.

int Ga2_Man_t_::nSatVars

Definition at line 61 of file absGla.c.

int Ga2_Man_t_::nTable

Definition at line 67 of file absGla.c.

Gia_Man_t* Ga2_Man_t_::pGia

Definition at line 41 of file absGla.c.

Abs_Par_t* Ga2_Man_t_::pPars

Definition at line 42 of file absGla.c.

Rnm_Man_t* Ga2_Man_t_::pRnm

Definition at line 56 of file absGla.c.

sat_solver2* Ga2_Man_t_::pSat

Definition at line 60 of file absGla.c.

char ** Ga2_Man_t_::pSops

Definition at line 74 of file absGla.c.

char* Ga2_Man_t_::pSopSizes

Definition at line 74 of file absGla.c.

int* Ga2_Man_t_::pTable

Definition at line 66 of file absGla.c.

abctime Ga2_Man_t_::timeCex

Definition at line 80 of file absGla.c.

abctime Ga2_Man_t_::timeInit

Definition at line 77 of file absGla.c.

abctime Ga2_Man_t_::timeOther

Definition at line 81 of file absGla.c.

abctime Ga2_Man_t_::timeSat

Definition at line 78 of file absGla.c.

abctime Ga2_Man_t_::timeStart

Definition at line 76 of file absGla.c.

abctime Ga2_Man_t_::timeUnsat

Definition at line 79 of file absGla.c.

Vec_Int_t* Ga2_Man_t_::vAbs

Definition at line 48 of file absGla.c.

Vec_Ptr_t* Ga2_Man_t_::vCnfs

Definition at line 44 of file absGla.c.

Vec_Ptr_t* Ga2_Man_t_::vId2Lit

Definition at line 59 of file absGla.c.

Vec_Int_t* Ga2_Man_t_::vIds

Definition at line 46 of file absGla.c.

Vec_Int_t* Ga2_Man_t_::vIsopMem

Definition at line 73 of file absGla.c.

Vec_Int_t* Ga2_Man_t_::vLits

Definition at line 72 of file absGla.c.

Vec_Int_t* Ga2_Man_t_::vProofIds

Definition at line 47 of file absGla.c.

Vec_Int_t* Ga2_Man_t_::vValues

Definition at line 49 of file absGla.c.

---

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

• absGla.c