bool-base.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 NValues {
00039
00040 template<class VY>
00041 forceinline
00042 BoolBase<VY>::BoolBase(Home home,
00043 int status0, ViewArray<BoolView>& x, VY y0)
00044 : Propagator(home), status(status0), c(home), y(y0) {
00045 y.subscribe(home,*this,PC_INT_BND);
00046 for (int i=x.size(); i--; ) {
00047 assert(!x[i].assigned());
00048 (void) new (home) ViewAdvisor<BoolView>(home, *this, c, x[i]);
00049 }
00050 }
00051
00052 template<class VY>
00053 forceinline
00054 BoolBase<VY>::BoolBase(Space& home, bool share, BoolBase<VY>& p)
00055 : Propagator(home,share,p), status(p.status) {
00056 c.update(home,share,p.c);
00057 y.update(home,share,p.y);
00058 }
00059
00060 template<class VY>
00061 PropCost
00062 BoolBase<VY>::cost(const Space&, const ModEventDelta&) const {
00063 return PropCost::unary(PropCost::LO);
00064 }
00065
00066 template<class VY>
00067 ExecStatus
00068 BoolBase<VY>::advise(Space& home, Advisor& _a, const Delta&) {
00069 ViewAdvisor<BoolView>& a(static_cast<ViewAdvisor<BoolView>&>(_a));
00070 ExecStatus es;
00071 if (status == (VS_ZERO | VS_ONE)) {
00072
00073 es = ES_FIX;
00074 } else {
00075 if (a.view().zero())
00076 status |= VS_ZERO;
00077 else
00078 status |= VS_ONE;
00079 es = ES_NOFIX;
00080 }
00081 a.dispose(home,c);
00082 if (c.empty())
00083 es = ES_NOFIX;
00084 return es;
00085 }
00086
00087 template<class VY>
00088 forceinline size_t
00089 BoolBase<VY>::dispose(Space& home) {
00090 c.dispose(home);
00091 y.cancel(home,*this,PC_INT_BND);
00092 (void) Propagator::dispose(home);
00093 return sizeof(*this);
00094 }
00095
00096 }}}
00097
00098