Class DS_COMPARABLE_COMPARATOR PreviousNext

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

Copyright © 2000-2001, Eric Bezault
mailto:
ericb@gobosoft.com
http:
//www.gobosoft.com
Last Updated: 31 March 2001

HomeTocPreviousNext