Go to the source code of this file.
|
namespace | Gecode |
| Gecode toplevel namespace
|
|
void | Gecode::branch (Home home, const SetVarArgs &x, SetVarBranch vars, SetValBranch vals, SetBranchFilter bf=nullptr, SetVarValPrint vvp=nullptr) |
| Branch over x with variable selection vars and value selection vals.
|
void | Gecode::branch (Home home, const SetVarArgs &x, TieBreak< SetVarBranch > vars, SetValBranch vals, SetBranchFilter bf=nullptr, SetVarValPrint vvp=nullptr) |
| Branch over x with tie-breaking variable selection vars and value selection vals.
|
void | Gecode::branch (Home home, SetVar x, SetValBranch vals, SetVarValPrint vvp=nullptr) |
| Branch over x with value selection vals.
|
void | Gecode::assign (Home home, const SetVarArgs &x, SetVarBranch vars, SetAssign vals, SetBranchFilter bf=nullptr, SetVarValPrint vvp=nullptr) |
| Assign all x with variable selection vars and value selection vals.
|
void | Gecode::assign (Home home, const SetVarArgs &x, TieBreak< SetVarBranch > vars, SetAssign vals, SetBranchFilter bf=nullptr, SetVarValPrint vvp=nullptr) |
| Assign all x with tie-breaking variable selection vars and value selection vals.
|
void | Gecode::assign (Home home, SetVar x, SetAssign vals, SetVarValPrint vvp=nullptr) |
| Assign x with value selection vals.
|