Gia_ManBmc_t_ Struct Reference

Data Fields
Saig_ParBmc_t *	pPars
Aig_Man_t *	pAig
Vec_Ptr_t *	vCexes
Vec_Int_t *	vMapping
Vec_Int_t *	vMapRefs
Vec_Int_t *	vId2Num
Vec_Ptr_t *	vTerInfo
Vec_Ptr_t *	vId2Var
Vec_Wec_t *	vVisited
abctime *	pTime4Outs
Vec_Int_t *	vData
Hsh_IntMan_t *	vHash
Vec_Int_t *	vId2Lit
int	nHashHit
int	nHashMiss
int	nBufNum
int	nDupNum
int	nUniProps
int	nLitUsed
int	nLitUseless
sat_solver *	pSat
int	nSatVars
int	nObjNums
int	nWordNum
char *	pSopSizes
char **	pSops

Detailed Description

Definition at line 35 of file bmcBmc3.c.

Field Documentation

int Gia_ManBmc_t_::nBufNum

Definition at line 56 of file bmcBmc3.c.

int Gia_ManBmc_t_::nDupNum

Definition at line 57 of file bmcBmc3.c.

int Gia_ManBmc_t_::nHashHit

Definition at line 54 of file bmcBmc3.c.

int Gia_ManBmc_t_::nHashMiss

Definition at line 55 of file bmcBmc3.c.

int Gia_ManBmc_t_::nLitUsed

Definition at line 59 of file bmcBmc3.c.

int Gia_ManBmc_t_::nLitUseless

Definition at line 60 of file bmcBmc3.c.

int Gia_ManBmc_t_::nObjNums

Definition at line 64 of file bmcBmc3.c.

int Gia_ManBmc_t_::nSatVars

Definition at line 63 of file bmcBmc3.c.

int Gia_ManBmc_t_::nUniProps

Definition at line 58 of file bmcBmc3.c.

int Gia_ManBmc_t_::nWordNum

Definition at line 65 of file bmcBmc3.c.

Aig_Man_t* Gia_ManBmc_t_::pAig

Definition at line 39 of file bmcBmc3.c.

Saig_ParBmc_t* Gia_ManBmc_t_::pPars

Definition at line 38 of file bmcBmc3.c.

sat_solver* Gia_ManBmc_t_::pSat

Definition at line 62 of file bmcBmc3.c.

char ** Gia_ManBmc_t_::pSops

Definition at line 66 of file bmcBmc3.c.

char* Gia_ManBmc_t_::pSopSizes

Definition at line 66 of file bmcBmc3.c.

abctime* Gia_ManBmc_t_::pTime4Outs

Definition at line 49 of file bmcBmc3.c.

Vec_Ptr_t* Gia_ManBmc_t_::vCexes

Definition at line 40 of file bmcBmc3.c.

Vec_Int_t* Gia_ManBmc_t_::vData

Definition at line 51 of file bmcBmc3.c.

Hsh_IntMan_t* Gia_ManBmc_t_::vHash

Definition at line 52 of file bmcBmc3.c.

Vec_Int_t* Gia_ManBmc_t_::vId2Lit

Definition at line 53 of file bmcBmc3.c.

Vec_Int_t* Gia_ManBmc_t_::vId2Num

Definition at line 45 of file bmcBmc3.c.

Vec_Ptr_t* Gia_ManBmc_t_::vId2Var

Definition at line 47 of file bmcBmc3.c.

Vec_Int_t* Gia_ManBmc_t_::vMapping

Definition at line 42 of file bmcBmc3.c.

Vec_Int_t* Gia_ManBmc_t_::vMapRefs

Definition at line 43 of file bmcBmc3.c.

Vec_Ptr_t* Gia_ManBmc_t_::vTerInfo

Definition at line 46 of file bmcBmc3.c.

Vec_Wec_t* Gia_ManBmc_t_::vVisited

Definition at line 48 of file bmcBmc3.c.

---

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

• bmcBmc3.c