immutable class PQMIN{ETP < $IS_LT{ETP}} < $IS_LT{PQMIN{ETP}} |
---|
$IS_LT{_} | $IS_EQ |
attr element : ETP ; |
---|
attr element : ETP ; |
---|
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 |
---|