Fraig_ParamsStruct_t_ Struct Reference

#include <fraig.h>

Data Fields
int	nPatsRand
int	nPatsDyna
int	nBTLimit
int	nSeconds
int	fFuncRed
int	fFeedBack
int	fDist1Pats
int	fDoSparse
int	fChoicing
int	fTryProve
int	fVerbose
int	fVerboseP
int	fInternal
int	nConfLimit
sint64	nInspLimit

---

Detailed Description

Definition at line 57 of file fraig.h.

---

Field Documentation

int Fraig_ParamsStruct_t_::fChoicing

Definition at line 67 of file fraig.h.

int Fraig_ParamsStruct_t_::fDist1Pats

Definition at line 65 of file fraig.h.

int Fraig_ParamsStruct_t_::fDoSparse

Definition at line 66 of file fraig.h.

int Fraig_ParamsStruct_t_::fFeedBack

Definition at line 64 of file fraig.h.

int Fraig_ParamsStruct_t_::fFuncRed

Definition at line 63 of file fraig.h.

int Fraig_ParamsStruct_t_::fInternal

Definition at line 71 of file fraig.h.

int Fraig_ParamsStruct_t_::fTryProve

Definition at line 68 of file fraig.h.

int Fraig_ParamsStruct_t_::fVerbose

Definition at line 69 of file fraig.h.

int Fraig_ParamsStruct_t_::fVerboseP

Definition at line 70 of file fraig.h.

int Fraig_ParamsStruct_t_::nBTLimit

Definition at line 61 of file fraig.h.

int Fraig_ParamsStruct_t_::nConfLimit

Definition at line 72 of file fraig.h.

sint64 Fraig_ParamsStruct_t_::nInspLimit

Definition at line 73 of file fraig.h.

int Fraig_ParamsStruct_t_::nPatsDyna

Definition at line 60 of file fraig.h.

int Fraig_ParamsStruct_t_::nPatsRand

Definition at line 59 of file fraig.h.

int Fraig_ParamsStruct_t_::nSeconds

Definition at line 62 of file fraig.h.

---

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

• src/sat/fraig/fraig.h