#include <ssw.h>

Public Attributes
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 95 of file ssw.h.

Member Data Documentation

◆ fDropSatOuts

int Ssw_RarPars_t_::fDropSatOuts

Definition at line 110 of file ssw.h.

◆ fLatchOnly

int Ssw_RarPars_t_::fLatchOnly

Definition at line 113 of file ssw.h.

◆ fMiter

int Ssw_RarPars_t_::fMiter

Definition at line 111 of file ssw.h.

◆ fNotVerbose

int Ssw_RarPars_t_::fNotVerbose

Definition at line 108 of file ssw.h.

◆ fSetLastState

int Ssw_RarPars_t_::fSetLastState

Definition at line 106 of file ssw.h.

◆ fSilent

int Ssw_RarPars_t_::fSilent

Definition at line 109 of file ssw.h.

◆ fSolveAll

int Ssw_RarPars_t_::fSolveAll

Definition at line 105 of file ssw.h.

◆ fUseCex

int Ssw_RarPars_t_::fUseCex

Definition at line 112 of file ssw.h.

◆ fUseFfGrouping

int Ssw_RarPars_t_::fUseFfGrouping

Definition at line 114 of file ssw.h.

◆ fVerbose

int Ssw_RarPars_t_::fVerbose

Definition at line 107 of file ssw.h.

◆ nBinSize

int Ssw_RarPars_t_::nBinSize

Definition at line 99 of file ssw.h.

◆ nFrames

int Ssw_RarPars_t_::nFrames

Definition at line 97 of file ssw.h.

◆ nRandSeed

int Ssw_RarPars_t_::nRandSeed

Definition at line 102 of file ssw.h.

◆ nRestart

int Ssw_RarPars_t_::nRestart

Definition at line 101 of file ssw.h.

◆ nRounds

int Ssw_RarPars_t_::nRounds

Definition at line 100 of file ssw.h.

◆ nSolved

int Ssw_RarPars_t_::nSolved

Definition at line 115 of file ssw.h.

◆ nWords

int Ssw_RarPars_t_::nWords

Definition at line 98 of file ssw.h.

◆ pCex

Abc_Cex_t* Ssw_RarPars_t_::pCex

Definition at line 116 of file ssw.h.

◆ pFuncOnFail

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

Definition at line 117 of file ssw.h.

◆ TimeOut

int Ssw_RarPars_t_::TimeOut

Definition at line 103 of file ssw.h.

◆ TimeOutGap

int Ssw_RarPars_t_::TimeOutGap

Definition at line 104 of file ssw.h.

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

src/proof/ssw/ssw.h

Public Attributes