Saig_ParBmc_t_ Struct Reference

#include <bmc.h>

Data Fields
int	nStart
int	nFramesMax
int	nConfLimit
int	nConfLimitJump
int	nFramesJump
int	nTimeOut
int	nTimeOutGap
int	nTimeOutOne
int	nPisAbstract
int	fSolveAll
int	fStoreCex
int	fUseBridge
int	fDropSatOuts
int	nFfToAddMax
int	fSkipRand
int	nLearnedStart
int	nLearnedDelta
int	nLearnedPerce
int	fVerbose
int	fNotVerbose
char *	pLogFileName
int	fSilent
int	iFrame
int	nFailOuts
int	nDropOuts
abctime	timeLastSolved
int(*	pFuncOnFail )(int, Abc_Cex_t *)

Detailed Description

Definition at line 46 of file bmc.h.

Field Documentation

int Saig_ParBmc_t_::fDropSatOuts

Definition at line 60 of file bmc.h.

int Saig_ParBmc_t_::fNotVerbose

Definition at line 67 of file bmc.h.

int Saig_ParBmc_t_::fSilent

Definition at line 69 of file bmc.h.

int Saig_ParBmc_t_::fSkipRand

Definition at line 62 of file bmc.h.

int Saig_ParBmc_t_::fSolveAll

Definition at line 57 of file bmc.h.

int Saig_ParBmc_t_::fStoreCex

Definition at line 58 of file bmc.h.

int Saig_ParBmc_t_::fUseBridge

Definition at line 59 of file bmc.h.

int Saig_ParBmc_t_::fVerbose

Definition at line 66 of file bmc.h.

int Saig_ParBmc_t_::iFrame

Definition at line 70 of file bmc.h.

int Saig_ParBmc_t_::nConfLimit

Definition at line 50 of file bmc.h.

int Saig_ParBmc_t_::nConfLimitJump

Definition at line 51 of file bmc.h.

int Saig_ParBmc_t_::nDropOuts

Definition at line 72 of file bmc.h.

int Saig_ParBmc_t_::nFailOuts

Definition at line 71 of file bmc.h.

int Saig_ParBmc_t_::nFfToAddMax

Definition at line 61 of file bmc.h.

int Saig_ParBmc_t_::nFramesJump

Definition at line 52 of file bmc.h.

int Saig_ParBmc_t_::nFramesMax

Definition at line 49 of file bmc.h.

int Saig_ParBmc_t_::nLearnedDelta

Definition at line 64 of file bmc.h.

int Saig_ParBmc_t_::nLearnedPerce

Definition at line 65 of file bmc.h.

int Saig_ParBmc_t_::nLearnedStart

Definition at line 63 of file bmc.h.

int Saig_ParBmc_t_::nPisAbstract

Definition at line 56 of file bmc.h.

int Saig_ParBmc_t_::nStart

Definition at line 48 of file bmc.h.

int Saig_ParBmc_t_::nTimeOut

Definition at line 53 of file bmc.h.

int Saig_ParBmc_t_::nTimeOutGap

Definition at line 54 of file bmc.h.

int Saig_ParBmc_t_::nTimeOutOne

Definition at line 55 of file bmc.h.

int(* Saig_ParBmc_t_::pFuncOnFail)(int, Abc_Cex_t *)

Definition at line 74 of file bmc.h.

char* Saig_ParBmc_t_::pLogFileName

Definition at line 68 of file bmc.h.

abctime Saig_ParBmc_t_::timeLastSolved

Definition at line 73 of file bmc.h.

---

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

• bmc.h