ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Bmcs_Man_t_ Struct Reference
Collaboration diagram for Bmcs_Man_t_:

Public Attributes

Bmc_AndPar_tpPars
 
Gia_Man_tpGia
 
Gia_Man_tpFrames
 
Gia_Man_tpClean
 
Vec_Ptr_t vGia2Fr
 
Vec_Int_t vFr2Sat
 
Vec_Int_t vCiMap
 
bmc_sat_solverpSats [PAR_THR_MAX]
 
int nSatVars
 
int nSatVarsOld
 
int fStopNow
 
abctime timeUnf
 
abctime timeCnf
 
abctime timeSat
 
abctime timeOth
 

Detailed Description

Definition at line 70 of file bmcBmcS.c.

Member Data Documentation

◆ fStopNow

int Bmcs_Man_t_::fStopNow

Definition at line 82 of file bmcBmcS.c.

◆ nSatVars

int Bmcs_Man_t_::nSatVars

Definition at line 80 of file bmcBmcS.c.

◆ nSatVarsOld

int Bmcs_Man_t_::nSatVarsOld

Definition at line 81 of file bmcBmcS.c.

◆ pClean

Gia_Man_t* Bmcs_Man_t_::pClean

Definition at line 75 of file bmcBmcS.c.

◆ pFrames

Gia_Man_t* Bmcs_Man_t_::pFrames

Definition at line 74 of file bmcBmcS.c.

◆ pGia

Gia_Man_t* Bmcs_Man_t_::pGia

Definition at line 73 of file bmcBmcS.c.

◆ pPars

Bmc_AndPar_t* Bmcs_Man_t_::pPars

Definition at line 72 of file bmcBmcS.c.

◆ pSats

bmc_sat_solver* Bmcs_Man_t_::pSats[PAR_THR_MAX]

Definition at line 79 of file bmcBmcS.c.

◆ timeCnf

abctime Bmcs_Man_t_::timeCnf

Definition at line 84 of file bmcBmcS.c.

◆ timeOth

abctime Bmcs_Man_t_::timeOth

Definition at line 86 of file bmcBmcS.c.

◆ timeSat

abctime Bmcs_Man_t_::timeSat

Definition at line 85 of file bmcBmcS.c.

◆ timeUnf

abctime Bmcs_Man_t_::timeUnf

Definition at line 83 of file bmcBmcS.c.

◆ vCiMap

Vec_Int_t Bmcs_Man_t_::vCiMap

Definition at line 78 of file bmcBmcS.c.

◆ vFr2Sat

Vec_Int_t Bmcs_Man_t_::vFr2Sat

Definition at line 77 of file bmcBmcS.c.

◆ vGia2Fr

Vec_Ptr_t Bmcs_Man_t_::vGia2Fr

Definition at line 76 of file bmcBmcS.c.


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