Gecode::IntAFC Class Reference
[Branching]
Recording AFC information for integer variables. More...
#include <int.hh>
Public Member Functions | |
IntAFC (void) | |
Construct as not yet initialized. | |
IntAFC (const IntAFC &a) | |
Copy constructor. | |
IntAFC & | operator= (const IntAFC &a) |
Assignment operator. | |
IntAFC (Home home, const IntVarArgs &x, double d=1.0, bool share=true) | |
Initialize for integer variables x and decay factor d. | |
void | init (Home home, const IntVarArgs &x, double d=1.0, bool share=true) |
Initialize for integer variables x with decay factor d. |
Detailed Description
Recording AFC information for integer variables.
Definition at line 4276 of file int.hh.
Constructor & Destructor Documentation
Gecode::IntAFC::IntAFC | ( | void | ) | [inline] |
Gecode::IntAFC::IntAFC | ( | const IntAFC & | a | ) | [inline] |
Gecode::IntAFC::IntAFC | ( | Home | home, | |
const IntVarArgs & | x, | |||
double | d = 1.0 , |
|||
bool | share = true | |||
) | [inline] |
Member Function Documentation
void Gecode::IntAFC::init | ( | Home | home, | |
const IntVarArgs & | x, | |||
double | d = 1.0 , |
|||
bool | share = true | |||
) | [inline] |
Initialize for integer variables x with decay factor d.
This member function can only be used once and only if the AFC storage has been constructed with the default constructor.
If several AFC objects are created for a space or its clones, the AFC values are shared between spaces. If the values should not be shared, share should be false.
The documentation for this class was generated from the following files: