Cec_ParSat_t_ Struct Reference

#include <cec.h>

Data Fields
int	nBTLimit
int	nSatVarMax
int	nCallsRecycle
int	fNonChrono
int	fPolarFlip
int	fCheckMiter
int	fLearnCls
int	fVerbose

Detailed Description

Definition at line 44 of file cec.h.

Field Documentation

int Cec_ParSat_t_::fCheckMiter

Definition at line 51 of file cec.h.

int Cec_ParSat_t_::fLearnCls

Definition at line 53 of file cec.h.

int Cec_ParSat_t_::fNonChrono

Definition at line 49 of file cec.h.

int Cec_ParSat_t_::fPolarFlip

Definition at line 50 of file cec.h.

int Cec_ParSat_t_::fVerbose

Definition at line 54 of file cec.h.

int Cec_ParSat_t_::nBTLimit

Definition at line 46 of file cec.h.

int Cec_ParSat_t_::nCallsRecycle

Definition at line 48 of file cec.h.

int Cec_ParSat_t_::nSatVarMax

Definition at line 47 of file cec.h.

---

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

• cec.h