43 operator <<(Archive& e, std::pair<float,bool> pdb) {
44 return e << pdb.first << pdb.second;
47 operator <<(Archive& e, std::pair<double,bool> pdb) {
48 return e << pdb.first << pdb.second;
53 return e >> pdb.first >> pdb.second;
57 return e >> pdb.first >> pdb.second;
61 namespace Gecode {
namespace Float {
namespace Branch {
84 unsigned int p =
r(2U);
85 return std::pair<FloatNum,bool>(x.
med(),(p == 0U));