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

Public Attributes

int nSimWords
 
int nSimRounds
 
int nItersMax
 
int nConfLimit
 
int fIsMiter
 
int fUseCones
 
int fVeryVerbose
 
int fVerbose
 

Detailed Description

Definition at line 34 of file cecSat.c.

Member Data Documentation

◆ fIsMiter

int Cec2_Par_t_::fIsMiter

Definition at line 40 of file cecSat.c.

◆ fUseCones

int Cec2_Par_t_::fUseCones

Definition at line 41 of file cecSat.c.

◆ fVerbose

int Cec2_Par_t_::fVerbose

Definition at line 43 of file cecSat.c.

◆ fVeryVerbose

int Cec2_Par_t_::fVeryVerbose

Definition at line 42 of file cecSat.c.

◆ nConfLimit

int Cec2_Par_t_::nConfLimit

Definition at line 39 of file cecSat.c.

◆ nItersMax

int Cec2_Par_t_::nItersMax

Definition at line 38 of file cecSat.c.

◆ nSimRounds

int Cec2_Par_t_::nSimRounds

Definition at line 37 of file cecSat.c.

◆ nSimWords

int Cec2_Par_t_::nSimWords

Definition at line 36 of file cecSat.c.

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