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 void
00068 BoolBase<VY>::reschedule(Space& home) {
00069 y.reschedule(home,*this,PC_INT_BND);
00070 }
00071
00072 template<class VY>
00073 ExecStatus
00074 BoolBase<VY>::advise(Space& home, Advisor& _a, const Delta&) {
00075 ViewAdvisor<BoolView>& a(static_cast<ViewAdvisor<BoolView>&>(_a));
00076 ExecStatus es;
00077 if (status == (VS_ZERO | VS_ONE)) {
00078
00079 es = ES_FIX;
00080 } else {
00081 if (a.view().zero())
00082 status |= VS_ZERO;
00083 else
00084 status |= VS_ONE;
00085 es = ES_NOFIX;
00086 }
00087 a.dispose(home,c);
00088 if (c.empty())
00089 es = ES_NOFIX;
00090 return es;
00091 }
00092
00093 template<class VY>
00094 forceinline size_t
00095 BoolBase<VY>::dispose(Space& home) {
00096 c.dispose(home);
00097 y.cancel(home,*this,PC_INT_BND);
00098 (void) Propagator::dispose(home);
00099 return sizeof(*this);
00100 }
00101
00102 }}}
00103
00104