#include <bmc.h>

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

int	fUseSatoko

int	fUseGlucose

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 *)

int	RunId

int(*	pFuncStop )(int)

Detailed Description

Definition at line 106 of file bmc.h.

Member Data Documentation

◆ fDropSatOuts

int Saig_ParBmc_t_::fDropSatOuts

Definition at line 120 of file bmc.h.

◆ fNoRestarts

int Saig_ParBmc_t_::fNoRestarts

Definition at line 123 of file bmc.h.

◆ fNotVerbose

int Saig_ParBmc_t_::fNotVerbose

Definition at line 130 of file bmc.h.

◆ fSilent

int Saig_ParBmc_t_::fSilent

Definition at line 132 of file bmc.h.

◆ fSkipRand

int Saig_ParBmc_t_::fSkipRand

Definition at line 122 of file bmc.h.

◆ fSolveAll

int Saig_ParBmc_t_::fSolveAll

Definition at line 117 of file bmc.h.

◆ fStoreCex

int Saig_ParBmc_t_::fStoreCex

Definition at line 118 of file bmc.h.

◆ fUseBridge

int Saig_ParBmc_t_::fUseBridge

Definition at line 119 of file bmc.h.

◆ fUseGlucose

int Saig_ParBmc_t_::fUseGlucose

Definition at line 125 of file bmc.h.

◆ fUseSatoko

int Saig_ParBmc_t_::fUseSatoko

Definition at line 124 of file bmc.h.

◆ fVerbose

int Saig_ParBmc_t_::fVerbose

Definition at line 129 of file bmc.h.

◆ iFrame

int Saig_ParBmc_t_::iFrame

Definition at line 133 of file bmc.h.

◆ nConfLimit

int Saig_ParBmc_t_::nConfLimit

Definition at line 110 of file bmc.h.

◆ nConfLimitJump

int Saig_ParBmc_t_::nConfLimitJump

Definition at line 111 of file bmc.h.

◆ nDropOuts

int Saig_ParBmc_t_::nDropOuts

Definition at line 135 of file bmc.h.

◆ nFailOuts

int Saig_ParBmc_t_::nFailOuts

Definition at line 134 of file bmc.h.

◆ nFfToAddMax

int Saig_ParBmc_t_::nFfToAddMax

Definition at line 121 of file bmc.h.

◆ nFramesJump

int Saig_ParBmc_t_::nFramesJump

Definition at line 112 of file bmc.h.

◆ nFramesMax

int Saig_ParBmc_t_::nFramesMax

Definition at line 109 of file bmc.h.

◆ nLearnedDelta

int Saig_ParBmc_t_::nLearnedDelta

Definition at line 127 of file bmc.h.

◆ nLearnedPerce

int Saig_ParBmc_t_::nLearnedPerce

Definition at line 128 of file bmc.h.

◆ nLearnedStart

int Saig_ParBmc_t_::nLearnedStart

Definition at line 126 of file bmc.h.

◆ nPisAbstract

int Saig_ParBmc_t_::nPisAbstract

Definition at line 116 of file bmc.h.

◆ nStart

int Saig_ParBmc_t_::nStart

Definition at line 108 of file bmc.h.

◆ nTimeOut

int Saig_ParBmc_t_::nTimeOut

Definition at line 113 of file bmc.h.

◆ nTimeOutGap

int Saig_ParBmc_t_::nTimeOutGap

Definition at line 114 of file bmc.h.

◆ nTimeOutOne

int Saig_ParBmc_t_::nTimeOutOne

Definition at line 115 of file bmc.h.

◆ pFuncOnFail

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

Definition at line 137 of file bmc.h.

◆ pFuncStop

int(* Saig_ParBmc_t_::pFuncStop) (int)

Definition at line 139 of file bmc.h.

◆ pLogFileName

char* Saig_ParBmc_t_::pLogFileName

Definition at line 131 of file bmc.h.

◆ RunId

int Saig_ParBmc_t_::RunId

Definition at line 138 of file bmc.h.

◆ timeLastSolved

abctime Saig_ParBmc_t_::timeLastSolved

Definition at line 136 of file bmc.h.

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

src/sat/bmc/bmc.h

Public Attributes