Gecode::ViewSelVirtual< ViewSel > Class Template Reference

Virtualized view selection. More...

#include <brancher-tiebreak.hpp>

List of all members.

Public Member Functions
	ViewSelVirtual (Space &home, const VarBranchOptions &vbo)
	Constructor for initialization.
	ViewSelVirtual (Space &home, bool share, ViewSelVirtual &vsv)
	Constructor for cloning vsv.
virtual ViewSelStatus	init (Space &home, typename ViewSel::View x)
	Intialize with view x.
virtual ViewSelStatus	select (Space &home, typename ViewSel::View x)
	Possibly select better view x.
virtual ChoiceVirtualBase *	choice (Space &home)
	Return choice.
virtual ChoiceVirtualBase *	choice (const Space &home, Archive &e)
	Return choice.
virtual void	commit (Space &home, const ChoiceVirtualBase *d, unsigned int a)
	Commit to choice.
virtual ViewSelVirtualBase < typename ViewSel::View > *	copy (Space &home, bool share)
	Create copy during cloning.
virtual size_t	dispose (Space &home)
	Delete view selection and returns its size.
Protected Attributes
ViewSel	viewsel
	Static view selection object.

---

Detailed Description

template<class ViewSel>
class Gecode::ViewSelVirtual< ViewSel >

Virtualized view selection.

Definition at line 171 of file brancher-tiebreak.hpp.

---

Constructor & Destructor Documentation

template<class ViewSel >

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

Constructor for initialization.

Definition at line 403 of file brancher-tiebreak.hpp.

template<class ViewSel >

Gecode::ViewSelVirtual< ViewSel >::ViewSelVirtual	(	Space &	home,
		bool	share,
		ViewSelVirtual< ViewSel > &	vsv
	)		[inline]

Constructor for cloning vsv.

Definition at line 408 of file brancher-tiebreak.hpp.

---

Member Function Documentation

template<class ViewSel >

ViewSelStatus Gecode::ViewSelVirtual< ViewSel >::init	(	Space &	home,
		typename ViewSel::View	x
	)		[virtual]

Intialize with view x.

Implements Gecode::ViewSelVirtualBase< ViewSel::View >.

Definition at line 414 of file brancher-tiebreak.hpp.

template<class ViewSel >

ViewSelStatus Gecode::ViewSelVirtual< ViewSel >::select	(	Space &	home,
		typename ViewSel::View	x
	)		[virtual]

Possibly select better view x.

Implements Gecode::ViewSelVirtualBase< ViewSel::View >.

Definition at line 419 of file brancher-tiebreak.hpp.

template<class ViewSel >

ChoiceVirtualBase * Gecode::ViewSelVirtual< ViewSel >::choice

(

Space &

home

)

[virtual]

Return choice.

Implements Gecode::ViewSelVirtualBase< ViewSel::View >.

Definition at line 424 of file brancher-tiebreak.hpp.

template<class ViewSel >

ChoiceVirtualBase * Gecode::ViewSelVirtual< ViewSel >::choice	(	const Space &	home,
		Archive &	e
	)		[virtual]

Return choice.

Implements Gecode::ViewSelVirtualBase< ViewSel::View >.

Definition at line 429 of file brancher-tiebreak.hpp.

template<class ViewSel >

void Gecode::ViewSelVirtual< ViewSel >::commit	(	Space &	home,
		const ChoiceVirtualBase *	d,
		unsigned int	a
	)		[virtual]

Commit to choice.

Implements Gecode::ViewSelVirtualBase< ViewSel::View >.

Definition at line 434 of file brancher-tiebreak.hpp.

template<class ViewSel >

ViewSelVirtualBase< typename ViewSel::View > * Gecode::ViewSelVirtual< ViewSel >::copy	(	Space &	home,
		bool	share
	)		[virtual]

Create copy during cloning.

Implements Gecode::ViewSelVirtualBase< ViewSel::View >.

Definition at line 442 of file brancher-tiebreak.hpp.

template<class ViewSel >

size_t Gecode::ViewSelVirtual< ViewSel >::dispose

(

Space &

home

)

[virtual]

Delete view selection and returns its size.

Implements Gecode::ViewSelVirtualBase< ViewSel::View >.

Definition at line 447 of file brancher-tiebreak.hpp.

---

Member Data Documentation

template<class ViewSel>

ViewSel Gecode::ViewSelVirtual< ViewSel >::viewsel [protected]

Static view selection object.

Definition at line 174 of file brancher-tiebreak.hpp.

---

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

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