iter.hpp
Go to the documentation of this file.00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022
00023
00024
00025
00026
00027
00028
00029
00030
00031
00032
00033
00034 #include <algorithm>
00035
00036 namespace Gecode { namespace Int {
00037
00038 template<class TaskView, SortTaskOrder sto, bool inc>
00039 forceinline
00040 TaskViewIter<TaskView,sto,inc>::TaskViewIter(void) {}
00041
00042 template<class TaskView, SortTaskOrder sto, bool inc>
00043 forceinline
00044 TaskViewIter<TaskView,sto,inc>
00045 ::TaskViewIter(Region& r, const TaskViewArray<TaskView>& t)
00046 : map(r.alloc<int>(t.size())), i(t.size()-1) {
00047 sort<TaskView,sto,!inc>(map,t);
00048 }
00049
00050 template<class TaskView, SortTaskOrder sto, bool inc>
00051 forceinline bool
00052 TaskViewIter<TaskView,sto,inc>::operator ()(void) const {
00053 return i>=0;
00054 }
00055 template<class TaskView, SortTaskOrder sto, bool inc>
00056 forceinline int
00057 TaskViewIter<TaskView,sto,inc>::left(void) const {
00058 return i+1;
00059 }
00060 template<class TaskView, SortTaskOrder sto, bool inc>
00061 forceinline void
00062 TaskViewIter<TaskView,sto,inc>::operator ++(void) {
00063 i--;
00064 }
00065
00066 template<class TaskView, SortTaskOrder sto, bool inc>
00067 forceinline int
00068 TaskViewIter<TaskView,sto,inc>::task(void) const {
00069 return map[i];
00070 }
00071
00072
00073 template<class OptTaskView, SortTaskOrder sto, bool inc>
00074 forceinline
00075 ManTaskViewIter<OptTaskView,sto,inc>
00076 ::ManTaskViewIter(Region& r, const TaskViewArray<OptTaskView>& t) {
00077 map = r.alloc<int>(t.size()); i=0;
00078 for (int j=t.size(); j--; )
00079 if (t[j].mandatory())
00080 map[i++]=j;
00081 sort<OptTaskView,sto,!inc>(map,i,t);
00082 i--;
00083 }
00084
00085
00086 }}
00087
00088