Class BoolValBranch

gecode/int.hh:5036–5057

* \brief Which values to select for branching first * * \ingroup TaskModelIntBranch */

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

  /**
   * \defgroup TaskModelIntBranchVal Value selection for integer and Boolean variables