MiniSat::SearchParams Struct Reference

#include <minisat_solver.h>

List of all members.

Public Member Functions

Public Attributes


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

Definition at line 194 of file minisat_solver.h.

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

Definition at line 194 of file minisat_solver.h.

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

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:

Generated on Thu Oct 15 22:27:16 2009 for CVC3 by  doxygen 1.5.8