class
	MEM_CONST

General
	cluster: base.kernel
	description: 
		"Constants used by memory management.
		This class may be used as ancestor by classes needing its facilities."

Ancestors
	ANY

Queries
	C_memory: INTEGER
	Eiffel_memory: INTEGER
	Full_collector: INTEGER
	Incremental_collector: INTEGER
	Total_memory: INTEGER