Generated on Sat Jan 20 2018 22:21:22 for Gecode by doxygen 1.8.13

Choose view according to merit taking tie-break limit into account. More...

#include <brancher-view-sel.hpp>

Protected Types

typedef ViewSelChoose< Choose, Merit >::Val Val
 
typedef ViewSelChoose< Choose, Merit >::View View
 
typedef ViewSelChoose< Choose, Merit >::Var Var
 
- Protected Types inherited from Gecode::ViewSelChoose< Choose, Merit >
typedef ViewSel< typename Merit::View >::Var Var
 
typedef ViewSel< typename Merit::View >::View View
 
typedef Merit::Val Val
 Type of merit. More...
 

Protected Attributes

SharedData< BranchTbltbl
 Tie-break limit function. More...
 
- Protected Attributes inherited from Gecode::ViewSelChoose< Choose, Merit >
Choose c
 How to choose. More...
 
Merit m
 The merit object used. More...
 

Initialization

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

View selection and tie breaking

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, BrancherFilter< View > &f)
 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...
 

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 View::VarType Var
 The corresponding variable type. More...
 
- Public Member Functions inherited from Gecode::ViewSelChoose< Choose, Merit >
 ViewSelChoose (Space &home, const VarBranch< Var > &vb)
 Constructor for creation. More...
 
 ViewSelChoose (Space &home, bool shared, ViewSelChoose< Choose, Merit > &vs)
 Constructor for copying during cloning. More...
 
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, BrancherFilter< View > &f)
 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)
 Select a view from x considering views with positions in ties. More...
 
- Public Member Functions inherited from Gecode::ViewSel< Merit::View >
 ViewSel (Space &home, const VarBranch< Var > &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, BrancherFilter< View > &f)=0
 Select a view from x starting from s and return its position. More...
 
virtual int select (Space &home, ViewArray< View > &x, int s, BrancherNoFilter< View > &f)
 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, BrancherFilter< View > &f)=0
 Select ties from x starting from s. More...
 
virtual void ties (Space &home, ViewArray< View > &x, int s, int *ties, int &n, BrancherNoFilter< View > &f)
 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...
 
virtual ~ViewSel (void)
 Unused destructor. 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::ViewSelChooseTbl< Choose, Merit >

Choose view according to merit taking tie-break limit into account.

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

Member Typedef Documentation

◆ Val

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

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

◆ View

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

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

◆ Var

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

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

Constructor & Destructor Documentation

◆ ViewSelChooseTbl() [1/2]

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

Constructor for initialization.

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

◆ ViewSelChooseTbl() [2/2]

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

Constructor for copying during cloning.

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

Member Function Documentation

◆ ties() [1/2]

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

Select ties from x starting from s.

Reimplemented from Gecode::ViewSelChoose< Choose, Merit >.

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

◆ ties() [2/2]

template<class Choose , class Merit >
void Gecode::ViewSelChooseTbl< Choose, Merit >::ties ( Space home,
ViewArray< View > &  x,
int  s,
int *  ties,
int &  n,
BrancherFilter< View > &  f 
)
virtual

Select ties from x starting from s.

Reimplemented from Gecode::ViewSelChoose< Choose, Merit >.

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

◆ brk()

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

Break ties in x and update to new ties.

Reimplemented from Gecode::ViewSelChoose< Choose, Merit >.

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

◆ notice()

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

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

Reimplemented from Gecode::ViewSelChoose< Choose, Merit >.

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

◆ dispose()

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

Delete view selection.

Reimplemented from Gecode::ViewSelChoose< Choose, Merit >.

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

Member Data Documentation

◆ tbl

template<class Choose, class Merit>
SharedData<BranchTbl> Gecode::ViewSelChooseTbl< Choose, Merit >::tbl
protected

Tie-break limit function.

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


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