natas_hw
/
legacy-svn-scala
mirror of https://github.com/scala/legacy-svn-scala
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Slight improvements in the documentation. 

git-svn-id: http://lampsvn.epfl.ch/svn-repos/scala/scala/trunk@14653 5e8d7ff9-d8ef-0310-90f0-a4852d11357a
This commit is contained in:
washburn 2008-04-15 08:31:16 +00:00
parent 94804f20de
commit f1e886a5db
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/library/scala/Ordering.scala
View File

@ -23,10 +23,10 @@ package scala
* <ul>
* <li>reflexive: <code>compare(x, x) == 0</code>, for any <code>x</code> of
* type <code>T</code>.</li>
* <li>(need a name): <code>compare(x, y) == z</code> and <code>compare(y, x) == w</code>
* <li>symmetry: <code>compare(x, y) == z</code> and <code>compare(y, x) == w</code>
* then <code>Math.signum(z) == -Math.signum(w)</code>, for any <code>x</code> and <code>y</code> of
* type <code>T</code> and <code>z</code> and <code>w</code> of type <code>Int</code>.</li>
* <li>transitive: if <code>compare(x, y) == z</code> and <code>lteq(y, w) == v</code>
* <li>transitive: if <code>compare(x, y) == z</code> and <code>compare(y, w) == v</code>
* and <code>Math.signum(z) &gt;= 0</code> and <code>Math.signum(v) &gt;= 0</code> then
* <code>compare(x, w) == u</code> and <code>Math.signum(z + v) == Math.signum(u)</code>,
* for any <code>x</code>, <code>y</code>,
@ -35,7 +35,7 @@ package scala
* </ul>
*
* @author Geoffrey Washburn
* @version 0.9, 2008-04-03
* @version 0.9.5, 2008-04-15
*/
trait Ordering[T] extends PartialOrdering[T] {