elogger API
Overview Classes Cluster Class Index          Top Features
structure.sort

Class DS_PART_COMPARATOR

Direct ancestors

KL_PART_COMPARATOR

Known direct descendants

DS_COMPARATOR, DS_REVERSE_PART_COMPARATOR

Features

Invariants

indexing

description

Partial order comparators

library

Gobo Eiffel Structure Library

copyright

Copyright (c) 2001, Eric Bezault and others

license

Eiffel Forum License v2 (see forum.txt)

deferred class DS_PART_COMPARATOR [G]

obsolete

[020707] Use KL_PART_COMPARATOR instead.

inherit

KL_PART_COMPARATOR

feature -- Status report

greater_than (u, v: G): BOOLEAN

-- Is u considered greater than v?
-- (From KL_PART_COMPARATOR)

require

u_not_void: u /= Void
v_not_void: v /= Void

ensure

definition: Result = less_than (v, u)

less_than (u, v: G): BOOLEAN

-- Is u considered less than v?
-- (From KL_PART_COMPARATOR)

require

u_not_void: u /= Void
v_not_void: v /= Void
deferred

ensure

asymmetric: Result implies not less_than (v, u)

invariant


-- From ANY
reflexive_equality: standard_is_equal (Current)
reflexive_conformance: conforms_to (Current)

Documentation generated by edoc

elogger API
Overview Classes Cluster Class Index          Top Features