ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Public Attributes | List of all members
Cec_ParChc_t_ Struct Reference

#include <cec.h>

Public Attributes

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

Detailed Description

Definition at line 176 of file cec.h.

Member Data Documentation

◆ fUseCSat

int Cec_ParChc_t_::fUseCSat

Definition at line 182 of file cec.h.

◆ fUseRings

int Cec_ParChc_t_::fUseRings

Definition at line 181 of file cec.h.

◆ fVerbose

int Cec_ParChc_t_::fVerbose

Definition at line 184 of file cec.h.

◆ fVeryVerbose

int Cec_ParChc_t_::fVeryVerbose

Definition at line 183 of file cec.h.

◆ nBTLimit

int Cec_ParChc_t_::nBTLimit

Definition at line 180 of file cec.h.

◆ nRounds

int Cec_ParChc_t_::nRounds

Definition at line 179 of file cec.h.

◆ nWords

int Cec_ParChc_t_::nWords

Definition at line 178 of file cec.h.

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