eqv.cpp
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 #include <gecode/int/bool.hh>
00039
00040 namespace Gecode { namespace Int { namespace Bool {
00041
00042
00043
00044
00045
00046
00047 PropCost
00048 NaryEqv::cost(const Space&, const ModEventDelta&) const {
00049 return PropCost::binary(PropCost::LO);
00050 }
00051
00052 Actor*
00053 NaryEqv::copy(Space& home, bool share) {
00054 return new (home) NaryEqv(home,share,*this);
00055 }
00056
00057 ExecStatus
00058 NaryEqv::post(Home home, ViewArray<BoolView>& x, int pm2) {
00059 int n = x.size();
00060 for (int i=n; i--; )
00061 if (x[i].assigned()) {
00062 pm2 ^= x[i].val();
00063 x[i] = x[--n];
00064 }
00065 if (n == 0)
00066 return (pm2 == 1) ? ES_OK : ES_FAILED;
00067 if (n == 1) {
00068 GECODE_ME_CHECK(x[0].eq(home,1^pm2));
00069 return ES_OK;
00070 }
00071 if (n == 2) {
00072 if (pm2 == 1) {
00073 return Bool::Eq<BoolView,BoolView>::post(home,x[0],x[1]);
00074 } else {
00075 NegBoolView n(x[1]);
00076 return Bool::Eq<BoolView,NegBoolView>::post(home,x[0],n);
00077 }
00078 }
00079 x.size(n);
00080 (void) new (home) NaryEqv(home,x,pm2);
00081 return ES_OK;
00082 }
00083
00084 ExecStatus
00085 NaryEqv::propagate(Space& home, const ModEventDelta&) {
00086 resubscribe(home,x0);
00087 resubscribe(home,x1);
00088 if (x.size() == 0) {
00089 if (x0.assigned() && x1.assigned()) {
00090 return (pm2 == 1) ? home.ES_SUBSUMED(*this) : ES_FAILED;
00091 } else if (x0.assigned()) {
00092 GECODE_ME_CHECK(x1.eq(home,1^pm2));
00093 return home.ES_SUBSUMED(*this);
00094 } else if (x1.assigned()) {
00095 GECODE_ME_CHECK(x0.eq(home,1^pm2));
00096 return home.ES_SUBSUMED(*this);
00097 }
00098 }
00099 return ES_FIX;
00100 }
00101
00102 }}}
00103
00104