Node * x
Pointer to corresponding Boolean expression node.
Which values to select for assignment.
Which values to select for branching first.
Passing Boolean variables.
Home class for posting propagators
Which values to select for assignment.
Which values to select for branching first.
Passing integer variables.
std::function< void(const Space &home, const Brancher &b, unsigned int a, IntVar x, int i, const int &n, std::ostream &o)> IntVarValPrint
Function type for printing branching alternatives for integer variables.
std::function< void(const Space &home, const Brancher &b, unsigned int a, BoolVar x, int i, const int &n, std::ostream &o)> BoolVarValPrint
Function type for printing branching alternatives for Boolean variables.
std::function< bool(const Space &home, IntVar x, int i)> IntBranchFilter
Branch filter function type for integer variables.
std::function< bool(const Space &home, BoolVar x, int i)> BoolBranchFilter
Branch filter function type for Boolean 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.
IntVarBranch INT_VAR_NONE(void)
Select first unassigned variable.
BoolVarBranch BOOL_VAR_NONE(void)
Select first unassigned variable.