struct VarOrderLt
1 struct VarOrderLt { 2 const vec<double>& activity; 3 bool operator () (Var x, Var y) const { return activity[x] > activity[y]; } 4 VarOrderLt(const vec<double>& act) : activity(act) { } 5 };
1 Heap<VarOrderLt> order_heap; // A priority queue of variables ordered with respect to the variable activity.
浙公网安备 33010602011771号