The class Ref_counted implements a base class for objects which are reference counted.

To use it simply inherit from Ref_counted (passing the type to be reference counted as the template argument) and then access the object through Handle objects rather than bare C++ pointers.

Operations

There are no methods which should be called by users of this class.