- 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_