Class FlexDim

gecode/int/no-overlap.hh:93–134

* \brief Dimension combining coordinate and integer view size information */

   * \brief Dimension combining coordinate and integer view size information
   */
  class FlexDim {
  protected:
    /// Start coordinate
    IntView c0;
    /// Size
    IntView s;
    /// End coordinate
    IntView c1;
    /// Modify smallest start coordinate
    ExecStatus ssc(Space& home, int n);
    /// Modify largest end coordinate
    ExecStatus lec(Space& home, int n);
    /// Dimension must not overlap with coordinates \a n to \a m
    ExecStatus nooverlap(Space& home, int n, int m);
  public:
    /// Default constructor
    FlexDim(void);
    /// Constructor
    FlexDim(IntView c0, IntView s, IntView c1);

    /// Return smallest start coordinate
    int ssc(void) const;
    /// Return largest start coordinate
    int lsc(void) const;
    /// Return smallest end coordinate
    int sec(void) const;
    /// Return largest end coordinate
    int lec(void) const;

    /// Dimension must not overlap with \a d
    ExecStatus nooverlap(Space& home, FlexDim& d);

    /// Update dimension during cloning
    void update(Space& home, FlexDim& d);

    /// Subscribe propagator \a p to dimension
    void subscribe(Space& home, Propagator& p);
    /// Cancel propagator \a p from dimension
    void cancel(Space& home, Propagator& p);
    /// Schedule propagator \a p
    void reschedule(Space& home, Propagator& p);
  };

}}}