Aig_Gla2Man_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_solver *	pSat
clock_t	timePre
clock_t	timeSat
clock_t	timeTotal

Detailed Description

Definition at line 33 of file saigGlaPba.c.

Field Documentation

int Aig_Gla2Man_t_::fVerbose

Definition at line 39 of file saigGlaPba.c.

int Aig_Gla2Man_t_::nFramesMax

Definition at line 38 of file saigGlaPba.c.

int Aig_Gla2Man_t_::nStart

Definition at line 37 of file saigGlaPba.c.

Aig_Man_t* Aig_Gla2Man_t_::pAig

Definition at line 36 of file saigGlaPba.c.

sat_solver* Aig_Gla2Man_t_::pSat

Definition at line 49 of file saigGlaPba.c.

clock_t Aig_Gla2Man_t_::timePre

Definition at line 51 of file saigGlaPba.c.

clock_t Aig_Gla2Man_t_::timeSat

Definition at line 52 of file saigGlaPba.c.

clock_t Aig_Gla2Man_t_::timeTotal

Definition at line 53 of file saigGlaPba.c.

Vec_Int_t* Aig_Gla2Man_t_::vCla2Fra

Definition at line 46 of file saigGlaPba.c.

Vec_Int_t* Aig_Gla2Man_t_::vCla2Obj

Definition at line 45 of file saigGlaPba.c.

Vec_Int_t* Aig_Gla2Man_t_::vObj2Vec

Definition at line 41 of file saigGlaPba.c.

Vec_Int_t* Aig_Gla2Man_t_::vVar2Inf

Definition at line 43 of file saigGlaPba.c.

Vec_Int_t* Aig_Gla2Man_t_::vVec2Use

Definition at line 47 of file saigGlaPba.c.

Vec_Int_t* Aig_Gla2Man_t_::vVec2Var

Definition at line 42 of file saigGlaPba.c.

---

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

• saigGlaPba.c