34 namespace Gecode {
namespace Int {
47 :
n(n0),
t(home.alloc<Task>(
n)) {
75 assert((
i >= 0) && (
i <
n));
81 assert((
i >= 0) && (
i <
n));
88 for (
int i=0;
i<
n;
i++)
95 for (
int i=0;
i<
n;
i++)
102 for (
int i=0;
i<
n;
i++)
110 for (
int i=0;
i<
n;
i++)
115 template<
class Char,
class Traits,
class Task>
116 std::basic_ostream<Char,Traits>&
119 std::basic_ostringstream<Char,Traits> s;
120 s.copyfmt(os); s.width(0);
124 for (
int i=1;
i<
t.size();
i++)
128 return os << s.str();
135 template<
class TaskView>
140 template<
class TaskView>
146 template<
class TaskView>
152 template<
class TaskView>
155 return static_cast<TaskView&
>(
t[
i]);
157 template<
class TaskView>
160 return static_cast<const TaskView&
>(
t[
i]);
163 template<
class Char,
class Traits,
class TaskView>
164 std::basic_ostream<Char,Traits>&
167 std::basic_ostringstream<Char,Traits> s;
168 s.copyfmt(os); s.width(0);
172 for (
int i=1;
i<
t.size();
i++)
176 return os << s.str();