Gecode::ChoiceVirtualBase Class Reference
[Generic view tie-breaking for brancher based on view and value selection]
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. |
Detailed Description
Virtualized choice baseclass.
Definition at line 96 of file brancher-tiebreak.hpp.
Constructor & Destructor Documentation
Gecode::ChoiceVirtualBase::~ChoiceVirtualBase | ( | void | ) | [inline, virtual] |
Destructor.
Definition at line 376 of file brancher-tiebreak.hpp.
Member Function Documentation
virtual ChoiceVirtualBase* Gecode::ChoiceVirtualBase::copy | ( | void | ) | const [pure virtual] |
Create copy.
Implemented in Gecode::ChoiceVirtual< Choice >.
virtual size_t Gecode::ChoiceVirtualBase::size | ( | void | ) | const [pure virtual] |
Report size required.
Implemented in Gecode::ChoiceVirtual< Choice >.
virtual void Gecode::ChoiceVirtualBase::archive | ( | Archive & | e | ) | const [pure virtual] |
Archive into e.
Implemented in Gecode::ChoiceVirtual< Choice >.
void * Gecode::ChoiceVirtualBase::operator new | ( | size_t | s | ) | [inline, static] |
Allocate memory.
Definition at line 372 of file brancher-tiebreak.hpp.
void Gecode::ChoiceVirtualBase::operator delete | ( | void * | p | ) | [inline, static] |
Delete memory.
Definition at line 368 of file brancher-tiebreak.hpp.
The documentation for this class was generated from the following file:
- gecode/kernel/brancher-tiebreak.hpp (Revision: 12001)