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

Public Attributes

int nFramesMax
 
int nNodesMax
 
int nConfMaxOne
 
int nConfMaxAll
 
int fVerbose
 
Aig_Man_t * pAig
 
Aig_Man_t * pFrm
 
Vec_Int_t * vVisited
 
int nObjs
 
Vec_Ptr_t * vAig2Frm
 
sat_solver * pSat
 
satoko_t * pSat2
 
int nSatVars
 
Vec_Int_t * vObj2Var
 
int nStitchVars
 
Vec_Ptr_t * vTargets
 
int iFramePrev
 
int iFrameLast
 
int iOutputLast
 
int iFrameFail
 
int iOutputFail
 

Detailed Description

Definition at line 36 of file bmcBmc2.c.

Member Data Documentation

◆ fVerbose

int Saig_Bmc_t_::fVerbose

Definition at line 43 of file bmcBmc2.c.

◆ iFrameFail

int Saig_Bmc_t_::iFrameFail

Definition at line 62 of file bmcBmc2.c.

◆ iFrameLast

int Saig_Bmc_t_::iFrameLast

Definition at line 60 of file bmcBmc2.c.

◆ iFramePrev

int Saig_Bmc_t_::iFramePrev

Definition at line 59 of file bmcBmc2.c.

◆ iOutputFail

int Saig_Bmc_t_::iOutputFail

Definition at line 63 of file bmcBmc2.c.

◆ iOutputLast

int Saig_Bmc_t_::iOutputLast

Definition at line 61 of file bmcBmc2.c.

◆ nConfMaxAll

int Saig_Bmc_t_::nConfMaxAll

Definition at line 42 of file bmcBmc2.c.

◆ nConfMaxOne

int Saig_Bmc_t_::nConfMaxOne

Definition at line 41 of file bmcBmc2.c.

◆ nFramesMax

int Saig_Bmc_t_::nFramesMax

Definition at line 39 of file bmcBmc2.c.

◆ nNodesMax

int Saig_Bmc_t_::nNodesMax

Definition at line 40 of file bmcBmc2.c.

◆ nObjs

int Saig_Bmc_t_::nObjs

Definition at line 49 of file bmcBmc2.c.

◆ nSatVars

int Saig_Bmc_t_::nSatVars

Definition at line 54 of file bmcBmc2.c.

◆ nStitchVars

int Saig_Bmc_t_::nStitchVars

Definition at line 56 of file bmcBmc2.c.

◆ pAig

Aig_Man_t* Saig_Bmc_t_::pAig

Definition at line 45 of file bmcBmc2.c.

◆ pFrm

Aig_Man_t* Saig_Bmc_t_::pFrm

Definition at line 46 of file bmcBmc2.c.

◆ pSat

sat_solver* Saig_Bmc_t_::pSat

Definition at line 52 of file bmcBmc2.c.

◆ pSat2

satoko_t* Saig_Bmc_t_::pSat2

Definition at line 53 of file bmcBmc2.c.

◆ vAig2Frm

Vec_Ptr_t* Saig_Bmc_t_::vAig2Frm

Definition at line 50 of file bmcBmc2.c.

◆ vObj2Var

Vec_Int_t* Saig_Bmc_t_::vObj2Var

Definition at line 55 of file bmcBmc2.c.

◆ vTargets

Vec_Ptr_t* Saig_Bmc_t_::vTargets

Definition at line 58 of file bmcBmc2.c.

◆ vVisited

Vec_Int_t* Saig_Bmc_t_::vVisited

Definition at line 47 of file bmcBmc2.c.

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