40 namespace Gecode {
namespace Int {
namespace Unary {
108 return _s.
gq(home,n);
116 return _s.
lq(home,n);
156 template<
class Char,
class Traits>
157 std::basic_ostream<Char,Traits>&
158 operator <<(std::basic_ostream<Char,Traits>& os,
const ManFixPTask&
t) {
159 std::basic_ostringstream<Char,Traits> s;
160 s.copyfmt(os); s.width(0);
161 s <<
t.est() <<
':' <<
t.pmin() <<
':' <<
t.lct();
162 return os << s.str();
283 return _s.
gr(home,l);
287 return _s.
lq(home,e);
303 template<
class Char,
class Traits>
304 std::basic_ostream<Char,Traits>&
306 std::basic_ostringstream<Char,Traits> s;
307 s.copyfmt(os); s.width(0);
308 s <<
t.est() <<
':' <<
t.pmin() <<
':' <<
t.lct();
309 return os << s.str();
320 : _s(s), _p(p),
_e(e) {}
387 return _s.
gq(home,n);
391 return _e.
gq(home,n);
395 return _s.
lq(home,n);
399 return _e.
lq(home,n);
444 template<
class Char,
class Traits>
445 std::basic_ostream<Char,Traits>&
446 operator <<(std::basic_ostream<Char,Traits>& os,
const ManFlexTask&
t) {
447 std::basic_ostringstream<Char,Traits> s;
448 s.copyfmt(os); s.width(0);
449 s <<
t.est() <<
':' <<
t.lst() <<
':' <<
t.pmin() <<
':'
450 <<
t.pmax() <<
':' <<
t.ect() <<
':' <<
t.lct();
451 return os << s.str();
469 template<
class Char,
class Traits>
470 std::basic_ostream<Char,Traits>&
471 operator <<(std::basic_ostream<Char,Traits>& os,
const OptFixPTask&
t) {
472 std::basic_ostringstream<Char,Traits> s;
473 s.copyfmt(os); s.width(0);
474 s <<
t.est() <<
':' <<
t.pmin() <<
':' <<
t.lct() <<
':'
475 << (
t.mandatory() ?
'1' : (
t.optional() ?
'?' :
'0'));
476 return os << s.str();
494 template<
class Char,
class Traits>
495 std::basic_ostream<Char,Traits>&
497 std::basic_ostringstream<Char,Traits> s;
498 s.copyfmt(os); s.width(0);
499 s <<
t.est() <<
':' <<
t.pmin() <<
':' <<
t.lct() <<
':'
500 << (
t.mandatory() ?
'1' : (
t.optional() ?
'?' :
'0'));
501 return os << s.str();
519 template<
class Char,
class Traits>
520 std::basic_ostream<Char,Traits>&
521 operator <<(std::basic_ostream<Char,Traits>& os,
const OptFlexTask&
t) {
522 std::basic_ostringstream<Char,Traits> s;
523 s.copyfmt(os); s.width(0);
524 s <<
t.est() <<
':' <<
t.lst() <<
':' <<
t.pmin() <<
':'
525 <<
t.pmax() <<
':' <<
t.ect() <<
':' <<
t.lct() <<
':'
526 << (
t.mandatory() ?
'1' : (
t.optional() ?
'?' :
'0'));
527 return os << s.str();