38namespace Gecode {
namespace Float {
43 template<
class Char,
class Traits,
class View>
44 std::basic_ostream<Char,Traits>&
45 print_view(std::basic_ostream<Char,Traits>& os,
const View&
x) {
46 std::basic_ostringstream<Char,Traits> s;
47 s.copyfmt(os); s.width(0);
49 s <<
"[[" <<
x.med() <<
"]]";
51 s <<
"[[" <<
x.min() <<
".." <<
x.max() <<
"]]";
56 template<
class Char,
class Traits>
57 inline std::basic_ostream<Char,Traits>&
62 template<
class Char,
class Traits>
63 inline std::basic_ostream<Char,Traits>&
68 template<
class Char,
class Traits>
69 inline std::basic_ostream<Char,Traits>&
70 operator <<(std::basic_ostream<Char,Traits>& os,
const OffsetView&
x) {
74 template<
class Char,
class Traits>
75 inline std::basic_ostream<Char,Traits>&
76 operator <<(std::basic_ostream<Char,Traits>& os,
const ScaleView&
x) {
80 template<
class Char,
class Traits>
81 inline std::basic_ostream<Char,Traits>&
82 operator <<(std::basic_ostream<Char,Traits>& os,
const Linear::NoView&) {
83 return os <<
"NoView";
Float view for float variables.
bool assigned(void) const
Test whether view is assigned.
std::basic_ostream< Char, Traits > & print_view(std::basic_ostream< Char, Traits > &os, const View &x)
std::basic_ostream< Char, Traits > & operator<<(std::basic_ostream< Char, Traits > &os, const FloatView &x)
Gecode toplevel namespace
Post propagator for SetVar x