common.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
00039
00040
00041
00042
00043
00044 namespace Gecode { namespace Set { namespace Sequence {
00045
00046 inline ExecStatus
00047 propagateSeq(Space& home, bool& modified, bool& assigned,
00048 ViewArray<SetView>& x) {
00049 int lastElem = x.size()-1;
00050 int cur_max = BndSet::MAX_OF_EMPTY;
00051 int cur_min = BndSet::MIN_OF_EMPTY;
00052
00053 Region r(home);
00054 Support::DynamicArray<int,Region> ub(r);
00055
00056 for (int i=0; i<lastElem; i++) {
00057 if (x[i].glbSize() > 0)
00058 cur_max = std::max(cur_max, x[i].glbMax());
00059 if (x[i].cardMin() > 0)
00060 cur_max = std::max(cur_max, x[i].lubMinN(x[i].cardMin()-1));
00061 if (cur_max >= Limits::min)
00062 GECODE_SET_ME_CHECK_VAL_B(modified,
00063 x[i+1].exclude(home, Limits::min,
00064 cur_max),
00065 assigned);
00066
00067 if (x[lastElem-i].lubSize() > 0) {
00068 cur_min = std::min(cur_min, x[lastElem-i].glbMin());
00069 if (x[lastElem-i].cardMin() > 0) {
00070
00071
00072 int maxN = BndSet::MAX_OF_EMPTY;
00073 int j=0;
00074 for (LubRanges<SetView> ubr(x[lastElem-i]); ubr(); ++ubr, ++j) {
00075 ub[2*j]=ubr.min(); ub[2*j+1]=ubr.max();
00076 }
00077 unsigned int xcm = x[lastElem-i].cardMin()-1;
00078 while (j--) {
00079 unsigned int width = static_cast<unsigned int>(ub[2*j+1]-ub[2*j]+1);
00080 if (width > xcm) {
00081 maxN = static_cast<int>(ub[2*j+1]-xcm);
00082 break;
00083 }
00084 xcm -= width;
00085 }
00086 cur_min = std::min(cur_min, maxN);
00087 }
00088 }
00089 if (Limits::max>=cur_min)
00090 GECODE_SET_ME_CHECK_VAL_B(modified,
00091 x[lastElem-i-1].exclude(home, cur_min,
00092 Limits::max),
00093 assigned);
00094 }
00095 return ES_NOFIX;
00096 }
00097
00098 }}}
00099
00100