#include <cec.h>

Public Attributes
int	nWords

int	nRounds

int	nFrames

int	nPrefix

int	nBTLimit

int	nProcs

int	nPartSize

int	nLevelMax

int	nStepsMax

int	nLimitMax

int	fLatchCorr

int	fConstCorr

int	fUseRings

int	fMakeChoices

int	fUseCSat

int	fUseSmartCnf

int	fStopWhenGone

int	fVerboseFlops

int	fVeryVerbose

int	fVerbose

void *	pData

void *	pFunc

Detailed Description

Definition at line 146 of file cec.h.

Member Data Documentation

◆ fConstCorr

int Cec_ParCor_t_::fConstCorr

Definition at line 159 of file cec.h.

◆ fLatchCorr

int Cec_ParCor_t_::fLatchCorr

Definition at line 158 of file cec.h.

◆ fMakeChoices

int Cec_ParCor_t_::fMakeChoices

Definition at line 161 of file cec.h.

◆ fStopWhenGone

int Cec_ParCor_t_::fStopWhenGone

Definition at line 165 of file cec.h.

◆ fUseCSat

int Cec_ParCor_t_::fUseCSat

Definition at line 162 of file cec.h.

◆ fUseRings

int Cec_ParCor_t_::fUseRings

Definition at line 160 of file cec.h.

◆ fUseSmartCnf

int Cec_ParCor_t_::fUseSmartCnf

Definition at line 164 of file cec.h.

◆ fVerbose

int Cec_ParCor_t_::fVerbose

Definition at line 168 of file cec.h.

◆ fVerboseFlops

int Cec_ParCor_t_::fVerboseFlops

Definition at line 166 of file cec.h.

◆ fVeryVerbose

int Cec_ParCor_t_::fVeryVerbose

Definition at line 167 of file cec.h.

◆ nBTLimit

int Cec_ParCor_t_::nBTLimit

Definition at line 152 of file cec.h.

◆ nFrames

int Cec_ParCor_t_::nFrames

Definition at line 150 of file cec.h.

◆ nLevelMax

int Cec_ParCor_t_::nLevelMax

Definition at line 155 of file cec.h.

◆ nLimitMax

int Cec_ParCor_t_::nLimitMax

Definition at line 157 of file cec.h.

◆ nPartSize

int Cec_ParCor_t_::nPartSize

Definition at line 154 of file cec.h.

◆ nPrefix

int Cec_ParCor_t_::nPrefix

Definition at line 151 of file cec.h.

◆ nProcs

int Cec_ParCor_t_::nProcs

Definition at line 153 of file cec.h.

◆ nRounds

int Cec_ParCor_t_::nRounds

Definition at line 149 of file cec.h.

◆ nStepsMax

int Cec_ParCor_t_::nStepsMax

Definition at line 156 of file cec.h.

◆ nWords

int Cec_ParCor_t_::nWords

Definition at line 148 of file cec.h.

◆ pData

void* Cec_ParCor_t_::pData

Definition at line 170 of file cec.h.

◆ pFunc

void* Cec_ParCor_t_::pFunc

Definition at line 171 of file cec.h.

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

src/proof/cec/cec.h

Public Attributes