Class IntCHB

gecode/int.hh:4605–4642

* \brief Recording CHB for integer variables * * \ingroup TaskModelIntBranch */

   * \ingroup TaskModelIntBranch
   */
  class IntCHB : public CHB {
  public:
    /**
     * \brief Construct as not yet initialized
     *
     * The only member functions that can be used on a constructed but not
     * yet initialized CHB storage is init or the assignment operator.
     *
     */
    IntCHB(void);
    /// Copy constructor
    IntCHB(const IntCHB& chb);
    /// Assignment operator
    IntCHB& operator =(const IntCHB& chb);
   /**
     * \brief Initialize for integer variables \a x
     *
     * If the branch merit function \a bm is different from nullptr, the
     * action for each variable is initialized with the merit returned
     * by \a bm.
     *
     */
    GECODE_INT_EXPORT
    IntCHB(Home home, const IntVarArgs& x, IntBranchMerit bm=nullptr);
   /**
     * \brief Initialize for integer variables \a x
     *
     * If the branch merit function \a bm is different from nullptr, the
     * action for each variable is initialized with the merit returned
     * by \a bm.
     *
     * This member function can only be used once and only if the
     * action storage has been constructed with the default constructor.
     *
     */
    GECODE_INT_EXPORT void
    init(Home home, const IntVarArgs& x, IntBranchMerit bm=nullptr);
  };

  /**
   * \brief Recording CHB for Boolean variables