
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< typenameMerit::View >::Var | Var |
| typedef ViewSel< typenameMerit::View >::View | View |
| typedef Merit::Val | Val |
| Type of merit. | |
Protected Attributes | |
| SharedData< BranchTbl > | tbl |
| Tie-break limit function. | |
Protected Attributes inherited from Gecode::ViewSelChoose< Choose, Merit > | |
| Choose | c |
| How to choose. | |
| Merit | m |
| The merit object used. | |
Initialization | |
| ViewSelChooseTbl (Space &home, const VarBranch< Var > &vb) | |
| Constructor for initialization. | |
| ViewSelChooseTbl (Space &home, ViewSelChooseTbl< Choose, Merit > &vs) | |
| Constructor for copying during cloning. | |
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. | |
| virtual void | ties (Space &home, ViewArray< View > &x, int s, int *ties, int &n, BrancherFilter< View > &f) |
| Select ties from x starting from s. | |
| virtual void | brk (Space &home, ViewArray< View > &x, int *ties, int &n) |
| Break ties in x and update to new ties. | |
Resource management and cloning | |
| virtual bool | notice (void) const |
| Whether dispose must always be called (that is, notice is needed) | |
| virtual void | dispose (Space &home) |
| Delete view selection. | |
Additional Inherited Members | |
Public Types inherited from Gecode::ViewSel< Merit::View > | |
| typedef Merit::View | View |
| Define the view type. | |
| typedef View::VarType | Var |
| The corresponding variable type. | |
Public Member Functions inherited from Gecode::ViewSelChoose< Choose, Merit > | |
| ViewSelChoose (Space &home, const VarBranch< Var > &vb) | |
| Constructor for creation. | |
| ViewSelChoose (Space &home, ViewSelChoose< Choose, Merit > &vs) | |
| Constructor for copying during cloning. | |
| virtual int | select (Space &home, ViewArray< View > &x, int s) |
| 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) |
| Select a view from x starting from s and return its position. | |
| virtual int | select (Space &home, ViewArray< View > &x, int *ties, int n) |
| Select a view from x considering views with positions in ties. | |
Public Member Functions inherited from Gecode::ViewSel< Merit::View > | |
| ViewSel (Space &home, const VarBranch< Var > &vb) | |
| Constructor for creation. | |
| ViewSel (Space &home, ViewSel< View > &vs) | |
| Constructor for copying during cloning. | |
| 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 int | select (Space &home, ViewArray< View > &x, int *ties, int n)=0 |
| Select a view from x considering views with positions in ties. | |
| 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 ViewSel< View > * | copy (Space &home)=0 |
| Create copy during cloning. | |
| virtual | ~ViewSel (void) |
| Unused destructor. | |
Static Public Member Functions inherited from Gecode::ViewSel< Merit::View > | |
| 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. | |
Choose view according to merit taking tie-break limit into account.
Definition at line 255 of file view-sel.hpp.
|
protected |
Definition at line 257 of file view-sel.hpp.
|
protected |
Definition at line 258 of file view-sel.hpp.
|
protected |
Definition at line 259 of file view-sel.hpp.
|
inline |
Constructor for initialization.
Definition at line 702 of file view-sel.hpp.
|
inline |
Constructor for copying during cloning.
Definition at line 711 of file view-sel.hpp.
|
virtual |
Select ties from x starting from s.
Reimplemented from Gecode::ViewSelChoose< Choose, Merit >.
Definition at line 718 of file view-sel.hpp.
|
virtual |
Select ties from x starting from s.
Reimplemented from Gecode::ViewSelChoose< Choose, Merit >.
Definition at line 758 of file view-sel.hpp.
|
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.
|
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.
|
virtual |
Delete view selection.
Reimplemented from Gecode::ViewSelChoose< Choose, Merit >.
Definition at line 839 of file view-sel.hpp.
|
protected |
Tie-break limit function.
Definition at line 263 of file view-sel.hpp.