class ARRAY{TYP} < $ARR{TYP} |
---|
**** |
________This_class_implements_one-dimensional_arrays_of_elements_of_type_TYP. ___The_operations_provided_include_sorting,_searching,_etc._Array_indices ___start_at_0_and_go_up_to_`asize-1'. ________Most_features_here_work_when_self_is_void._The_intent_is_that ___a_void_array_behaves_just_like_a_zero-sized_array._Thus_self_may_be_void ___on_operations_which_don't_try_to_directly_access_specific_elements_since ___any_such_access_would_be_out_of_range. |
$ARR{_} | $RO_ARR{_} | $CONTAINER{_} | $STR | $COPY | $FILTERS{_} | $ELT{_} | $ELT | AREF{_} |
is_sorted(lower : CARD, upper : CARD ) : BOOL |
---|
**** | This predicate returns true if and only if the elements of self are
___sorted_according_to_the_relation_elt_lt.___Self_may_be_void. |
const quicksort_limit : CARD := 10 ; |
---|