#include <fra.h>

Public Attributes
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.

Member Data Documentation

◆ fFraiging

int Fra_Sec_t_::fFraiging

Definition at line 129 of file fra.h.

◆ fInduction

int Fra_Sec_t_::fInduction

Definition at line 130 of file fra.h.

◆ fInterpolation

int Fra_Sec_t_::fInterpolation

Definition at line 131 of file fra.h.

◆ fInterSeparate

int Fra_Sec_t_::fInterSeparate

Definition at line 132 of file fra.h.

◆ fPhaseAbstract

int Fra_Sec_t_::fPhaseAbstract

Definition at line 126 of file fra.h.

◆ fReachability

int Fra_Sec_t_::fReachability

Definition at line 133 of file fra.h.

◆ fReadUnsolved

int Fra_Sec_t_::fReadUnsolved

Definition at line 142 of file fra.h.

◆ fRecursive

int Fra_Sec_t_::fRecursive

Definition at line 145 of file fra.h.

◆ fReorderImage

int Fra_Sec_t_::fReorderImage

Definition at line 134 of file fra.h.

◆ fReportSolution

int Fra_Sec_t_::fReportSolution

Definition at line 146 of file fra.h.

◆ fRetimeFirst

int Fra_Sec_t_::fRetimeFirst

Definition at line 127 of file fra.h.

◆ fRetimeRegs

int Fra_Sec_t_::fRetimeRegs

Definition at line 128 of file fra.h.

◆ fSilent

int Fra_Sec_t_::fSilent

Definition at line 138 of file fra.h.

◆ fStopOnFirstFail

int Fra_Sec_t_::fStopOnFirstFail

Definition at line 135 of file fra.h.

◆ fTryBmc

int Fra_Sec_t_::fTryBmc

Definition at line 117 of file fra.h.

◆ fTryComb

int Fra_Sec_t_::fTryComb

Definition at line 116 of file fra.h.

◆ fUseNewProver

int Fra_Sec_t_::fUseNewProver

Definition at line 136 of file fra.h.

◆ fUsePdr

int Fra_Sec_t_::fUsePdr

Definition at line 137 of file fra.h.

◆ fVerbose

int Fra_Sec_t_::fVerbose

Definition at line 139 of file fra.h.

◆ fVeryVerbose

int Fra_Sec_t_::fVeryVerbose

Definition at line 140 of file fra.h.

◆ nBddIterMax

int Fra_Sec_t_::nBddIterMax

Definition at line 124 of file fra.h.

◆ nBddMax

int Fra_Sec_t_::nBddMax

Definition at line 123 of file fra.h.

◆ nBddVarsMax

int Fra_Sec_t_::nBddVarsMax

Definition at line 122 of file fra.h.

◆ nBTLimit

int Fra_Sec_t_::nBTLimit

Definition at line 119 of file fra.h.

◆ nBTLimitGlobal

int Fra_Sec_t_::nBTLimitGlobal

Definition at line 120 of file fra.h.

◆ nBTLimitInter

int Fra_Sec_t_::nBTLimitInter

Definition at line 121 of file fra.h.

◆ nFramesMax

int Fra_Sec_t_::nFramesMax

Definition at line 118 of file fra.h.

◆ nPdrTimeout

int Fra_Sec_t_::nPdrTimeout

Definition at line 125 of file fra.h.

◆ nSMnumber

int Fra_Sec_t_::nSMnumber

Definition at line 143 of file fra.h.

◆ TimeLimit

int Fra_Sec_t_::TimeLimit

Definition at line 141 of file fra.h.

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

src/proof/fra/fra.h

Public Attributes