values-map.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
00035
00036
00037
00038 namespace Gecode { namespace Iter { namespace Values {
00039
00048 template<class I, class M, bool strict=false>
00049 class Map {
00050 protected:
00052 I i;
00054 M m;
00055 public:
00057
00058
00059 Map(void);
00061 Map(I& i);
00063 Map(I& i, const M& m);
00065 void init(I& i);
00067 void init(I& i, const M& m);
00069
00071
00072
00073 bool operator ()(void) const;
00075 void operator ++(void);
00077
00079
00080
00081 int val(void) const;
00083 };
00084
00085
00086 template<class I, class M, bool strict>
00087 forceinline
00088 Map<I,M,strict>::Map(void) {}
00089
00090 template<class I, class M, bool strict>
00091 forceinline
00092 Map<I,M,strict>::Map(I& i0) : i(i0) {}
00093
00094 template<class I, class M, bool strict>
00095 forceinline
00096 Map<I,M,strict>::Map(I& i0, const M& m0) : i(i0), m(m0) {}
00097
00098 template<class I, class M, bool strict>
00099 forceinline void
00100 Map<I,M,strict>::init(I& i0) {
00101 i=i0;
00102 }
00103
00104 template<class I, class M, bool strict>
00105 forceinline void
00106 Map<I,M,strict>::init(I& i0, const M& m0) {
00107 i=i0; m=m0;
00108 }
00109
00110 template<class I, class M, bool strict>
00111 forceinline void
00112 Map<I,M,strict>::operator ++(void) {
00113 if (strict) {
00114 ++i;
00115 } else {
00116 int n=m.val(i.val());
00117 do {
00118 ++i;
00119 } while (i() && (n == m.val(i.val())));
00120 }
00121 }
00122 template<class I, class M, bool strict>
00123 forceinline bool
00124 Map<I,M,strict>::operator ()(void) const {
00125 return i();
00126 }
00127
00128 template<class I, class M, bool strict>
00129 forceinline int
00130 Map<I,M,strict>::val(void) const {
00131 return m.val(i.val());
00132 }
00133
00134 }}}
00135
00136