INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

description: "Sets whose items may be compared according to a total order ", "relation; implemented as sorted two-way lists. "
title: "EiffelBase: library of reusable components for Eiffel. ", "Based on EiffelBase library for ISE Eiffel, ", "used with permission. "
project: "EiffelBase Library"
copyright: "(c) 1986-1997 Interactive Software Engineering Inc. ", "Modifications and extensions: ", "(c) 1997 Object Tools ", "All rights reserved. Duplication and distribution prohibited", "May be used only with Visual Eiffel under terms of user ", "license "
key: sorted_set, set, two_way_list
cluster: eiffelbase
class TWO_WAY_SORTED_SET [G -> COMPARABLE]
inherit

COMPARABLE_SET [G]
undefine
has,
index,
index_of,
max,
min,
occurrences,
off,
prune_all,
search
redefine
disjoint,
symdif
select
extend,
prune,
put
end

SORTED_TWO_WAY_LIST [G]
rename
extend as stwl_extend,
put as stwl_put,
prune as stwl_prune
export
{NONE}
stwl_extend,
stwl_prune,
stwl_put
{ANY}
after,
back,
before,
empty,
finish,
forth,
go_i_th,
index,
item,
max,
merge,
min,
off,
remove,
search,
start
undefine
changeable_comparison_criterion
redefine
duplicate,
merge
end
creation

make
feature -- Comparison

disjoint (other: like Current): BOOLEAN
-- Do current set and `other' have no
-- items in common?

is_subset (other: like Current): BOOLEAN
-- Is current set a subset of `other'?
feature -- Element change

extend, put (v: G)
-- Ensure that structure includes `v'.

merge (other: like Current)
-- Add all items of `other'.
feature -- Removal

prune (v: G)
-- Remove `v' if present.
feature -- Duplication

duplicate (n: INTEGER): like Current
-- Copy of sub-set beginning at cursor position
-- and having min (`n', `count' - `index' + 1) items
feature -- Basic operations

intersect (other: like Current)
-- Remove all items not in `other'.

subtract (other: like Current)
-- Remove all items also in `other'.

symdif (other: like Current)
-- Remove all items also in `other', and add all items
-- of `other' not already present.
end -- class TWO_WAY_SORTED_SET

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES