View selection class for static tie breaking. More...
#include <brancher-tiebreak.hpp>
Classes | |
class | Choice |
View selection choice. More... |
Public Types | |
typedef A::View | View |
View type. |
Public Member Functions | |
ViewSelTieBreakStatic (void) | |
Default constructor. | |
ViewSelTieBreakStatic (Space &home, A &a, B &b) | |
Constructor for initialization. | |
ViewSelStatus | init (Space &home, typename A::View x) |
Intialize with view x. | |
ViewSelStatus | select (Space &home, typename A::View x) |
Possibly select better view x. | |
Choice | choice (Space &home) |
Return choice. | |
Choice | choice (const Space &home, Archive &e) |
Return choice. | |
void | commit (Space &home, const Choice &c, unsigned int a) |
Commit to choice. | |
void | update (Space &home, bool share, ViewSelTieBreakStatic &vs) |
Updating during cloning. | |
void | dispose (Space &home) |
Delete view selection. |
Protected Attributes | |
A | a |
First selection class. | |
B | b |
Second selection class. |
View selection class for static tie breaking.
Definition at line 50 of file brancher-tiebreak.hpp.
typedef A::View Gecode::ViewSelTieBreakStatic< A, B >::View |
View type.
Definition at line 58 of file brancher-tiebreak.hpp.
|
inline |
Default constructor.
Definition at line 282 of file brancher-tiebreak.hpp.
|
inline |
Constructor for initialization.
Definition at line 286 of file brancher-tiebreak.hpp.
|
inline |
Intialize with view x.
Definition at line 290 of file brancher-tiebreak.hpp.
|
inline |
Possibly select better view x.
Definition at line 296 of file brancher-tiebreak.hpp.
|
inline |
Return choice.
Definition at line 319 of file brancher-tiebreak.hpp.
|
inline |
Return choice.
Definition at line 326 of file brancher-tiebreak.hpp.
|
inline |
Commit to choice.
Definition at line 333 of file brancher-tiebreak.hpp.
|
inline |
Updating during cloning.
Definition at line 340 of file brancher-tiebreak.hpp.
|
inline |
Delete view selection.
Definition at line 347 of file brancher-tiebreak.hpp.
|
protected |
First selection class.
Definition at line 53 of file brancher-tiebreak.hpp.
|
protected |
Second selection class.
Definition at line 55 of file brancher-tiebreak.hpp.