Value selection for set variables
[Branching]

Functions
SetValBranch	Gecode::SET_VAL_MIN_INC (void)
	Include smallest element.
SetValBranch	Gecode::SET_VAL_MIN_EXC (void)
	Exclude smallest element.
SetValBranch	Gecode::SET_VAL_MED_INC (void)
	Include median element (rounding downwards).
SetValBranch	Gecode::SET_VAL_MED_EXC (void)
	Exclude median element (rounding downwards).
SetValBranch	Gecode::SET_VAL_MAX_INC (void)
	Include largest element.
SetValBranch	Gecode::SET_VAL_MAX_EXC (void)
	Exclude largest element.
SetValBranch	Gecode::SET_VAL_RND_INC (Rnd r)
	Include random element.
SetValBranch	Gecode::SET_VAL_RND_EXC (Rnd r)
	Exclude random element.
SetValBranch	Gecode::SET_VAL (SetBranchVal v, SetBranchCommit c=nullptr)
	Select value as defined by the value function v and commit function c.

---

Function Documentation

SetValBranch Gecode::SET_VAL_MIN_INC

(

void

)

[inline]

Include smallest element.

SetValBranch Gecode::SET_VAL_MIN_EXC

(

void

)

[inline]

Exclude smallest element.

SetValBranch Gecode::SET_VAL_MED_INC

(

void

)

[inline]

Include median element (rounding downwards).

SetValBranch Gecode::SET_VAL_MED_EXC

(

void

)

[inline]

Exclude median element (rounding downwards).

SetValBranch Gecode::SET_VAL_MAX_INC

(

void

)

[inline]

Include largest element.

SetValBranch Gecode::SET_VAL_MAX_EXC

(

void

)

[inline]

Exclude largest element.

SetValBranch Gecode::SET_VAL_RND_INC

(

Rnd

r

)

[inline]

Include random element.

SetValBranch Gecode::SET_VAL_RND_EXC

(

Rnd

r

)

[inline]

Exclude random element.

SetValBranch Gecode::SET_VAL	(	SetBranchVal	v,
		SetBranchCommit	c = nullptr
	)			[inline]

Select value as defined by the value function v and commit function c.

The default commit function posts the constraint that the value n must be included in the set variable x for the first alternative, and that n must be excluded from x otherwise.