Cec_ParFra_t_ Struct Reference

#include <cec.h>

Data Fields
int	nWords
int	nRounds
int	nItersMax
int	nBTLimit
int	TimeLimit
int	nLevelMax
int	nDepthMax
int	fRewriting
int	fCheckMiter
int	fDualOut
int	fColorDiff
int	fSatSweeping
int	fRunCSat
int	fVeryVerbose
int	fVerbose
int	iOutFail

Detailed Description

Definition at line 95 of file cec.h.

Field Documentation

int Cec_ParFra_t_::fCheckMiter

Definition at line 105 of file cec.h.

int Cec_ParFra_t_::fColorDiff

Definition at line 108 of file cec.h.

int Cec_ParFra_t_::fDualOut

Definition at line 107 of file cec.h.

int Cec_ParFra_t_::fRewriting

Definition at line 104 of file cec.h.

int Cec_ParFra_t_::fRunCSat

Definition at line 110 of file cec.h.

int Cec_ParFra_t_::fSatSweeping

Definition at line 109 of file cec.h.

int Cec_ParFra_t_::fVerbose

Definition at line 112 of file cec.h.

int Cec_ParFra_t_::fVeryVerbose

Definition at line 111 of file cec.h.

int Cec_ParFra_t_::iOutFail

Definition at line 113 of file cec.h.

int Cec_ParFra_t_::nBTLimit

Definition at line 100 of file cec.h.

int Cec_ParFra_t_::nDepthMax

Definition at line 103 of file cec.h.

int Cec_ParFra_t_::nItersMax

Definition at line 99 of file cec.h.

int Cec_ParFra_t_::nLevelMax

Definition at line 102 of file cec.h.

int Cec_ParFra_t_::nRounds

Definition at line 98 of file cec.h.

int Cec_ParFra_t_::nWords

Definition at line 97 of file cec.h.

int Cec_ParFra_t_::TimeLimit

Definition at line 101 of file cec.h.

---

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

• cec.h