ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Public Attributes | List of all members
Gia_ManBmc_t_ Struct Reference
Collaboration diagram for Gia_ManBmc_t_:
Collaboration graph
[legend]

Public Attributes

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
 
satoko_t * pSat2
 
bmcg_sat_solver * pSat3
 
int nSatVars
 
int nObjNums
 
int nWordNum
 
char * pSopSizes
 
char ** pSops
 

Detailed Description

Definition at line 37 of file bmcBmc3.c.

Member Data Documentation

◆ nBufNum

int Gia_ManBmc_t_::nBufNum

Definition at line 58 of file bmcBmc3.c.

◆ nDupNum

int Gia_ManBmc_t_::nDupNum

Definition at line 59 of file bmcBmc3.c.

◆ nHashHit

int Gia_ManBmc_t_::nHashHit

Definition at line 56 of file bmcBmc3.c.

◆ nHashMiss

int Gia_ManBmc_t_::nHashMiss

Definition at line 57 of file bmcBmc3.c.

◆ nLitUsed

int Gia_ManBmc_t_::nLitUsed

Definition at line 61 of file bmcBmc3.c.

◆ nLitUseless

int Gia_ManBmc_t_::nLitUseless

Definition at line 62 of file bmcBmc3.c.

◆ nObjNums

int Gia_ManBmc_t_::nObjNums

Definition at line 68 of file bmcBmc3.c.

◆ nSatVars

int Gia_ManBmc_t_::nSatVars

Definition at line 67 of file bmcBmc3.c.

◆ nUniProps

int Gia_ManBmc_t_::nUniProps

Definition at line 60 of file bmcBmc3.c.

◆ nWordNum

int Gia_ManBmc_t_::nWordNum

Definition at line 69 of file bmcBmc3.c.

◆ pAig

Aig_Man_t* Gia_ManBmc_t_::pAig

Definition at line 41 of file bmcBmc3.c.

◆ pPars

Saig_ParBmc_t* Gia_ManBmc_t_::pPars

Definition at line 40 of file bmcBmc3.c.

◆ pSat

sat_solver* Gia_ManBmc_t_::pSat

Definition at line 64 of file bmcBmc3.c.

◆ pSat2

satoko_t* Gia_ManBmc_t_::pSat2

Definition at line 65 of file bmcBmc3.c.

◆ pSat3

bmcg_sat_solver* Gia_ManBmc_t_::pSat3

Definition at line 66 of file bmcBmc3.c.

◆ pSops

char ** Gia_ManBmc_t_::pSops

Definition at line 70 of file bmcBmc3.c.

◆ pSopSizes

char* Gia_ManBmc_t_::pSopSizes

Definition at line 70 of file bmcBmc3.c.

◆ pTime4Outs

abctime* Gia_ManBmc_t_::pTime4Outs

Definition at line 51 of file bmcBmc3.c.

◆ vCexes

Vec_Ptr_t* Gia_ManBmc_t_::vCexes

Definition at line 42 of file bmcBmc3.c.

◆ vData

Vec_Int_t* Gia_ManBmc_t_::vData

Definition at line 53 of file bmcBmc3.c.

◆ vHash

Hsh_IntMan_t* Gia_ManBmc_t_::vHash

Definition at line 54 of file bmcBmc3.c.

◆ vId2Lit

Vec_Int_t* Gia_ManBmc_t_::vId2Lit

Definition at line 55 of file bmcBmc3.c.

◆ vId2Num

Vec_Int_t* Gia_ManBmc_t_::vId2Num

Definition at line 47 of file bmcBmc3.c.

◆ vId2Var

Vec_Ptr_t* Gia_ManBmc_t_::vId2Var

Definition at line 49 of file bmcBmc3.c.

◆ vMapping

Vec_Int_t* Gia_ManBmc_t_::vMapping

Definition at line 44 of file bmcBmc3.c.

◆ vMapRefs

Vec_Int_t* Gia_ManBmc_t_::vMapRefs

Definition at line 45 of file bmcBmc3.c.

◆ vTerInfo

Vec_Ptr_t* Gia_ManBmc_t_::vTerInfo

Definition at line 48 of file bmcBmc3.c.

◆ vVisited

Vec_Wec_t* Gia_ManBmc_t_::vVisited

Definition at line 50 of file bmcBmc3.c.

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