#include <gecode/int/branch.hh>
Go to the source code of this file.
Functions | |
void | Gecode::branch (Home home, const IntVarArgs &x, IntVarBranch vars, IntValBranch vals, IntBranchFilter bf=nullptr, IntVarValPrint vvp=nullptr) |
Branch over x with variable selection vars and value selection vals. More... | |
void | Gecode::branch (Home home, const IntVarArgs &x, TieBreak< IntVarBranch > vars, IntValBranch vals, IntBranchFilter bf=nullptr, IntVarValPrint vvp=nullptr) |
Branch over x with tie-breaking variable selection vars and value selection vals. More... | |
void | Gecode::branch (Home home, IntVar x, IntValBranch vals, IntVarValPrint vvp=nullptr) |
Branch over x with value selection vals. More... | |
void | Gecode::assign (Home home, const IntVarArgs &x, IntVarBranch vars, IntAssign vals, IntBranchFilter bf=nullptr, IntVarValPrint vvp=nullptr) |
Assign all x with variable selection vars with value selection vals. More... | |
void | Gecode::branch (Home home, const IntVarArgs &x, TieBreak< IntVarBranch > vars, IntAssign vals, IntBranchFilter bf, IntVarValPrint vvp) |
void | Gecode::assign (Home home, IntVar x, IntAssign vals, IntVarValPrint vvp=nullptr) |
Assign x with value selection vals. More... | |
void | Gecode::branch (Home home, const BoolVarArgs &x, BoolVarBranch vars, BoolValBranch vals, BoolBranchFilter bf=nullptr, BoolVarValPrint vvp=nullptr) |
Branch over x with variable selection vars and value selection vals. More... | |
void | Gecode::branch (Home home, const BoolVarArgs &x, TieBreak< BoolVarBranch > vars, BoolValBranch vals, BoolBranchFilter bf=nullptr, BoolVarValPrint vvp=nullptr) |
Branch over x with tie-breaking variable selection vars and value selection vals. More... | |
void | Gecode::branch (Home home, BoolVar x, BoolValBranch vals, BoolVarValPrint vvp=nullptr) |
Branch over x with value selection vals. More... | |
void | Gecode::assign (Home home, const BoolVarArgs &x, BoolVarBranch vars, BoolAssign vals, BoolBranchFilter bf=nullptr, BoolVarValPrint vvp=nullptr) |
Assign all x with variable selection vars with value selection vals. More... | |
void | Gecode::assign (Home home, const BoolVarArgs &x, TieBreak< BoolVarBranch > vars, BoolAssign vals, BoolBranchFilter bf, BoolVarValPrint vvp) |
void | Gecode::assign (Home home, BoolVar x, BoolAssign vals, BoolVarValPrint vvp=nullptr) |
Assign x with value selection vals. More... | |
void Gecode::branch | ( | Home | home, |
const IntVarArgs & | x, | ||
TieBreak< IntVarBranch > | vars, | ||
IntAssign | vals, | ||
IntBranchFilter | bf, | ||
IntVarValPrint | vvp | ||
) |
Definition at line 162 of file branch.cpp.
void Gecode::assign | ( | Home | home, |
const BoolVarArgs & | x, | ||
TieBreak< BoolVarBranch > | vars, | ||
BoolAssign | vals, | ||
BoolBranchFilter | bf, | ||
BoolVarValPrint | vvp | ||
) |
Definition at line 301 of file branch.cpp.