38 namespace Gecode {
namespace Int {
51 : n(n0), t(home.alloc<Task>(n)) {
79 assert((i >= 0) && (i < n));
85 assert((i >= 0) && (i < n));
106 n=a.n; t=home.
alloc<Task>(n);
108 t[
i].update(home,share,a.t[
i]);
112 template<
class Char,
class Traits,
class Task>
113 std::basic_ostream<Char,Traits>&
114 operator <<(std::basic_ostream<Char,Traits>& os,
116 std::basic_ostringstream<Char,Traits> s;
117 s.copyfmt(os); s.width(0);
125 return os << s.str();
132 template<
class TaskView>
137 template<
class TaskView>
143 template<
class TaskView>
149 template<
class TaskView>
152 return static_cast<TaskView&
>(t[
i]);
154 template<
class TaskView>
157 return static_cast<const TaskView&
>(t[
i]);
160 template<
class Char,
class Traits,
class TaskView>
161 std::basic_ostream<Char,Traits>&
162 operator <<(std::basic_ostream<Char,Traits>& os,
164 std::basic_ostringstream<Char,Traits> s;
165 s.copyfmt(os); s.width(0);
173 return os << s.str();