SetActivity(void)
Construct as not yet initialized.
double(* SetBranchMerit)(const Space &home, SetVar x, int i)
Branch merit function type for set variables.
void init(Home, const SetVarArgs &x, double d=1.0, SetBranchMerit bm=NULL)
Initialize for set variables x with decay factor d.
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