* \brief Recording AFC information for integer variables * * \ingroup TaskModelIntBranch */
| 4409 | * \ingroup TaskModelIntBranch |
| 4410 | */ |
| 4411 | class IntAFC : public AFC { |
| 4412 | public: |
| 4413 | /** |
| 4414 | * \brief Construct as not yet initialized |
| 4415 | * |
| 4416 | * The only member functions that can be used on a constructed but not |
| 4417 | * yet initialized AFC storage is init or the assignment operator. |
| 4418 | * |
| 4419 | */ |
| 4420 | IntAFC(void); |
| 4421 | /// Copy constructor |
| 4422 | IntAFC(const IntAFC& a); |
| 4423 | /// Assignment operator |
| 4424 | IntAFC& operator =(const IntAFC& a); |
| 4425 | /** |
| 4426 | * \brief Initialize for integer variables \a x and decay factor \a d |
| 4427 | * |
| 4428 | * If several AFC objects are created for a space or its clones, |
| 4429 | * the AFC values are shared between spaces. If the values should |
| 4430 | * not be shared, \a share should be false. |
| 4431 | */ |
| 4432 | IntAFC(Home home, const IntVarArgs& x, double d=1.0, bool share=true); |
| 4433 | /** |
| 4434 | * \brief Initialize for integer variables \a x with decay factor \a d |
| 4435 | * |
| 4436 | * This member function can only be used once and only if the |
| 4437 | * AFC storage has been constructed with the default constructor. |
| 4438 | * |
| 4439 | * If several AFC objects are created for a space or its clones, |
| 4440 | * the AFC values are shared between spaces. If the values should |
| 4441 | * not be shared, \a share should be false. |
| 4442 | */ |
| 4443 | void init(Home home, const IntVarArgs& x, double d=1.0, bool share=true); |
| 4444 | }; |
| 4445 | |
| 4446 | /** |
| 4447 | * \brief Recording AFC information for Boolean variables |