Gobo Eiffel Structure Library
Copyright (c) 1999, Eric Bezault and others
Eiffel Forum License v2 (see forum.txt)
$Date: 2003/02/07 12:58:19 $
$Revision: 1.5 $
-- Routines that ought to be in class ANY
-- (From KL_IMPORTED_ANY_ROUTINES)
-- Equality tester;
-- A void equality tester means that =
-- will be used as comparison criterion.
-- (From DS_SEARCHABLE)
-- Number of items in container
-- (From DS_CONTAINER)
-- Number of times v appears in container
-- (Use equality_tester's comparison criterion
-- if not void, use = criterion otherwise.)
-- (From DS_SEARCHABLE)
-- Can set_equality_tester be called with a_tester
-- as argument in current state of container?
-- (Default answer: True.)
-- (From DS_SEARCHABLE)
-- Does container include v?
-- (Use equality_tester's comparison criterion
-- if not void, use = criterion otherwise.)
-- (From DS_SEARCHABLE)
-- Is container empty?
-- (From DS_CONTAINER)
-- Does container use the same comparison
-- criterion as other?
-- (From DS_SEARCHABLE)
-- Are v and u considered equal?
-- (Use equality_tester's comparison criterion
-- if not void, use = criterion otherwise.)
-- (From DS_SEARCHABLE)
-- Add items of other to dispenser.
-- Add other.first first, etc.
-- (From DS_EXTENDIBLE)
-- Add items of other to dispenser.
-- Add other.first first, etc.
-- (From DS_EXTENDIBLE)
-- Clone of current object
-- (From KL_CLONABLE)
-- Set equality_tester to a_tester.
-- A void equality tester means that =
-- will be used as comparison criterion.
-- (From DS_SEARCHABLE)
Queues (First-In, First-Out)