#include <cec.h>

Public Attributes
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 189 of file cec.h.

Member Data Documentation

◆ fConsts

int Cec_ParSeq_t_::fConsts

Definition at line 196 of file cec.h.

◆ fEquivs

int Cec_ParSeq_t_::fEquivs

Definition at line 197 of file cec.h.

◆ fUseLcorr

int Cec_ParSeq_t_::fUseLcorr

Definition at line 191 of file cec.h.

◆ fUseMiniSat

int Cec_ParSeq_t_::fUseMiniSat

Definition at line 198 of file cec.h.

◆ fUseScorr

int Cec_ParSeq_t_::fUseScorr

Definition at line 192 of file cec.h.

◆ fVerbose

int Cec_ParSeq_t_::fVerbose

Definition at line 201 of file cec.h.

◆ fVeryVerbose

int Cec_ParSeq_t_::fVeryVerbose

Definition at line 200 of file cec.h.

◆ nBTLimit

int Cec_ParSeq_t_::nBTLimit

Definition at line 193 of file cec.h.

◆ nFrames

int Cec_ParSeq_t_::nFrames

Definition at line 194 of file cec.h.

◆ nLevelMax

int Cec_ParSeq_t_::nLevelMax

Definition at line 195 of file cec.h.

◆ nMinDomSize

int Cec_ParSeq_t_::nMinDomSize

Definition at line 199 of file cec.h.

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

src/proof/cec/cec.h

Public Attributes