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 2186 of file core.hpp.
Create shared handle that points to shared object so.
Definition at line 2188 of file core.hpp.
Gecode::SharedHandle::SharedHandle |
( |
const SharedHandle & |
sh |
) |
[inline] |
Copy constructor maintaining reference count.
Definition at line 2192 of file core.hpp.
Gecode::SharedHandle::~SharedHandle |
( |
void |
|
) |
[inline] |
Destructor that maintains reference count.
Definition at line 2219 of file core.hpp.
Member Function Documentation
Assignment operator mainitaining reference count.
Definition at line 2196 of file core.hpp.
void Gecode::SharedHandle::update |
( |
Space & |
home, |
|
|
bool |
share, |
|
|
SharedHandle & |
sh | |
|
) |
| | [inline] |
Updating during cloning.
Definition at line 2203 of file core.hpp.
Access to the shared object.
Definition at line 2166 of file core.hpp.
Modify shared object.
Definition at line 2180 of file core.hpp.
The documentation for this class was generated from the following file: