#include <bmc.h>

Public Attributes
char *	pFileName

char *	pFormStr

int	Algo

int	fComplVars

int	fStartPats

int	nTimeOut

int	nIterCheck

int	nCardConstr

int	fNonStrict

int	fBasic

int	fFfOnly

int	fCheckUntest

int	fDump

int	fDumpDelay

int	fDumpUntest

int	fDumpNewFaults

int	fVerbose

Detailed Description

Definition at line 195 of file bmc.h.

Member Data Documentation

◆ Algo

int Bmc_ParFf_t_::Algo

Definition at line 199 of file bmc.h.

◆ fBasic

int Bmc_ParFf_t_::fBasic

Definition at line 206 of file bmc.h.

◆ fCheckUntest

int Bmc_ParFf_t_::fCheckUntest

Definition at line 208 of file bmc.h.

◆ fComplVars

int Bmc_ParFf_t_::fComplVars

Definition at line 200 of file bmc.h.

◆ fDump

int Bmc_ParFf_t_::fDump

Definition at line 209 of file bmc.h.

◆ fDumpDelay

int Bmc_ParFf_t_::fDumpDelay

Definition at line 210 of file bmc.h.

◆ fDumpNewFaults

int Bmc_ParFf_t_::fDumpNewFaults

Definition at line 212 of file bmc.h.

◆ fDumpUntest

int Bmc_ParFf_t_::fDumpUntest

Definition at line 211 of file bmc.h.

◆ fFfOnly

int Bmc_ParFf_t_::fFfOnly

Definition at line 207 of file bmc.h.

◆ fNonStrict

int Bmc_ParFf_t_::fNonStrict

Definition at line 205 of file bmc.h.

◆ fStartPats

int Bmc_ParFf_t_::fStartPats

Definition at line 201 of file bmc.h.

◆ fVerbose

int Bmc_ParFf_t_::fVerbose

Definition at line 213 of file bmc.h.

◆ nCardConstr

int Bmc_ParFf_t_::nCardConstr

Definition at line 204 of file bmc.h.

◆ nIterCheck

int Bmc_ParFf_t_::nIterCheck

Definition at line 203 of file bmc.h.

◆ nTimeOut

int Bmc_ParFf_t_::nTimeOut

Definition at line 202 of file bmc.h.

◆ pFileName

char* Bmc_ParFf_t_::pFileName

Definition at line 197 of file bmc.h.

◆ pFormStr

char* Bmc_ParFf_t_::pFormStr

Definition at line 198 of file bmc.h.

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

src/sat/bmc/bmc.h

Public Attributes