Node * x
Pointer to corresponding Boolean expression node.
Which values to select for assignment.
Which values to select for branching first.
Home class for posting propagators
FloatVarBranch FLOAT_VAR_NONE(void)
Select first unassigned variable.
std::function< void(const Space &home, const Brancher &b, unsigned int a, FloatVar x, int i, const FloatNumBranch &n, std::ostream &o)> FloatVarValPrint
Function type for explaining branching alternatives for float variables.
std::function< bool(const Space &home, FloatVar x, int i)> FloatBranchFilter
Branch filter function type for float 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.