Support for shared objects and handles
[Support algorithms and datastructures]
Classes | |
class | Gecode::SharedHandle |
The shared handle. More... | |
class | Gecode::SharedHandle::Object |
The shared object. More... | |
class | Gecode::LocalObject |
Local (space-shared) object. More... | |
class | Gecode::LocalHandle |
Handles for local (space-shared) objects. More... |
Detailed Description
Shared handles provide access to reference-counted objects. In particular, they support updates with and without sharing. An update with sharing just updates the handle, while a non-shared update creates a single copy per space.