abstract class $RO_ARR{ETP} < $CONTAINER{ETP}
****
A read-only array which is the interface to other algorithm classes


Ancestors
$CONTAINER{_} $STR $ELT{_} $ELT

Descendants
$ARR{_} FLIST{_} FSTR ARRAY{_}



Public


Features
aget(i: INT): ETP;
**** pre has_ind(i)
has_ind(i: INT): BOOL;
**** return 0<=i<size This method could actually be implemented at this level
ind!: INT;
**** post 0<=result<size Returns all the indices, which are the integers between 0 and size - 1

The Sather Home Page