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 130 of file ivy.h.


Field Documentation

Definition at line 137 of file ivy.h.

Definition at line 136 of file ivy.h.

Definition at line 133 of file ivy.h.

Definition at line 140 of file ivy.h.

Definition at line 134 of file ivy.h.

Definition at line 138 of file ivy.h.

Definition at line 139 of file ivy.h.

Definition at line 135 of file ivy.h.

Definition at line 142 of file ivy.h.

Definition at line 141 of file ivy.h.

Definition at line 132 of file ivy.h.


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

Generated on Tue Jan 5 12:19:52 2010 for abc70930 by  doxygen 1.6.1