#include <cec.h>

Public Attributes
int	nWords

int	nRounds

int	nFrames

int	nNonRefines

int	nMinOutputs

int	nBTLimit

int	TimeLimit

int	fDualOut

int	fCheckMiter

int	fVerbose

Detailed Description

Definition at line 80 of file cec.h.

Member Data Documentation

◆ fCheckMiter

int Cec_ParSmf_t_::fCheckMiter

Definition at line 90 of file cec.h.

◆ fDualOut

int Cec_ParSmf_t_::fDualOut

Definition at line 89 of file cec.h.

◆ fVerbose

int Cec_ParSmf_t_::fVerbose

Definition at line 92 of file cec.h.

◆ nBTLimit

int Cec_ParSmf_t_::nBTLimit

Definition at line 87 of file cec.h.

◆ nFrames

int Cec_ParSmf_t_::nFrames

Definition at line 84 of file cec.h.

◆ nMinOutputs

int Cec_ParSmf_t_::nMinOutputs

Definition at line 86 of file cec.h.

◆ nNonRefines

int Cec_ParSmf_t_::nNonRefines

Definition at line 85 of file cec.h.

◆ nRounds

int Cec_ParSmf_t_::nRounds

Definition at line 83 of file cec.h.

◆ nWords

int Cec_ParSmf_t_::nWords

Definition at line 82 of file cec.h.

◆ TimeLimit

int Cec_ParSmf_t_::TimeLimit

Definition at line 88 of file cec.h.

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

src/proof/cec/cec.h

Public Attributes