- indexing
- title: "The project-wide universal properties: the class is an", "ancestor to the classes of The Ordering Machine (TOM) -", "the supplier of all kinds of linear orders used in USCL"
- 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_POOL_
- invariant
-
proper_free:
first_free >= 0 and then first_free <= capacity
-
proper_stock:
stock >= 0 and then stock <= capacity
end -- class SIMPLE_POOL_