INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: "Universal facilities of the guide for class SIMPLE_LIST_"
project: "Visual Eiffel"
revision: "$Revision: 1.2 $"
copyright: "Copyright (C) 1996-2005 Object Tools Group"
license: "http://visual-eiffel.com/license"
cluster: containers
deferred class SIMPLE_CHAIN_CORE_
inherit

SIMPLE_POOL_
end
invariant

proper_count: count >= 0 and then count <= capacity
proper_entrance: entrance >= 0 and then entrance <= capacity
end -- class SIMPLE_CHAIN_CORE_

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES