Gecode::SharedHandle Class Reference
[Support for shared objects and handles]
The shared handle. More...
|The shared object. More...|
Public Member Functions
|Create shared handle with no object pointing to. |
|SharedHandle (SharedHandle::Object *so)|
|Create shared handle that points to shared object so. |
|SharedHandle (const SharedHandle &sh)|
|Copy constructor maintaining reference count. |
|SharedHandle &||operator= (const SharedHandle &sh)|
|Assignment operator maintaining reference count. |
|void||update (Space &home, bool share, SharedHandle &sh)|
|Updating during cloning. |
|Destructor that maintains reference count. |
Protected Member Functions
|SharedHandle::Object *||object (void) const|
|Access to the shared object. |
|void||object (SharedHandle::Object *n)|
|Modify shared object. |
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.
Constructor & Destructor Documentation
|Gecode::SharedHandle::SharedHandle||(||const SharedHandle &||sh||)||
Member Function Documentation
Updating during cloning.
Reimplemented in Gecode::SharedData< Data >, Gecode::SharedData< BranchTbl >, Gecode::SharedData< ValFunction >, Gecode::SharedData< Function >, Gecode::SharedData< std::function< void(Space &home)> >, Gecode::SharedData< BranchFilter< Var > >, Gecode::SharedData< VarValPrint< Var, Val > >, and Gecode::SharedData< CommitFunction >.
|SharedHandle::Object * Gecode::SharedHandle::object||(||void||)|| const
|void Gecode::SharedHandle::object||(||SharedHandle::Object *||n||)||
The documentation for this class was generated from the following file:
- gecode/kernel/core.hpp (Revision: 15597)