Branching
[Using finite domain integers]
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. |
Enumeration Type Documentation
enum Gecode::IntVarBranch |
Which variable to select for branching.
- Enumerator:
enum Gecode::IntValBranch |
Which values to select first for branching.
- Enumerator:
Function Documentation
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.
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.
void Gecode::branch | ( | Home | home, | |
IntVar | x, | |||
IntValBranch | vals, | |||
const ValBranchOptions & | o_vals | |||
) |
Branch over x with value selection vals.
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.
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.
void Gecode::branch | ( | Home | home, | |
BoolVar | x, | |||
IntValBranch | vals, | |||
const ValBranchOptions & | o_vals | |||
) |
Branch over x with value selection vals.