class STACK{ETP} < $STACK{ETP} |
---|
$STACK{_} | $COPY | $ELT{_} | $ELT | $REENTRANT | A_STACK{_} |
contains( .. Included as contains |
---|
copy : SAME .. Included as copy |
---|
create( .. Included as create |
---|
create : SAME .. Included as create |
---|
create_capacity( .. Included as create_capacity |
---|
create_from( .. Included as create_from |
---|
current : ETP .. Included as current |
---|
is_empty : BOOL .. Included as is_empty |
---|
pop : ETP .. Included as pop |
---|
push( .. Included as push |
---|
remove : ETP .. Included as remove |
---|
size : CARD .. Included as size |
---|
str( .. Included as str |
---|
str : STR .. Included as str |
---|
top : ETP .. Included as top |
---|
elt! : ETP .. Included as elt! |
---|
rev! : ETP .. Included as rev! |
---|
top! : ETP .. Included as top! |
---|
attr list : FLIST{ETP} ; .. Included as list |
---|
attr list : FLIST{ETP} ; .. Included as list |
---|