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
ABC_INT64_T	nInspLimit

Detailed Description

Definition at line 48 of file fraig.h.

Field Documentation

int Fraig_ParamsStruct_t_::fChoicing

Definition at line 58 of file fraig.h.

int Fraig_ParamsStruct_t_::fDist1Pats

Definition at line 56 of file fraig.h.

int Fraig_ParamsStruct_t_::fDoSparse

Definition at line 57 of file fraig.h.

int Fraig_ParamsStruct_t_::fFeedBack

Definition at line 55 of file fraig.h.

int Fraig_ParamsStruct_t_::fFuncRed

Definition at line 54 of file fraig.h.

int Fraig_ParamsStruct_t_::fInternal

Definition at line 62 of file fraig.h.

int Fraig_ParamsStruct_t_::fTryProve

Definition at line 59 of file fraig.h.

int Fraig_ParamsStruct_t_::fVerbose

Definition at line 60 of file fraig.h.

int Fraig_ParamsStruct_t_::fVerboseP

Definition at line 61 of file fraig.h.

int Fraig_ParamsStruct_t_::nBTLimit

Definition at line 52 of file fraig.h.

int Fraig_ParamsStruct_t_::nConfLimit

Definition at line 63 of file fraig.h.

ABC_INT64_T Fraig_ParamsStruct_t_::nInspLimit

Definition at line 64 of file fraig.h.

int Fraig_ParamsStruct_t_::nPatsDyna

Definition at line 51 of file fraig.h.

int Fraig_ParamsStruct_t_::nPatsRand

Definition at line 50 of file fraig.h.

int Fraig_ParamsStruct_t_::nSeconds

Definition at line 53 of file fraig.h.

---

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

• fraig.h