Class SetAction

gecode/set.hh:1190–1235

* \brief Recording actions for set variables * * \ingroup TaskModelSetBranch */

   * \ingroup TaskModelSetBranch
   */
  class SetAction : public Action {
  public:
    /**
     * \brief Construct as not yet initialized
     *
     * The only member functions that can be used on a constructed but not
     * yet initialized action storage is init or the assignment operator.
     *
     */
    SetAction(void);
    /// Copy constructor
    SetAction(const SetAction& a);
    /// Assignment operator
    SetAction& operator =(const SetAction& a);
    /**
     * \brief Initialize for set variables \a x with decay factor \a d
     *
     * Counts propagation if \a p is true and failure if \a f is true.
     *
     * 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_SET_EXPORT
    SetAction(Home home, const SetVarArgs& x, double d=1.0,
              bool p=true, bool f=true,
              SetBranchMerit bm=nullptr);
    /**
     * \brief Initialize for set variables \a x with decay factor \a d
     *
     * Counts propagation if \a p is true and failure if \a f is true.
     *
     * 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_SET_EXPORT void
    init(Home home, const SetVarArgs& x, double d=1.0,
         bool p=true, bool f=true,
         SetBranchMerit bm=nullptr);
  };

}