The shared handle.
More...
#include <core.hpp>
List of all members.
Detailed Description
The shared handle.
A shared handle provides access to an object that lives outside a space, and is shared between entities that possibly reside inside different spaces. The handle has an update mechanism that supports updates with and without sharing. An update without sharing makes sure that a single copy of the object is created when the space is copied.
This is the base class that all shared handles must inherit from.
Definition at line 77 of file core.hpp.
Constructor & Destructor Documentation
Gecode::SharedHandle::SharedHandle |
( |
void |
|
) |
[inline] |
Create shared handle with no object pointing to.
Definition at line 2287 of file core.hpp.
Create shared handle that points to shared object so.
Definition at line 2289 of file core.hpp.
Gecode::SharedHandle::SharedHandle |
( |
const SharedHandle & |
sh |
) |
[inline] |
Copy constructor maintaining reference count.
Definition at line 2293 of file core.hpp.
Gecode::SharedHandle::~SharedHandle |
( |
void |
|
) |
[inline] |
Destructor that maintains reference count.
Definition at line 2320 of file core.hpp.
Member Function Documentation
Assignment operator mainitaining reference count.
Definition at line 2297 of file core.hpp.
void Gecode::SharedHandle::update |
( |
Space & |
home, |
|
|
bool |
share, |
|
|
SharedHandle & |
sh | |
|
) |
| | [inline] |
Updating during cloning.
Definition at line 2304 of file core.hpp.
Access to the shared object.
Definition at line 2267 of file core.hpp.
Modify shared object.
Definition at line 2281 of file core.hpp.
The documentation for this class was generated from the following file: