|
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...
|
|
| 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...
|
|
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 int | select (Space &home, ViewArray< View > &x, int *ties, int n) |
| Select a view from x considering views with positions in ties. More...
|
|
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...
|
|
| 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...
|
|
template<class Choose, class Merit>
class Gecode::ViewSelChooseTbl< Choose, Merit >
Choose view according to merit taking tie-break limit into account.
Definition at line 246 of file brancher-view-sel.hpp.