CVC3
2.4.1
|
#include <minisat_varorder.h>
Public Member Functions | |
bool | operator() (Var x, Var y) |
VarOrder_lt (const std::vector< double > &act) | |
Public Attributes | |
const std::vector< double > & | activity |
Definition at line 54 of file minisat_varorder.h.
|
inline |
Definition at line 57 of file minisat_varorder.h.
Definition at line 56 of file minisat_varorder.h.
References activity.
const std::vector<double>& MiniSat::VarOrder_lt::activity |
Definition at line 55 of file minisat_varorder.h.
Referenced by operator()().