main page modules namespaces classes files
Gecode home

Branching
[Using finite integer sets]

Collaboration diagram for Branching:

Enumerations
enum	Gecode::SetBvarSel {   Gecode::SETBVAR_NONE, Gecode::SETBVAR_MIN_CARD, Gecode::SETBVAR_MAX_CARD, Gecode::SETBVAR_MIN_UNKNOWN_ELEM,   Gecode::SETBVAR_MAX_UNKNOWN_ELEM }
	Which variable to select for branching. More...
enum	Gecode::SetBvalSel { Gecode::SETBVAL_MIN, Gecode::SETBVAL_MAX }
	Which values to select first for branching. More...
Functions
void	Gecode::branch (Space *home, const SetVarArgs &x, SetBvarSel vars, SetBvalSel vals)
	Branch over all x with variable selection vars and value selection vals.

---

Enumeration Type Documentation

enum Gecode::SetBvarSel

Which variable to select for branching.

Enumerator:

SETBVAR_NONE	First unassigned.
SETBVAR_MIN_CARD	With smallest unknown set.
SETBVAR_MAX_CARD	With largest unknown set.
SETBVAR_MIN_UNKNOWN_ELEM	With smallest unknown element.
SETBVAR_MAX_UNKNOWN_ELEM	With largest unknown element.

Definition at line 396 of file set.hh.

enum Gecode::SetBvalSel

Which values to select first for branching.

Enumerator:

SETBVAL_MIN	Select smallest value in unknown set.
SETBVAL_MAX	Select largest value in unknown set.

Definition at line 405 of file set.hh.

---

Function Documentation

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

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

Definition at line 35 of file branch.cc.