#include <xsatSolver.h>

Public Attributes
char	fVerbose

iword	nConfLimit

iword	nInsLimit

abctime	nRuntimeLimit

double	K

double	R

int	nFirstBlockRestart

int	nSizeLBDQueue

int	nSizeTrailQueue

int	nConfFirstReduce

int	nIncReduce

int	nSpecialIncReduce

unsigned	nLBDFrozenClause

Detailed Description

Definition at line 79 of file xsatSolver.h.

Member Data Documentation

◆ fVerbose

char xSAT_SolverOptions_t_::fVerbose

Definition at line 81 of file xsatSolver.h.

◆ K

double xSAT_SolverOptions_t_::K

Definition at line 89 of file xsatSolver.h.

◆ nConfFirstReduce

int xSAT_SolverOptions_t_::nConfFirstReduce

Definition at line 96 of file xsatSolver.h.

◆ nConfLimit

iword xSAT_SolverOptions_t_::nConfLimit

Definition at line 84 of file xsatSolver.h.

◆ nFirstBlockRestart

int xSAT_SolverOptions_t_::nFirstBlockRestart

Definition at line 91 of file xsatSolver.h.

◆ nIncReduce

int xSAT_SolverOptions_t_::nIncReduce

Definition at line 97 of file xsatSolver.h.

◆ nInsLimit

iword xSAT_SolverOptions_t_::nInsLimit

Definition at line 85 of file xsatSolver.h.

◆ nLBDFrozenClause

unsigned xSAT_SolverOptions_t_::nLBDFrozenClause

Definition at line 99 of file xsatSolver.h.

◆ nRuntimeLimit

abctime xSAT_SolverOptions_t_::nRuntimeLimit

Definition at line 86 of file xsatSolver.h.

◆ nSizeLBDQueue

int xSAT_SolverOptions_t_::nSizeLBDQueue

Definition at line 92 of file xsatSolver.h.

◆ nSizeTrailQueue

int xSAT_SolverOptions_t_::nSizeTrailQueue

Definition at line 93 of file xsatSolver.h.

◆ nSpecialIncReduce

int xSAT_SolverOptions_t_::nSpecialIncReduce

Definition at line 98 of file xsatSolver.h.

◆ R

double xSAT_SolverOptions_t_::R

Definition at line 90 of file xsatSolver.h.

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

src/sat/xsat/xsatSolver.h

Public Attributes