INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

description: "Sets implemented by linked 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: linked_set, set, linked_list
cluster: eiffelbase
class LINKED_SET [G]
inherit

SUBSET [G]
undefine
prune_all
select
extend,
prune,
put
end

LINKED_LIST [G]
rename
extend as ll_extend,
put as ll_put,
prune as ll_prune
export
{NONE}
ll_extend,
ll_prune,
ll_put
undefine
changeable_comparison_criterion
end
creation

make
feature -- Comparison

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

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

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

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

intersect (other: like Current)
-- Remove all items not in `other'.
-- No effect if `other' is `empty'.

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

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES