abc-master
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
Cec_ParCor_t_ Struct Reference

#include <cec.h>

Data Fields

int nWords
 
int nRounds
 
int nFrames
 
int nPrefix
 
int nBTLimit
 
int nLevelMax
 
int nStepsMax
 
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 133 of file cec.h.

Field Documentation

int Cec_ParCor_t_::fConstCorr

Definition at line 143 of file cec.h.

int Cec_ParCor_t_::fLatchCorr

Definition at line 142 of file cec.h.

int Cec_ParCor_t_::fMakeChoices

Definition at line 145 of file cec.h.

int Cec_ParCor_t_::fStopWhenGone

Definition at line 149 of file cec.h.

int Cec_ParCor_t_::fUseCSat

Definition at line 146 of file cec.h.

int Cec_ParCor_t_::fUseRings

Definition at line 144 of file cec.h.

int Cec_ParCor_t_::fUseSmartCnf

Definition at line 148 of file cec.h.

int Cec_ParCor_t_::fVerbose

Definition at line 152 of file cec.h.

int Cec_ParCor_t_::fVerboseFlops

Definition at line 150 of file cec.h.

int Cec_ParCor_t_::fVeryVerbose

Definition at line 151 of file cec.h.

int Cec_ParCor_t_::nBTLimit

Definition at line 139 of file cec.h.

int Cec_ParCor_t_::nFrames

Definition at line 137 of file cec.h.

int Cec_ParCor_t_::nLevelMax

Definition at line 140 of file cec.h.

int Cec_ParCor_t_::nPrefix

Definition at line 138 of file cec.h.

int Cec_ParCor_t_::nRounds

Definition at line 136 of file cec.h.

int Cec_ParCor_t_::nStepsMax

Definition at line 141 of file cec.h.

int Cec_ParCor_t_::nWords

Definition at line 135 of file cec.h.

void* Cec_ParCor_t_::pData

Definition at line 154 of file cec.h.

void* Cec_ParCor_t_::pFunc

Definition at line 155 of file cec.h.


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