Saig_Bmc_t_ Struct Reference

Data Fields
int	nFramesMax
int	nNodesMax
int	nConfMaxOne
int	nConfMaxAll
int	fVerbose
Aig_Man_t *	pAig
Aig_Man_t *	pFrm
Vec_Int_t *	vVisited
int	nObjs
Vec_Ptr_t *	vAig2Frm
sat_solver *	pSat
int	nSatVars
Vec_Int_t *	vObj2Var
int	nStitchVars
Vec_Ptr_t *	vTargets
int	iFramePrev
int	iFrameLast
int	iOutputLast
int	iFrameFail
int	iOutputFail

Detailed Description

Definition at line 35 of file bmcBmc2.c.

Field Documentation

int Saig_Bmc_t_::fVerbose

Definition at line 42 of file bmcBmc2.c.

int Saig_Bmc_t_::iFrameFail

Definition at line 60 of file bmcBmc2.c.

int Saig_Bmc_t_::iFrameLast

Definition at line 58 of file bmcBmc2.c.

int Saig_Bmc_t_::iFramePrev

Definition at line 57 of file bmcBmc2.c.

int Saig_Bmc_t_::iOutputFail

Definition at line 61 of file bmcBmc2.c.

int Saig_Bmc_t_::iOutputLast

Definition at line 59 of file bmcBmc2.c.

int Saig_Bmc_t_::nConfMaxAll

Definition at line 41 of file bmcBmc2.c.

int Saig_Bmc_t_::nConfMaxOne

Definition at line 40 of file bmcBmc2.c.

int Saig_Bmc_t_::nFramesMax

Definition at line 38 of file bmcBmc2.c.

int Saig_Bmc_t_::nNodesMax

Definition at line 39 of file bmcBmc2.c.

int Saig_Bmc_t_::nObjs

Definition at line 48 of file bmcBmc2.c.

int Saig_Bmc_t_::nSatVars

Definition at line 52 of file bmcBmc2.c.

int Saig_Bmc_t_::nStitchVars

Definition at line 54 of file bmcBmc2.c.

Aig_Man_t* Saig_Bmc_t_::pAig

Definition at line 44 of file bmcBmc2.c.

Aig_Man_t* Saig_Bmc_t_::pFrm

Definition at line 45 of file bmcBmc2.c.

sat_solver* Saig_Bmc_t_::pSat

Definition at line 51 of file bmcBmc2.c.

Vec_Ptr_t* Saig_Bmc_t_::vAig2Frm

Definition at line 49 of file bmcBmc2.c.

Vec_Int_t* Saig_Bmc_t_::vObj2Var

Definition at line 53 of file bmcBmc2.c.

Vec_Ptr_t* Saig_Bmc_t_::vTargets

Definition at line 56 of file bmcBmc2.c.

Vec_Int_t* Saig_Bmc_t_::vVisited

Definition at line 46 of file bmcBmc2.c.

---

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

• bmcBmc2.c