36namespace Gecode {
namespace Int {
namespace Unary {
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.
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.
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.
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.
lct() <<
":"
74 << (t.mandatory() ?
'1' : (t.optional() ?
'?' :
'0'));
78 template<
class Char,
class Traits>
79 std::basic_ostream<Char,Traits>&
81 std::basic_ostringstream<Char,Traits> s;
82 s.copyfmt(os); s.width(0);
83 s << t.
est() <<
':' << t.
lst() <<
':' << t.
pmin() <<
':'
84 << t.
pmax() <<
':' << t.
ect() <<
':' << t.
lct();
88 template<
class Char,
class Traits>
89 std::basic_ostream<Char,Traits>&
91 std::basic_ostringstream<Char,Traits> s;
92 s.copyfmt(os); s.width(0);
93 s << t.
est() <<
':' << t.
lst() <<
':' << t.
pmin() <<
':'
94 << t.
pmax() <<
':' << t.
ect() <<
':' << t.
lct() <<
':'
95 << (t.mandatory() ?
'1' : (t.optional() ?
'?' :
'0'));
Task mapper: turns a task view into its dual.
int ect(void) const
Return earliest completion time.
int lst(void) const
Return latest start time.
int lct(void) const
Return latest completion time.
int est(void) const
Return earliest start time.
int pmin(void) const
Return minimum processing time.
int pmax(void) const
Return maximum processing time.
std::basic_ostream< Char, Traits > & operator<<(std::basic_ostream< Char, Traits > &os, const ManFixPTaskBwd &t)
Gecode toplevel namespace