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 79 of file core.hpp.
Constructor & Destructor Documentation
Gecode::SharedHandle::SharedHandle |
( |
void |
|
) |
[inline] |
Create shared handle with no object pointing to.
Definition at line 2639 of file core.hpp.
Create shared handle that points to shared object so.
Definition at line 2641 of file core.hpp.
Gecode::SharedHandle::SharedHandle |
( |
const SharedHandle & |
sh |
) |
[inline] |
Copy constructor maintaining reference count.
Definition at line 2645 of file core.hpp.
Gecode::SharedHandle::~SharedHandle |
( |
void |
|
) |
[inline] |
Destructor that maintains reference count.
Definition at line 2672 of file core.hpp.
Member Function Documentation
Assignment operator maintaining reference count.
Definition at line 2649 of file core.hpp.
void Gecode::SharedHandle::update |
( |
Space & |
home, |
|
|
bool |
share, |
|
|
SharedHandle & |
sh | |
|
) |
| | [inline] |
Updating during cloning.
Definition at line 2656 of file core.hpp.
Access to the shared object.
Definition at line 2619 of file core.hpp.
Modify shared object.
Definition at line 2633 of file core.hpp.
The documentation for this class was generated from the following file: