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