void init(Home, const FloatVarArgs &x, double d=1.0, FloatBranchMerit bm=NULL)
Initialize for float variables x with decay factor d.
FloatActivity(void)
Construct as not yet initialized.
double(* FloatBranchMerit)(const Space &home, FloatVar x, int i)
Branch merit function type for float variables.
Node * x
Pointer to corresponding Boolean expression node.
void init(Home home, ViewArray< View > &x, double d, typename BranchTraits< typename View::VarType >::Merit bm)
Initialize for views x and decay factor d and activity as defined by bm.
Gecode toplevel namespace
Home class for posting propagators