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

Public Attributes

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.

Member Data Documentation

◆ nCallBacks1

int Bmc_Load_t_::nCallBacks1

Definition at line 40 of file bmcLoad.c.

◆ nCallBacks2

int Bmc_Load_t_::nCallBacks2

Definition at line 41 of file bmcLoad.c.

◆ pGia

Gia_Man_t* Bmc_Load_t_::pGia

Definition at line 35 of file bmcLoad.c.

◆ pPars

Bmc_AndPar_t* Bmc_Load_t_::pPars

Definition at line 34 of file bmcLoad.c.

◆ pSat

sat_solver* Bmc_Load_t_::pSat

Definition at line 36 of file bmcLoad.c.

◆ vSat2Id

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: