Aig_Gla1Man_t_ Struct Reference

Data Fields
Aig_Man_t *	pAig
int	nConfLimit
int	nFramesMax
int	fVerbose
int	nFrames
Vec_Int_t *	vObj2Vec
Vec_Int_t *	vVec2Var
Vec_Int_t *	vVar2Inf
Vec_Int_t *	vAssigned
Vec_Int_t *	vIncluded
Vec_Int_t *	vPis
Vec_Int_t *	vPPis
Vec_Int_t *	vFlops
Vec_Int_t *	vNodes
Vec_Ptr_t *	vLeaves
Vec_Ptr_t *	vVolume
Vec_Int_t *	vCover
Vec_Ptr_t *	vObj2Cnf
Vec_Int_t *	vLits
sat_solver *	pSat
clock_t	timeSat
clock_t	timeRef
clock_t	timeTotal

Detailed Description

Definition at line 33 of file saigGlaCba.c.

Field Documentation

int Aig_Gla1Man_t_::fVerbose

Definition at line 39 of file saigGlaCba.c.

int Aig_Gla1Man_t_::nConfLimit

Definition at line 37 of file saigGlaCba.c.

int Aig_Gla1Man_t_::nFrames

Definition at line 41 of file saigGlaCba.c.

int Aig_Gla1Man_t_::nFramesMax

Definition at line 38 of file saigGlaCba.c.

Aig_Man_t* Aig_Gla1Man_t_::pAig

Definition at line 36 of file saigGlaCba.c.

sat_solver* Aig_Gla1Man_t_::pSat

Definition at line 60 of file saigGlaCba.c.

clock_t Aig_Gla1Man_t_::timeRef

Definition at line 63 of file saigGlaCba.c.

clock_t Aig_Gla1Man_t_::timeSat

Definition at line 62 of file saigGlaCba.c.

clock_t Aig_Gla1Man_t_::timeTotal

Definition at line 64 of file saigGlaCba.c.

Vec_Int_t* Aig_Gla1Man_t_::vAssigned

Definition at line 46 of file saigGlaCba.c.

Vec_Int_t* Aig_Gla1Man_t_::vCover

Definition at line 56 of file saigGlaCba.c.

Vec_Int_t* Aig_Gla1Man_t_::vFlops

Definition at line 51 of file saigGlaCba.c.

Vec_Int_t* Aig_Gla1Man_t_::vIncluded

Definition at line 47 of file saigGlaCba.c.

Vec_Ptr_t* Aig_Gla1Man_t_::vLeaves

Definition at line 54 of file saigGlaCba.c.

Vec_Int_t* Aig_Gla1Man_t_::vLits

Definition at line 58 of file saigGlaCba.c.

Vec_Int_t* Aig_Gla1Man_t_::vNodes

Definition at line 52 of file saigGlaCba.c.

Vec_Ptr_t* Aig_Gla1Man_t_::vObj2Cnf

Definition at line 57 of file saigGlaCba.c.

Vec_Int_t* Aig_Gla1Man_t_::vObj2Vec

Definition at line 42 of file saigGlaCba.c.

Vec_Int_t* Aig_Gla1Man_t_::vPis

Definition at line 49 of file saigGlaCba.c.

Vec_Int_t* Aig_Gla1Man_t_::vPPis

Definition at line 50 of file saigGlaCba.c.

Vec_Int_t* Aig_Gla1Man_t_::vVar2Inf

Definition at line 44 of file saigGlaCba.c.

Vec_Int_t* Aig_Gla1Man_t_::vVec2Var

Definition at line 43 of file saigGlaCba.c.

Vec_Ptr_t* Aig_Gla1Man_t_::vVolume

Definition at line 55 of file saigGlaCba.c.

---

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

• saigGlaCba.c