Generated on Mon Aug 27 2012 17:15:57 for Gecode by doxygen 1.8.1.2
Classes | Public Types | Public Member Functions | Protected Attributes | List of all members
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>

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: