Virtualized choice. More...
#include <brancher-tiebreak.hpp>
Public Member Functions | |
ChoiceVirtual (const Choice &c) | |
Constructor for initialization. | |
virtual ChoiceVirtualBase * | copy (void) const |
Create copy. | |
virtual size_t | size (void) const |
Report size required. | |
virtual | ~ChoiceVirtual (void) |
Destructor. | |
virtual void | archive (Archive &e) const |
Archive into e. | |
Public Attributes | |
Choice | choice |
Static choice object. |
Virtualized choice.
Gecode::ChoiceVirtual::ChoiceVirtual | ( | const Choice & | c | ) | [inline] |
Constructor for initialization.
Definition at line 382 of file brancher-tiebreak.hpp.
Gecode::ChoiceVirtual::~ChoiceVirtual | ( | void | ) | [virtual] |
Destructor.
Definition at line 395 of file brancher-tiebreak.hpp.
ChoiceVirtualBase * Gecode::ChoiceVirtual::copy | ( | void | ) | const [inline, virtual] |
Create copy.
Implements Gecode::ChoiceVirtualBase.
Definition at line 386 of file brancher-tiebreak.hpp.
size_t Gecode::ChoiceVirtual::size | ( | void | ) | const [inline, virtual] |
Report size required.
Implements Gecode::ChoiceVirtualBase.
Definition at line 391 of file brancher-tiebreak.hpp.
void Gecode::ChoiceVirtual::archive | ( | Archive & | e | ) | const [virtual] |
Archive into e.
Implements Gecode::ChoiceVirtualBase.
Definition at line 397 of file brancher-tiebreak.hpp.
Static choice object.
Definition at line 154 of file brancher-tiebreak.hpp.