Aig_Gla3Man_t_ Struct Reference

Data Fields
Aig_Man_t *	pAig
int	nStart
int	nFramesMax
int	fVerbose
Vec_Int_t *	vObj2Vec
Vec_Int_t *	vVec2Var
Vec_Int_t *	vVar2Inf
Vec_Int_t *	vCla2Obj
Vec_Int_t *	vCla2Fra
Vec_Int_t *	vVec2Use
sat_solver2 *	pSat
clock_t	timePre
clock_t	timeSat
clock_t	timeTotal

Detailed Description

Definition at line 32 of file saigGlaPba2.c.

Field Documentation

int Aig_Gla3Man_t_::fVerbose

Definition at line 38 of file saigGlaPba2.c.

int Aig_Gla3Man_t_::nFramesMax

Definition at line 37 of file saigGlaPba2.c.

int Aig_Gla3Man_t_::nStart

Definition at line 36 of file saigGlaPba2.c.

Aig_Man_t* Aig_Gla3Man_t_::pAig

Definition at line 35 of file saigGlaPba2.c.

sat_solver2* Aig_Gla3Man_t_::pSat

Definition at line 48 of file saigGlaPba2.c.

clock_t Aig_Gla3Man_t_::timePre

Definition at line 50 of file saigGlaPba2.c.

clock_t Aig_Gla3Man_t_::timeSat

Definition at line 51 of file saigGlaPba2.c.

clock_t Aig_Gla3Man_t_::timeTotal

Definition at line 52 of file saigGlaPba2.c.

Vec_Int_t* Aig_Gla3Man_t_::vCla2Fra

Definition at line 45 of file saigGlaPba2.c.

Vec_Int_t* Aig_Gla3Man_t_::vCla2Obj

Definition at line 44 of file saigGlaPba2.c.

Vec_Int_t* Aig_Gla3Man_t_::vObj2Vec

Definition at line 40 of file saigGlaPba2.c.

Vec_Int_t* Aig_Gla3Man_t_::vVar2Inf

Definition at line 42 of file saigGlaPba2.c.

Vec_Int_t* Aig_Gla3Man_t_::vVec2Use

Definition at line 46 of file saigGlaPba2.c.

Vec_Int_t* Aig_Gla3Man_t_::vVec2Var

Definition at line 41 of file saigGlaPba2.c.

---

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

• saigGlaPba2.c