Cec_ParCec_t_ Struct Reference

#include <cec.h>

Data Fields
int	nBTLimit
int	TimeLimit
int	fUseSmartCnf
int	fRewriting
int	fNaive
int	fVeryVerbose
int	fVerbose
int	iOutFail

Detailed Description

Definition at line 118 of file cec.h.

Field Documentation

int Cec_ParCec_t_::fNaive

Definition at line 125 of file cec.h.

int Cec_ParCec_t_::fRewriting

Definition at line 124 of file cec.h.

int Cec_ParCec_t_::fUseSmartCnf

Definition at line 123 of file cec.h.

int Cec_ParCec_t_::fVerbose

Definition at line 127 of file cec.h.

int Cec_ParCec_t_::fVeryVerbose

Definition at line 126 of file cec.h.

int Cec_ParCec_t_::iOutFail

Definition at line 128 of file cec.h.

int Cec_ParCec_t_::nBTLimit

Definition at line 120 of file cec.h.

int Cec_ParCec_t_::TimeLimit

Definition at line 121 of file cec.h.

---

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

• cec.h