diff options
author | Geoffrey Washburn <geoffrey.washburn@epfl.ch> | 2008-04-15 08:31:16 +0000 |
---|---|---|
committer | Geoffrey Washburn <geoffrey.washburn@epfl.ch> | 2008-04-15 08:31:16 +0000 |
commit | 1ce782ce2f6e38823037cd8f8694fcac379313d7 (patch) | |
tree | 460e62c78c982bb38bfcdfff6dff366e4480793e /src | |
parent | 887d021102dd46f7435242dfc6c8f2e666c149c1 (diff) | |
download | scala-1ce782ce2f6e38823037cd8f8694fcac379313d7.tar.gz scala-1ce782ce2f6e38823037cd8f8694fcac379313d7.tar.bz2 scala-1ce782ce2f6e38823037cd8f8694fcac379313d7.zip |
Slight improvements in the documentation.
Diffstat (limited to 'src')
-rw-r--r-- | src/library/scala/Ordering.scala | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/library/scala/Ordering.scala b/src/library/scala/Ordering.scala index ef4bbfecd6..28641c0dc4 100644 --- a/src/library/scala/Ordering.scala +++ b/src/library/scala/Ordering.scala @@ -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) >= 0</code> and <code>Math.signum(v) >= 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] { |