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.
void assign(Home home, const FloatVarArgs &x, FloatVarBranch vars, FloatAssign vals, FloatBranchFilter bf=nullptr, FloatVarValPrint vvp=nullptr)
Assign all x with variable selection vars and value selection vals.
void branch(Home home, const FloatVarArgs &x, FloatVarBranch vars, FloatValBranch vals, FloatBranchFilter bf=nullptr, FloatVarValPrint vvp=nullptr)
Branch over x with variable selection vars and value selection vals.
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.
Gecode toplevel namespace
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.
IntVarBranch INT_VAR_NONE(void)
Select first unassigned variable.
BoolVarBranch BOOL_VAR_NONE(void)
Select first unassigned variable.
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.
Post propagator for SetVar x