double(* IntBranchMerit)(const Space &home, IntVar x, int i)
Branch merit function type for integer variables.
IntActivity(void)
Construct as not yet initialized.
Passing integer variables.
Passing Boolean variables.
double(* BoolBranchMerit)(const Space &home, BoolVar x, int i)
Branch merit function type for Boolean 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
void init(Home home, const IntVarArgs &x, double d=1.0, IntBranchMerit bm=NULL)
Initialize for integer variables x with decay factor d.