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

---

Detailed Description

Shared handles provide access to reference-counted objects used by entities inside spaces. In particular, they support updates with and without sharing. An update with sharing just updates the handle. An update without sharing creates a single copy per space during updating.

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