Select view with least merit taking tie-break limit into account. More...
#include <view-sel.hpp>
Initialization | |
ViewSelMinTbl (Space &home, const VarBranch< Var > &vb) | |
Constructor for initialization. | |
ViewSelMinTbl (Space &home, ViewSelMinTbl< Merit > &vs) | |
Constructor for copying during cloning. | |
Resource management and cloning | |
virtual ViewSel< View > * | copy (Space &home) |
Create copy during cloning. | |
Additional Inherited Members | |
![]() | |
typedef Merit::View | View |
Define the view type. | |
typedef View::VarType | Var |
The corresponding variable type. | |
![]() | |
ViewSelChooseTbl (Space &home, const VarBranch< Var > &vb) | |
Constructor for initialization. | |
ViewSelChooseTbl (Space &home, ViewSelChooseTbl< ChooseMin, Merit > &vs) | |
Constructor for copying during cloning. | |
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. | |
virtual bool | notice (void) const |
Whether dispose must always be called (that is, notice is needed) | |
virtual void | dispose (Space &home) |
Delete view selection. | |
![]() | |
ViewSelChoose (Space &home, const VarBranch< Var > &vb) | |
Constructor for creation. | |
ViewSelChoose (Space &home, ViewSelChoose< ChooseMin, 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. | |
![]() | |
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 (void) |
Unused destructor. | |
![]() | |
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. | |
![]() | |
typedef ViewSelChoose< ChooseMin, Merit >::Val | Val |
typedef ViewSelChoose< ChooseMin, Merit >::View | View |
typedef ViewSelChoose< ChooseMin, Merit >::Var | Var |
![]() | |
typedef ViewSel< typenameMerit::View >::Var | Var |
typedef ViewSel< typenameMerit::View >::View | View |
typedef Merit::Val | Val |
Type of merit. | |
![]() | |
SharedData< BranchTbl > | tbl |
Tie-break limit function. | |
![]() | |
ChooseMin | c |
How to choose. | |
Merit | m |
The merit object used. | |
Select view with least merit taking tie-break limit into account.
Definition at line 315 of file view-sel.hpp.
|
inline |
Constructor for initialization.
Definition at line 864 of file view-sel.hpp.
|
inline |
Constructor for copying during cloning.
Definition at line 869 of file view-sel.hpp.
|
virtual |
Create copy during cloning.
Implements Gecode::ViewSel< Merit::View >.
Definition at line 874 of file view-sel.hpp.