Gobo Eiffel Structure Library
Copyright (c) 2001, Eric Bezault and others
Eiffel Forum License v2 (see forum.txt)
$Date: 2005/07/13 17:52:52 $
$Revision: 1.7 $
[020707] Use KL_REVERSE_COMPARATOR instead.
-- Create a new reverse comparator based on a_comparator.
-- (From KL_REVERSE_PART_COMPARATOR)
-- Base comparator
-- (From KL_REVERSE_PART_COMPARATOR)
-- Is u considered greater than or equal to v?
-- (From KL_COMPARATOR)
-- Is u considered greater than v?
-- (From KL_PART_COMPARATOR)
-- Is u considered less than or equal to v?
-- (From KL_COMPARATOR)
-- Is u considered less than v?
-- (From KL_PART_COMPARATOR)
-- Are u and v considered equal?
-- (From KL_COMPARATOR)
-- Set comparator to a_comparator.
-- (From KL_REVERSE_PART_COMPARATOR)
Reverse total order comparators