abc-master
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
Bmc_BCorePar_t_ Struct Reference

#include <bmc.h>

Data Fields

int iFrame
 
int iOutput
 
int nTimeOut
 
char * pFilePivots
 
char * pFileProof
 
int fVerbose
 

Detailed Description

Definition at line 99 of file bmc.h.

Field Documentation

int Bmc_BCorePar_t_::fVerbose

Definition at line 106 of file bmc.h.

int Bmc_BCorePar_t_::iFrame

Definition at line 101 of file bmc.h.

int Bmc_BCorePar_t_::iOutput

Definition at line 102 of file bmc.h.

int Bmc_BCorePar_t_::nTimeOut

Definition at line 103 of file bmc.h.

char* Bmc_BCorePar_t_::pFilePivots

Definition at line 104 of file bmc.h.

char* Bmc_BCorePar_t_::pFileProof

Definition at line 105 of file bmc.h.


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