42 namespace Gecode {
namespace Float {
47 template<
class Char,
class Traits,
class View>
48 std::basic_ostream<Char,Traits>&
49 print_view(std::basic_ostream<Char,Traits>& os,
const View&
x) {
50 std::basic_ostringstream<Char,Traits> s;
51 s.copyfmt(os); s.width(0);
55 s <<
'[' <<
x.min() <<
".." <<
x.max() <<
']';
60 template<
class Char,
class Traits>
61 inline std::basic_ostream<Char,Traits>&
66 template<
class Char,
class Traits>
67 inline std::basic_ostream<Char,Traits>&
72 template<
class Char,
class Traits>
73 inline std::basic_ostream<Char,Traits>&
78 template<
class Char,
class Traits>
79 inline std::basic_ostream<Char,Traits>&
84 template<
class Char,
class Traits>
85 inline std::basic_ostream<Char,Traits>&
87 return os <<
"NoView";