Automatic generation produced by ISE Eiffel

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

General
	cluster: time
	description: "Sets of compactly coded date-time pairs"
	create: make

Ancestors
	ANY

Queries
	item (i: INTEGER_32): DATE_TIME
	last: INTEGER_32

Commands
	make (n: INTEGER_32)
	put (dt: DATE_TIME)

Constraints
	last non negative
	last1
	last2



Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 

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