Functions | |
void | Gecode::branch (Home home, const IntVarArgs &x, IntVarBranch vars, IntValBranch vals, const VarBranchOptions &o_vars=VarBranchOptions::def, const ValBranchOptions &o_vals=ValBranchOptions::def) |
Branch over x with variable selection vars and value selection vals. | |
void | Gecode::branch (Home home, const IntVarArgs &x, const TieBreakVarBranch< IntVarBranch > &vars, IntValBranch vals, const TieBreakVarBranchOptions &o_vars=TieBreakVarBranchOptions::def, const ValBranchOptions &o_vals=ValBranchOptions::def) |
Branch over x with tie-breaking variable selection vars and value selection vals. | |
void | Gecode::branch (Home home, IntVar x, IntValBranch vals, const ValBranchOptions &o_vals=ValBranchOptions::def) |
Branch over x with value selection vals. | |
void | Gecode::branch (Home home, const BoolVarArgs &x, IntVarBranch vars, IntValBranch vals, const VarBranchOptions &o_vars=VarBranchOptions::def, const ValBranchOptions &o_vals=ValBranchOptions::def) |
Branch over x with variable selection vars and value selection vals. | |
void | Gecode::branch (Home home, const BoolVarArgs &x, const TieBreakVarBranch< IntVarBranch > &vars, IntValBranch vals, const TieBreakVarBranchOptions &o_vars=TieBreakVarBranchOptions::def, const ValBranchOptions &o_vals=ValBranchOptions::def) |
Branch over x with tie-breaking variable selection vars and value selection vals. | |
void | Gecode::branch (Home home, BoolVar x, IntValBranch vals, const ValBranchOptions &o_vals=ValBranchOptions::def) |
Branch over x with value selection vals. |
enum Gecode::IntVarBranch |
Which variable to select for branching.
enum Gecode::IntValBranch |
Which values to select first for branching.
void Gecode::branch | ( | Gecode::Home | home, |
const IntVarArgs & | x, | ||
IntVarBranch | vars, | ||
IntValBranch | vals, | ||
const Gecode::VarBranchOptions & | o_vars, | ||
const Gecode::ValBranchOptions & | o_vals | ||
) |
Branch over x with variable selection vars and value selection vals.
Definition at line 119 of file post-view-int.cpp.
void Gecode::branch | ( | Gecode::Home | home, |
const IntVarArgs & | x, | ||
const Gecode::TieBreakVarBranch< IntVarBranch > & | vars, | ||
IntValBranch | vals, | ||
const Gecode::TieBreakVarBranchOptions & | o_vars, | ||
const Gecode::ValBranchOptions & | o_vals | ||
) |
Branch over x with tie-breaking variable selection vars and value selection vals.
Definition at line 257 of file post-view-int.cpp.
void Gecode::branch | ( | Home | home, |
IntVar | x, | ||
IntValBranch | vals, | ||
const ValBranchOptions & | o_vals | ||
) |
Branch over x with value selection vals.
Definition at line 123 of file branch.cpp.
void Gecode::branch | ( | Gecode::Home | home, |
const BoolVarArgs & | x, | ||
IntVarBranch | vars, | ||
IntValBranch | vals, | ||
const Gecode::VarBranchOptions & | o_vars, | ||
const Gecode::ValBranchOptions & | o_vals | ||
) |
Branch over x with variable selection vars and value selection vals.
Definition at line 119 of file post-view-bool.cpp.
void Gecode::branch | ( | Gecode::Home | home, |
const BoolVarArgs & | x, | ||
const Gecode::TieBreakVarBranch< IntVarBranch > & | vars, | ||
IntValBranch | vals, | ||
const Gecode::TieBreakVarBranchOptions & | o_vars, | ||
const Gecode::ValBranchOptions & | o_vals | ||
) |
Branch over x with tie-breaking variable selection vars and value selection vals.
Definition at line 257 of file post-view-bool.cpp.
void Gecode::branch | ( | Home | home, |
BoolVar | x, | ||
IntValBranch | vals, | ||
const ValBranchOptions & | o_vals | ||
) |
Branch over x with value selection vals.
Definition at line 130 of file branch.cpp.