Generated on Wed Jan 1 2020 10:37:59 for Gecode by doxygen 1.8.16
Gecode::ViewSelChooseTbl< Choose, Merit > Class Template Reference

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

#include <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, 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, 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, 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)=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 255 of file 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 257 of file view-sel.hpp.

◆ View

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

Definition at line 258 of file view-sel.hpp.

◆ Var

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

Definition at line 259 of file 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 702 of file view-sel.hpp.

◆ ViewSelChooseTbl() [2/2]

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

Constructor for copying during cloning.

Definition at line 712 of file 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 718 of file 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 758 of file 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 801 of file 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 834 of file 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 839 of file 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 263 of file view-sel.hpp.


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