#include <cec.h>
Definition at line 133 of file cec.h.
int Cec_ParCor_t_::fConstCorr |
int Cec_ParCor_t_::fLatchCorr |
int Cec_ParCor_t_::fMakeChoices |
int Cec_ParCor_t_::fStopWhenGone |
int Cec_ParCor_t_::fUseCSat |
int Cec_ParCor_t_::fUseRings |
int Cec_ParCor_t_::fUseSmartCnf |
int Cec_ParCor_t_::fVerbose |
int Cec_ParCor_t_::fVerboseFlops |
int Cec_ParCor_t_::fVeryVerbose |
int Cec_ParCor_t_::nBTLimit |
int Cec_ParCor_t_::nFrames |
int Cec_ParCor_t_::nLevelMax |
int Cec_ParCor_t_::nPrefix |
int Cec_ParCor_t_::nRounds |
int Cec_ParCor_t_::nStepsMax |
int Cec_ParCor_t_::nWords |
void* Cec_ParCor_t_::pData |
void* Cec_ParCor_t_::pFunc |
The documentation for this struct was generated from the following file: