Cec_ParSeq_t_ Struct Reference

#include <cec.h>

Data Fields
int	fUseLcorr
int	fUseScorr
int	nBTLimit
int	nFrames
int	nLevelMax
int	fConsts
int	fEquivs
int	fUseMiniSat
int	nMinDomSize
int	fVeryVerbose
int	fVerbose

Detailed Description

Definition at line 173 of file cec.h.

Field Documentation

int Cec_ParSeq_t_::fConsts

Definition at line 180 of file cec.h.

int Cec_ParSeq_t_::fEquivs

Definition at line 181 of file cec.h.

int Cec_ParSeq_t_::fUseLcorr

Definition at line 175 of file cec.h.

int Cec_ParSeq_t_::fUseMiniSat

Definition at line 182 of file cec.h.

int Cec_ParSeq_t_::fUseScorr

Definition at line 176 of file cec.h.

int Cec_ParSeq_t_::fVerbose

Definition at line 185 of file cec.h.

int Cec_ParSeq_t_::fVeryVerbose

Definition at line 184 of file cec.h.

int Cec_ParSeq_t_::nBTLimit

Definition at line 177 of file cec.h.

int Cec_ParSeq_t_::nFrames

Definition at line 178 of file cec.h.

int Cec_ParSeq_t_::nLevelMax

Definition at line 179 of file cec.h.

int Cec_ParSeq_t_::nMinDomSize

Definition at line 183 of file cec.h.

---

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

• cec.h