Local (space-shared) object. More...
#include <core.hpp>
Public Member Functions | |
LocalObject * | fwd (Space &home, bool share) |
Return forwarding pointer. | |
![]() | |
virtual Actor * | copy (Space &home, bool share)=0 |
Create copy. | |
virtual size_t | allocated (void) const |
Report size occupied by additionally datastructures. | |
virtual size_t | dispose (Space &home) |
Delete actor and return its size. |
Protected Member Functions | |
LocalObject (Home home) | |
Constructor for creation. | |
LocalObject (Space &home, bool share, LocalObject &l) | |
Copy constructor. |
Static Protected Member Functions | |
static LocalObject * | cast (ActorLink *al) |
Static cast for a non-null pointer (to give a hint to optimizer) | |
static const LocalObject * | cast (const ActorLink *al) |
Static cast for a non-null pointer (to give a hint to optimizer) |
Additional Inherited Members | |
![]() | |
static void * | operator new (size_t s, Space &home) |
Allocate memory from space. | |
static void | operator delete (void *p, Space &home) |
No-op for exceptions. |
Local (space-shared) object.
Local objects must inherit from this base class.
|
inlineprotected |
|
inlineprotected |
|
inlinestaticprotected |
Static cast for a non-null pointer (to give a hint to optimizer)
Reimplemented from Gecode::Actor.
|
inlinestaticprotected |
Static cast for a non-null pointer (to give a hint to optimizer)
Reimplemented from Gecode::Actor.
|
inline |