Gia_ManAre_t_ Struct Reference

Data Fields
Gia_Man_t *	pAig
Gia_Man_t *	pNew
unsigned **	ppObjs
unsigned **	ppStas
int	fMiter
int	fStopped
int	fTree
int	nWords
int	nSize
int	nObjPages
int	nStaPages
int	nObjs
int	nStas
int	iStaCur
Gia_PtrAre_t	Root
Vec_Vec_t *	vCiTfos
Vec_Vec_t *	vCiLits
Vec_Int_t *	vCubesA
Vec_Int_t *	vCubesB
void *	pSat
Vec_Int_t *	vSatNumCis
Vec_Int_t *	vSatNumCos
Vec_Int_t *	vCofVars
Vec_Int_t *	vAssumps
Gia_StaAre_t *	pTarget
int	iOutFail
int	nChecks
int	nEquals
int	nCompares
int	nRecCalls
int	nDisjs
int	nDisjs2
int	nDisjs3
int	timeAig
int	timeCube

Detailed Description

Definition at line 82 of file giaEra2.c.

Field Documentation

int Gia_ManAre_t_::fMiter

Definition at line 91 of file giaEra2.c.

int Gia_ManAre_t_::fStopped

Definition at line 92 of file giaEra2.c.

int Gia_ManAre_t_::fTree

Definition at line 93 of file giaEra2.c.

int Gia_ManAre_t_::iOutFail

Definition at line 114 of file giaEra2.c.

int Gia_ManAre_t_::iStaCur

Definition at line 101 of file giaEra2.c.

int Gia_ManAre_t_::nChecks

Definition at line 116 of file giaEra2.c.

int Gia_ManAre_t_::nCompares

Definition at line 118 of file giaEra2.c.

int Gia_ManAre_t_::nDisjs

Definition at line 120 of file giaEra2.c.

int Gia_ManAre_t_::nDisjs2

Definition at line 121 of file giaEra2.c.

int Gia_ManAre_t_::nDisjs3

Definition at line 122 of file giaEra2.c.

int Gia_ManAre_t_::nEquals

Definition at line 117 of file giaEra2.c.

int Gia_ManAre_t_::nObjPages

Definition at line 97 of file giaEra2.c.

int Gia_ManAre_t_::nObjs

Definition at line 99 of file giaEra2.c.

int Gia_ManAre_t_::nRecCalls

Definition at line 119 of file giaEra2.c.

int Gia_ManAre_t_::nSize

Definition at line 96 of file giaEra2.c.

int Gia_ManAre_t_::nStaPages

Definition at line 98 of file giaEra2.c.

int Gia_ManAre_t_::nStas

Definition at line 100 of file giaEra2.c.

int Gia_ManAre_t_::nWords

Definition at line 95 of file giaEra2.c.

Gia_Man_t* Gia_ManAre_t_::pAig

Definition at line 84 of file giaEra2.c.

Gia_Man_t* Gia_ManAre_t_::pNew

Definition at line 85 of file giaEra2.c.

unsigned** Gia_ManAre_t_::ppObjs

Definition at line 86 of file giaEra2.c.

unsigned** Gia_ManAre_t_::ppStas

Definition at line 87 of file giaEra2.c.

void* Gia_ManAre_t_::pSat

Definition at line 108 of file giaEra2.c.

Gia_StaAre_t* Gia_ManAre_t_::pTarget

Definition at line 113 of file giaEra2.c.

Gia_PtrAre_t Gia_ManAre_t_::Root

Definition at line 102 of file giaEra2.c.

int Gia_ManAre_t_::timeAig

Definition at line 124 of file giaEra2.c.

int Gia_ManAre_t_::timeCube

Definition at line 125 of file giaEra2.c.

Vec_Int_t* Gia_ManAre_t_::vAssumps

Definition at line 112 of file giaEra2.c.

Vec_Vec_t* Gia_ManAre_t_::vCiLits

Definition at line 104 of file giaEra2.c.

Vec_Vec_t* Gia_ManAre_t_::vCiTfos

Definition at line 103 of file giaEra2.c.

Vec_Int_t* Gia_ManAre_t_::vCofVars

Definition at line 111 of file giaEra2.c.

Vec_Int_t* Gia_ManAre_t_::vCubesA

Definition at line 105 of file giaEra2.c.

Vec_Int_t* Gia_ManAre_t_::vCubesB

Definition at line 106 of file giaEra2.c.

Vec_Int_t* Gia_ManAre_t_::vSatNumCis

Definition at line 109 of file giaEra2.c.

Vec_Int_t* Gia_ManAre_t_::vSatNumCos

Definition at line 110 of file giaEra2.c.

---

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

• giaEra2.c