#include <cec.h>

Public Attributes
int	jType

int	nWords

int	nRounds

int	nItersMax

int	nBTLimit

int	nBTLimitPo

int	TimeLimit

int	nLevelMax

int	nDepthMax

int	nCallsRecycle

int	nSatVarMax

int	nGenIters

int	fRewriting

int	fCheckMiter

int	fDualOut

int	fColorDiff

int	fSatSweeping

int	fRunCSat

int	fUseCones

int	fUseOrigIds

int	fVeryVerbose

int	fVerbose

int	iOutFail

int	fBMiterInfo

int	nPO

char *	pDumpName

Detailed Description

Definition at line 97 of file cec.h.

Member Data Documentation

◆ fBMiterInfo

int Cec_ParFra_t_::fBMiterInfo

Definition at line 123 of file cec.h.

◆ fCheckMiter

int Cec_ParFra_t_::fCheckMiter

Definition at line 112 of file cec.h.

◆ fColorDiff

int Cec_ParFra_t_::fColorDiff

Definition at line 115 of file cec.h.

◆ fDualOut

int Cec_ParFra_t_::fDualOut

Definition at line 114 of file cec.h.

◆ fRewriting

int Cec_ParFra_t_::fRewriting

Definition at line 111 of file cec.h.

◆ fRunCSat

int Cec_ParFra_t_::fRunCSat

Definition at line 117 of file cec.h.

◆ fSatSweeping

int Cec_ParFra_t_::fSatSweeping

Definition at line 116 of file cec.h.

◆ fUseCones

int Cec_ParFra_t_::fUseCones

Definition at line 118 of file cec.h.

◆ fUseOrigIds

int Cec_ParFra_t_::fUseOrigIds

Definition at line 119 of file cec.h.

◆ fVerbose

int Cec_ParFra_t_::fVerbose

Definition at line 121 of file cec.h.

◆ fVeryVerbose

int Cec_ParFra_t_::fVeryVerbose

Definition at line 120 of file cec.h.

◆ iOutFail

int Cec_ParFra_t_::iOutFail

Definition at line 122 of file cec.h.

◆ jType

int Cec_ParFra_t_::jType

Definition at line 99 of file cec.h.

◆ nBTLimit

int Cec_ParFra_t_::nBTLimit

Definition at line 103 of file cec.h.

◆ nBTLimitPo

int Cec_ParFra_t_::nBTLimitPo

Definition at line 104 of file cec.h.

◆ nCallsRecycle

int Cec_ParFra_t_::nCallsRecycle

Definition at line 108 of file cec.h.

◆ nDepthMax

int Cec_ParFra_t_::nDepthMax

Definition at line 107 of file cec.h.

◆ nGenIters

int Cec_ParFra_t_::nGenIters

Definition at line 110 of file cec.h.

◆ nItersMax

int Cec_ParFra_t_::nItersMax

Definition at line 102 of file cec.h.

◆ nLevelMax

int Cec_ParFra_t_::nLevelMax

Definition at line 106 of file cec.h.

◆ nPO

int Cec_ParFra_t_::nPO

Definition at line 124 of file cec.h.

◆ nRounds

int Cec_ParFra_t_::nRounds

Definition at line 101 of file cec.h.

◆ nSatVarMax

int Cec_ParFra_t_::nSatVarMax

Definition at line 109 of file cec.h.

◆ nWords

int Cec_ParFra_t_::nWords

Definition at line 100 of file cec.h.

◆ pDumpName

char* Cec_ParFra_t_::pDumpName

Definition at line 125 of file cec.h.

◆ TimeLimit

int Cec_ParFra_t_::TimeLimit

Definition at line 105 of file cec.h.

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

src/proof/cec/cec.h

Public Attributes