#include <bmc.h>

Public Attributes
int	nStart

int	nFramesMax

int	nFramesAdd

int	nConfLimit

int	nTimeOut

int	nLutSize

int	nProcs

int	fLoadCnf

int	fDumpFrames

int	fUseSynth

int	fUseOldCnf

int	fUseGlucose

int	fUseEliminate

int	fVerbose

int	fVeryVerbose

int	fNotVerbose

int	iFrame

int	nFailOuts

int	nDropOuts

void(*	pFuncOnFrameDone )(int, int, int)

Detailed Description

Definition at line 144 of file bmc.h.

Member Data Documentation

◆ fDumpFrames

int Bmc_AndPar_t_::fDumpFrames

Definition at line 154 of file bmc.h.

◆ fLoadCnf

int Bmc_AndPar_t_::fLoadCnf

Definition at line 153 of file bmc.h.

◆ fNotVerbose

int Bmc_AndPar_t_::fNotVerbose

Definition at line 161 of file bmc.h.

◆ fUseEliminate

int Bmc_AndPar_t_::fUseEliminate

Definition at line 158 of file bmc.h.

◆ fUseGlucose

int Bmc_AndPar_t_::fUseGlucose

Definition at line 157 of file bmc.h.

◆ fUseOldCnf

int Bmc_AndPar_t_::fUseOldCnf

Definition at line 156 of file bmc.h.

◆ fUseSynth

int Bmc_AndPar_t_::fUseSynth

Definition at line 155 of file bmc.h.

◆ fVerbose

int Bmc_AndPar_t_::fVerbose

Definition at line 159 of file bmc.h.

◆ fVeryVerbose

int Bmc_AndPar_t_::fVeryVerbose

Definition at line 160 of file bmc.h.

◆ iFrame

int Bmc_AndPar_t_::iFrame

Definition at line 162 of file bmc.h.

◆ nConfLimit

int Bmc_AndPar_t_::nConfLimit

Definition at line 149 of file bmc.h.

◆ nDropOuts

int Bmc_AndPar_t_::nDropOuts

Definition at line 164 of file bmc.h.

◆ nFailOuts

int Bmc_AndPar_t_::nFailOuts

Definition at line 163 of file bmc.h.

◆ nFramesAdd

int Bmc_AndPar_t_::nFramesAdd

Definition at line 148 of file bmc.h.

◆ nFramesMax

int Bmc_AndPar_t_::nFramesMax

Definition at line 147 of file bmc.h.

◆ nLutSize

int Bmc_AndPar_t_::nLutSize

Definition at line 151 of file bmc.h.

◆ nProcs

int Bmc_AndPar_t_::nProcs

Definition at line 152 of file bmc.h.

◆ nStart

int Bmc_AndPar_t_::nStart

Definition at line 146 of file bmc.h.

◆ nTimeOut

int Bmc_AndPar_t_::nTimeOut

Definition at line 150 of file bmc.h.

◆ pFuncOnFrameDone

void(* Bmc_AndPar_t_::pFuncOnFrameDone) (int, int, int)

Definition at line 166 of file bmc.h.

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

src/sat/bmc/bmc.h

Public Attributes