Gla_Man_t_ Struct Reference

Data Fields
Gia_Man_t *	pGia0
Gia_Man_t *	pGia
Abs_Par_t *	pPars
Vec_Int_t *	vAbs
Gla_Obj_t *	pObjRoot
Gla_Obj_t *	pObjs
unsigned *	pObj2Obj
int	nObjs
int	nAbsOld
int	nCexes
int	nObjAdded
int	nSatVars
Cnf_Dat_t *	pCnf
sat_solver2 *	pSat
Vec_Int_t *	vTemp
Vec_Int_t *	vAddedNew
Vec_Int_t *	vObjCounts
Vec_Int_t *	vCoreCounts
Vec_Int_t *	vProofIds
int	nProofIds
Vec_Int_t *	pvRefis
Gia_Man_t *	pGia2
Rnm_Man_t *	pRnm
abctime	timeInit
abctime	timeSat
abctime	timeUnsat
abctime	timeCex
abctime	timeOther

Detailed Description

Definition at line 62 of file absGlaOld.c.

Field Documentation

int Gla_Man_t_::nAbsOld

Definition at line 74 of file absGlaOld.c.

int Gla_Man_t_::nCexes

Definition at line 79 of file absGlaOld.c.

int Gla_Man_t_::nObjAdded

Definition at line 80 of file absGlaOld.c.

int Gla_Man_t_::nObjs

Definition at line 73 of file absGlaOld.c.

int Gla_Man_t_::nProofIds

Definition at line 89 of file absGlaOld.c.

int Gla_Man_t_::nSatVars

Definition at line 81 of file absGlaOld.c.

Cnf_Dat_t* Gla_Man_t_::pCnf

Definition at line 82 of file absGlaOld.c.

Gia_Man_t* Gla_Man_t_::pGia

Definition at line 66 of file absGlaOld.c.

Gia_Man_t* Gla_Man_t_::pGia0

Definition at line 65 of file absGlaOld.c.

Gia_Man_t* Gla_Man_t_::pGia2

Definition at line 93 of file absGlaOld.c.

unsigned* Gla_Man_t_::pObj2Obj

Definition at line 72 of file absGlaOld.c.

Gla_Obj_t* Gla_Man_t_::pObjRoot

Definition at line 70 of file absGlaOld.c.

Gla_Obj_t* Gla_Man_t_::pObjs

Definition at line 71 of file absGlaOld.c.

Abs_Par_t* Gla_Man_t_::pPars

Definition at line 67 of file absGlaOld.c.

Rnm_Man_t* Gla_Man_t_::pRnm

Definition at line 94 of file absGlaOld.c.

sat_solver2* Gla_Man_t_::pSat

Definition at line 83 of file absGlaOld.c.

Vec_Int_t* Gla_Man_t_::pvRefis

Definition at line 91 of file absGlaOld.c.

abctime Gla_Man_t_::timeCex

Definition at line 99 of file absGlaOld.c.

abctime Gla_Man_t_::timeInit

Definition at line 96 of file absGlaOld.c.

abctime Gla_Man_t_::timeOther

Definition at line 100 of file absGlaOld.c.

abctime Gla_Man_t_::timeSat

Definition at line 97 of file absGlaOld.c.

abctime Gla_Man_t_::timeUnsat

Definition at line 98 of file absGlaOld.c.

Vec_Int_t* Gla_Man_t_::vAbs

Definition at line 69 of file absGlaOld.c.

Vec_Int_t* Gla_Man_t_::vAddedNew

Definition at line 85 of file absGlaOld.c.

Vec_Int_t* Gla_Man_t_::vCoreCounts

Definition at line 87 of file absGlaOld.c.

Vec_Int_t* Gla_Man_t_::vObjCounts

Definition at line 86 of file absGlaOld.c.

Vec_Int_t* Gla_Man_t_::vProofIds

Definition at line 88 of file absGlaOld.c.

Vec_Int_t* Gla_Man_t_::vTemp

Definition at line 84 of file absGlaOld.c.

---

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

• absGlaOld.c