deferred class
	WITH_THINKER

General
	cluster: brie_doom
	description: "Interface for classes having thinker"

Ancestors
	ANY

Queries
	thinker: THINKER_T

Commands
	make_thinker
	set_thinker (a_thinker: [like thinker] THINKER_T)

Generated by ISE EiffelStudio