abc-master
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
Fra_Par_t_ Struct Reference

#include <fra.h>

Data Fields

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.

Field Documentation

double Fra_Par_t_::dActConeBumpMax

Definition at line 69 of file fra.h.

double Fra_Par_t_::dActConeRatio

Definition at line 68 of file fra.h.

double Fra_Par_t_::dSimSatur

Definition at line 65 of file fra.h.

int Fra_Par_t_::fChoicing

Definition at line 70 of file fra.h.

int Fra_Par_t_::fConeBias

Definition at line 75 of file fra.h.

int Fra_Par_t_::fDontShowBar

Definition at line 88 of file fra.h.

int Fra_Par_t_::fDoSparse

Definition at line 74 of file fra.h.

int Fra_Par_t_::fLatchCorr

Definition at line 84 of file fra.h.

int Fra_Par_t_::fPatScores

Definition at line 66 of file fra.h.

int Fra_Par_t_::fProve

Definition at line 72 of file fra.h.

int Fra_Par_t_::fRewrite

Definition at line 83 of file fra.h.

int Fra_Par_t_::fSpeculate

Definition at line 71 of file fra.h.

int Fra_Par_t_::fUse1Hot

Definition at line 86 of file fra.h.

int Fra_Par_t_::fUseImps

Definition at line 85 of file fra.h.

int Fra_Par_t_::fVerbose

Definition at line 73 of file fra.h.

int Fra_Par_t_::fWriteImps

Definition at line 87 of file fra.h.

int Fra_Par_t_::MaxScore

Definition at line 67 of file fra.h.

int Fra_Par_t_::nBTLimitMiter

Definition at line 77 of file fra.h.

int Fra_Par_t_::nBTLimitNode

Definition at line 76 of file fra.h.

int Fra_Par_t_::nFramesK

Definition at line 80 of file fra.h.

int Fra_Par_t_::nFramesP

Definition at line 79 of file fra.h.

int Fra_Par_t_::nLevelMax

Definition at line 78 of file fra.h.

int Fra_Par_t_::nMaxImps

Definition at line 81 of file fra.h.

int Fra_Par_t_::nMaxLevs

Definition at line 82 of file fra.h.

int Fra_Par_t_::nSimWords

Definition at line 64 of file fra.h.


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