
Virtualized choice baseclass. More...
#include <brancher-tiebreak.hpp>
Public Member Functions | |
| virtual ChoiceVirtualBase * | copy (void) const =0 |
| Create copy. | |
| virtual size_t | size (void) const =0 |
| Report size required. | |
| virtual | ~ChoiceVirtualBase (void) |
| Destructor. | |
| virtual void | archive (Archive &e) const =0 |
| Archive into e. | |
Memory management | |
| static void * | operator new (size_t s) |
| Allocate memory. | |
| static void | operator delete (void *) |
| Delete memory. | |
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.