Enumerations | |
enum | Gecode::IntVarBranch { Gecode::INT_VAR_NONE = 0, Gecode::INT_VAR_RND, Gecode::INT_VAR_DEGREE_MIN, Gecode::INT_VAR_DEGREE_MAX, Gecode::INT_VAR_AFC_MIN, Gecode::INT_VAR_AFC_MAX, Gecode::INT_VAR_MIN_MIN, Gecode::INT_VAR_MIN_MAX, Gecode::INT_VAR_MAX_MIN, Gecode::INT_VAR_MAX_MAX, Gecode::INT_VAR_SIZE_MIN, Gecode::INT_VAR_SIZE_MAX, Gecode::INT_VAR_SIZE_DEGREE_MIN, Gecode::INT_VAR_SIZE_DEGREE_MAX, Gecode::INT_VAR_SIZE_AFC_MIN, Gecode::INT_VAR_SIZE_AFC_MAX, Gecode::INT_VAR_REGRET_MIN_MIN, Gecode::INT_VAR_REGRET_MIN_MAX, Gecode::INT_VAR_REGRET_MAX_MIN, Gecode::INT_VAR_REGRET_MAX_MAX } |
Which variable to select for branching. More... | |
enum | Gecode::IntValBranch { Gecode::INT_VAL_MIN, Gecode::INT_VAL_MED, Gecode::INT_VAL_MAX, Gecode::INT_VAL_RND, Gecode::INT_VAL_SPLIT_MIN, Gecode::INT_VAL_SPLIT_MAX, Gecode::INT_VAL_RANGE_MIN, Gecode::INT_VAL_RANGE_MAX, Gecode::INT_VALUES_MIN, Gecode::INT_VALUES_MAX } |
Which values to select first for branching. More... | |
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.