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>&
62 operator <<(std::basic_ostream<Char,Traits>& os,
const FloatView&
x) {
66 template<
class Char,
class Traits>
67 inline std::basic_ostream<Char,Traits>&
68 operator <<(std::basic_ostream<Char,Traits>& os,
const MinusView&
x) {
72 template<
class Char,
class Traits>
73 inline std::basic_ostream<Char,Traits>&
74 operator <<(std::basic_ostream<Char,Traits>& os,
const OffsetView&
x) {
78 template<
class Char,
class Traits>
79 inline std::basic_ostream<Char,Traits>&
80 operator <<(std::basic_ostream<Char,Traits>& os,
const ScaleView&
x) {
84 template<
class Char,
class Traits>
85 inline std::basic_ostream<Char,Traits>&
87 return os <<
"NoView";
No view serves as filler for empty view arrays.
std::basic_ostream< Char, Traits > & print_view(std::basic_ostream< Char, Traits > &os, const View &x)
Float view for float variables.
Node * x
Pointer to corresponding Boolean expression node.
Gecode toplevel namespace