Branching
[Using finite integer sets with complete domain representation]

Enumeration Type Documentation

Which variable to select for branching.

Enumerator:

CPLTSET_VAR_NONE	First unassigned.
CPLTSET_VAR_MIN_CARD	With smallest unknown set.
CPLTSET_VAR_MAX_CARD	With largest unknown set.
CPLTSET_VAR_MIN_UNKNOWN_ELEM	With smallest unknown element.
CPLTSET_VAR_MAX_UNKNOWN_ELEM	With largest unknown element.

Definition at line 770 of file cpltset.hh.

Which values to select first for branching.

Enumerator:

CPLTSET_VAL_MIN_UNKNOWN	Select smallest element in unknown set and try to include it.
CPLTSET_VAL_MAX_UNKNOWN	Select largest element in unknown set and try to include it.
CPLTSET_VAL_MIN_UNKNOWN_EX_FIRST	Select smallest element in unknown set and try to exclude it.
CPLTSET_VAL_MAX_UNKNOWN_EX_FIRST	Select largest element in unknown set and try to exclude it.

Definition at line 779 of file cpltset.hh.

GECODE_CPLTSET_EXPORT void Gecode::branch	(	Space *	home,
		const CpltSetVarArgs &	xa,
		CpltSetVarBranch	vars,
		CpltSetValBranch	vals
	)

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

Definition at line 45 of file branch.cc.


Enumerations
enum	Gecode::CpltSetVarBranch { Gecode::CPLTSET_VAR_NONE, Gecode::CPLTSET_VAR_MIN_CARD, Gecode::CPLTSET_VAR_MAX_CARD, Gecode::CPLTSET_VAR_MIN_UNKNOWN_ELEM, Gecode::CPLTSET_VAR_MAX_UNKNOWN_ELEM }
	Which variable to select for branching. More...
enum	Gecode::CpltSetValBranch { Gecode::CPLTSET_VAL_MIN_UNKNOWN, Gecode::CPLTSET_VAL_MAX_UNKNOWN, Gecode::CPLTSET_VAL_MIN_UNKNOWN_EX_FIRST, Gecode::CPLTSET_VAL_MAX_UNKNOWN_EX_FIRST }
	Which values to select first for branching. More...
Functions
void	Gecode::branch (Space *home, const CpltSetVarArgs &x, CpltSetVarBranch vars, CpltSetValBranch vals)
	Branch on x with variable selection vars and value selection vals.