Generated on Tue Mar 5 2013 22:37:44 for Gecode by doxygen 1.8.3.1
Gecode::Int::Branch::BySizeMax Class Reference

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

#include <branch.hh>

Public Member Functions

 BySizeMax (void)
 Default constructor. More...
 
 BySizeMax (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

unsigned int size
 So-far largest size. 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 size.

Requires

Definition at line 412 of file branch.hh.

Constructor & Destructor Documentation

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

Default constructor.

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

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

Constructor for initialization.

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

Member Function Documentation

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

Intialize with view x.

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

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

Possibly select better view x.

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

Member Data Documentation

unsigned int Gecode::Int::Branch::BySizeMax::size
protected

So-far largest size.

Definition at line 415 of file branch.hh.


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