Base class for view selection. More...
#include <brancher-view.hpp>
Public Types | |
typedef _View | View |
View type. More... | |
typedef EmptyViewSelChoice | Choice |
View selection choice. More... | |
Public Member Functions | |
ViewSelBase (void) | |
Default constructor. More... | |
ViewSelBase (Space &home, const VarBranchOptions &vbo) | |
Constructor for initialization. More... | |
EmptyViewSelChoice | choice (Space &home) |
Return choice. More... | |
EmptyViewSelChoice | choice (const Space &home, Archive &e) |
Return choice. More... | |
void | commit (Space &home, const EmptyViewSelChoice &c, unsigned a) |
Commit to choice. More... | |
void | update (Space &home, bool share, ViewSelBase &vs) |
Updating during cloning. More... | |
void | dispose (Space &home) |
Delete view selection. More... | |
Base class for view selection.
Definition at line 59 of file brancher-view.hpp.
typedef _View Gecode::ViewSelBase< _View >::View |
View type.
Definition at line 62 of file brancher-view.hpp.
typedef EmptyViewSelChoice Gecode::ViewSelBase< _View >::Choice |
View selection choice.
Definition at line 64 of file brancher-view.hpp.
|
inline |
Default constructor.
Definition at line 234 of file brancher-view.hpp.
|
inline |
Constructor for initialization.
Definition at line 237 of file brancher-view.hpp.
|
inline |
Return choice.
Definition at line 240 of file brancher-view.hpp.
|
inline |
Return choice.
Definition at line 245 of file brancher-view.hpp.
|
inline |
Commit to choice.
Definition at line 250 of file brancher-view.hpp.
|
inline |
Updating during cloning.
Definition at line 253 of file brancher-view.hpp.
|
inline |
Delete view selection.
Definition at line 256 of file brancher-view.hpp.