Gecode::ViewSelTieBreakStatic< A, B > Class Template Reference
[Generic view tie-breaking for brancher based on view and value selection]

View selection class for static tie breaking. More...

#include <brancher-tiebreak.hpp>

List of all members.

Classes
class	Choice
	View selection choice. More...
Public Types
typedef A::View	View
	View type.
Public Member Functions
	ViewSelTieBreakStatic (void)
	Default constructor.
	ViewSelTieBreakStatic (Space &home, A &a, B &b)
	Constructor for initialization.
ViewSelStatus	init (Space &home, typename A::View x)
	Intialize with view x.
ViewSelStatus	select (Space &home, typename A::View x)
	Possibly select better view x.
Choice	choice (Space &home)
	Return choice.
Choice	choice (const Space &home, Archive &e)
	Return choice.
void	commit (Space &home, const Choice &c, unsigned int a)
	Commit to choice.
void	update (Space &home, bool share, ViewSelTieBreakStatic &vs)
	Updating during cloning.
void	dispose (Space &home)
	Delete view selection.
Protected Attributes
A	a
	First selection class.
B	b
	Second selection class.

---

Detailed Description

template<class A, class B>
class Gecode::ViewSelTieBreakStatic< A, B >

View selection class for static tie breaking.

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

---

Member Typedef Documentation

template<class A, class B>

typedef A::View Gecode::ViewSelTieBreakStatic< A, B >::View

View type.

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

---

Constructor & Destructor Documentation

template<class A , class B >

Gecode::ViewSelTieBreakStatic< A, B >::ViewSelTieBreakStatic

(

void

)

[inline]

Default constructor.

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

template<class A , class B >

Gecode::ViewSelTieBreakStatic< A, B >::ViewSelTieBreakStatic	(	Space &	home,
		A &	a,
		B &	b
	)			[inline]

Constructor for initialization.

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

---

Member Function Documentation

template<class A , class B >

ViewSelStatus Gecode::ViewSelTieBreakStatic< A, B >::init	(	Space &	home,
		typename A::View	x
	)			[inline]

Intialize with view x.

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

template<class A , class B >

ViewSelStatus Gecode::ViewSelTieBreakStatic< A, B >::select	(	Space &	home,
		typename A::View	x
	)			[inline]

Possibly select better view x.

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

template<class A , class B >

ViewSelTieBreakStatic< A, B >::Choice Gecode::ViewSelTieBreakStatic< A, B >::choice

(

Space &

home

)

[inline]

Return choice.

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

template<class A , class B >

ViewSelTieBreakStatic< A, B >::Choice Gecode::ViewSelTieBreakStatic< A, B >::choice	(	const Space &	home,
		Archive &	e
	)			[inline]

Return choice.

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

template<class A , class B >

void Gecode::ViewSelTieBreakStatic< A, B >::commit	(	Space &	home,
		const Choice &	c,
		unsigned int	a
	)			[inline]

Commit to choice.

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

template<class A , class B >

void Gecode::ViewSelTieBreakStatic< A, B >::update	(	Space &	home,
		bool	share,
		ViewSelTieBreakStatic< A, B > &	vs
	)			[inline]

Updating during cloning.

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

template<class A , class B >

void Gecode::ViewSelTieBreakStatic< A, B >::dispose

(

Space &

home

)

[inline]

Delete view selection.

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

---

Member Data Documentation

template<class A, class B>

A Gecode::ViewSelTieBreakStatic< A, B >::a [protected]

First selection class.

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

template<class A, class B>

B Gecode::ViewSelTieBreakStatic< A, B >::b [protected]

Second selection class.

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

---

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

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