Generated on Thu Mar 7 2013 10:22:05 for Gecode by doxygen 1.8.3.1
Gecode::Int::Branch::ByMinMax Class Reference

View selection class for view with largest min. More...

#include <branch.hh>

Public Member Functions

 ByMinMax (void)
 Default constructor. More...
 
 ByMinMax (Space &home, const VarBranchOptions &vbo)
 Constructor for initialization. More...
 
ViewSelStatus init (Space &home, IntView x)
 Intialize with view x. More...
 
ViewSelStatus select (Space &home, IntView x)
 Possibly select better view x. More...
 
- Public Member Functions inherited from Gecode::ViewSelBase< IntView >
 ViewSelBase (void)
 Default constructor. More...
 
 ViewSelBase (Space &home, const VarBranchOptions &vbo)
 Constructor for initialization. More...
 
EmptyViewSelChoice choice (Space &home)
 Return choice. More...
 
EmptyViewSelChoice choice (const Space &home, Archive &e)
 Return choice. More...
 
void commit (Space &home, const EmptyViewSelChoice &c, unsigned a)
 Commit to choice. More...
 
void update (Space &home, bool share, ViewSelBase &vs)
 Updating during cloning. More...
 
void dispose (Space &home)
 Delete view selection. More...
 

Protected Attributes

int min
 So-far largest minimum. More...
 

Additional Inherited Members

- Public Types inherited from Gecode::ViewSelBase< IntView >
typedef IntView View
 View type. More...
 
typedef EmptyViewSelChoice Choice
 View selection choice. More...
 

Detailed Description

View selection class for view with largest min.

Requires

Definition at line 328 of file branch.hh.

Constructor & Destructor Documentation

Gecode::Int::Branch::ByMinMax::ByMinMax ( void  )
inline

Default constructor.

Definition at line 64 of file select-view.hpp.

Gecode::Int::Branch::ByMinMax::ByMinMax ( Space home,
const VarBranchOptions vbo 
)
inline

Constructor for initialization.

Definition at line 66 of file select-view.hpp.

Member Function Documentation

ViewSelStatus Gecode::Int::Branch::ByMinMax::init ( Space home,
IntView  x 
)
inline

Intialize with view x.

Definition at line 69 of file select-view.hpp.

ViewSelStatus Gecode::Int::Branch::ByMinMax::select ( Space home,
IntView  x 
)
inline

Possibly select better view x.

Definition at line 74 of file select-view.hpp.

Member Data Documentation

int Gecode::Int::Branch::ByMinMax::min
protected

So-far largest minimum.

Definition at line 331 of file branch.hh.


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