immutable class PQMIN{ETP < $IS_LT{ETP}} < $IS_LT{PQMIN{ETP}}


Ancestors
$IS_LT{_} $IS_EQ



Public


Readable Attributes
attr element : ETP ;

Writable Attributes
attr element : ETP ;

Features
create(
is_eq( .. Included as is_eq
is_eq(other : $OB) : BOOL .. Included as is_eq
**** This is the generic equality predicate. c.f. the class $IS_EQ
is_lt( .. Included as is_lt
str( .. Included as str
str( .. Included as str

The Sather Home Page