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 namespace Gecode { namespace Int { namespace Count {
00035
00036 template<class VX, class VY, class VZ, bool shr>
00037 forceinline
00038 LqView<VX,VY,VZ,shr>::LqView(Home home, ViewArray<VX>& x,
00039 VY y, VZ z, int c)
00040 : ViewBase<VX,VY,VZ>(home,x,y,z,c) {}
00041
00042 template<class VX, class VY, class VZ, bool shr>
00043 ExecStatus
00044 LqView<VX,VY,VZ,shr>::post(Home home, ViewArray<VX>& x,
00045 VY y, VZ z, int c) {
00046 GECODE_ME_CHECK(z.gq(home,-c));
00047 if (z.assigned())
00048 return LqInt<VX,VY>::post(home,x,y,z.val()+c);
00049 if (sharing(x,y,z))
00050 (void) new (home) LqView<VX,VY,VZ,true>(home,x,y,z,c);
00051 else
00052 (void) new (home) LqView<VX,VY,VZ,false>(home,x,y,z,c);
00053 return ES_OK;
00054 }
00055
00056 template<class VX, class VY, class VZ, bool shr>
00057 forceinline
00058 LqView<VX,VY,VZ,shr>::LqView(Space& home, LqView<VX,VY,VZ,shr>& p)
00059 : ViewBase<VX,VY,VZ>(home,p) {}
00060
00061 template<class VX, class VY, class VZ, bool shr>
00062 Actor*
00063 LqView<VX,VY,VZ,shr>::copy(Space& home) {
00064 return new (home) LqView<VX,VY,VZ,shr>(home,*this);
00065 }
00066
00067 template<class VX, class VY, class VZ, bool shr>
00068 ExecStatus
00069 LqView<VX,VY,VZ,shr>::propagate(Space& home, const ModEventDelta&) {
00070 count(home);
00071 GECODE_ME_CHECK(z.gq(home,atleast()));
00072
00073 if (z.max() == atleast()) {
00074 GECODE_ES_CHECK(post_false(home,x,y));
00075 return home.ES_SUBSUMED(*this);
00076 }
00077
00078 if (x.size() == 0)
00079 return home.ES_SUBSUMED(*this);
00080
00081 if (z.assigned()) {
00082 VY yc(y);
00083 GECODE_REWRITE(*this,(LqInt<VX,VY>::post(home(*this),x,yc,z.val()+c)));
00084 }
00085
00086 return shr ? ES_NOFIX : ES_FIX;
00087 }
00088
00089 }}}
00090
00091