#include <cec.h>

Public Attributes
int	SolverType

int	nBTLimit

int	nSatVarMax

int	nCallsRecycle

int	fNonChrono

int	fPolarFlip

int	fCheckMiter

int	fLearnCls

int	fSaveCexes

int	fVerbose

Detailed Description

Definition at line 44 of file cec.h.

Member Data Documentation

◆ fCheckMiter

int Cec_ParSat_t_::fCheckMiter

Definition at line 52 of file cec.h.

◆ fLearnCls

int Cec_ParSat_t_::fLearnCls

Definition at line 54 of file cec.h.

◆ fNonChrono

int Cec_ParSat_t_::fNonChrono

Definition at line 50 of file cec.h.

◆ fPolarFlip

int Cec_ParSat_t_::fPolarFlip

Definition at line 51 of file cec.h.

◆ fSaveCexes

int Cec_ParSat_t_::fSaveCexes

Definition at line 55 of file cec.h.

◆ fVerbose

int Cec_ParSat_t_::fVerbose

Definition at line 56 of file cec.h.

◆ nBTLimit

int Cec_ParSat_t_::nBTLimit

Definition at line 47 of file cec.h.

◆ nCallsRecycle

int Cec_ParSat_t_::nCallsRecycle

Definition at line 49 of file cec.h.

◆ nSatVarMax

int Cec_ParSat_t_::nSatVarMax

Definition at line 48 of file cec.h.

◆ SolverType

int Cec_ParSat_t_::SolverType

Definition at line 46 of file cec.h.

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

src/proof/cec/cec.h

Public Attributes