Bmc_Mna_t_ Struct Reference

Data Fields
Gia_Man_t *	pFrames
Cnf_Dat_t *	pCnf
Vec_Int_t *	vPiMap
Vec_Int_t *	vId2Var
Vec_Int_t *	vInputs
Vec_Int_t *	vOutputs
Vec_Int_t *	vNodes
sat_solver *	pSat
int	nSatVars
abctime	clkStart

Detailed Description

Definition at line 34 of file bmcBmcAnd.c.

Field Documentation

abctime Bmc_Mna_t_::clkStart

Definition at line 45 of file bmcBmcAnd.c.

int Bmc_Mna_t_::nSatVars

Definition at line 44 of file bmcBmcAnd.c.

Cnf_Dat_t* Bmc_Mna_t_::pCnf

Definition at line 37 of file bmcBmcAnd.c.

Gia_Man_t* Bmc_Mna_t_::pFrames

Definition at line 36 of file bmcBmcAnd.c.

sat_solver* Bmc_Mna_t_::pSat

Definition at line 43 of file bmcBmcAnd.c.

Vec_Int_t* Bmc_Mna_t_::vId2Var

Definition at line 39 of file bmcBmcAnd.c.

Vec_Int_t* Bmc_Mna_t_::vInputs

Definition at line 40 of file bmcBmcAnd.c.

Vec_Int_t* Bmc_Mna_t_::vNodes

Definition at line 42 of file bmcBmcAnd.c.

Vec_Int_t* Bmc_Mna_t_::vOutputs

Definition at line 41 of file bmcBmcAnd.c.

Vec_Int_t* Bmc_Mna_t_::vPiMap

Definition at line 38 of file bmcBmcAnd.c.

---

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

• bmcBmcAnd.c