link-multi.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 Int { namespace Channel {
00039
00040 forceinline
00041 LinkMulti::LinkMulti(Home home, ViewArray<BoolView>& x, IntView y, int o0)
00042 : MixNaryOnePropagator<BoolView,PC_BOOL_NONE,IntView,PC_INT_DOM>
00043 (home,x,y), c(home), status(S_NONE), o(o0) {
00044 x.subscribe(home,*new (home) Advisor(home,*this,c));
00045
00046 }
00047
00048 forceinline
00049 LinkMulti::LinkMulti(Space& home, bool share, LinkMulti& p)
00050 : MixNaryOnePropagator<BoolView,PC_BOOL_NONE,IntView,PC_INT_DOM>
00051 (home,share,p), status(S_NONE), o(p.o) {
00052 assert(p.status == S_NONE);
00053 c.update(home,share,p.c);
00054 }
00055
00056 forceinline ExecStatus
00057 LinkMulti::post(Home home, ViewArray<BoolView>& x, IntView y, int o) {
00058 int n=x.size();
00059 GECODE_ME_CHECK(y.gq(home,o));
00060 GECODE_ME_CHECK(y.lq(home,o+n-1));
00061 assert(n > 0);
00062 if (n == 1) {
00063 GECODE_ME_CHECK(x[0].one(home));
00064 assert(y.val() == o);
00065 } else if (y.assigned()) {
00066 int j=y.val()-o;
00067 GECODE_ME_CHECK(x[j].one(home));
00068 for (int i=0; i<j; i++)
00069 GECODE_ME_CHECK(x[i].zero(home));
00070 for (int i=j+1; i<n; i++)
00071 GECODE_ME_CHECK(x[i].zero(home));
00072 } else {
00073 for (int i=n; i--; )
00074 if (x[i].one()) {
00075 for (int j=0; j<i; j++)
00076 GECODE_ME_CHECK(x[j].zero(home));
00077 for (int j=i+1; j<n; j++)
00078 GECODE_ME_CHECK(x[j].zero(home));
00079 GECODE_ME_CHECK(y.eq(home,o+i));
00080 return ES_OK;
00081 } else if (x[i].zero()) {
00082 GECODE_ME_CHECK(y.nq(home,o+i));
00083 }
00084 (void) new (home) LinkMulti(home,x,y,o);
00085 }
00086 return ES_OK;
00087 }
00088
00089 }}}
00090
00091
00092