EiffelBase class
(HTML page generated by ISE Eiffel 4.2)
Eiffel Class
indexing
description: "Sets whose items may be compared according to a total order relation";
status: "See notice at end of class";
names: comparable_set, comparable_struct;
access: membership, min, max;
contents: generic;
date: "$Date: 2007-03-30 19:10:11 +0000 (Fri, 30 Mar 2007) $";
revision: "$Revision: 95354 $"
deferred class COMPARABLE_SET [G -> COMPARABLE]
inherit
SUBSET [G];
COMPARABLE_STRUCT [G]
rename
min as cs_min,
max as cs_max
export
{NONE} all
undefine
changeable_comparison_criterion
end
feature -- Measurement
min: G is
-- Minimum item
require
not_empty: notempty
do
Result := cs_min
end;
max: G is
-- Maximum item
require
not_empty: notempty
do
Result := cs_max
end;
end -- class COMPARABLE_SET
|
