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>&
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'));
Task mapper: turns a task view into its dual.
Gecode toplevel namespace