#include <cec.h>

Public Attributes
int	nWords

int	nFrames

int	nRounds

int	nNonRefines

int	TimeLimit

int	fDualOut

int	fCheckMiter

int	fSeqSimulate

int	fLatchCorr

int	fConstCorr

int	fVeryVerbose

int	fVerbose

Detailed Description

Definition at line 61 of file cec.h.

Member Data Documentation

◆ fCheckMiter

int Cec_ParSim_t_::fCheckMiter

Definition at line 69 of file cec.h.

◆ fConstCorr

int Cec_ParSim_t_::fConstCorr

Definition at line 73 of file cec.h.

◆ fDualOut

int Cec_ParSim_t_::fDualOut

Definition at line 68 of file cec.h.

◆ fLatchCorr

int Cec_ParSim_t_::fLatchCorr

Definition at line 72 of file cec.h.

◆ fSeqSimulate

int Cec_ParSim_t_::fSeqSimulate

Definition at line 71 of file cec.h.

◆ fVerbose

int Cec_ParSim_t_::fVerbose

Definition at line 75 of file cec.h.

◆ fVeryVerbose

int Cec_ParSim_t_::fVeryVerbose

Definition at line 74 of file cec.h.

◆ nFrames

int Cec_ParSim_t_::nFrames

Definition at line 64 of file cec.h.

◆ nNonRefines

int Cec_ParSim_t_::nNonRefines

Definition at line 66 of file cec.h.

◆ nRounds

int Cec_ParSim_t_::nRounds

Definition at line 65 of file cec.h.

◆ nWords

int Cec_ParSim_t_::nWords

Definition at line 63 of file cec.h.

◆ TimeLimit

int Cec_ParSim_t_::TimeLimit

Definition at line 67 of file cec.h.

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

src/proof/cec/cec.h

Public Attributes