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