Bmc_ParFf_t_ Struct Reference

#include <bmc.h>

Data Fields
char *	pFileName
char *	pFormStr
int	Algo
int	fComplVars
int	fStartPats
int	nTimeOut
int	nIterCheck
int	fBasic
int	fDump
int	fDumpUntest
int	fVerbose

Detailed Description

Definition at line 124 of file bmc.h.

Field Documentation

int Bmc_ParFf_t_::Algo

Definition at line 128 of file bmc.h.

int Bmc_ParFf_t_::fBasic

Definition at line 133 of file bmc.h.

int Bmc_ParFf_t_::fComplVars

Definition at line 129 of file bmc.h.

int Bmc_ParFf_t_::fDump

Definition at line 134 of file bmc.h.

int Bmc_ParFf_t_::fDumpUntest

Definition at line 135 of file bmc.h.

int Bmc_ParFf_t_::fStartPats

Definition at line 130 of file bmc.h.

int Bmc_ParFf_t_::fVerbose

Definition at line 136 of file bmc.h.

int Bmc_ParFf_t_::nIterCheck

Definition at line 132 of file bmc.h.

int Bmc_ParFf_t_::nTimeOut

Definition at line 131 of file bmc.h.

char* Bmc_ParFf_t_::pFileName

Definition at line 126 of file bmc.h.

char* Bmc_ParFf_t_::pFormStr

Definition at line 127 of file bmc.h.

---

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

• bmc.h