val.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 Circuit {
00039
00040
00041
00042
00043
00044 template<class View, class Offset>
00045 forceinline
00046 Val<View,Offset>::Val(Home home, ViewArray<View>& x, Offset& o)
00047 : Base<View,Offset>(home,x,o) {}
00048
00049 template<class View, class Offset>
00050 forceinline
00051 Val<View,Offset>::Val(Space& home, bool share, Val<View,Offset>& p)
00052 : Base<View,Offset>(home,share,p) {}
00053
00054 template<class View, class Offset>
00055 Actor*
00056 Val<View,Offset>::copy(Space& home, bool share) {
00057 return new (home) Val<View,Offset>(home,share,*this);
00058 }
00059
00060 template<class View, class Offset>
00061 PropCost
00062 Val<View,Offset>::cost(const Space&, const ModEventDelta&) const {
00063 return PropCost::linear(PropCost::HI, x.size());
00064 }
00065
00066 template<class View, class Offset>
00067 ExecStatus
00068 Val<View,Offset>::propagate(Space& home, const ModEventDelta&) {
00069 GECODE_ES_CHECK((Int::Distinct::prop_val<View,true>(home,y)));
00070 ExecStatus esc = connected(home);
00071 if (esc != ES_FIX)
00072 return esc;
00073
00074
00075
00076
00077 if (y.size() < 2)
00078 return home.ES_SUBSUMED(*this);
00079 return path(home);
00080 }
00081
00082 template<class View, class Offset>
00083 ExecStatus
00084 Val<View,Offset>::post(Home home, ViewArray<View>& x, Offset& o) {
00085 int n = x.size();
00086 if (n == 1) {
00087 GECODE_ME_CHECK(o(x[0]).eq(home,0));
00088 } else if (n == 2) {
00089 GECODE_ME_CHECK(o(x[0]).eq(home,1));
00090 GECODE_ME_CHECK(o(x[1]).eq(home,0));
00091 } else {
00092 for (int i=n; i--; ) {
00093 GECODE_ME_CHECK(o(x[i]).gq(home,0));
00094 GECODE_ME_CHECK(o(x[i]).le(home,n));
00095 GECODE_ME_CHECK(o(x[i]).nq(home,i));
00096 }
00097 (void) new (home) Val<View,Offset>(home,x,o);
00098 }
00099 return ES_OK;
00100 }
00101
00102 }}}
00103
00104
00105