Packages

  • package root
    Definition Classes
    root
  • package de
    Definition Classes
    root
  • package sciss

    The interfaces are grouped into the following packages:

    Welcome to the Mellite API documentation.

    The interfaces are grouped into the following packages:

    The Lucre transactional object model:

    Other useful packages:

    Definition Classes
    de
  • package lucre
    Definition Classes
    sciss
  • package data
    Definition Classes
    lucre
  • object HASkipList

    A transactional version of the deterministic k-(2k+1) top-down operated skip list as described in T.

    A transactional version of the deterministic k-(2k+1) top-down operated skip list as described in T. Papadakis, Skip Lists and Probabilistic Analysis of Algorithms. Ch. 4 (Deterministic Skip Lists), pp. 55--78. Waterloo (CA) 1993

    It uses the horizontal array technique with a parameter for k (minimum gap size). It uses a modified top-down removal algorithm that avoids the need for a second pass as in the original algorithm, and is careful about object creations, so that it will be able to persist the data structure without any unnecessary reads or writes to the store.

    Three implementation notes: (1) We treat the nodes as immutable at the moment, storing them directly in the S#Val child pointers of their parents. While this currently seems to have a performance advantage (?), we could try to avoid this by using S#Refs for the child pointers, making the nodes become mutable. We could avoid copying the arrays for each insertion or deletion, at the cost of more space, but maybe better performance.

    (2) The special treatment of isRight kind of sucks. Since now that information is also persisted, we might just have two types of branches and leaves, and avoid passing around this flag.

    (3) Since there is a bug with the top-down one-pass removal, we might end up removing the creation of instances of virtual branches altogether again when replacing the current algorithm by a two-pass one.

    TODO: nodes or at least leaves should be horizontally connected for a faster iterator and fast pair (interval) search

    Definition Classes
    data
  • Branch
  • HeadOrBranch
  • Leaf
  • Map
  • Node
  • Set

sealed trait Set[S <: Base[S], A] extends SkipList.Set[S, A]

Linear Supertypes
SkipList.Set[S, A], SkipList[S, A, A], Mutable[S.Id, S.Tx], Disposable[S.Tx], Writable, Identifiable[S.Id], AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Set
  2. Set
  3. SkipList
  4. Mutable
  5. Disposable
  6. Writable
  7. Identifiable
  8. AnyRef
  9. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Abstract Value Members

  1. abstract def +=(entry: A)(implicit tx: S.Tx): Set.this.type
    Definition Classes
    SkipList
  2. abstract def -=(key: A)(implicit tx: S.Tx): Set.this.type
    Definition Classes
    SkipList
  3. abstract def add(key: A)(implicit tx: S.Tx): Boolean

     Inserts a new key into the set.

     Inserts a new key into the set.

    key

    the key to insert

    returns

    true if the key was new to the set, false if a node with the given key already existed

    Definition Classes
    Set
  4. abstract def ceil(key: A)(implicit tx: S.Tx): Option[A]

     Finds the entry with the smallest key which is greater than or equal to the search key.

     Finds the entry with the smallest key which is greater than or equal to the search key.

    key

    the search key

    returns

    the found entry, or None if there is no key greater than or equal to the search key (e.g. the list is empty)

    Definition Classes
    SkipList
  5. abstract def clear()(implicit tx: S.Tx): Unit
    Definition Classes
    SkipList
  6. abstract def contains(key: A)(implicit tx: S.Tx): Boolean

    Searches for the Branch of a given key.

    Searches for the Branch of a given key.

    key

    the key to search for

    returns

    true if the key is in the list, false otherwise

    Definition Classes
    SkipList
  7. abstract def debugPrint()(implicit tx: S.Tx): String
    Definition Classes
    SkipList
  8. abstract def dispose()(implicit tx: S.Tx): Unit
    Definition Classes
    Disposable
  9. abstract def firstKey(implicit tx: S.Tx): A
    Definition Classes
    SkipList
  10. abstract def floor(key: A)(implicit tx: S.Tx): Option[A]

    Finds the entry with the largest key which is smaller than or equal to the search key.

    Finds the entry with the largest key which is smaller than or equal to the search key.

    key

    the search key

    returns

    the found entry, or None if there is no key smaller than or equal to the search key (e.g. the list is empty)

    Definition Classes
    SkipList
  11. abstract def head(implicit tx: S.Tx): A

    Returns the first element.

    Returns the first element. Throws an exception if the list is empty.

    Definition Classes
    SkipList
  12. abstract def headOption(implicit tx: S.Tx): Option[A]

    Returns the first element, or None if the list is empty.

    Returns the first element, or None if the list is empty.

    Definition Classes
    SkipList
  13. abstract def height(implicit tx: S.Tx): Int

    The number of levels in the skip list.

    The number of levels in the skip list.

    Definition Classes
    SkipList
  14. abstract def id: S.Id
    Definition Classes
    Identifiable
  15. abstract def isEmpty(implicit tx: S.Tx): Boolean
    Definition Classes
    SkipList
  16. abstract def isomorphicQuery(ord: Ordered[S.Tx, A])(implicit tx: S.Tx): (A, Int)

    Finds the nearest item equal or greater than an unknown item from an isomorphic set.

    Finds the nearest item equal or greater than an unknown item from an isomorphic set. The isomorphism is represented by a comparison function which guides the binary search.

    ord

    a function that guides the search. should return -1 if the argument is smaller than the search key, 0 if both are equivalent, or 1 if the argument is greater than the search key. E.g., using some mapping, the function could look like mapping.apply(_).compare(queryKey)

    returns

    the nearest item, or the maximum item

    Definition Classes
    SkipList
  17. abstract def iterator(implicit tx: S.Tx): Iterator[A]
    Definition Classes
    SkipList
  18. abstract def keySerializer: Serializer[S.Tx, S.Acc, A]
    Definition Classes
    SkipList
  19. abstract def last(implicit tx: S.Tx): A

    Returns the last element.

    Returns the last element. Throws an exception if the list is empty.

    Definition Classes
    SkipList
  20. abstract def lastKey(implicit tx: S.Tx): A
    Definition Classes
    SkipList
  21. abstract def lastOption(implicit tx: S.Tx): Option[A]

    Returns the last element, or None if the list is empty.

    Returns the last element, or None if the list is empty.

    Definition Classes
    SkipList
  22. abstract def maxGap: Int

    The maximum gap within elements of each skip level.

    The maximum gap within elements of each skip level.

    Definition Classes
    SkipList
  23. abstract def minGap: Int

    The minimum gap within elements of each skip level.

    The minimum gap within elements of each skip level.

    Definition Classes
    SkipList
  24. abstract def nonEmpty(implicit tx: S.Tx): Boolean
    Definition Classes
    SkipList
  25. implicit abstract def ordering: Ordering[S.Tx, A]

    The ordering used for the keys of this list.

    The ordering used for the keys of this list.

    Definition Classes
    SkipList
  26. abstract def remove(key: A)(implicit tx: S.Tx): Boolean

     Removes a key from the set.

     Removes a key from the set.

    key

    the key to remove

    returns

    true if the key was found and removed, false if it was not found

    Definition Classes
    Set
  27. abstract def size(implicit tx: S.Tx): Int

    Reports the number of keys in the skip list (size of the bottom level).

    Reports the number of keys in the skip list (size of the bottom level). This operation may take up to O(n) time, depending on the implementation.

    Definition Classes
    SkipList
  28. abstract def toIndexedSeq(implicit tx: S.Tx): IndexedSeq[A]
    Definition Classes
    SkipList
  29. abstract def toList(implicit tx: S.Tx): List[A]
    Definition Classes
    SkipList
  30. abstract def toSeq(implicit tx: S.Tx): Seq[A]
    Definition Classes
    SkipList
  31. abstract def toSet(implicit tx: S.Tx): scala.Predef.Set[A]
    Definition Classes
    SkipList
  32. abstract def top(implicit tx: S.Tx): Option[Set.Node[S, A]]
  33. abstract def write(out: DataOutput): Unit
    Definition Classes
    Writable

Concrete Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  5. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  6. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  7. def equals(that: Any): Boolean
    Definition Classes
    Identifiable → AnyRef → Any
  8. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  9. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  10. def hashCode(): Int
    Definition Classes
    Identifiable → AnyRef → Any
  11. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  12. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  13. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  14. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  15. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  16. def toString(): String
    Definition Classes
    AnyRef → Any
  17. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  18. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  19. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )

Inherited from SkipList.Set[S, A]

Inherited from SkipList[S, A, A]

Inherited from Mutable[S.Id, S.Tx]

Inherited from Disposable[S.Tx]

Inherited from Writable

Inherited from Identifiable[S.Id]

Inherited from AnyRef

Inherited from Any

Ungrouped