Eiffel Media API
Overview Cluster Class Classes Index      Previous Next      Top Features

kernel.support

Class KL_PART_COMPARATOR


Known direct descendants

KL_COMPARATOR, KL_REVERSE_PART_COMPARATOR, DS_PART_COMPARATOR, ET_SEEDED_PROCEDURE_COMPARATOR, ET_SEEDED_QUERY_COMPARATOR

Features

Invariants

indexing

description

Partial order comparators

library

Gobo Eiffel Kernel Library

copyright

Copyright (c) 2001-2002, Eric Bezault and others

license

Eiffel Forum License v2 (see forum.txt)

date

$Date: 2004/11/14 15:09:44 $

revision

$Revision: 1.3 $

deferred class

KL_PART_COMPARATOR [G]

feature -- Status report

greater_than (u, v: G): BOOLEAN

-- Is u considered greater than v?

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?

require
u_not_void: u /= Void
v_not_void: v /= Void
ensure
asymmetric: Result implies not less_than (v, u)

invariant

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

end