Gecode::ValSelBase Class Reference

Base class for value selection. More...

#include <brancher-val.hpp>

List of all members.

Public Types
typedef _View	View
	View type.
typedef _Val	Val
	Value type.
typedef EmptyValSelChoice	Choice
	Choice type.
Public Member Functions
	ValSelBase (void)
	Default constructor.
	ValSelBase (Space &home, const ValBranchOptions &vbo)
	Constructor for initialization.
EmptyValSelChoice	choice (Space &home)
	Return choice.
EmptyValSelChoice	choice (const Space &home, Archive &e)
	Return choice.
void	commit (Space &home, const EmptyValSelChoice &c, unsigned a)
	Commit to choice.
void	update (Space &home, bool share, ValSelBase &vs)
	Updating during cloning.
void	dispose (Space &home)
	Delete value selection.
Static Public Attributes
static const unsigned int	alternatives = 2
	Number of alternatives.

---

Detailed Description

Base class for value selection.

Defines the brancher to be binary.

---

Member Typedef Documentation

typedef _View Gecode::ValSelBase::View

View type.

Definition at line 64 of file brancher-val.hpp.

typedef _Val Gecode::ValSelBase::Val

Value type.

Definition at line 66 of file brancher-val.hpp.

typedef EmptyValSelChoice Gecode::ValSelBase::Choice

Choice type.

Definition at line 68 of file brancher-val.hpp.

---

Constructor & Destructor Documentation

Gecode::ValSelBase::ValSelBase

(

void

)

[inline]

Default constructor.

Definition at line 100 of file brancher-val.hpp.

Gecode::ValSelBase::ValSelBase	(	Space &	home,
		const ValBranchOptions &	vbo
	)		[inline]

Constructor for initialization.

Definition at line 103 of file brancher-val.hpp.

---

Member Function Documentation

EmptyValSelChoice Gecode::ValSelBase::choice

(

Space &

home

)

[inline]

Return choice.

Definition at line 106 of file brancher-val.hpp.

EmptyValSelChoice Gecode::ValSelBase::choice	(	const Space &	home,
		Archive &	e
	)		[inline]

Return choice.

Definition at line 111 of file brancher-val.hpp.

void Gecode::ValSelBase::commit	(	Space &	home,
		const EmptyValSelChoice &	c,
		unsigned	a
	)		[inline]

Commit to choice.

Definition at line 116 of file brancher-val.hpp.

void Gecode::ValSelBase::update	(	Space &	home,
		bool	share,
		ValSelBase &	vs
	)

Updating during cloning.

void Gecode::ValSelBase::dispose

(

Space &

home

)

[inline]

Delete value selection.

Definition at line 122 of file brancher-val.hpp.

---

Member Data Documentation

const unsigned int Gecode::ValSelBase::alternatives = 2 [static]

Number of alternatives.

Definition at line 70 of file brancher-val.hpp.

---

The documentation for this class was generated from the following file:

• gecode/kernel/brancher-val.hpp (Revision: 12001)