Gecode::ViewValBrancher< ViewSel, ValSel > Class Template Reference
[Generic brancher based on view and value selection]

Generic brancher by view and value selection. More...

#include <brancher.hpp>

List of all members.

Public Member Functions
virtual const Choice *	choice (Space &home)
	Return choice.
virtual const Choice *	choice (const Space &home, Archive &e)
	Return choice.
virtual ExecStatus	commit (Space &home, const Choice &c, unsigned int a)
	Perform commit for choice c and alternative a.
virtual Actor *	copy (Space &home, bool share)
	Perform cloning.
virtual size_t	dispose (Space &home)
	Delete brancher and return its size.
Static Public Member Functions
static void	post (Home home, ViewArray< typename ViewSel::View > &x, ViewSel &vi_s, ValSel &va_s, BranchFilter bf=NULL)
	Brancher post function.
Protected Member Functions
	ViewValBrancher (Space &home, bool share, ViewValBrancher &b)
	Constructor for cloning b.
	ViewValBrancher (Home home, ViewArray< typename ViewSel::View > &x, ViewSel &vi_s, ValSel &va_s, BranchFilter bf0)
	Constructor for creation.
Protected Attributes
ValSel	valsel
	Value selection object.

---

Detailed Description

template<class ViewSel, class ValSel>
class Gecode::ViewValBrancher< ViewSel, ValSel >

Generic brancher by view and value selection.

Implements view-based branching for an array of views (of type ViewSel::View) and value (of type ValSel::Val). The behaviour is defined by the class ViewSel (which view is selected for branching) and the class ValSel (which value is selected for branching).

Definition at line 113 of file brancher.hpp.

---

Constructor & Destructor Documentation

template<class ViewSel , class ValSel >

Gecode::ViewValBrancher< ViewSel, ValSel >::ViewValBrancher	(	Space &	home,
		bool	share,
		ViewValBrancher< ViewSel, ValSel > &	b
	)			[inline, protected]

Constructor for cloning b.

Definition at line 375 of file brancher.hpp.

template<class ViewSel , class ValSel >

Gecode::ViewValBrancher< ViewSel, ValSel >::ViewValBrancher	(	Home	home,
		ViewArray< typename ViewSel::View > &	x,
		ViewSel &	vi_s,
		ValSel &	va_s,
		BranchFilter	bf0
	)			[inline, protected]

Constructor for creation.

Definition at line 360 of file brancher.hpp.

---

Member Function Documentation

template<class ViewSel , class ValSel >

const Choice * Gecode::ViewValBrancher< ViewSel, ValSel >::choice

(

Space &

home

)

[inline, virtual]

Return choice.

Implements Gecode::Brancher.

Definition at line 389 of file brancher.hpp.

template<class ViewSel , class ValSel >

const Choice * Gecode::ViewValBrancher< ViewSel, ValSel >::choice	(	const Space &	home,
		Archive &	e
	)			[inline, virtual]

Return choice.

Implements Gecode::Brancher.

Definition at line 400 of file brancher.hpp.

template<class ViewSel , class ValSel >

ExecStatus Gecode::ViewValBrancher< ViewSel, ValSel >::commit	(	Space &	home,
		const Choice &	c,
		unsigned int	a
	)			[inline, virtual]

Perform commit for choice c and alternative a.

Implements Gecode::Brancher.

Definition at line 411 of file brancher.hpp.

template<class ViewSel , class ValSel >

Actor * Gecode::ViewValBrancher< ViewSel, ValSel >::copy	(	Space &	home,
		bool	share
	)			[inline, virtual]

Perform cloning.

Implements Gecode::Actor.

Definition at line 382 of file brancher.hpp.

template<class ViewSel , class ValSel >

size_t Gecode::ViewValBrancher< ViewSel, ValSel >::dispose

(

Space &

home

)

[inline, virtual]

Delete brancher and return its size.

Reimplemented from Gecode::ViewBrancher< ViewSel >.

Definition at line 423 of file brancher.hpp.

template<class ViewSel , class ValSel >

void Gecode::ViewValBrancher< ViewSel, ValSel >::post	(	Home	home,
		ViewArray< typename ViewSel::View > &	x,
		ViewSel &	vi_s,
		ValSel &	va_s,
		BranchFilter	bf = NULL
	)			[inline, static]

Brancher post function.

Definition at line 367 of file brancher.hpp.

---

Member Data Documentation

template<class ViewSel, class ValSel>

ValSel Gecode::ViewValBrancher< ViewSel, ValSel >::valsel [protected]

Value selection object.

Definition at line 118 of file brancher.hpp.

---

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

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