36 namespace Gecode {
namespace Int {
38 template<
class TaskView, SortTaskOrder sto,
bool inc>
42 template<
class TaskView, SortTaskOrder sto,
bool inc>
47 sort<TaskView,sto,!inc>(map,
t);
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>
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);