Generated on Tue Apr 18 10:23:13 2017 for Gecode by doxygen 1.6.3

Gecode::ViewSel< _View > Class Template Reference
[Generic view selection for brancher based on view and value selection]

Abstract class for view selection. More...

#include <brancher-view-sel.hpp>

List of all members.

Public Types

typedef _View View
 Define the view type.
typedef View::VarType Var
 The corresponding variable type.

Initialization



 ViewSel (Space &home, const VarBranch< Var > &vb)
 Constructor for creation.
 ViewSel (Space &home, bool shared, ViewSel< View > &vs)
 Constructor for copying during cloning.

View selection and tie breaking



virtual int select (Space &home, ViewArray< View > &x, int s)=0
 Select a view from x starting from s and return its position.
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.
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.
virtual void ties (Space &home, ViewArray< View > &x, int s, int *ties, int &n)=0
 Select ties from x starting from s.
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.
virtual void ties (Space &home, ViewArray< View > &x, int s, int *ties, int &n, BrancherNoFilter< View > &f)
 Select ties from x starting from s.
virtual void brk (Space &home, ViewArray< View > &x, int *ties, int &n)=0
 Break ties in x and update to new ties.
virtual int select (Space &home, ViewArray< View > &x, int *ties, int n)=0
 Select a view from x considering views with positions in ties.

Resource management and cloning



virtual ViewSel< View > * copy (Space &home, bool shared)=0
 Create copy during cloning.
virtual bool notice (void) const
 Whether dispose must always be called (that is, notice is needed).
virtual void dispose (Space &home)
 Dispose view selection.
virtual ~ViewSel (void)
 Unused destructor.

Memory management



static void * operator new (size_t s, Space &home)
 Allocate memory from space.
static void operator delete (void *p, Space &home)
 Return memory to space.
static void operator delete (void *p)
 Needed for exceptions.

Detailed Description

template<class _View>
class Gecode::ViewSel< _View >

Abstract class for view selection.

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


Member Typedef Documentation


Constructor & Destructor Documentation

template<class View >
Gecode::ViewSel< View >::ViewSel ( Space home,
const VarBranch< Var > &  vb 
) [inline]

Constructor for creation.

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

template<class View >
Gecode::ViewSel< View >::ViewSel ( Space home,
bool  shared,
ViewSel< View > &  vs 
) [inline]

Constructor for copying during cloning.

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

template<class View >
Gecode::ViewSel< View >::~ViewSel ( void   )  [inline, virtual]

Unused destructor.

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


Member Function Documentation

template<class _View>
virtual int Gecode::ViewSel< _View >::select ( Space home,
ViewArray< View > &  x,
int  s 
) [pure virtual]
template<class _View>
virtual int Gecode::ViewSel< _View >::select ( Space home,
ViewArray< View > &  x,
int  s,
BrancherFilter< View > &  f 
) [pure virtual]
template<class View >
int Gecode::ViewSel< View >::select ( Space home,
ViewArray< View > &  x,
int  s,
BrancherNoFilter< View > &  f 
) [inline, virtual]

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

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

template<class _View>
virtual void Gecode::ViewSel< _View >::ties ( Space home,
ViewArray< View > &  x,
int  s,
int *  ties,
int &  n 
) [pure virtual]
template<class _View>
virtual void Gecode::ViewSel< _View >::ties ( Space home,
ViewArray< View > &  x,
int  s,
int *  ties,
int &  n,
BrancherFilter< View > &  f 
) [pure virtual]
template<class View >
void Gecode::ViewSel< View >::ties ( Space home,
ViewArray< View > &  x,
int  s,
int *  ties,
int &  n,
BrancherNoFilter< View > &  f 
) [inline, virtual]

Select ties from x starting from s.

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

template<class _View>
virtual void Gecode::ViewSel< _View >::brk ( Space home,
ViewArray< View > &  x,
int *  ties,
int &  n 
) [pure virtual]
template<class _View>
virtual int Gecode::ViewSel< _View >::select ( Space home,
ViewArray< View > &  x,
int *  ties,
int  n 
) [pure virtual]
template<class _View>
virtual ViewSel<View>* Gecode::ViewSel< _View >::copy ( Space home,
bool  shared 
) [pure virtual]
template<class View >
void * Gecode::ViewSel< View >::operator new ( size_t  s,
Space home 
) [inline, static]

Allocate memory from space.

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

template<class View >
void Gecode::ViewSel< View >::operator delete ( void *  p,
Space home 
) [inline, static]

Return memory to space.

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

template<class View >
void Gecode::ViewSel< View >::operator delete ( void *  p  )  [inline, static]

Needed for exceptions.

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


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