Recording AFC information for integer and Boolean 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) | |
Initialize for integer variables x with decay factor d. | |
IntAFC (Home home, const BoolVarArgs &x, double d=1.0) | |
Initialize for Boolean variables x with decay factor d. | |
void | init (Home, const IntVarArgs &x, double d=1.0) |
Initialize for integer variables x with decay factor d. | |
void | init (Home, const BoolVarArgs &x, double d=1.0) |
Initialize for Boolean variables x with decay factor d. |
Recording AFC information for integer and Boolean variables.
Gecode::IntAFC::IntAFC | ( | void | ) | [inline] |
Gecode::IntAFC::IntAFC | ( | const IntAFC & | a | ) | [inline] |
Gecode::IntAFC::IntAFC | ( | Home | home, |
const IntVarArgs & | x, | ||
double | d = 1.0 |
||
) | [inline] |
Gecode::IntAFC::IntAFC | ( | Home | home, |
const BoolVarArgs & | x, | ||
double | d = 1.0 |
||
) | [inline] |
void Gecode::IntAFC::init | ( | Home | home, |
const IntVarArgs & | x, | ||
double | d = 1.0 |
||
) | [inline] |
void Gecode::IntAFC::init | ( | Home | home, |
const BoolVarArgs & | x, | ||
double | d = 1.0 |
||
) | [inline] |