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 namespace Gecode { namespace Int { namespace Channel {
00035
00036 template<class Info, class Offset, PropCond pc>
00037 forceinline
00038 Base<Info,Offset,pc>::Base(Home home, int n0, Info* xy0,
00039 Offset& ox0, Offset& oy0)
00040 : Propagator(home), n(n0), n_na(2*n), ox(ox0), oy(oy0), xy(xy0) {
00041 for (int i=0; i<2*n; i++)
00042 xy[i].view.subscribe(home,*this,pc);
00043 }
00044
00045 template<class Info, class Offset, PropCond pc>
00046 forceinline
00047 Base<Info,Offset,pc>::Base(Space& home, Base<Info,Offset,pc>& p)
00048 : Propagator(home,p), n(p.n), n_na(p.n_na),
00049 xy(home.alloc<Info>(2*n)) {
00050 ox.update(p.ox);
00051 oy.update(p.oy);
00052 for (int i=0; i<2*n; i++)
00053 xy[i].update(home,p.xy[i]);
00054 }
00055
00056 template<class Info, class Offset, PropCond pc>
00057 PropCost
00058 Base<Info,Offset,pc>::cost(const Space&, const ModEventDelta&) const {
00059 return PropCost::quadratic(PropCost::LO, 2*n);
00060 }
00061
00062 template<class Info, class Offset, PropCond pc>
00063 void
00064 Base<Info,Offset,pc>::reschedule(Space& home) {
00065 for (int i=0; i<2*n; i++)
00066 xy[i].view.reschedule(home,*this,pc);
00067 }
00068
00069 template<class Info, class Offset, PropCond pc>
00070 forceinline size_t
00071 Base<Info,Offset,pc>::dispose(Space& home) {
00072 for (int i=0; i<2*n; i++)
00073 xy[i].view.cancel(home,*this,pc);
00074 (void) Propagator::dispose(home);
00075 return sizeof(*this);
00076 }
00077
00078 }}}
00079
00080
00081