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

#include <cec.h>

Public Attributes

int nBTLimit
 
int TimeLimit
 
int fUseSmartCnf
 
int fRewriting
 
int fNaive
 
int fSilent
 
int fVeryVerbose
 
int fVerbose
 
int iOutFail
 

Detailed Description

Definition at line 130 of file cec.h.

Member Data Documentation

◆ fNaive

int Cec_ParCec_t_::fNaive

Definition at line 137 of file cec.h.

◆ fRewriting

int Cec_ParCec_t_::fRewriting

Definition at line 136 of file cec.h.

◆ fSilent

int Cec_ParCec_t_::fSilent

Definition at line 138 of file cec.h.

◆ fUseSmartCnf

int Cec_ParCec_t_::fUseSmartCnf

Definition at line 135 of file cec.h.

◆ fVerbose

int Cec_ParCec_t_::fVerbose

Definition at line 140 of file cec.h.

◆ fVeryVerbose

int Cec_ParCec_t_::fVeryVerbose

Definition at line 139 of file cec.h.

◆ iOutFail

int Cec_ParCec_t_::iOutFail

Definition at line 141 of file cec.h.

◆ nBTLimit

int Cec_ParCec_t_::nBTLimit

Definition at line 132 of file cec.h.

◆ TimeLimit

int Cec_ParCec_t_::TimeLimit

Definition at line 133 of file cec.h.

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