38 namespace Gecode {
namespace Int {
namespace Branch {
98 return static_cast<double>(x.degree()) / static_cast<double>(x.size());
115 return x.afc(home) /
static_cast<double>(x.size());
133 :
MeritBase<
View,double>(home,vb), activity(vb.activity()) {}
144 return activity[
i] /
static_cast<double>(x.size());
154 activity.~Activity();
169 return x.regret_min();
184 return x.regret_max();