Automatic generation produced by ISE Eiffel

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

General
	cluster: time
	description: 
		"Invertible object with an internal + operation.
		
		Note: The model is that of a commutative group."

Ancestors
	ANY

Queries
	identity alias "+": [like Current] GROUP_ELEMENT
	minus alias "-" (other: [like Current] GROUP_ELEMENT): [like Current] GROUP_ELEMENT
	opposite alias "-": [like Current] GROUP_ELEMENT
	plus alias "+" (other: [like Current] GROUP_ELEMENT): [like Current] GROUP_ELEMENT
	zero: [like Current] GROUP_ELEMENT

Constraints
	neutral addition
	self subtraction



Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 

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