class ELT_LT{ETP} |
---|
**** | Provides the less than comparison function for elements of type ETP. Tries to use the user defined comparison and falls back on the system default comparison, if possible |
elt_lt(e1,e2:ETP):BOOL |
---|
**** | The default "less than" relation e1 < e2. Uses the user defined is_lt if ETP < $IS_LT{ETP}. Otherwise it uses a default system implementation of is_lt.
_ Due to a current limitation, the default implemetnation of is_lt does not work for immutable classes. Hence, they must be placed under $IS_LT |
verify_can_call_lt(e1,e2:$OB): BOOL |
---|
**** | Return true if it the system call SYS::id(e1) < SYS::id(e2) would run without problems |