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

#include <ssc.h>

Public Attributes

int nWords
 
int nBTLimit
 
int nSatVarMax
 
int nCallsRecycle
 
int fAppend
 
int fVerbose
 
int fVerify
 

Detailed Description

Definition at line 44 of file ssc.h.

Member Data Documentation

◆ fAppend

int Ssc_Pars_t_::fAppend

Definition at line 50 of file ssc.h.

◆ fVerbose

int Ssc_Pars_t_::fVerbose

Definition at line 51 of file ssc.h.

◆ fVerify

int Ssc_Pars_t_::fVerify

Definition at line 52 of file ssc.h.

◆ nBTLimit

int Ssc_Pars_t_::nBTLimit

Definition at line 47 of file ssc.h.

◆ nCallsRecycle

int Ssc_Pars_t_::nCallsRecycle

Definition at line 49 of file ssc.h.

◆ nSatVarMax

int Ssc_Pars_t_::nSatVarMax

Definition at line 48 of file ssc.h.

◆ nWords

int Ssc_Pars_t_::nWords

Definition at line 46 of file ssc.h.

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