ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Public Attributes | List of all members
Bmc_BCorePar_t_ Struct Reference

#include <bmc.h>

Public Attributes

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

Detailed Description

Definition at line 170 of file bmc.h.

Member Data Documentation

◆ fVerbose

int Bmc_BCorePar_t_::fVerbose

Definition at line 177 of file bmc.h.

◆ iFrame

int Bmc_BCorePar_t_::iFrame

Definition at line 172 of file bmc.h.

◆ iOutput

int Bmc_BCorePar_t_::iOutput

Definition at line 173 of file bmc.h.

◆ nTimeOut

int Bmc_BCorePar_t_::nTimeOut

Definition at line 174 of file bmc.h.

◆ pFilePivots

char* Bmc_BCorePar_t_::pFilePivots

Definition at line 175 of file bmc.h.

◆ pFileProof

char* Bmc_BCorePar_t_::pFileProof

Definition at line 176 of file bmc.h.

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