Virtualized choice. More...
#include <brancher-tiebreak.hpp>
Public Member Functions | |
ChoiceVirtual (const Choice &c) | |
Constructor for initialization. More... | |
virtual ChoiceVirtualBase * | copy (void) const |
Create copy. More... | |
virtual size_t | size (void) const |
Report size required. More... | |
virtual | ~ChoiceVirtual (void) |
Destructor. More... | |
virtual void | archive (Archive &e) const |
Archive into e. More... | |
![]() | |
virtual | ~ChoiceVirtualBase (void) |
Destructor. More... | |
Public Attributes | |
Choice | choice |
Static choice object. More... | |
Additional Inherited Members | |
![]() | |
static void * | operator new (size_t s) |
Allocate memory. More... | |
static void | operator delete (void *) |
Delete memory. More... | |
Virtualized choice.
Definition at line 151 of file brancher-tiebreak.hpp.
|
inline |
Constructor for initialization.
Definition at line 382 of file brancher-tiebreak.hpp.
|
virtual |
Destructor.
Definition at line 395 of file brancher-tiebreak.hpp.
|
inlinevirtual |
Create copy.
Implements Gecode::ChoiceVirtualBase.
Definition at line 386 of file brancher-tiebreak.hpp.
|
inlinevirtual |
Report size required.
Implements Gecode::ChoiceVirtualBase.
Definition at line 391 of file brancher-tiebreak.hpp.
|
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.