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

#include <bmc.h>

Public Attributes

int TimeOutGlo
 
int TimeOutLoc
 
int TimeOutInc
 
int TimeOutGap
 
int TimePerOut
 
int fUseSyn
 
int fDumpFinal
 
int fVerbose
 
int fVeryVerbose
 

Detailed Description

Definition at line 181 of file bmc.h.

Member Data Documentation

◆ fDumpFinal

int Bmc_MulPar_t_::fDumpFinal

Definition at line 189 of file bmc.h.

◆ fUseSyn

int Bmc_MulPar_t_::fUseSyn

Definition at line 188 of file bmc.h.

◆ fVerbose

int Bmc_MulPar_t_::fVerbose

Definition at line 190 of file bmc.h.

◆ fVeryVerbose

int Bmc_MulPar_t_::fVeryVerbose

Definition at line 191 of file bmc.h.

◆ TimeOutGap

int Bmc_MulPar_t_::TimeOutGap

Definition at line 186 of file bmc.h.

◆ TimeOutGlo

int Bmc_MulPar_t_::TimeOutGlo

Definition at line 183 of file bmc.h.

◆ TimeOutInc

int Bmc_MulPar_t_::TimeOutInc

Definition at line 185 of file bmc.h.

◆ TimeOutLoc

int Bmc_MulPar_t_::TimeOutLoc

Definition at line 184 of file bmc.h.

◆ TimePerOut

int Bmc_MulPar_t_::TimePerOut

Definition at line 187 of file bmc.h.

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