36namespace Gecode {
namespace Int {
38 template<
class TaskView, SortTaskOrder sto,
bool inc>
40 TaskViewIter<TaskView,sto,inc>::TaskViewIter(
void) {}
42 template<
class TaskView, SortTaskOrder sto,
bool inc>
44 TaskViewIter<TaskView,sto,inc>
45 ::TaskViewIter(Region&
r,
const TaskViewArray<TaskView>&
t)
47 sort<TaskView,sto,!inc>(map,
t);
50 template<
class TaskView, SortTaskOrder sto,
bool inc>
52 TaskViewIter<TaskView,sto,inc>::operator ()(
void)
const {
55 template<
class TaskView, SortTaskOrder sto,
bool inc>
57 TaskViewIter<TaskView,sto,inc>::left(
void)
const {
60 template<
class TaskView, SortTaskOrder sto,
bool inc>
62 TaskViewIter<TaskView,sto,inc>::operator ++(
void) {
66 template<
class TaskView, SortTaskOrder sto,
bool inc>
68 TaskViewIter<TaskView,sto,inc>::task(
void)
const {
73 template<
class OptTaskView, SortTaskOrder sto,
bool inc>
75 ManTaskViewIter<OptTaskView,sto,inc>
76 ::ManTaskViewIter(Region&
r,
const TaskViewArray<OptTaskView>&
t) {
77 map =
r.alloc<
int>(
t.size());
i=0;
78 for (
int j=0; j<
t.size(); j++)
81 sort<OptTaskView,sto,!inc>(map,i,
t);
unsigned int size(I &i)
Size of all ranges of range iterator i.
Gecode toplevel namespace
Post propagator for SetVar SetOpType SetVar SetRelType r
Gecode::IntArgs i({1, 2, 3, 4})