Support for copied and shared objects and handles
[Support algorithms and datastructures]

Classes
class	Gecode::CopiedHandle
	The copied handle. More...
class	Gecode::CopiedHandle::Object
	The copied object. More...
class	Gecode::SharedHandle
	The shared handle. More...
class	Gecode::SharedHandle::Object
	The shared object. More...

---

Detailed Description

Copied handles provide access to objects that are updated when a space is copied, used by entities inside spaces. An update creates a single copy per space during updating.

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.