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

#include <cec.h>

Data Fields

int nWords
 
int nRounds
 
int nBTLimit
 
int fUseRings
 
int fUseCSat
 
int fVeryVerbose
 
int fVerbose
 

Detailed Description

Definition at line 160 of file cec.h.

Field Documentation

int Cec_ParChc_t_::fUseCSat

Definition at line 166 of file cec.h.

int Cec_ParChc_t_::fUseRings

Definition at line 165 of file cec.h.

int Cec_ParChc_t_::fVerbose

Definition at line 168 of file cec.h.

int Cec_ParChc_t_::fVeryVerbose

Definition at line 167 of file cec.h.

int Cec_ParChc_t_::nBTLimit

Definition at line 164 of file cec.h.

int Cec_ParChc_t_::nRounds

Definition at line 163 of file cec.h.

int Cec_ParChc_t_::nWords

Definition at line 162 of file cec.h.


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