Gecode::ViewBrancher< ViewSel > Class Template Reference

Generic brancher by view selection. More...

#include <brancher.hpp>

Public Member Functions
virtual bool	status (const Space &home) const
	Check status of brancher, return true if alternatives left.
virtual size_t	dispose (Space &home)
	Delete brancher and return its size.
Public Member Functions inherited from Gecode::Brancher
virtual const Choice *	choice (Space &home)=0
	Return choice.
virtual const Choice *	choice (const Space &home, Archive &e)=0
	Return choice from e.
virtual ExecStatus	commit (Space &home, const Choice &c, unsigned int a)=0
	Commit for choice c and alternative a.
unsigned int	id (void) const
	Return unsigned brancher id.

Protected Member Functions
Pos	pos (Space &home)
	Return position information.
ViewSel::View	view (const Pos &p) const
	Return view according to position information p.
	ViewBrancher (Space &home, bool share, ViewBrancher &b)
	Constructor for cloning b.
	ViewBrancher (Home home, ViewArray< typename ViewSel::View > &x, ViewSel &vi_s, BranchFilter bf0=NULL)
	Constructor for creation.
Protected Member Functions inherited from Gecode::Brancher
	Brancher (Home home)
	Constructor for creation.
	Brancher (Space &home, bool share, Brancher &b)
	Constructor for cloning b.

Protected Attributes
ViewArray< typename ViewSel::View >	x
	Views to branch on.
int	start
	Unassigned views start at x[start].
ViewSel	viewsel
	View selection object.
BranchFilter	bf
	Branch filter function.

Additional Inherited Members
Static Public Member Functions inherited from Gecode::Actor
static void *	operator new (size_t s, Space &home)
	Allocate memory from space.
static void	operator delete (void *p, Space &home)
	No-op for exceptions.

Detailed Description

template<class ViewSel>
class Gecode::ViewBrancher< ViewSel >

Generic brancher by view selection.

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

Definition at line 76 of file brancher.hpp.

Constructor & Destructor Documentation

template<class ViewSel >

Gecode::ViewBrancher< ViewSel >::ViewBrancher ( Space &  home, bool  share, ViewBrancher< ViewSel > &  b  )

inlineprotected

Constructor for cloning b.

Definition at line 288 of file brancher.hpp.

template<class ViewSel >

Gecode::ViewBrancher< ViewSel >::ViewBrancher ( Home  home, ViewArray< typename ViewSel::View > &  x, ViewSel &  vi_s, BranchFilter  bf0 = NULL  )

inlineprotected

Constructor for creation.

Definition at line 280 of file brancher.hpp.

Member Function Documentation

template<class ViewSel >

Pos Gecode::ViewBrancher< ViewSel >::pos ( Space &  home )

inlineprotected

Return position information.

Definition at line 318 of file brancher.hpp.

template<class ViewSel >

ViewSel::View Gecode::ViewBrancher< ViewSel >::view ( const Pos &  p ) const

inlineprotected

Return view according to position information p.

Definition at line 338 of file brancher.hpp.

template<class ViewSel >

bool Gecode::ViewBrancher< ViewSel >::status ( const Space &  home ) const

virtual

Check status of brancher, return true if alternatives left.

Implements Gecode::Brancher.

Definition at line 297 of file brancher.hpp.

template<class ViewSel >

size_t Gecode::ViewBrancher< ViewSel >::dispose ( Space &  home )

inlinevirtual

Delete brancher and return its size.

Reimplemented from Gecode::Actor.

Reimplemented in Gecode::ViewValBrancher< ViewSel, ValSel >.

Definition at line 344 of file brancher.hpp.

Member Data Documentation

template<class ViewSel >

ViewArray<typename ViewSel::View> Gecode::ViewBrancher< ViewSel >::x

protected

Views to branch on.

Definition at line 79 of file brancher.hpp.

template<class ViewSel >

int Gecode::ViewBrancher< ViewSel >::start

mutableprotected

Unassigned views start at x[start].

Definition at line 81 of file brancher.hpp.

template<class ViewSel >

ViewSel Gecode::ViewBrancher< ViewSel >::viewsel

protected

View selection object.

Definition at line 83 of file brancher.hpp.

template<class ViewSel >

BranchFilter Gecode::ViewBrancher< ViewSel >::bf

protected

Branch filter function.

Definition at line 85 of file brancher.hpp.

---

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

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