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'));
int lct(void) const
Return latest completion time.
int est(void) const
Return earliest start time.
int pmin(void) const
Return minimum processing time.
Scheduling for cumulative resources
FwdToBwd< ManFixPSETaskFwd > ManFixPSETaskBwd
Backward (dual) mandatory fixed task view.
FwdToBwd< OptFixPTaskFwd > OptFixPTaskBwd
Backward (dual) optional fixed task view.
FwdToBwd< OptFixPSETaskFwd > OptFixPSETaskBwd
Backward (dual) optional fixed task view.
FwdToBwd< ManFixPTaskFwd > ManFixPTaskBwd
Backward (dual) mandatory fixed task view.
std::basic_ostream< Char, Traits > & operator<<(std::basic_ostream< Char, Traits > &os, const ManFixPTaskBwd &t)
Gecode toplevel namespace