Class IntAssign

gecode/int.hh:5118–5140

* \brief Which values to select for assignment * * \ingroup TaskModelIntBranch */

   * \ingroup TaskModelIntBranch
   */
  class IntAssign : public ValBranch<IntVar> {
  public:
    /// Which value selection
    enum Select {
      SEL_MIN,       ///< Select smallest value
      SEL_MED,       ///< Select greatest value not greater than the median
      SEL_MAX,       ///< Select largest value
      SEL_RND,       ///< Select random value
      SEL_VAL_COMMIT ///< Select value according to user-defined functions
    };
  protected:
    /// Which value to select
    Select s;
  public:
    /// Initialize with selection strategy \a s
    IntAssign(Select s = SEL_MIN);
    /// Initialize with random number generator \a r
    IntAssign(Rnd r);
    /// Initialize with value function \a f and commit function \a c
    IntAssign(IntBranchVal v, IntBranchCommit c);
    /// Return selection strategy
    Select select(void) const;
  };

  /**
   * \brief Which values to select for assignment