36namespace Gecode {
namespace Int {
namespace Cumulative {
38 template<
class Char,
class Traits>
39 std::basic_ostream<Char,Traits>&
41 std::basic_ostringstream<Char,Traits> s;
42 s.copyfmt(os); s.width(0);
43 s <<
t.est() <<
":[" <<
t.pmin() <<
',' <<
t.c() <<
"]:" <<
t.lct();
47 template<
class Char,
class Traits>
48 std::basic_ostream<Char,Traits>&
51 std::basic_ostringstream<Char,Traits> s;
52 s.copyfmt(os); s.width(0);
53 s <<
t.est() <<
":[" <<
t.pmin() <<
',' <<
t.c() <<
"]:" <<
t.lct();
57 template<
class Char,
class Traits>
58 std::basic_ostream<Char,Traits>&
60 std::basic_ostringstream<Char,Traits> s;
61 s.copyfmt(os); s.width(0);
62 s <<
t.est() <<
":[" <<
t.pmin() <<
',' <<
t.c() <<
"]:" <<
t.lct() <<
':'
63 << (
t.mandatory() ?
'1' : (
t.optional() ?
'?' :
'0'));
67 template<
class Char,
class Traits>
68 std::basic_ostream<Char,Traits>&
71 std::basic_ostringstream<Char,Traits> s;
72 s.copyfmt(os); s.width(0);
73 s <<
t.est() <<
":[" <<
t.pmin() <<
',' <<
t.c() <<
"]:" <<
t.lct() <<
':'
74 << (
t.mandatory() ?
'1' : (
t.optional() ?
'?' :
'0'));
Task mapper: turns a task view into its dual.
std::basic_ostream< Char, Traits > & operator<<(std::basic_ostream< Char, Traits > &os, const ManFixPTaskBwd &t)
Gecode toplevel namespace