CVC3  2.4.1
Public Member Functions | Public Attributes | List of all members
MiniSat::SearchParams Struct Reference

#include <minisat_solver.h>

Public Member Functions

 SearchParams (double v=1, double c=1, double r=0)
 

Public Attributes

double var_decay
 
double clause_decay
 
double random_var_freq
 

Detailed Description

Definition at line 193 of file minisat_solver.h.

Constructor & Destructor Documentation

MiniSat::SearchParams::SearchParams ( double  v = 1,
double  c = 1,
double  r = 0 
)
inline

Definition at line 195 of file minisat_solver.h.

Member Data Documentation

double MiniSat::SearchParams::var_decay

Definition at line 194 of file minisat_solver.h.

Referenced by MiniSat::Solver::search().

double MiniSat::SearchParams::clause_decay

Definition at line 194 of file minisat_solver.h.

Referenced by MiniSat::Solver::search().

double MiniSat::SearchParams::random_var_freq

Definition at line 194 of file minisat_solver.h.

Referenced by MiniSat::Solver::propLookahead(), and MiniSat::Solver::search().


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