Gecode::ViewSelBase< _View > Class Template Reference
[Generic view selection for branching based on view and value selection]

Base class for view selection. More...

#include <branching-view.hpp>

List of all members.

Public Types
typedef _View	View
	View type.
typedef EmptyViewSelDesc	Desc
	View selection description.
Public Member Functions
	ViewSelBase (void)
	Default constructor.
	ViewSelBase (Space &home, const VarBranchOptions &vbo)
	Constructor for initialization.
EmptyViewSelDesc	description (Space &home)
	Return description.
void	commit (Space &home, const EmptyViewSelDesc &d, unsigned a)
	Commit to description.
void	update (Space &home, bool share, ViewSelBase &vs)
	Updating during cloning.
void	dispose (Space &home)
	Delete view selection.

---

Detailed Description

template<class _View>
class Gecode::ViewSelBase< _View >

Base class for view selection.

Definition at line 57 of file branching-view.hpp.

---

Member Typedef Documentation

template<class _View>

typedef _View Gecode::ViewSelBase< _View >::View

View type.

Definition at line 60 of file branching-view.hpp.

template<class _View>

typedef EmptyViewSelDesc Gecode::ViewSelBase< _View >::Desc

View selection description.

Definition at line 62 of file branching-view.hpp.

---

Constructor & Destructor Documentation

template<class View >

Gecode::ViewSelBase< View >::ViewSelBase

(

void

)

[inline]

Default constructor.

Definition at line 174 of file branching-view.hpp.

template<class View >

Gecode::ViewSelBase< View >::ViewSelBase	(	Space &	home,
		const VarBranchOptions &	vbo
	)			[inline]

Constructor for initialization.

Definition at line 177 of file branching-view.hpp.

---

Member Function Documentation

template<class View >

EmptyViewSelDesc Gecode::ViewSelBase< View >::description

(

Space &

home

)

[inline]

Return description.

Definition at line 180 of file branching-view.hpp.

template<class View >

void Gecode::ViewSelBase< View >::commit	(	Space &	home,
		const EmptyViewSelDesc &	d,
		unsigned	a
	)			[inline]

Commit to description.

Definition at line 185 of file branching-view.hpp.

template<class View >

void Gecode::ViewSelBase< View >::update	(	Space &	home,
		bool	share,
		ViewSelBase< _View > &	vs
	)			[inline]

Updating during cloning.

Definition at line 188 of file branching-view.hpp.

template<class View >

void Gecode::ViewSelBase< View >::dispose

(

Space &

home

)

[inline]

Delete view selection.

Definition at line 191 of file branching-view.hpp.

---

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

• gecode/kernel/branching-view.hpp (Revision: 8280)