Generated on Thu Feb 21 2013 23:11:59 for Gecode by doxygen 1.8.3.1
Gecode::Int::Branch::ByMinMin Class Reference

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

#include <branch.hh>

Public Member Functions

 ByMinMin (void)
 Default constructor. More...
 
 ByMinMin (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 smallest 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 smallest min.

Requires

Definition at line 307 of file branch.hh.

Constructor & Destructor Documentation

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

Default constructor.

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

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

Constructor for initialization.

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

Member Function Documentation

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

Intialize with view x.

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

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

Possibly select better view x.

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

Member Data Documentation

int Gecode::Int::Branch::ByMinMin::min
protected

So-far smallest minimum.

Definition at line 310 of file branch.hh.


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