Class DS_COMPARABLE

Class DS_COMPARABLE_COMPARATOR

note

description:

    "Comparators based on COMPARABLE"

library:    "Gobo Eiffel Structure Library"
author:     "Eric Bezault <ericb@gobosoft.com>"
copyright:  "Copyright (c) 2000-2001, Eric Bezault and others"
license:    "MIT License"

class interface

DS_COMPARABLE_COMPARATOR [G -> COMPARABLE]

inherit

DS_COMPARATOR [G]

create

make
        -- Create a new comparator.

feature -- Status report

less_than (u, v: G): BOOLEAN
        -- Is u considered less than v?
        -- (From DS_COMPARATOR.)
    require
        u_not_void: u /= Void
        v_not_void: v /= Void
    ensure
        asymmetric: Result implies not less_than (v, u)

end -- class DS_COMPARABLE_COMPARATOR