* \brief Dimension combining coordinate and integer size information */
| 47 | * \brief Dimension combining coordinate and integer size information |
| 48 | */ |
| 49 | class FixDim { |
| 50 | protected: |
| 51 | /// Coordinate |
| 52 | IntView c; |
| 53 | /// Size |
| 54 | int s; |
| 55 | /// Modify smallest start coordinate |
| 56 | ExecStatus ssc(Space& home, int n); |
| 57 | /// Modify largest end coordinate |
| 58 | ExecStatus lec(Space& home, int n); |
| 59 | /// Dimension must not overlap with coordinates \a n to \a m |
| 60 | ExecStatus nooverlap(Space& home, int n, int m); |
| 61 | public: |
| 62 | /// Default constructor |
| 63 | FixDim(void); |
| 64 | /// Constructor |
| 65 | FixDim(IntView c, int s); |
| 66 | |
| 67 | /// Return smallest start coordinate |
| 68 | int ssc(void) const; |
| 69 | /// Return largest start coordinate |
| 70 | int lsc(void) const; |
| 71 | /// Return smallest end coordinate |
| 72 | int sec(void) const; |
| 73 | /// Return largest end coordinate |
| 74 | int lec(void) const; |
| 75 | |
| 76 | /// Dimension must not overlap with \a d |
| 77 | ExecStatus nooverlap(Space& home, FixDim& d); |
| 78 | |
| 79 | /// Update dimension during cloning |
| 80 | void update(Space& home, FixDim& d); |
| 81 | |
| 82 | /// Subscribe propagator \a p to dimension |
| 83 | void subscribe(Space& home, Propagator& p); |
| 84 | /// Cancel propagator \a p from dimension |
| 85 | void cancel(Space& home, Propagator& p); |
| 86 | /// Schedule propagator \a p |
| 87 | void reschedule(Space& home, Propagator& p); |
| 88 | }; |
| 89 | |
| 90 | /** |
| 91 | * \brief Dimension combining coordinate and integer view size information |