38 namespace Gecode {
namespace Int {
namespace Branch {
55 }
else if (x.
min() >
min) {
77 }
else if (x.
min() <
min) {
99 }
else if (x.
max() >
max) {
121 }
else if (x.
max() <
max) {
183 static_cast<double>(x.
size())/static_cast<double>(x.
degree());
189 static_cast<double>(x.
size())/static_cast<double>(x.
degree());
208 static_cast<double>(x.
size())/static_cast<double>(x.
degree());
214 static_cast<double>(x.
size())/static_cast<double>(x.
degree());
237 double sa =
static_cast<double>(x.
size())/x.
afc();
260 double sa =
static_cast<double>(x.
size())/x.
afc();