MiniSat::SearchParams Struct Reference

#include <minisat_solver.h>

List of all members.

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 194 of file minisat_solver.h.

---

Constructor & Destructor Documentation

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

Definition at line 196 of file minisat_solver.h.

---

Member Data Documentation

double MiniSat::SearchParams::var_decay

Definition at line 195 of file minisat_solver.h.

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

double MiniSat::SearchParams::clause_decay

Definition at line 195 of file minisat_solver.h.

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

double MiniSat::SearchParams::random_var_freq

Definition at line 195 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:

• minisat_solver.h

---