ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Public Attributes | List of all members
Cec3_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 cecSatG.c.

Member Data Documentation

◆ fIsMiter

int Cec3_Par_t_::fIsMiter

Definition at line 40 of file cecSatG.c.

◆ fUseCones

int Cec3_Par_t_::fUseCones

Definition at line 41 of file cecSatG.c.

◆ fVerbose

int Cec3_Par_t_::fVerbose

Definition at line 43 of file cecSatG.c.

◆ fVeryVerbose

int Cec3_Par_t_::fVeryVerbose

Definition at line 42 of file cecSatG.c.

◆ nConfLimit

int Cec3_Par_t_::nConfLimit

Definition at line 39 of file cecSatG.c.

◆ nItersMax

int Cec3_Par_t_::nItersMax

Definition at line 38 of file cecSatG.c.

◆ nSimRounds

int Cec3_Par_t_::nSimRounds

Definition at line 37 of file cecSatG.c.

◆ nSimWords

int Cec3_Par_t_::nSimWords

Definition at line 36 of file cecSatG.c.

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