#include <fraig.h>

Public Attributes
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.

Member Data Documentation

◆ fChoicing

int Fraig_ParamsStruct_t_::fChoicing

Definition at line 58 of file fraig.h.

◆ fDist1Pats

int Fraig_ParamsStruct_t_::fDist1Pats

Definition at line 56 of file fraig.h.

◆ fDoSparse

int Fraig_ParamsStruct_t_::fDoSparse

Definition at line 57 of file fraig.h.

◆ fFeedBack

int Fraig_ParamsStruct_t_::fFeedBack

Definition at line 55 of file fraig.h.

◆ fFuncRed

int Fraig_ParamsStruct_t_::fFuncRed

Definition at line 54 of file fraig.h.

◆ fInternal

int Fraig_ParamsStruct_t_::fInternal

Definition at line 62 of file fraig.h.

◆ fTryProve

int Fraig_ParamsStruct_t_::fTryProve

Definition at line 59 of file fraig.h.

◆ fVerbose

int Fraig_ParamsStruct_t_::fVerbose

Definition at line 60 of file fraig.h.

◆ fVerboseP

int Fraig_ParamsStruct_t_::fVerboseP

Definition at line 61 of file fraig.h.

◆ nBTLimit

int Fraig_ParamsStruct_t_::nBTLimit

Definition at line 52 of file fraig.h.

◆ nConfLimit

int Fraig_ParamsStruct_t_::nConfLimit

Definition at line 63 of file fraig.h.

◆ nInspLimit

ABC_INT64_T Fraig_ParamsStruct_t_::nInspLimit

Definition at line 64 of file fraig.h.

◆ nPatsDyna

int Fraig_ParamsStruct_t_::nPatsDyna

Definition at line 51 of file fraig.h.

◆ nPatsRand

int Fraig_ParamsStruct_t_::nPatsRand

Definition at line 50 of file fraig.h.

◆ nSeconds

int Fraig_ParamsStruct_t_::nSeconds

Definition at line 53 of file fraig.h.

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

src/proof/fraig/fraig.h

Public Attributes