Node * x
Pointer to corresponding Boolean expression node.
void init(Home home, ViewArray< View > &x, typename BranchTraits< typename View::VarType >::Merit bm)
Initialize for views x and Q-score as defined by bm.
Home class for posting propagators
void init(Home home, const SetVarArgs &x, SetBranchMerit bm=nullptr)
Initialize for set variables x.
SetCHB(void)
Construct as not yet initialized.
Post propagator for SetVar SetOpType SetVar y
std::function< double(const Space &home, SetVar x, int i)> SetBranchMerit
Branch merit function type for set variables.