#include <minisat_varorder.h>
Public Member Functions |
| VarOrder (const std::vector< signed char > &ass, const std::vector< double > &act) |
void | newVar (void) |
void | newVar (int varIndex) |
void | update (Var x) |
void | undo (Var x) |
Var | select (double random_freq=.0) |
Detailed Description
Definition at line 60 of file minisat_varorder.h.
Constructor & Destructor Documentation
MiniSat::VarOrder::VarOrder |
( |
const std::vector< signed char > & |
ass, |
|
|
const std::vector< double > & |
act |
|
) |
| |
|
inline |
Member Function Documentation
void MiniSat::VarOrder::newVar |
( |
void |
| ) |
|
|
inline |
void MiniSat::VarOrder::newVar |
( |
int |
varIndex | ) |
|
|
inline |
void MiniSat::VarOrder::update |
( |
Var |
x | ) |
|
|
inline |
void MiniSat::VarOrder::undo |
( |
Var |
x | ) |
|
|
inline |
Var MiniSat::VarOrder::select |
( |
double |
random_freq = .0 | ) |
|
|
inline |
Member Data Documentation
const std::vector<signed char>& MiniSat::VarOrder::assigns |
|
private |
const std::vector<double>& MiniSat::VarOrder::activity |
|
private |
double MiniSat::VarOrder::random_seed |
|
private |
The documentation for this class was generated from the following file: