31.01.2014 Views

Version 5.0 The LEDA User Manual

Version 5.0 The LEDA User Manual

Version 5.0 The LEDA User Manual

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

seq item S.succ(const K& k) equivalent to S.locate(k)<br />

seq item S.finger locate succ(const K& k)<br />

equivalent to S.locate(k)<br />

seq item S.finger locate succ from front(const K& k)<br />

equivalent to S.locate(k)<br />

seq item S.finger locate succ from rear(const K& k)<br />

seq item S.locate pred(const K& k)<br />

equivalent to S.locate(k)<br />

returns the item 〈k1 , i〉 in S such that k1 is maximal<br />

with k1 ≤ k ( nil if no such item exists).<br />

seq item S.pred(const K& k) equivalent to S.locate pred(k)<br />

seq item S.finger locate pred(const K& k)<br />

equivalent to S.locate pred(k)<br />

seq item S.finger locate pred from front(const K& k)<br />

seq item S.finger locate pred from rear(const K& k)<br />

seq item S.finger lookup(seq item it, const K& k)<br />

seq item S.finger locate(seq item it, const K& k)<br />

equivalent to S.locate pred(k)<br />

equivalent to S.locate pred(k)<br />

seq item S.finger locate succ(seq item it, const K& k)<br />

seq item S.finger locate pred(seq item it, const K& k)<br />

equivalent to IT.lookup(k) where IT is the sorted<br />

sequence containing it.<br />

Precondition: S and IT must have the same type<br />

equivalent to IT.locate(k) where IT is the sorted<br />

sequence containing it.<br />

Precondition: S and IT must have the same type.<br />

equivalent to IT.locate succ(k) where IT is the<br />

sorted sequence containing it.<br />

Precondition: S and IT must have the same type<br />

equivalent to IT.locate pred(k) where IT is the<br />

sorted sequence containing it.<br />

Precondition: S and IT must have the same type.<br />

seq item S.min item( ) returns the item with minimal key (nil if S is<br />

empty).

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!