changeset 34531 | db1c28e326fc |
parent 34530 | de629c23b389 |
child 34535 | 690927d66d8c |
--- a/src/Tools/jEdit/src/utils/LinearSet.scala Thu Mar 05 10:53:47 2009 +0100 +++ b/src/Tools/jEdit/src/utils/LinearSet.scala Thu Mar 05 16:40:49 2009 +0100 @@ -3,6 +3,7 @@ Sets with canonical linear order, or immutable linked-lists. */ +package isabelle.utils object LinearSet { @@ -32,6 +33,8 @@ /* basic methods */ + def next(elem: A) = body.get(elem) + override def isEmpty: Boolean = !last_elem.isDefined def size: Int = if (isEmpty) 0 else body.size + 1