Lisaac prototype interface

Section Header
+ name := COMPARABLE;
- comment := " All classes handling COMPARABLE objects with a total order\ \relation should inherit from this class.";
Section Inherit
- parent_object:OBJECT :=
Section Public
- '==' Right 60 other:SELF :BOOLEAN <-
- '<' Left 1 other:SELF :BOOLEAN <-
Is `self' strictly less than `other'?
- '<=' Left 1 other:SELF :BOOLEAN <-
Is `self' less than or equal `other'?
- '>' other:SELF :BOOLEAN <-
Is `self' strictly greater than `other'?
- '>=' other:SELF :BOOLEAN <-
Is `self' greater than or equal than `other'?
- in_range lower:SELF to upper:SELF :BOOLEAN <-
Return true if `self' is in range [`lower'..`upper']
- compare other:SELF :INTEGER <-
If current object equal to `other', 0;
if smaller, -1; if greater, 1.
- min other:SELF :SELF <-
Minimum of `self' and `other'.
- max other:SELF :SELF <-
Maximum of `self' and `other'.