Ssw_RarPars_t_ Struct Reference

#include <ssw.h>

Data Fields
int	nFrames
int	nWords
int	nBinSize
int	nRounds
int	nRestart
int	nRandSeed
int	TimeOut
int	TimeOutGap
int	fSolveAll
int	fSetLastState
int	fVerbose
int	fNotVerbose
int	fSilent
int	fDropSatOuts
int	fMiter
int	fUseCex
int	fLatchOnly
int	fUseFfGrouping
int	nSolved
Abc_Cex_t *	pCex
int(*	pFuncOnFail )(int, Abc_Cex_t *)

Detailed Description

Definition at line 90 of file ssw.h.

Field Documentation

int Ssw_RarPars_t_::fDropSatOuts

Definition at line 105 of file ssw.h.

int Ssw_RarPars_t_::fLatchOnly

Definition at line 108 of file ssw.h.

int Ssw_RarPars_t_::fMiter

Definition at line 106 of file ssw.h.

int Ssw_RarPars_t_::fNotVerbose

Definition at line 103 of file ssw.h.

int Ssw_RarPars_t_::fSetLastState

Definition at line 101 of file ssw.h.

int Ssw_RarPars_t_::fSilent

Definition at line 104 of file ssw.h.

int Ssw_RarPars_t_::fSolveAll

Definition at line 100 of file ssw.h.

int Ssw_RarPars_t_::fUseCex

Definition at line 107 of file ssw.h.

int Ssw_RarPars_t_::fUseFfGrouping

Definition at line 109 of file ssw.h.

int Ssw_RarPars_t_::fVerbose

Definition at line 102 of file ssw.h.

int Ssw_RarPars_t_::nBinSize

Definition at line 94 of file ssw.h.

int Ssw_RarPars_t_::nFrames

Definition at line 92 of file ssw.h.

int Ssw_RarPars_t_::nRandSeed

Definition at line 97 of file ssw.h.

int Ssw_RarPars_t_::nRestart

Definition at line 96 of file ssw.h.

int Ssw_RarPars_t_::nRounds

Definition at line 95 of file ssw.h.

int Ssw_RarPars_t_::nSolved

Definition at line 110 of file ssw.h.

int Ssw_RarPars_t_::nWords

Definition at line 93 of file ssw.h.

Abc_Cex_t* Ssw_RarPars_t_::pCex

Definition at line 111 of file ssw.h.

int(* Ssw_RarPars_t_::pFuncOnFail)(int, Abc_Cex_t *)

Definition at line 112 of file ssw.h.

int Ssw_RarPars_t_::TimeOut

Definition at line 98 of file ssw.h.

int Ssw_RarPars_t_::TimeOutGap

Definition at line 99 of file ssw.h.

---

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

• ssw.h