Lisaac prototype interface

Lisaac^TM Platform

COMPARABLE

All classes handling COMPARABLE objects with a total orderrelation should inherit from this class.

Inherit/Insert Summary
`parent_object` No developed.

Slot Summary
`Infix '=='`
`Infix '<'` Is self strictly less than other?
`Infix '<='` Is self less than or equal other?
`Infix '>'` Is self strictly greater than other?
`Infix '>='` Is self greater than or equal than other?
`in_range to` Return true if self is in range [lower..upper]
`compare` If current object equal to other, 0; if smaller, -1; if greater, 1.
`min` Minimum of self and other.
`max` Maximum of self and other.

Inherit/Insert Detail

parent_object

.../base/property/comparable.li line #13
Section:: Inherit
Profile:: - Self: SELF. parent_object : OBJECT

Detail slot

Infix '=='

.../base/property/comparable.li line #17
Section:: Public
Profile:: - Self: SELF ' == ' Right 60 other : E : BOOLEAN

Infix '<'

.../base/property/comparable.li line #24
Section:: Public
Profile:: - Self: SELF ' < ' Left 1 other : SELF : BOOLEAN
Description:: Is self strictly less than other?

Infix '<='

.../base/property/comparable.li line #32
Section:: Public
Profile:: - Self: SELF ' <= ' Left 1 other : SELF : BOOLEAN
Description:: Is self less than or equal other?

Infix '>'

.../base/property/comparable.li line #44
Section:: Public
Profile:: - Self: SELF ' > ' other : SELF : BOOLEAN
Description:: Is self strictly greater than other?

Infix '>='

.../base/property/comparable.li line #51
Section:: Public
Profile:: - Self: SELF ' >= ' other : SELF : BOOLEAN
Description:: Is self greater than or equal than other?

in_range to

.../base/property/comparable.li line #58
Section:: Public
Profile:: - Self: SELF. in_range lower : SELF to upper : SELF : BOOLEAN
Description:: Return true if self is in range [lower..upper]

compare

.../base/property/comparable.li line #64
Section:: Public
Profile:: - Self: SELF. compare other : SELF : INTEGER
Description:: If current object equal to other, 0; if smaller, -1; if greater, 1.

min

.../base/property/comparable.li line #85
Section:: Public
Profile:: - Self: SELF. min other : SELF : SELF
Description:: Minimum of self and other.

max

.../base/property/comparable.li line #104
Section:: Public
Profile:: - Self: SELF. max other : SELF : SELF
Description:: Maximum of self and other.