Branching
[Using finite integer sets]

Enumerations
enum	Gecode::SetVarBranch {   Gecode::SET_VAR_NONE, Gecode::SET_VAR_MIN_CARD, Gecode::SET_VAR_MAX_CARD, Gecode::SET_VAR_MIN_UNKNOWN_ELEM,   Gecode::SET_VAR_MAX_UNKNOWN_ELEM }
	Which variable to select for branching. More...
enum	Gecode::SetValBranch { Gecode::SET_VAL_MIN, Gecode::SET_VAL_MAX }
	Which values to select first for branching. More...
Functions
void	Gecode::branch (Space *home, const SetVarArgs &x, SetVarBranch vars, SetValBranch vals)
	Branch over x with variable selection vars and value selection vals.

---

Enumeration Type Documentation

enum Gecode::SetVarBranch

Which variable to select for branching.

Enumerator:

SET_VAR_NONE	First unassigned.
SET_VAR_MIN_CARD	With smallest unknown set.
SET_VAR_MAX_CARD	With largest unknown set.
SET_VAR_MIN_UNKNOWN_ELEM	With smallest unknown element.
SET_VAR_MAX_UNKNOWN_ELEM	With largest unknown element.

Definition at line 945 of file set.hh.

enum Gecode::SetValBranch

Which values to select first for branching.

Enumerator:

SET_VAL_MIN	Select smallest value in unknown set.
SET_VAL_MAX	Select largest value in unknown set.

Definition at line 954 of file set.hh.

---

Function Documentation

void Gecode::branch	(	Space *	home,
		const SetVarArgs &	xa,
		SetVarBranch	vars,
		SetValBranch	vals
	)

Branch over x with variable selection vars and value selection vals.

Definition at line 51 of file branch.cc.