Generated on Sat Feb 7 2015 02:01:42 for Gecode by doxygen 1.8.9.1

Choose view according to merit. More...

#include <brancher-view-sel.hpp>

Protected Types

typedef ViewSel< typename Merit::View >::View View
 
typedef ViewSel< typename Merit::View >::BranchFilter BranchFilter
 
typedef Merit::Val Val
 Type of merit. More...
 

Protected Attributes

Choose c
 How to choose. More...
 
Merit m
 The merit object used. More...
 

Initialization

 ViewSelChoose (Space &home, const VarBranch &vb)
 Constructor for creation. More...
 
 ViewSelChoose (Space &home, bool shared, ViewSelChoose< Choose, Merit > &vs)
 Constructor for copying during cloning. More...
 

View selection and tie breaking

virtual int select (Space &home, ViewArray< View > &x, int s)
 Select a view from x starting from s and return its position. More...
 
virtual int select (Space &home, ViewArray< View > &x, int s, BranchFilter bf)
 Select a view from x starting from s and return its position. More...
 
virtual void ties (Space &home, ViewArray< View > &x, int s, int *ties, int &n)
 Select ties from x starting from s. More...
 
virtual void ties (Space &home, ViewArray< View > &x, int s, int *ties, int &n, BranchFilter bf)
 Select ties from x starting from s. More...
 
virtual void brk (Space &home, ViewArray< View > &x, int *ties, int &n)
 Break ties in x and update to new ties. More...
 
virtual int select (Space &home, ViewArray< View > &x, int *ties, int n)
 Select a view from x considering views with positions in ties. More...
 

Resource management and cloning

virtual bool notice (void) const
 Whether dispose must always be called (that is, notice is needed) More...
 
virtual void dispose (Space &home)
 Delete view selection. More...
 

Additional Inherited Members

- Public Types inherited from Gecode::ViewSel< Merit::View >
typedef Merit::View View
 Define the view type. More...
 
typedef BranchTraits< typename View::VarType >::Filter BranchFilter
 The branch filter that corresponds to the view type. More...
 
- Public Member Functions inherited from Gecode::ViewSel< Merit::View >
 ViewSel (Space &home, const VarBranch &vb)
 Constructor for creation. More...
 
 ViewSel (Space &home, bool shared, ViewSel< View > &vs)
 Constructor for copying during cloning. More...
 
virtual int select (Space &home, ViewArray< View > &x, int s)=0
 Select a view from x starting from s and return its position. More...
 
virtual int select (Space &home, ViewArray< View > &x, int s, BranchFilter bf)=0
 Select a view from x starting from s and return its position. More...
 
virtual int select (Space &home, ViewArray< View > &x, int *ties, int n)=0
 Select a view from x considering views with positions in ties. More...
 
virtual void ties (Space &home, ViewArray< View > &x, int s, int *ties, int &n)=0
 Select ties from x starting from s. More...
 
virtual void ties (Space &home, ViewArray< View > &x, int s, int *ties, int &n, BranchFilter bf)=0
 Select ties from x starting from s. More...
 
virtual void brk (Space &home, ViewArray< View > &x, int *ties, int &n)=0
 Break ties in x and update to new ties. More...
 
virtual ViewSel< View > * copy (Space &home, bool shared)=0
 Create copy during cloning. More...
 
- Static Public Member Functions inherited from Gecode::ViewSel< Merit::View >
static void * operator new (size_t s, Space &home)
 Allocate memory from space. More...
 
static void operator delete (void *p, Space &home)
 Return memory to space. More...
 
static void operator delete (void *p)
 Needed for exceptions. More...
 

Detailed Description

template<class Choose, class Merit>
class Gecode::ViewSelChoose< Choose, Merit >

Choose view according to merit.

Definition at line 198 of file brancher-view-sel.hpp.

Member Typedef Documentation

template<class Choose, class Merit>
typedef ViewSel<typename Merit::View>::View Gecode::ViewSelChoose< Choose, Merit >::View
protected

Definition at line 200 of file brancher-view-sel.hpp.

template<class Choose, class Merit>
typedef ViewSel<typename Merit::View>::BranchFilter Gecode::ViewSelChoose< Choose, Merit >::BranchFilter
protected

Definition at line 201 of file brancher-view-sel.hpp.

template<class Choose, class Merit>
typedef Merit::Val Gecode::ViewSelChoose< Choose, Merit >::Val
protected

Type of merit.

Definition at line 203 of file brancher-view-sel.hpp.

Constructor & Destructor Documentation

template<class Choose , class Merit >
Gecode::ViewSelChoose< Choose, Merit >::ViewSelChoose ( Space home,
const VarBranch vb 
)
inline

Constructor for creation.

Definition at line 526 of file brancher-view-sel.hpp.

template<class Choose, class Merit>
Gecode::ViewSelChoose< Choose, Merit >::ViewSelChoose ( Space home,
bool  shared,
ViewSelChoose< Choose, Merit > &  vs 
)
inline

Constructor for copying during cloning.

Definition at line 531 of file brancher-view-sel.hpp.

Member Function Documentation

template<class Choose , class Merit >
int Gecode::ViewSelChoose< Choose, Merit >::select ( Space home,
ViewArray< View > &  x,
int  s 
)
virtual

Select a view from x starting from s and return its position.

Definition at line 537 of file brancher-view-sel.hpp.

template<class Choose , class Merit >
int Gecode::ViewSelChoose< Choose, Merit >::select ( Space home,
ViewArray< View > &  x,
int  s,
BranchFilter  bf 
)
virtual

Select a view from x starting from s and return its position.

Definition at line 554 of file brancher-view-sel.hpp.

template<class Choose , class Merit >
void Gecode::ViewSelChoose< Choose, Merit >::ties ( Space home,
ViewArray< View > &  x,
int  s,
int *  ties,
int &  n 
)
virtual
template<class Choose , class Merit >
void Gecode::ViewSelChoose< Choose, Merit >::ties ( Space home,
ViewArray< View > &  x,
int  s,
int *  ties,
int &  n,
BranchFilter  bf 
)
virtual
template<class Choose , class Merit >
void Gecode::ViewSelChoose< Choose, Merit >::brk ( Space home,
ViewArray< View > &  x,
int *  ties,
int &  n 
)
virtual
template<class Choose , class Merit >
int Gecode::ViewSelChoose< Choose, Merit >::select ( Space home,
ViewArray< View > &  x,
int *  ties,
int  n 
)
virtual

Select a view from x considering views with positions in ties.

Definition at line 645 of file brancher-view-sel.hpp.

template<class Choose , class Merit >
bool Gecode::ViewSelChoose< Choose, Merit >::notice ( void  ) const
virtual

Whether dispose must always be called (that is, notice is needed)

Reimplemented from Gecode::ViewSel< Merit::View >.

Definition at line 660 of file brancher-view-sel.hpp.

template<class Choose , class Merit >
void Gecode::ViewSelChoose< Choose, Merit >::dispose ( Space home)
virtual

Delete view selection.

Reimplemented from Gecode::ViewSel< Merit::View >.

Definition at line 666 of file brancher-view-sel.hpp.

Member Data Documentation

template<class Choose, class Merit>
Choose Gecode::ViewSelChoose< Choose, Merit >::c
protected

How to choose.

Definition at line 205 of file brancher-view-sel.hpp.

template<class Choose, class Merit>
Merit Gecode::ViewSelChoose< Choose, Merit >::m
protected

The merit object used.

Definition at line 207 of file brancher-view-sel.hpp.


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