Virtualized view selection. More...
#include <brancher-tiebreak.hpp>
Public Member Functions | |
ViewSelVirtual (Space &home, const VarBranchOptions &vbo) | |
Constructor for initialization. More... | |
ViewSelVirtual (Space &home, bool share, ViewSelVirtual &vsv) | |
Constructor for cloning vsv. More... | |
virtual ViewSelStatus | init (Space &home, typename ViewSel::View x) |
Intialize with view x. More... | |
virtual ViewSelStatus | select (Space &home, typename ViewSel::View x) |
Possibly select better view x. More... | |
virtual ChoiceVirtualBase * | choice (Space &home) |
Return choice. More... | |
virtual ChoiceVirtualBase * | choice (const Space &home, Archive &e) |
Return choice. More... | |
virtual void | commit (Space &home, const ChoiceVirtualBase *d, unsigned int a) |
Commit to choice. More... | |
virtual ViewSelVirtualBase < typename ViewSel::View > * | copy (Space &home, bool share) |
Create copy during cloning. More... | |
virtual size_t | dispose (Space &home) |
Delete view selection and returns its size. More... | |
Protected Attributes | |
ViewSel | viewsel |
Static view selection object. More... | |
Additional Inherited Members | |
![]() | |
static void * | operator new (size_t s, Space &home) |
Allocate memory from space. More... | |
static void | operator delete (void *p, Space &home) |
No-op for exceptions. More... | |
static void | operator delete (void *) |
Needed for exceptions. More... | |
Virtualized view selection.
Definition at line 171 of file brancher-tiebreak.hpp.
|
inline |
Constructor for initialization.
Definition at line 403 of file brancher-tiebreak.hpp.
|
inline |
Constructor for cloning vsv.
Definition at line 408 of file brancher-tiebreak.hpp.
|
virtual |
Intialize with view x.
Implements Gecode::ViewSelVirtualBase< ViewSel::View >.
Definition at line 414 of file brancher-tiebreak.hpp.
|
virtual |
Possibly select better view x.
Implements Gecode::ViewSelVirtualBase< ViewSel::View >.
Definition at line 419 of file brancher-tiebreak.hpp.
|
virtual |
Return choice.
Implements Gecode::ViewSelVirtualBase< ViewSel::View >.
Definition at line 424 of file brancher-tiebreak.hpp.
|
virtual |
Return choice.
Implements Gecode::ViewSelVirtualBase< ViewSel::View >.
Definition at line 429 of file brancher-tiebreak.hpp.
|
virtual |
Commit to choice.
Implements Gecode::ViewSelVirtualBase< ViewSel::View >.
Definition at line 434 of file brancher-tiebreak.hpp.
|
virtual |
Create copy during cloning.
Implements Gecode::ViewSelVirtualBase< ViewSel::View >.
Definition at line 442 of file brancher-tiebreak.hpp.
|
virtual |
Delete view selection and returns its size.
Implements Gecode::ViewSelVirtualBase< ViewSel::View >.
Definition at line 447 of file brancher-tiebreak.hpp.
|
protected |
Static view selection object.
Definition at line 174 of file brancher-tiebreak.hpp.