Fra_Sec_t_ Struct Reference

#include <fra.h>

Data Fields
int	fTryComb
int	fTryBmc
int	nFramesMax
int	nBTLimit
int	nBTLimitGlobal
int	nBTLimitInter
int	nBddVarsMax
int	nBddMax
int	nBddIterMax
int	nPdrTimeout
int	fPhaseAbstract
int	fRetimeFirst
int	fRetimeRegs
int	fFraiging
int	fInduction
int	fInterpolation
int	fInterSeparate
int	fReachability
int	fReorderImage
int	fStopOnFirstFail
int	fUseNewProver
int	fUsePdr
int	fSilent
int	fVerbose
int	fVeryVerbose
int	TimeLimit
int	fReadUnsolved
int	nSMnumber
int	fRecursive
int	fReportSolution

Detailed Description

Definition at line 114 of file fra.h.

Field Documentation

int Fra_Sec_t_::fFraiging

Definition at line 129 of file fra.h.

int Fra_Sec_t_::fInduction

Definition at line 130 of file fra.h.

int Fra_Sec_t_::fInterpolation

Definition at line 131 of file fra.h.

int Fra_Sec_t_::fInterSeparate

Definition at line 132 of file fra.h.

int Fra_Sec_t_::fPhaseAbstract

Definition at line 126 of file fra.h.

int Fra_Sec_t_::fReachability

Definition at line 133 of file fra.h.

int Fra_Sec_t_::fReadUnsolved

Definition at line 142 of file fra.h.

int Fra_Sec_t_::fRecursive

Definition at line 145 of file fra.h.

int Fra_Sec_t_::fReorderImage

Definition at line 134 of file fra.h.

int Fra_Sec_t_::fReportSolution

Definition at line 146 of file fra.h.

int Fra_Sec_t_::fRetimeFirst

Definition at line 127 of file fra.h.

int Fra_Sec_t_::fRetimeRegs

Definition at line 128 of file fra.h.

int Fra_Sec_t_::fSilent

Definition at line 138 of file fra.h.

int Fra_Sec_t_::fStopOnFirstFail

Definition at line 135 of file fra.h.

int Fra_Sec_t_::fTryBmc

Definition at line 117 of file fra.h.

int Fra_Sec_t_::fTryComb

Definition at line 116 of file fra.h.

int Fra_Sec_t_::fUseNewProver

Definition at line 136 of file fra.h.

int Fra_Sec_t_::fUsePdr

Definition at line 137 of file fra.h.

int Fra_Sec_t_::fVerbose

Definition at line 139 of file fra.h.

int Fra_Sec_t_::fVeryVerbose

Definition at line 140 of file fra.h.

int Fra_Sec_t_::nBddIterMax

Definition at line 124 of file fra.h.

int Fra_Sec_t_::nBddMax

Definition at line 123 of file fra.h.

int Fra_Sec_t_::nBddVarsMax

Definition at line 122 of file fra.h.

int Fra_Sec_t_::nBTLimit

Definition at line 119 of file fra.h.

int Fra_Sec_t_::nBTLimitGlobal

Definition at line 120 of file fra.h.

int Fra_Sec_t_::nBTLimitInter

Definition at line 121 of file fra.h.

int Fra_Sec_t_::nFramesMax

Definition at line 118 of file fra.h.

int Fra_Sec_t_::nPdrTimeout

Definition at line 125 of file fra.h.

int Fra_Sec_t_::nSMnumber

Definition at line 143 of file fra.h.

int Fra_Sec_t_::TimeLimit

Definition at line 141 of file fra.h.

---

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

• fra.h