indexing
	description: "Objects that ..."
	author: ""
	date: "$Date$"
	revision: "$Revision$"

class
	EM3D_VISIBILITY_SUPPORT

feature -- Status report

	is_visible: BOOLEAN
			-- Is this item visible?
			-- States whether this item is visible, or not.

feature -- Status setting

	set_visible (a_value: BOOLEAN) is
			-- Set `is_visible' to `a_value'
		do
			is_visible := a_value
		ensure
			is_visible_set: is_visible = a_value
		end

feature {NONE} -- Implementation

invariant
	invariant_clause: True -- Your invariant here

end