Generated on Thu Mar 22 10:39:53 2012 for Gecode by doxygen 1.6.3

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
 First selection class.
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: