38 template<
class TaskView, SortTaskOrder sto,
bool inc>
42 template<
class TaskView, SortTaskOrder sto,
bool inc>
46 :
map(
r.alloc<int>(t.size())),
i(t.size()-1) {
50 template<
class TaskView, SortTaskOrder sto,
bool inc>
55 template<
class TaskView, SortTaskOrder sto,
bool inc>
60 template<
class TaskView, SortTaskOrder sto,
bool inc>
66 template<
class TaskView, SortTaskOrder sto,
bool inc>
73 template<
class OptTaskView, SortTaskOrder sto,
bool inc>
78 for (
int j=0; j<t.
size(); j++)
Allows to iterate over mandatory task views according to a specified order.
int size(void) const
Return size of array (number of elements)
Allows to iterate over task views according to a specified order.
void operator++(void)
Move iterator to next task.
bool operator()(void) const
Test whether iterator is still at a task.
int * map
Map for iteration order.
int task(void) const
Return current task position.
int left(void) const
How many tasks are left to be iterated.
TaskViewIter(void)
Default constructor (no initialization)
void sort(TaskViewArray< TaskView > &t)
Sort task view array t according to sto and inc (increasing or decreasing)
Gecode toplevel namespace
Post propagator for SetVar SetOpType SetVar SetRelType r