#include <bmc.h>
Definition at line 99 of file bmc.h.
int Bmc_BCorePar_t_::fVerbose |
int Bmc_BCorePar_t_::iFrame |
int Bmc_BCorePar_t_::iOutput |
int Bmc_BCorePar_t_::nTimeOut |
char* Bmc_BCorePar_t_::pFilePivots |
char* Bmc_BCorePar_t_::pFileProof |
The documentation for this struct was generated from the following file: