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));
119 template<
class Char,
class Traits,
class Task>
120 std::basic_ostream<Char,Traits>&
123 std::basic_ostringstream<Char,Traits> s;
124 s.copyfmt(os); s.width(0);
128 for (
int i=1;
i<
t.size();
i++)
132 return os << s.str();
139 template<
class TaskView>
144 template<
class TaskView>
150 template<
class TaskView>
156 template<
class TaskView>
159 return static_cast<TaskView&
>(
t[
i]);
161 template<
class TaskView>
164 return static_cast<const TaskView&
>(
t[
i]);
167 template<
class Char,
class Traits,
class TaskView>
168 std::basic_ostream<Char,Traits>&
171 std::basic_ostringstream<Char,Traits> s;
172 s.copyfmt(os); s.width(0);
176 for (
int i=1;
i<
t.size();
i++)
180 return os << s.str();