40 namespace Gecode {
namespace Int {
42 template<
class TaskView, SortTaskOrder sto,
bool inc>
46 template<
class TaskView, SortTaskOrder sto,
bool inc>
51 sort<TaskView,sto,!inc>(map,
t);
54 template<
class TaskView, SortTaskOrder sto,
bool inc>
59 template<
class TaskView, SortTaskOrder sto,
bool inc>
64 template<
class TaskView, SortTaskOrder sto,
bool inc>
70 template<
class TaskView, SortTaskOrder sto,
bool inc>
77 template<
class OptTaskView, SortTaskOrder sto,
bool inc>
81 map =
r.alloc<
int>(
t.size());
i=0;
82 for (
int j=
t.size(); j--; )
85 sort<OptTaskView,sto,!inc>(map,
i,
t);