Ssc_Pars_t_ Struct Reference

#include <ssc.h>

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

Detailed Description

Definition at line 44 of file ssc.h.

Field Documentation

int Ssc_Pars_t_::fAppend

Definition at line 50 of file ssc.h.

int Ssc_Pars_t_::fVerbose

Definition at line 51 of file ssc.h.

int Ssc_Pars_t_::fVerify

Definition at line 52 of file ssc.h.

int Ssc_Pars_t_::nBTLimit

Definition at line 47 of file ssc.h.

int Ssc_Pars_t_::nCallsRecycle

Definition at line 49 of file ssc.h.

int Ssc_Pars_t_::nSatVarMax

Definition at line 48 of file ssc.h.

int Ssc_Pars_t_::nWords

Definition at line 46 of file ssc.h.

---

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

• ssc.h