Node * x
Pointer to corresponding Boolean expression node.
Home class for posting propagators
Which value to select for assignment.
Which values to select for branching first.
std::function< bool(const Space &home, SetVar x, int i)> SetBranchFilter
Branch filter function type for set variables.
void branch(Home home, const SetVarArgs &x, SetValBranch vals, SetBranchFilter bf, SetVarValPrint vvp)
Branch over x with value selection vals.
void assign(Home home, const SetVarArgs &x, SetAssign vals, SetBranchFilter bf, SetVarValPrint vvp)
Assign all x with value selection vals.
SetVarBranch SET_VAR_NONE(void)