44 namespace Gecode {
namespace Set {
namespace Branch {
62 }
else if (us > size) {
86 }
else if (us < size) {
110 }
else if (u.
min() > min) {
134 }
else if (u.
min() < min) {
160 }
else if (um > max) {
186 }
else if (um < max) {
205 static_cast<double>(x.
degree());
213 static_cast<double>(x.
degree());
235 static_cast<double>(x.
degree());
243 static_cast<double>(x.
degree());