1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
|
<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN">
<html>
<head>
<meta http-equiv="Content-Type"
content="text/html; charset=iso-8859-1">
<meta name="GENERATOR" content="Microsoft FrontPage 2.0">
<title>Class DS_REVERSE_COMPARABLE_COMPARATOR</title>
</head>
<body bgcolor="#FFFFFF">
<table border="0" width="100%">
<tr>
<td><font size="6"><strong>Class
DS_REVERSE_COMPARABLE_COMPARATOR</strong></font></td>
<td align="right"><a href="ds_resizable.html"><img
src="../../image/previous.gif" alt="Previous" border="0"
width="40" height="40"></a><a
href="ds_reverse_comparator.html"><img
src="../../image/next.gif" alt="Next" border="0"
width="40" height="40"></a></td>
</tr>
</table>
<hr size="1">
<pre><font color="#000080"><em><strong>indexing</strong></em></font></pre>
<blockquote>
<pre><em>description</em>:
<font color="#800000"><em> "Reverse comparators based on COMPARABLE"
</em></font><em>library: </em><font color="#800000"><em>"Gobo Eiffel Structure Library"
</em></font><em>author: </em><font color="#800000"><em>"Eric Bezault <</em></font><a
href="mailto:ericb@gobosoft.com"><font color="#800000"><em>ericb@gobosoft.com</em></font></a><font
color="#800000"><em>>"
</em></font><em>copyright: </em><font color="#800000"><em>"Copyright (c) 2000-2001, Eric Bezault and others"
</em></font><em>license: </em><font color="#800000"><em> "Eiffel Forum Freeware License v1 (see forum.txt)"</em></font></pre>
</blockquote>
<pre><font color="#000080"><em><strong>class interface</strong></em></font></pre>
<blockquote>
<pre><em>DS_REVERSE_COMPARABLE_COMPARATOR </em>[<em>G</em> <em>-></em> <a
href="http://www.gobosoft.com/eiffel/nice/elks95/comparable.html"><em>COMPARABLE</em></a>]</pre>
</blockquote>
<pre><font color="#000080"><em><strong>inherit</strong></em></font></pre>
<blockquote>
<pre><a href="ds_comparable_comparator.html"><em>DS_COMPARABLE_COMPARATOR</em></a><em> </em>[<em>G</em>]
<a href="ds_comparator.html"><em>DS_COMPARATOR</em></a><em> </em>[<em>G</em>]</pre>
</blockquote>
<pre><font color="#000080"><em><strong>creation</strong></em></font></pre>
<blockquote>
<pre><a name="make"><em>make</em></a><em>
</em><font color="#008000"> -- Create a new comparator.</font></pre>
</blockquote>
<pre><font color="#000080"><em><strong>feature</strong></em></font><font
color="#008000"> -- Status report</font></pre>
<blockquote>
<pre><a name="less_than"><em>less_than</em></a><em> </em>(<em>u</em>,<em> v</em>:<em> G)</em>:<em> </em><a
href="http://www.gobosoft.com/eiffel/nice/elks95/boolean.html"><em>BOOLEAN</em></a><em>
</em><font color="#008000"> -- Is </font><em>u</em><font
color="#008000"> considered less than </font><em>v</em><font
color="#008000">?</font><em>
</em><font color="#008000"> -- (From </font><a
href="ds_comparator.html#less_than"><font color="#008000"><em>DS_COMPARATOR</em></font></a><font
color="#008000">.)</font><em>
</em><font color="#000080"><em><strong>require</strong></em></font><em>
u_not_void</em>:<em> u </em>/= <font color="#008080"><em>Void</em></font><em>
v_not_void</em>:<em> v </em>/= <font color="#008080"><em>Void</em></font><em>
</em><font color="#000080"><em><strong>ensure</strong></em></font><em>
asymmetric</em>:<em> </em><font color="#008080"><em>Result</em></font><em> </em><font
color="#000080"><em><strong>implies not</strong></em></font><em> </em><a
href="#less_than"><em>less_than</em></a><em> </em>(<em>v</em>,<em> u</em>)</pre>
</blockquote>
<pre><font color="#000080"><em><strong>end</strong></em></font><font
color="#008000"> -- class </font><em>DS_REVERSE_COMPARABLE_COMPARATOR</em></pre>
<hr size="1">
<table border="0" width="100%">
<tr>
<td><address>
<font size="2"><b>Copyright 2000-2001</b></font><font
size="1"><b>, </b></font><font size="2"><strong>Eric
Bezault</strong></font><strong> </strong><font
size="2"><br>
<strong>mailto:</strong></font><a
href="mailto:ericb@gobosoft.com"><font size="2">ericb@gobosoft.com</font></a><font
size="2"><br>
<strong>http:</strong></font><a
href="http://www.gobosoft.com"><font size="2">//www.gobosoft.com</font></a><font
size="2"><br>
<strong>Last Updated:</strong> 31 March 2001</font><br>
<!--webbot bot="PurpleText"
preview="
$Date: 2001/04/06 16:12:47 $
$Revision: 1.1 $" -->
</address>
</td>
<td align="right" valign="top"><a
href="http://www.gobosoft.com"><img
src="../../image/home.gif" alt="Home" border="0"
width="40" height="40"></a><a href="index.html"><img
src="../../image/toc.gif" alt="Toc" border="0" width="40"
height="40"></a><a href="ds_resizable.html"><img
src="../../image/previous.gif" alt="Previous" border="0"
width="40" height="40"></a><a
href="ds_reverse_comparator.html"><img
src="../../image/next.gif" alt="Next" border="0"
width="40" height="40"></a></td>
</tr>
</table>
</body>
</html>
|
