#include <fra.h>

Public Attributes
int	nSimWords

double	dSimSatur

int	fPatScores

int	MaxScore

double	dActConeRatio

double	dActConeBumpMax

int	fChoicing

int	fSpeculate

int	fProve

int	fVerbose

int	fDoSparse

int	fConeBias

int	nBTLimitNode

int	nBTLimitMiter

int	nLevelMax

int	nFramesP

int	nFramesK

int	nMaxImps

int	nMaxLevs

int	fRewrite

int	fLatchCorr

int	fUseImps

int	fUse1Hot

int	fWriteImps

int	fDontShowBar

Detailed Description

Definition at line 62 of file fra.h.

Member Data Documentation

◆ dActConeBumpMax

double Fra_Par_t_::dActConeBumpMax

Definition at line 69 of file fra.h.

◆ dActConeRatio

double Fra_Par_t_::dActConeRatio

Definition at line 68 of file fra.h.

◆ dSimSatur

double Fra_Par_t_::dSimSatur

Definition at line 65 of file fra.h.

◆ fChoicing

int Fra_Par_t_::fChoicing

Definition at line 70 of file fra.h.

◆ fConeBias

int Fra_Par_t_::fConeBias

Definition at line 75 of file fra.h.

◆ fDontShowBar

int Fra_Par_t_::fDontShowBar

Definition at line 88 of file fra.h.

◆ fDoSparse

int Fra_Par_t_::fDoSparse

Definition at line 74 of file fra.h.

◆ fLatchCorr

int Fra_Par_t_::fLatchCorr

Definition at line 84 of file fra.h.

◆ fPatScores

int Fra_Par_t_::fPatScores

Definition at line 66 of file fra.h.

◆ fProve

int Fra_Par_t_::fProve

Definition at line 72 of file fra.h.

◆ fRewrite

int Fra_Par_t_::fRewrite

Definition at line 83 of file fra.h.

◆ fSpeculate

int Fra_Par_t_::fSpeculate

Definition at line 71 of file fra.h.

◆ fUse1Hot

int Fra_Par_t_::fUse1Hot

Definition at line 86 of file fra.h.

◆ fUseImps

int Fra_Par_t_::fUseImps

Definition at line 85 of file fra.h.

◆ fVerbose

int Fra_Par_t_::fVerbose

Definition at line 73 of file fra.h.

◆ fWriteImps

int Fra_Par_t_::fWriteImps

Definition at line 87 of file fra.h.

◆ MaxScore

int Fra_Par_t_::MaxScore

Definition at line 67 of file fra.h.

◆ nBTLimitMiter

int Fra_Par_t_::nBTLimitMiter

Definition at line 77 of file fra.h.

◆ nBTLimitNode

int Fra_Par_t_::nBTLimitNode

Definition at line 76 of file fra.h.

◆ nFramesK

int Fra_Par_t_::nFramesK

Definition at line 80 of file fra.h.

◆ nFramesP

int Fra_Par_t_::nFramesP

Definition at line 79 of file fra.h.

◆ nLevelMax

int Fra_Par_t_::nLevelMax

Definition at line 78 of file fra.h.

◆ nMaxImps

int Fra_Par_t_::nMaxImps

Definition at line 81 of file fra.h.

◆ nMaxLevs

int Fra_Par_t_::nMaxLevs

Definition at line 82 of file fra.h.

◆ nSimWords

int Fra_Par_t_::nSimWords

Definition at line 64 of file fra.h.

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

src/proof/fra/fra.h

Public Attributes