indexing description: "Shared access to cutter singleton." author: "Stefan Hildenbrand and Team UC" date: "$Date$" revision: "$Revision$" class SHARED_QUAD_CUTTER feature -- Singleton Access cutter: QUAD_CUTTER is -- cutter singleton once create Result.make ensure cutter_not_void: Result /= Void end end