40 namespace Gecode {
namespace Int {
namespace Unary {
42 template<
class Char,
class Traits>
43 std::basic_ostream<Char,Traits>&
45 std::basic_ostringstream<Char,Traits> s;
46 s.copyfmt(os); s.width(0);
47 s <<
t.est() <<
':' <<
t.pmin() <<
':' <<
t.lct();
51 template<
class Char,
class Traits>
52 std::basic_ostream<Char,Traits>&
53 operator <<(std::basic_ostream<Char,Traits>& os,
55 std::basic_ostringstream<Char,Traits> s;
56 s.copyfmt(os); s.width(0);
57 s <<
t.est() <<
':' <<
t.pmin() <<
':' <<
t.lct();
61 template<
class Char,
class Traits>
62 std::basic_ostream<Char,Traits>&
64 std::basic_ostringstream<Char,Traits> s;
65 s.copyfmt(os); s.width(0);
66 s <<
t.est() <<
':' <<
t.pmin() <<
':' <<
t.lct() <<
":"
67 << (
t.mandatory() ?
'1' : (
t.optional() ?
'?' :
'0'));
71 template<
class Char,
class Traits>
72 std::basic_ostream<Char,Traits>&
73 operator <<(std::basic_ostream<Char,Traits>& os,
75 std::basic_ostringstream<Char,Traits> s;
76 s.copyfmt(os); s.width(0);
77 s <<
t.est() <<
':' <<
t.pmin() <<
':' <<
t.lct() <<
":"
78 << (
t.mandatory() ?
'1' : (
t.optional() ?
'?' :
'0'));
82 template<
class Char,
class Traits>
83 std::basic_ostream<Char,Traits>&
85 std::basic_ostringstream<Char,Traits> s;
86 s.copyfmt(os); s.width(0);
87 s <<
t.est() <<
':' <<
t.lst() <<
':' <<
t.pmin() <<
':'
88 <<
t.pmax() <<
':' <<
t.ect() <<
':' <<
t.lct();
92 template<
class Char,
class Traits>
93 std::basic_ostream<Char,Traits>&
95 std::basic_ostringstream<Char,Traits> s;
96 s.copyfmt(os); s.width(0);
97 s <<
t.est() <<
':' <<
t.lst() <<
':' <<
t.pmin() <<
':'
98 <<
t.pmax() <<
':' <<
t.ect() <<
':' <<
t.lct() <<
':'
99 << (
t.mandatory() ?
'1' : (
t.optional() ?
'?' :
'0'));
100 return os << s.str();
Task mapper: turns a task view into its dual.
Gecode toplevel namespace