Recording activities for float variables. More...
#include <float.hh>
Public Member Functions | |
FloatActivity (void) | |
Construct as not yet initialized. | |
FloatActivity (const FloatActivity &a) | |
Copy constructor. | |
FloatActivity & | operator= (const FloatActivity &a) |
Assignment operator. | |
FloatActivity (Home home, const FloatVarArgs &x, double d=1.0, FloatBranchMerit bm=NULL) | |
Initialize for float variables x with decay factor d. | |
void | init (Home, const FloatVarArgs &x, double d=1.0, FloatBranchMerit bm=NULL) |
Initialize for float variables x with decay factor d. |
Gecode::FloatActivity::FloatActivity | ( | void | ) | [inline] |
Construct as not yet initialized.
The only member functions that can be used on a constructed but not yet initialized activity storage is init or the assignment operator.
Definition at line 41 of file activity.hpp.
Gecode::FloatActivity::FloatActivity | ( | const FloatActivity & | a | ) | [inline] |
Copy constructor.
Definition at line 44 of file activity.hpp.
Gecode::FloatActivity::FloatActivity | ( | Home | home, |
const FloatVarArgs & | x, | ||
double | d = 1.0 , |
||
FloatBranchMerit | bm = NULL |
||
) |
Initialize for float variables x with decay factor d.
If the branch merit function bm is different from NULL, the activity for each variable is initialized with the merit returned by bm.
Definition at line 42 of file activity.cpp.
FloatActivity & Gecode::FloatActivity::operator= | ( | const FloatActivity & | a | ) | [inline] |
Assignment operator.
Definition at line 48 of file activity.hpp.
void Gecode::FloatActivity::init | ( | Home | home, |
const FloatVarArgs & | x, | ||
double | d = 1.0 , |
||
FloatBranchMerit | bm = NULL |
||
) |
Initialize for float variables x with decay factor d.
If the branch merit function bm is different from NULL, the activity for each variable is initialized with the merit returned by bm.
This member function can only be used once and only if the activity storage has been constructed with the default constructor.
Definition at line 49 of file activity.cpp.