Automatic generation produced by ISE Eiffel

Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 
deferred class
	EV_REGION_I

General
	cluster: implementation_interface
	description: "Implementation Interface for EV_REGION"

Ancestors
	EV_ANY_I*

Queries
	exclusive_or (a_region: EV_REGION): EV_REGION
	intersect (a_region: EV_REGION): EV_REGION
	is_destroyed: BOOLEAN
	is_region_equal (other: EV_REGION): BOOLEAN
	subtract (a_region: EV_REGION): EV_REGION
	union (a_region: EV_REGION): EV_REGION

Commands
	copy_region (other: EV_REGION)
	offset (a_horizontal_offset, a_vertical_offset: INTEGER_32)
	set_rectangle (a_rectangle: EV_RECTANGLE)



Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 

-- Generated by Eiffel Studio --
For more details: eiffel.org