libref

spec

package spec

Visibility
  1. Public
  2. All

Type Members

  1. case class ArrayHeap[T](array: MapArray[T], c: (T, T) ⇒ Int) extends Product with Serializable

  2. case class ArrayList[T](array: ListArray[T]) extends Product with Serializable

  3. sealed case class ArrayQueue[T](array: ListArray[T]) extends Product with Serializable

  4. case class ArrayStack[T](array: ListArray[T]) extends Product with Serializable

  5. sealed case class BoundedArray[T](array: FunctionalArray[BigInt, T], size: BigInt) extends Product with Serializable

  6. abstract class Collection[T] extends Iterable[T]

  7. case class CollectionImpl[T]() extends Collection[T] with Product with Serializable

  8. case class EmptyArray[K, V]() extends FunctionalArray[K, V] with Product with Serializable

  9. sealed abstract class FunctionalArray[K, V] extends AnyRef

  10. abstract class HeapADT extends AnyRef

  11. abstract class IntSet extends AnyRef

  12. abstract class Iterable[T] extends AnyRef

  13. abstract class Iterator[T] extends AnyRef

  14. case class LinkedList[T](list: List[T]) extends ListADT[T] with Product with Serializable

  15. abstract class ListADT[T] extends Collection[T]

  16. sealed case class ListArray[T](array: List[Option[T]]) extends Product with Serializable

  17. case class ListHeap(list: List[BigInt]) extends Product with Serializable

  18. case class ListIterator[T](list: List[T]) extends Iterator[T] with Product with Serializable

  19. sealed case class ListQueue[T](list: List[T]) extends Product with Serializable

  20. case class ListStack[T](list: List[T]) extends Product with Serializable

  21. sealed case class MapArray[T](map: Map[BigInt, T], from: BigInt, until: BigInt) extends Product with Serializable

  22. case class MapArrayList[T](array: MapArray[T]) extends Product with Serializable

  23. sealed case class TreeSet(tree: TreeNode) extends IntSet with Product with Serializable

    An AVLTree-based IntSet

  24. case class UpdatedArray[K, V](a: FunctionalArray[K, V], i: K, e: V) extends FunctionalArray[K, V] with Product with Serializable

Value Members

  1. object AHeap

  2. object AVLTree

    This is the AVL Tree implementation formerly used by Scala's mutable TreeSet.

  3. object ArrayHeapListHeapBisim

  4. object ArrayListLemmas

  5. object ArrayQueue extends Serializable

  6. object ArrayQueueLemmas

  7. object BigIntArrayHeap

  8. object BoundedArray extends Serializable

  9. object BoundedArrayLemmas

  10. object DistinctSortedListLemmas

    Annotations
    @library()

  11. object DistinctSortedListOps

    Annotations
    @library()

  12. object DistinctSortedListSpec

    Annotations
    @library()

  13. object FIFOMapLemmas

    Annotations
    @library()

  14. object FIFOMapSpec

    FIFO Map A key-value-queue map.

  15. object FunctionalArray

  16. object FunctionalArrayLemmas

  17. object Heap_List_BisimulationSpec

    Bisimulation between LeftistHeap and ListHeap

  18. object IMap

  19. object LeftistHeap

  20. object LeftistHeapSpec

    LeftistHeap as List

  21. object LeftistHeapSpec0

    LeftistHeap as Set

  22. object LinkedListArrayListBisimulation

  23. object LinkedListMapArrayListBisimulation

  24. object ListArray extends Serializable

  25. object ListArrayLemmas

  26. object ListQueue extends Serializable

  27. object ListQueueLemmas

  28. object ListSetLemmas

  29. object ListSetOps

  30. object ListStack extends Serializable

  31. object MapArray extends Serializable

  32. object MapArrayLemmas

  33. object PairMapLemmas

  34. object PairMapSpec

    Pair Map A key-value-pair map.

  35. object PrimitiveDataTypeSpec

  36. object RedBlackTree

    This is a simplified version of the Red-Black Tree implementation used for TreeMaps and TreeSets in the Scala standard library, based on Stefan Kahrs' Haskell version of Okasaki's Red-Black Trees

  37. object SetAggregationProof

  38. object SetMapLemmas

  39. object SetMapSpec

    Set Map A key-value-set map.

Ungrouped