Choice for tie breakers More...
#include <brancher-tiebreak.hpp>
Public Member Functions | |
Choice (Space &home, ViewSelVirtualBase< _View > **tb, int n0) | |
Constructor. | |
Choice (const Space &home, Archive &e, ViewSelVirtualBase< _View > **tb, int n0) | |
Constructor. | |
Choice (const Choice &ce) | |
Copy constructor. | |
const Choice & | operator= (const Choice &ce) |
Assignment operator. | |
void | commit (Space &home, unsigned int a, ViewSelVirtualBase< _View > **tb) const |
Perform commit. | |
size_t | size (void) const |
Report size occupied. | |
~Choice (void) | |
Destructor. | |
void | archive (Archive &e) const |
Archive into e. |
Public Attributes | |
int | n |
Number of choices. | |
ChoiceVirtualBase ** | c |
Choices. |
Choice for tie breakers
Definition at line 212 of file brancher-tiebreak.hpp.
|
inline |
Constructor.
Definition at line 457 of file brancher-tiebreak.hpp.
|
inline |
Constructor.
Definition at line 465 of file brancher-tiebreak.hpp.
|
inline |
Copy constructor.
Definition at line 473 of file brancher-tiebreak.hpp.
|
inline |
Destructor.
Definition at line 507 of file brancher-tiebreak.hpp.
|
inline |
Assignment operator.
Definition at line 480 of file brancher-tiebreak.hpp.
|
inline |
Perform commit.
Definition at line 492 of file brancher-tiebreak.hpp.
|
inline |
Report size occupied.
Definition at line 498 of file brancher-tiebreak.hpp.
|
inline |
Archive into e.
Definition at line 514 of file brancher-tiebreak.hpp.
int Gecode::ViewSelTieBreakDynamic< _View >::Choice::n |
Number of choices.
Definition at line 215 of file brancher-tiebreak.hpp.
ChoiceVirtualBase** Gecode::ViewSelTieBreakDynamic< _View >::Choice::c |
Choices.
Definition at line 217 of file brancher-tiebreak.hpp.