Virtualized choice baseclass. More...
#include <brancher-tiebreak.hpp>
Public Member Functions | |
virtual ChoiceVirtualBase * | copy (void) const =0 |
Create copy. More... | |
virtual size_t | size (void) const =0 |
Report size required. More... | |
virtual | ~ChoiceVirtualBase (void) |
Destructor. More... | |
virtual void | archive (Archive &e) const =0 |
Archive into e. More... | |
Memory management | |
static void * | operator new (size_t s) |
Allocate memory. More... | |
static void | operator delete (void *) |
Delete memory. More... | |
Virtualized choice baseclass.
Definition at line 96 of file brancher-tiebreak.hpp.
|
inlinevirtual |
Destructor.
Definition at line 376 of file brancher-tiebreak.hpp.
|
pure virtual |
Create copy.
Implemented in Gecode::ChoiceVirtual< Choice >.
|
pure virtual |
Report size required.
Implemented in Gecode::ChoiceVirtual< Choice >.
|
pure virtual |
Archive into e.
Implemented in Gecode::ChoiceVirtual< Choice >.
|
inlinestatic |
Allocate memory.
Definition at line 372 of file brancher-tiebreak.hpp.
|
inlinestatic |
Delete memory.
Definition at line 368 of file brancher-tiebreak.hpp.