Bmc_Load_t_ Struct Reference

Data Fields
Bmc_AndPar_t *	pPars
Gia_Man_t *	pGia
sat_solver *	pSat
Vec_Int_t *	vSat2Id
int	nCallBacks1
int	nCallBacks2

Detailed Description

Definition at line 32 of file bmcLoad.c.

Field Documentation

int Bmc_Load_t_::nCallBacks1

Definition at line 40 of file bmcLoad.c.

int Bmc_Load_t_::nCallBacks2

Definition at line 41 of file bmcLoad.c.

Gia_Man_t* Bmc_Load_t_::pGia

Definition at line 35 of file bmcLoad.c.

Bmc_AndPar_t* Bmc_Load_t_::pPars

Definition at line 34 of file bmcLoad.c.

sat_solver* Bmc_Load_t_::pSat

Definition at line 36 of file bmcLoad.c.

Vec_Int_t* Bmc_Load_t_::vSat2Id

Definition at line 37 of file bmcLoad.c.

---

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

• bmcLoad.c