Class DS_COMPARATOR PreviousNext

note
description:

    "Comparators"

library:    "Gobo Eiffel Structure Library"
author:     "Eric Bezault <ericb@gobosoft.com>"
copyright:  "Copyright (c) 2000-2001, Eric Bezault and others"
license:    "MIT License"
deferred class interface
DS_COMPARATOR [G]
feature -- Status report
less_than (u, v: G): BOOLEAN
        -- Is u considered less than v?
    require
        u_not_void: u /= Void
        v_not_void: v /= Void
    deferred
    ensure
        asymmetric: Result implies not less_than (v, u)
end -- class DS_COMPARATOR

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

HomeTocPreviousNext