class
	OBJECT_GRAPH_MARKER

General
	cluster: elks
	description: "Facility to mark objects once when traversing an object graph."

Ancestors
	ANY

Generated by ISE EiffelStudio