INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

description: "Sets whose items may be compared according to a partial ", "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 PART_SORTED_SET [G -> COMPARABLE]
inherit

SUBSET [G]
undefine
changeable_comparison_criterion,
prune_all
redefine
disjoint,
symdif
select
extend,
prune,
put
end

PART_SORTED_TWO_WAY_LIST [G]
rename
extend as pstwl_extend,
prune as pstwl_prune,
put as pstwl_put
export
{NONE}
all
{ANY}
after,
duplicate,
finish,
forth,
item,
merge,
put_left,
start
redefine
duplicate,
merge
end
creation

make
feature -- Comparison

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'.

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

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

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES