Gecode::ViewSelTieBreakDynamic< _View > Class Template Reference

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

#include <brancher-tiebreak.hpp>

Classes
class	Choice
	Choice for tie breakers More...

Public Types
typedef _View	View
	View type. More...

Public Member Functions
	ViewSelTieBreakDynamic (void)
	Default constructor. More...
	ViewSelTieBreakDynamic (Space &home, ViewSelVirtualBase< _View > **vsv, int n)
	Constructor for initialization. More...
ViewSelStatus	init (Space &home, _View x)
	Intialize with view x. More...
ViewSelStatus	select (Space &home, _View x)
	Possibly select better view x. More...
Choice	choice (Space &home)
	Return choice. More...
Choice	choice (const Space &home, Archive &e)
	Return choice. More...
void	commit (Space &home, const typename ViewSelTieBreakDynamic< _View >::Choice &c, unsigned int a)
	Commit to choice. More...
void	update (Space &home, bool share, ViewSelTieBreakDynamic &vs)
	Updating during cloning. More...
void	dispose (Space &home)
	Delete view selection. More...

Protected Attributes
int	n
	Number of tie breakers. More...
ViewSelVirtualBase< _View > **	tb
	Tie breakers. More...

Detailed Description

template<class _View>
class Gecode::ViewSelTieBreakDynamic< _View >

View selection class for dynamic tie breaking.

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

Member Typedef Documentation

template<class _View>

typedef _View Gecode::ViewSelTieBreakDynamic< _View >::View

View type.

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

Constructor & Destructor Documentation

template<class View >

Gecode::ViewSelTieBreakDynamic< View >::ViewSelTieBreakDynamic ( void  )

inline

Default constructor.

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

template<class View >

Gecode::ViewSelTieBreakDynamic< View >::ViewSelTieBreakDynamic ( Space &  home, ViewSelVirtualBase< _View > **  vsv, int  n  )

inline

Constructor for initialization.

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

Member Function Documentation

template<class View >

ViewSelStatus Gecode::ViewSelTieBreakDynamic< View >::init ( Space &  home, _View  x  )

inline

Intialize with view x.

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

template<class View >

ViewSelStatus Gecode::ViewSelTieBreakDynamic< View >::select ( Space &  home, _View  x  )

inline

Possibly select better view x.

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

template<class _View >

ViewSelTieBreakDynamic< _View >::Choice Gecode::ViewSelTieBreakDynamic< _View >::choice ( Space &  home )

inline

Return choice.

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

template<class _View >

ViewSelTieBreakDynamic< _View >::Choice Gecode::ViewSelTieBreakDynamic< _View >::choice ( const Space &  home, Archive &  e  )

inline

Return choice.

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

template<class _View >

void Gecode::ViewSelTieBreakDynamic< _View >::commit ( Space &  home, const typename ViewSelTieBreakDynamic< _View >::Choice &  c, unsigned int  a  )

inline

Commit to choice.

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

template<class _View >

void Gecode::ViewSelTieBreakDynamic< _View >::update ( Space &  home, bool  share, ViewSelTieBreakDynamic< _View > &  vs  )

inline

Updating during cloning.

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

template<class _View >

void Gecode::ViewSelTieBreakDynamic< _View >::dispose ( Space &  home )

inline

Delete view selection.

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

Member Data Documentation

template<class _View>

int Gecode::ViewSelTieBreakDynamic< _View >::n

protected

Number of tie breakers.

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

template<class _View>

ViewSelVirtualBase<_View>** Gecode::ViewSelTieBreakDynamic< _View >::tb

protected

Tie breakers.

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

---

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

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