40 namespace Gecode {
namespace Int {
namespace Cumulative {
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.c() <<
"]:" << 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.c() <<
"]:" << t.lct();
61 template<
class Char,
class Traits>
62 std::basic_ostream<Char,Traits>&
63 operator <<(std::basic_ostream<Char,Traits>& os,
const OptFixPTaskBwd& t) {
64 std::basic_ostringstream<Char,Traits> s;
65 s.copyfmt(os); s.width(0);
66 s << t.est() <<
":[" << t.pmin() <<
',' << t.c() <<
"]:" << 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.c() <<
"]:" << t.lct() <<
':'
78 << (t.mandatory() ?
'1' : (t.optional() ?
'?' :
'0'));