partial class COMPARE{ETP} |
---|
FMULTIMAP{_,_} | TUP{_,_,_} | A_PQ{_} | FGAP_LIST{_} | TUP{_,_,_,_} | ALT_DIGITS | A_QUEUE{_} | QUEUE{_} | FMAP{_,_} | TUP{_} | TUP{_,_} | DYNAMIC_BUCKET_TABLE{_,_} |
elt_eq(first,second : ETP) : BOOL |
---|
**** | This is the standard 'less than' predicate used in sorting routines.
___The_using_class_must_specify_an_equality_predicate_routine. |
elt_hash(elem : $OB) : CARD |
---|
**** |
________This_routine_returns_a_hash_value_associated_with_an_element._This ___must_have_the_property_that_if_"elt_eq(first,second)"_then ___"elt_hash(first)=elt_hash(second)"._It_could_be_defined_always_to_return_0, ___but_many_routines_will_then_become_quadratic._This_uses_the_object_"id"_by ___default.___It_may_be_redefined_in_descendants. |
elt_lt(first,second : ETP) : BOOL |
---|
**** |
________This_routine_is_the_standard_predicate_'less_than'_for_use_in ___sorting.___By_default_the_object_identity_components_are_compared. ___It_may_be_redefined_in_descendants. |
elt_nil : ETP |
---|
**** |
________This_routine_returns_the_NIL_value.___If_the_element_class_is_a ___subclass_of_$NIL_then_it_returns_nil,_otherwise_void. |
is_elt_nil( elem : ETP) : BOOL |
---|
**** | This predicate returns true if and only if elem is NIL. |