40 #ifndef _cvc3__minisat__varorder_h_
41 #define _cvc3__minisat__varorder_h_
67 VarOrder(
const std::vector<signed char>& ass,
const std::vector<double>& act) :
72 inline void newVar(
int varIndex);
75 inline Var select(
double random_freq =.0);
88 heap.insert(varIndex);
128 while (!
heap.empty()){
MiniSat internal heap implementation.
const std::vector< signed char > & assigns
const std::vector< double > & activity
VarOrder_lt(const std::vector< double > &act)
VarOrder(const std::vector< signed char > &ass, const std::vector< double > &act)
const std::vector< double > & activity
Var select(double random_freq=.0)
bool operator()(Var x, Var y)