Collaboration diagram for Bmc_Mna_t_:

[legend]

Public Attributes
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.

Member Data Documentation

◆ clkStart

abctime Bmc_Mna_t_::clkStart

Definition at line 45 of file bmcBmcAnd.c.

◆ nSatVars

int Bmc_Mna_t_::nSatVars

Definition at line 44 of file bmcBmcAnd.c.

◆ pCnf

Cnf_Dat_t* Bmc_Mna_t_::pCnf

Definition at line 37 of file bmcBmcAnd.c.

◆ pFrames

Gia_Man_t* Bmc_Mna_t_::pFrames

Definition at line 36 of file bmcBmcAnd.c.

◆ pSat

sat_solver* Bmc_Mna_t_::pSat

Definition at line 43 of file bmcBmcAnd.c.

◆ vId2Var

Vec_Int_t* Bmc_Mna_t_::vId2Var

Definition at line 39 of file bmcBmcAnd.c.

◆ vInputs

Vec_Int_t* Bmc_Mna_t_::vInputs

Definition at line 40 of file bmcBmcAnd.c.

◆ vNodes

Vec_Int_t* Bmc_Mna_t_::vNodes

Definition at line 42 of file bmcBmcAnd.c.

◆ vOutputs

Vec_Int_t* Bmc_Mna_t_::vOutputs

Definition at line 41 of file bmcBmcAnd.c.

◆ vPiMap

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:

src/sat/bmc/bmcBmcAnd.c

Public Attributes