Class BoolAssign

gecode/int.hh:5147–5168

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

   * \ingroup TaskModelIntBranch
   */
  class BoolAssign : public ValBranch<BoolVar> {
  public:
    /// Which value selection
    enum Select {
      SEL_MIN,       ///< Select smallest value
      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
    BoolAssign(Select s = SEL_MIN);
    /// Initialize with random number generator \a r
    BoolAssign(Rnd r);
    /// Initialize with value function \a f and commit function \a c
    BoolAssign(BoolBranchVal v, BoolBranchCommit c);
    /// Return selection strategy
    Select select(void) const;
  };

  /**
   * \defgroup TaskModelIntBranchAssign Value selection for assigning integer variables