Ivy_FraigParams_t_ Struct Reference

#include <ivy.h>

Data Fields
int	nSimWords
double	dSimSatur
int	fPatScores
int	MaxScore
double	dActConeRatio
double	dActConeBumpMax
int	fProve
int	fVerbose
int	fDoSparse
int	nBTLimitNode
int	nBTLimitMiter

Detailed Description

Definition at line 132 of file ivy.h.

Field Documentation

double Ivy_FraigParams_t_::dActConeBumpMax

Definition at line 139 of file ivy.h.

double Ivy_FraigParams_t_::dActConeRatio

Definition at line 138 of file ivy.h.

double Ivy_FraigParams_t_::dSimSatur

Definition at line 135 of file ivy.h.

int Ivy_FraigParams_t_::fDoSparse

Definition at line 142 of file ivy.h.

int Ivy_FraigParams_t_::fPatScores

Definition at line 136 of file ivy.h.

int Ivy_FraigParams_t_::fProve

Definition at line 140 of file ivy.h.

int Ivy_FraigParams_t_::fVerbose

Definition at line 141 of file ivy.h.

int Ivy_FraigParams_t_::MaxScore

Definition at line 137 of file ivy.h.

int Ivy_FraigParams_t_::nBTLimitMiter

Definition at line 144 of file ivy.h.

int Ivy_FraigParams_t_::nBTLimitNode

Definition at line 143 of file ivy.h.

int Ivy_FraigParams_t_::nSimWords

Definition at line 134 of file ivy.h.

---

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

• ivy.h