View selection class for dynamic tie breaking. More...
#include <brancher-tiebreak.hpp>
Classes | |
class | Choice |
Choice for tie breakers More... |
Public Types | |
typedef _View | View |
View type. |
Public Member Functions | |
ViewSelTieBreakDynamic (void) | |
Default constructor. | |
ViewSelTieBreakDynamic (Space &home, ViewSelVirtualBase< _View > **vsv, int n) | |
Constructor for initialization. | |
ViewSelStatus | init (Space &home, _View x) |
Intialize with view x. | |
ViewSelStatus | select (Space &home, _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 typename ViewSelTieBreakDynamic< _View >::Choice &c, unsigned int a) |
Commit to choice. | |
void | update (Space &home, bool share, ViewSelTieBreakDynamic &vs) |
Updating during cloning. | |
void | dispose (Space &home) |
Delete view selection. |
Protected Attributes | |
int | n |
Number of tie breakers. | |
ViewSelVirtualBase< _View > ** | tb |
Tie breakers. |
View selection class for dynamic tie breaking.
Definition at line 202 of file brancher-tiebreak.hpp.
typedef _View Gecode::ViewSelTieBreakDynamic< _View >::View |
View type.
Definition at line 210 of file brancher-tiebreak.hpp.
|
inline |
Default constructor.
Definition at line 524 of file brancher-tiebreak.hpp.
|
inline |
Constructor for initialization.
Definition at line 528 of file brancher-tiebreak.hpp.
|
inline |
Intialize with view x.
Definition at line 536 of file brancher-tiebreak.hpp.
|
inline |
Possibly select better view x.
Definition at line 545 of file brancher-tiebreak.hpp.
|
inline |
Return choice.
Definition at line 579 of file brancher-tiebreak.hpp.
|
inline |
Return choice.
Definition at line 585 of file brancher-tiebreak.hpp.
|
inline |
Commit to choice.
Definition at line 592 of file brancher-tiebreak.hpp.
|
inline |
Updating during cloning.
Definition at line 598 of file brancher-tiebreak.hpp.
|
inline |
Delete view selection.
Definition at line 607 of file brancher-tiebreak.hpp.
|
protected |
Number of tie breakers.
Definition at line 205 of file brancher-tiebreak.hpp.
|
protected |
Tie breakers.
Definition at line 207 of file brancher-tiebreak.hpp.