Generated on Mon Aug 25 11:35:50 2008 for Gecode by doxygen 1.5.6

Gecode::Int::Branch::ByMaxMax< View > Class Template Reference
[Integer view selection for branching]

#include <branch.hh>

List of all members.


Detailed Description

template<class View>
class Gecode::Int::Branch::ByMaxMax< View >

View selection class for view with largest max.

Requires

Definition at line 311 of file branch.hh.


Public Member Functions

ViewSelStatus init (const Space *home, View x)
 Intialize with view x.
ViewSelStatus select (const Space *home, View x)
 Possibly select better view x.

Static Public Member Functions

static Support::Symbol type (void)
 Type of this view selection (for reflection).

Protected Attributes

int max
 So-far largest maximum.

Member Function Documentation

template<class View>
ViewSelStatus Gecode::Int::Branch::ByMaxMax< View >::init ( const Space home,
View  x 
) [inline]

Intialize with view x.

Definition at line 124 of file select-view.icc.

template<class View>
ViewSelStatus Gecode::Int::Branch::ByMaxMax< View >::select ( const Space home,
View  x 
) [inline]

Possibly select better view x.

Definition at line 130 of file select-view.icc.

template<class View>
Support::Symbol Gecode::Int::Branch::ByMaxMax< View >::type ( void   )  [inline, static]

Type of this view selection (for reflection).

Definition at line 138 of file select-view.icc.


Member Data Documentation

template<class View>
int Gecode::Int::Branch::ByMaxMax< View >::max [protected]

So-far largest maximum.

Definition at line 314 of file branch.hh.


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