Class FloatCHB

gecode/float.hh:1620–1657

* \brief Recording CHB for float variables * * \ingroup TaskModelFloatBranch */

   * \ingroup TaskModelFloatBranch
   */
  class FloatCHB : 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.
     *
     */
    FloatCHB(void);
    /// Copy constructor
    FloatCHB(const FloatCHB& chb);
    /// Assignment operator
    FloatCHB& operator =(const FloatCHB& chb);
   /**
     * \brief Initialize for float 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_FLOAT_EXPORT
    FloatCHB(Home home, const FloatVarArgs& x, FloatBranchMerit bm=nullptr);
   /**
     * \brief Initialize for float 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_FLOAT_EXPORT void
    init(Home home, const FloatVarArgs& x, FloatBranchMerit bm=nullptr);
  };

}