values-minus.icc
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
00052 template <class I>
00053 class Minus {
00054 private:
00056 SharedArray<int> v;
00058 int c;
00059 public:
00061
00062
00063 Minus(void);
00065 Minus(I& i);
00067 void init(I& i);
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>
00087 forceinline
00088 Minus<I>::Minus(void) {}
00089
00090 template <class I>
00091 inline void
00092 Minus<I>::init(I& i) {
00093 Support::DynamicArray<int> d;
00094 int n=0;
00095 while (i()) {
00096 d[n] = -i.val();
00097 ++n; ++i;
00098 }
00099 v.init(n);
00100 for (int j=n; j--; )
00101 v[j]=d[j];
00102 c = n-1;
00103 }
00104
00105 template <class I>
00106 forceinline
00107 Minus<I>::Minus(I& i) {
00108 init(i);
00109 }
00110
00111 template <class I>
00112 forceinline void
00113 Minus<I>::operator++(void) {
00114 c--;
00115 }
00116 template <class I>
00117 forceinline bool
00118 Minus<I>::operator()(void) const {
00119 return c >= 0;
00120 }
00121
00122 template <class I>
00123 forceinline int
00124 Minus<I>::val(void) const {
00125 return v[c];
00126 }
00127
00128 }}}
00129
00130