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_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_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_VALUES_MIN, Gecode::INT_VALUES_MAX }
	Which values to select first for branching. More...
Functions
void	Gecode::branch (Space &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 (Space &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.

Enumeration Type Documentation

Which variable to select for branching.

Enumerator:

INT_VAR_NONE	First unassigned.
INT_VAR_RND	Random (uniform, for tie breaking).
INT_VAR_DEGREE_MIN	With smallest degree.
INT_VAR_DEGREE_MAX	With largest degree.
INT_VAR_MIN_MIN	With smallest min.
INT_VAR_MIN_MAX	With largest min.
INT_VAR_MAX_MIN	With smallest max.
INT_VAR_MAX_MAX	With largest max.
INT_VAR_SIZE_MIN	With smallest domain size.
INT_VAR_SIZE_MAX	With largest domain size.
INT_VAR_SIZE_DEGREE_MIN	With smallest domain size divided by degree.
INT_VAR_SIZE_DEGREE_MAX	With largest domain size divided by degree.
INT_VAR_REGRET_MIN_MIN	With smallest min-regret. The min-regret of a variable is the difference between the smallest and second-smallest value still in the domain.
INT_VAR_REGRET_MIN_MAX	With largest min-regret. The min-regret of a variable is the difference between the smallest and second-smallest value still in the domain.
INT_VAR_REGRET_MAX_MIN	With smallest max-regret. The max-regret of a variable is the difference between the largest and second-largest value still in the domain.
INT_VAR_REGRET_MAX_MAX	With largest max-regret. The max-regret of a variable is the difference between the largest and second-largest value still in the domain.

Definition at line 2107 of file int.hh.

Which values to select first for branching.

Enumerator:

INT_VAL_MIN	Select smallest value.
INT_VAL_MED	Select greatest value not greater than the median.
INT_VAL_MAX	Select largest value.
INT_VAL_RND	Select random value.
INT_VAL_SPLIT_MIN	Select values not greater than mean of smallest and largest value.
INT_VAL_SPLIT_MAX	Select values greater than mean of smallest and largest value.
INT_VALUES_MIN	Try all values starting from smallest.
INT_VALUES_MAX	Try all values starting from largest.

Definition at line 2147 of file int.hh.

void Gecode::branch	(	Gecode::Space &	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 107 of file post-view-bool.cpp.

void Gecode::branch	(	Gecode::Space &	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 221 of file post-view-bool.cpp.