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 | |
![]() | |
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... | |
![]() | |
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 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... | |
Choose view according to merit.
Definition at line 198 of file brancher-view-sel.hpp.
|
protected |
Definition at line 200 of file brancher-view-sel.hpp.
|
protected |
Definition at line 201 of file brancher-view-sel.hpp.
|
protected |
Type of merit.
Definition at line 203 of file brancher-view-sel.hpp.
|
inline |
Constructor for creation.
Definition at line 526 of file brancher-view-sel.hpp.
|
inline |
Constructor for copying during cloning.
Definition at line 531 of file brancher-view-sel.hpp.
|
virtual |
Select a view from x starting from s and return its position.
Definition at line 537 of file brancher-view-sel.hpp.
|
virtual |
Select a view from x starting from s and return its position.
Definition at line 554 of file brancher-view-sel.hpp.
|
virtual |
Select ties from x starting from s.
Reimplemented in Gecode::ViewSelChooseTbl< Choose, Merit >, Gecode::ViewSelChooseTbl< ChooseMin, Merit >, and Gecode::ViewSelChooseTbl< ChooseMax, Merit >.
Definition at line 574 of file brancher-view-sel.hpp.
|
virtual |
Select ties from x starting from s.
Reimplemented in Gecode::ViewSelChooseTbl< Choose, Merit >, Gecode::ViewSelChooseTbl< ChooseMin, Merit >, and Gecode::ViewSelChooseTbl< ChooseMax, Merit >.
Definition at line 597 of file brancher-view-sel.hpp.
|
virtual |
Break ties in x and update to new ties.
Reimplemented in Gecode::ViewSelChooseTbl< Choose, Merit >, Gecode::ViewSelChooseTbl< ChooseMin, Merit >, and Gecode::ViewSelChooseTbl< ChooseMax, Merit >.
Definition at line 622 of file brancher-view-sel.hpp.
|
virtual |
Select a view from x considering views with positions in ties.
Definition at line 645 of file brancher-view-sel.hpp.
|
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.
|
virtual |
Delete view selection.
Reimplemented from Gecode::ViewSel< Merit::View >.
Definition at line 666 of file brancher-view-sel.hpp.
|
protected |
How to choose.
Definition at line 205 of file brancher-view-sel.hpp.
|
protected |
The merit object used.
Definition at line 207 of file brancher-view-sel.hpp.