Class SharedHandle

gecode/kernel/shared-object.hpp:46–63

* \brief 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. * * This is the base class that all shared handles must inherit from. * */

   *
   */
  class SharedHandle {
  public:
    /**
     * \brief The shared object
     *
     * Shared objects must inherit from this base class.
     */
    class GECODE_KERNEL_EXPORT Object : public HeapAllocated {
      friend class SharedHandle;
    private:
      /// The counter used for reference counting
      Support::RefCount rc;
    public:
      /// Initialize
      Object(void);
      /// Delete shared object
      virtual ~Object(void);
    };
  private:
    /// The shared object
    Object* o;