Class/Object

isabelle

Linear_Set

Related Docs: object Linear_Set | package isabelle

Permalink

final class Linear_Set[A] extends Set[A] with GenericSetTemplate[A, Linear_Set] with SetLike[A, Linear_Set[A]]

Linear Supertypes
Set[A], Set[A], SetLike[A, Linear_Set[A]], Subtractable[A, Linear_Set[A]], GenSet[A], GenericSetTemplate[A, Linear_Set], GenSetLike[A, Linear_Set[A]], (A) ⇒ Boolean, Iterable[A], Iterable[A], IterableLike[A, Linear_Set[A]], Equals, GenIterable[A], GenIterableLike[A, Linear_Set[A]], Traversable[A], Immutable, Traversable[A], GenTraversable[A], GenericTraversableTemplate[A, Linear_Set], TraversableLike[A, Linear_Set[A]], GenTraversableLike[A, Linear_Set[A]], Parallelizable[A, ParSet[A]], TraversableOnce[A], GenTraversableOnce[A], FilterMonadic[A, Linear_Set[A]], HasNewBuilder[A, isabelle.Linear_Set[A] @scala.annotation.unchecked.uncheckedVariance], AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Linear_Set
  2. Set
  3. Set
  4. SetLike
  5. Subtractable
  6. GenSet
  7. GenericSetTemplate
  8. GenSetLike
  9. Function1
  10. Iterable
  11. Iterable
  12. IterableLike
  13. Equals
  14. GenIterable
  15. GenIterableLike
  16. Traversable
  17. Immutable
  18. Traversable
  19. GenTraversable
  20. GenericTraversableTemplate
  21. TraversableLike
  22. GenTraversableLike
  23. Parallelizable
  24. TraversableOnce
  25. GenTraversableOnce
  26. FilterMonadic
  27. HasNewBuilder
  28. AnyRef
  29. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. type Self = Linear_Set[A]

    Permalink
    Attributes
    protected[this]
    Definition Classes
    TraversableLike
  2. class WithFilter extends FilterMonadic[A, Repr]

    Permalink
    Definition Classes
    TraversableLike

Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  3. def &(that: GenSet[A]): Linear_Set[A]

    Permalink
    Definition Classes
    GenSetLike
  4. def &~(that: GenSet[A]): Linear_Set[A]

    Permalink
    Definition Classes
    GenSetLike
  5. def +(elem: A): Linear_Set[A]

    Permalink
    Definition Classes
    Linear_Set → SetLike → GenSetLike
  6. def +(elem1: A, elem2: A, elems: A*): Linear_Set[A]

    Permalink
    Definition Classes
    SetLike
  7. def ++(elems: GenTraversableOnce[A]): Linear_Set[A]

    Permalink
    Definition Classes
    SetLike
  8. def ++[B >: A, That](that: GenTraversableOnce[B])(implicit bf: CanBuildFrom[Linear_Set[A], B, That]): That

    Permalink
    Definition Classes
    TraversableLike → GenTraversableLike
  9. def ++:[B >: A, That](that: Traversable[B])(implicit bf: CanBuildFrom[Linear_Set[A], B, That]): That

    Permalink
    Definition Classes
    TraversableLike
  10. def ++:[B >: A, That](that: TraversableOnce[B])(implicit bf: CanBuildFrom[Linear_Set[A], B, That]): That

    Permalink
    Definition Classes
    TraversableLike
  11. def -(elem: A): Linear_Set[A]

    Permalink
    Definition Classes
    Linear_Set → SetLike → Subtractable → GenSetLike
  12. def -(elem1: A, elem2: A, elems: A*): Linear_Set[A]

    Permalink
    Definition Classes
    Subtractable
  13. def --(xs: GenTraversableOnce[A]): Linear_Set[A]

    Permalink
    Definition Classes
    Subtractable
  14. def /:[B](z: B)(op: (B, A) ⇒ B): B

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce
  15. def :\[B](z: B)(op: (A, B) ⇒ B): B

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce
  16. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  17. def addString(b: StringBuilder): StringBuilder

    Permalink
    Definition Classes
    TraversableOnce
  18. def addString(b: StringBuilder, sep: String): StringBuilder

    Permalink
    Definition Classes
    TraversableOnce
  19. def addString(b: StringBuilder, start: String, sep: String, end: String): StringBuilder

    Permalink
    Definition Classes
    TraversableOnce
  20. def aggregate[B](z: ⇒ B)(seqop: (B, A) ⇒ B, combop: (B, B) ⇒ B): B

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce
  21. def andThen[A](g: (Boolean) ⇒ A): (A) ⇒ A

    Permalink
    Definition Classes
    Function1
    Annotations
    @unspecialized()
  22. def append_after(hook: Option[A], elems: Seq[A]): Linear_Set[A]

    Permalink
  23. def apply(elem: A): Boolean

    Permalink
    Definition Classes
    GenSetLike → Function1
  24. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  25. def canEqual(that: Any): Boolean

    Permalink
    Definition Classes
    IterableLike → Equals
  26. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  27. def collect[B, That](pf: PartialFunction[A, B])(implicit bf: CanBuildFrom[Linear_Set[A], B, That]): That

    Permalink
    Definition Classes
    TraversableLike → GenTraversableLike
  28. def collectFirst[B](pf: PartialFunction[A, B]): Option[B]

    Permalink
    Definition Classes
    TraversableOnce
  29. def companion: GenericCompanion[Linear_Set]

    Permalink
    Definition Classes
    Linear_Set → Set → Set → GenSet → Iterable → Iterable → GenIterable → Traversable → Traversable → GenTraversable → GenericTraversableTemplate
  30. def compose[A](g: (A) ⇒ A): (A) ⇒ Boolean

    Permalink
    Definition Classes
    Function1
    Annotations
    @unspecialized()
  31. def contains(elem: A): Boolean

    Permalink
    Definition Classes
    Linear_Set → SetLike → GenSetLike
  32. def copyToArray[B >: A](xs: Array[B], start: Int, len: Int): Unit

    Permalink
    Definition Classes
    IterableLike → TraversableLike → TraversableOnce → GenTraversableOnce
  33. def copyToArray[B >: A](xs: Array[B]): Unit

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce
  34. def copyToArray[B >: A](xs: Array[B], start: Int): Unit

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce
  35. def copyToBuffer[B >: A](dest: Buffer[B]): Unit

    Permalink
    Definition Classes
    TraversableOnce
  36. def count(p: (A) ⇒ Boolean): Int

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce
  37. def delete_after(hook: Option[A]): Linear_Set[A]

    Permalink
  38. def diff(that: GenSet[A]): Linear_Set[A]

    Permalink
    Definition Classes
    SetLike → GenSetLike
  39. def drop(n: Int): Linear_Set[A]

    Permalink
    Definition Classes
    IterableLike → TraversableLike → GenTraversableLike
  40. def dropRight(n: Int): Linear_Set[A]

    Permalink
    Definition Classes
    IterableLike
  41. def dropWhile(p: (A) ⇒ Boolean): Linear_Set[A]

    Permalink
    Definition Classes
    TraversableLike → GenTraversableLike
  42. def empty: Linear_Set[A]

    Permalink
    Definition Classes
    GenericSetTemplate
  43. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  44. def equals(that: Any): Boolean

    Permalink
    Definition Classes
    GenSetLike → Equals → AnyRef → Any
  45. def exists(p: (A) ⇒ Boolean): Boolean

    Permalink
    Definition Classes
    IterableLike → TraversableLike → TraversableOnce → GenTraversableOnce
  46. def filter(p: (A) ⇒ Boolean): Linear_Set[A]

    Permalink
    Definition Classes
    TraversableLike → GenTraversableLike
  47. def filterNot(p: (A) ⇒ Boolean): Linear_Set[A]

    Permalink
    Definition Classes
    TraversableLike → GenTraversableLike
  48. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  49. def find(p: (A) ⇒ Boolean): Option[A]

    Permalink
    Definition Classes
    IterableLike → TraversableLike → TraversableOnce → GenTraversableOnce
  50. def flatMap[B, That](f: (A) ⇒ GenTraversableOnce[B])(implicit bf: CanBuildFrom[Linear_Set[A], B, That]): That

    Permalink
    Definition Classes
    TraversableLike → GenTraversableLike → FilterMonadic
  51. def flatten[B](implicit asTraversable: (A) ⇒ GenTraversableOnce[B]): Linear_Set[B]

    Permalink
    Definition Classes
    GenericTraversableTemplate
  52. def fold[A1 >: A](z: A1)(op: (A1, A1) ⇒ A1): A1

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce
  53. def foldLeft[B](z: B)(op: (B, A) ⇒ B): B

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce
  54. def foldRight[B](z: B)(op: (A, B) ⇒ B): B

    Permalink
    Definition Classes
    IterableLike → TraversableOnce → GenTraversableOnce
  55. def forall(p: (A) ⇒ Boolean): Boolean

    Permalink
    Definition Classes
    IterableLike → TraversableLike → TraversableOnce → GenTraversableOnce
  56. def foreach[U](f: (A) ⇒ U): Unit

    Permalink
    Definition Classes
    IterableLike → TraversableLike → GenTraversableLike → TraversableOnce → GenTraversableOnce → FilterMonadic
  57. def genericBuilder[B]: Builder[B, Linear_Set[B]]

    Permalink
    Definition Classes
    GenericTraversableTemplate
  58. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  59. def get_after(hook: Option[A]): Option[A]

    Permalink
  60. def groupBy[K](f: (A) ⇒ K): Map[K, Linear_Set[A]]

    Permalink
    Definition Classes
    TraversableLike → GenTraversableLike
  61. def grouped(size: Int): Iterator[Linear_Set[A]]

    Permalink
    Definition Classes
    IterableLike
  62. def hasDefiniteSize: Boolean

    Permalink
    Definition Classes
    TraversableLike → TraversableOnce → GenTraversableOnce
  63. def hashCode(): Int

    Permalink
    Definition Classes
    GenSetLike → AnyRef → Any
  64. def head: A

    Permalink
    Definition Classes
    IterableLike → TraversableLike → GenTraversableLike
  65. def headOption: Option[A]

    Permalink
    Definition Classes
    TraversableLike → GenTraversableLike
  66. def init: Linear_Set[A]

    Permalink
    Definition Classes
    TraversableLike → GenTraversableLike
  67. def inits: Iterator[Linear_Set[A]]

    Permalink
    Definition Classes
    TraversableLike
  68. def insert_after(hook: Option[A], elem: A): Linear_Set[A]

    Permalink
  69. def intersect(that: GenSet[A]): Linear_Set[A]

    Permalink
    Definition Classes
    GenSetLike
  70. def isEmpty: Boolean

    Permalink
    Definition Classes
    Linear_Set → SetLike → IterableLike → GenericTraversableTemplate → TraversableLike → TraversableOnce → GenTraversableOnce
  71. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  72. final def isTraversableAgain: Boolean

    Permalink
    Definition Classes
    TraversableLike → GenTraversableLike → GenTraversableOnce
  73. def iterator(from: A, to: A): Iterator[A]

    Permalink
  74. def iterator(elem: A): Iterator[A]

    Permalink
  75. def iterator: Iterator[A]

    Permalink
    Definition Classes
    Linear_Set → GenSetLike → IterableLike → GenIterableLike
  76. def last: A

    Permalink
    Definition Classes
    Linear_Set → TraversableLike → GenTraversableLike
  77. def lastOption: Option[A]

    Permalink
    Definition Classes
    TraversableLike → GenTraversableLike
  78. def map[B, That](f: (A) ⇒ B)(implicit bf: CanBuildFrom[Linear_Set[A], B, That]): That

    Permalink
    Definition Classes
    SetLike → TraversableLike → GenTraversableLike → FilterMonadic
    Annotations
    @migration
    Migration

    (Changed in version 2.8.0) Set.map now returns a Set, so it will discard duplicate values.

  79. def max[B >: A](implicit cmp: Ordering[B]): A

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce
  80. def maxBy[B](f: (A) ⇒ B)(implicit cmp: Ordering[B]): A

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce
  81. def min[B >: A](implicit cmp: Ordering[B]): A

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce
  82. def minBy[B](f: (A) ⇒ B)(implicit cmp: Ordering[B]): A

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce
  83. def mkString: String

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce
  84. def mkString(sep: String): String

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce
  85. def mkString(start: String, sep: String, end: String): String

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce
  86. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  87. def newBuilder: Builder[A, Linear_Set[A]]

    Permalink
    Attributes
    protected[this]
    Definition Classes
    SetLike → TraversableLike → HasNewBuilder
  88. def next(elem: A): Option[A]

    Permalink
  89. val nexts: Map[A, A]

    Permalink
  90. def nonEmpty: Boolean

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce
  91. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  92. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  93. def par: ParSet[A]

    Permalink
    Definition Classes
    Parallelizable
  94. def parCombiner: Combiner[A, ParSet[A]]

    Permalink
    Attributes
    protected
    Definition Classes
    Set → SetLike → Iterable → TraversableLike → Parallelizable
  95. def partition(p: (A) ⇒ Boolean): (Linear_Set[A], Linear_Set[A])

    Permalink
    Definition Classes
    TraversableLike → GenTraversableLike
  96. def prev(elem: A): Option[A]

    Permalink
  97. def product[B >: A](implicit num: Numeric[B]): B

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce
  98. def reduce[A1 >: A](op: (A1, A1) ⇒ A1): A1

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce
  99. def reduceLeft[B >: A](op: (B, A) ⇒ B): B

    Permalink
    Definition Classes
    TraversableOnce
  100. def reduceLeftOption[B >: A](op: (B, A) ⇒ B): Option[B]

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce
  101. def reduceOption[A1 >: A](op: (A1, A1) ⇒ A1): Option[A1]

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce
  102. def reduceRight[B >: A](op: (A, B) ⇒ B): B

    Permalink
    Definition Classes
    IterableLike → TraversableOnce → GenTraversableOnce
  103. def reduceRightOption[B >: A](op: (A, B) ⇒ B): Option[B]

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce
  104. def repr: Linear_Set[A]

    Permalink
    Definition Classes
    TraversableLike → GenTraversableLike
  105. def reverse: Linear_Set[A]

    Permalink
  106. def reversed: List[A]

    Permalink
    Attributes
    protected[this]
    Definition Classes
    TraversableOnce
  107. def sameElements[B >: A](that: GenIterable[B]): Boolean

    Permalink
    Definition Classes
    IterableLike → GenIterableLike
  108. def scan[B >: A, That](z: B)(op: (B, B) ⇒ B)(implicit cbf: CanBuildFrom[Linear_Set[A], B, That]): That

    Permalink
    Definition Classes
    TraversableLike → GenTraversableLike
  109. def scanLeft[B, That](z: B)(op: (B, A) ⇒ B)(implicit bf: CanBuildFrom[Linear_Set[A], B, That]): That

    Permalink
    Definition Classes
    TraversableLike → GenTraversableLike
  110. def scanRight[B, That](z: B)(op: (A, B) ⇒ B)(implicit bf: CanBuildFrom[Linear_Set[A], B, That]): That

    Permalink
    Definition Classes
    TraversableLike → GenTraversableLike
    Annotations
    @migration
    Migration

    (Changed in version 2.9.0) The behavior of scanRight has changed. The previous behavior can be reproduced with scanRight.reverse.

  111. def seq: Set[A]

    Permalink
    Definition Classes
    Set → Set → GenSet → GenSetLike → Iterable → Iterable → GenIterable → Traversable → Traversable → GenTraversable → Parallelizable → TraversableOnce → GenTraversableOnce
  112. def size: Int

    Permalink
    Definition Classes
    Linear_Set → GenTraversableLike → TraversableOnce → GenTraversableOnce
  113. def slice(from: Int, until: Int): Linear_Set[A]

    Permalink
    Definition Classes
    IterableLike → TraversableLike → GenTraversableLike
  114. def sliding(size: Int, step: Int): Iterator[Linear_Set[A]]

    Permalink
    Definition Classes
    IterableLike
  115. def sliding(size: Int): Iterator[Linear_Set[A]]

    Permalink
    Definition Classes
    IterableLike
  116. def span(p: (A) ⇒ Boolean): (Linear_Set[A], Linear_Set[A])

    Permalink
    Definition Classes
    TraversableLike → GenTraversableLike
  117. def splitAt(n: Int): (Linear_Set[A], Linear_Set[A])

    Permalink
    Definition Classes
    TraversableLike → GenTraversableLike
  118. def stringPrefix: String

    Permalink
    Definition Classes
    Linear_Set → SetLike → TraversableLike → GenTraversableLike
  119. def subsetOf(that: GenSet[A]): Boolean

    Permalink
    Definition Classes
    GenSetLike
  120. def subsets(): Iterator[Linear_Set[A]]

    Permalink
    Definition Classes
    SetLike
  121. def subsets(len: Int): Iterator[Linear_Set[A]]

    Permalink
    Definition Classes
    SetLike
  122. def sum[B >: A](implicit num: Numeric[B]): B

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce
  123. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  124. def tail: Linear_Set[A]

    Permalink
    Definition Classes
    TraversableLike → GenTraversableLike
  125. def tails: Iterator[Linear_Set[A]]

    Permalink
    Definition Classes
    TraversableLike
  126. def take(n: Int): Linear_Set[A]

    Permalink
    Definition Classes
    IterableLike → TraversableLike → GenTraversableLike
  127. def takeRight(n: Int): Linear_Set[A]

    Permalink
    Definition Classes
    IterableLike
  128. def takeWhile(p: (A) ⇒ Boolean): Linear_Set[A]

    Permalink
    Definition Classes
    IterableLike → TraversableLike → GenTraversableLike
  129. def thisCollection: Iterable[A]

    Permalink
    Attributes
    protected[this]
    Definition Classes
    IterableLike → TraversableLike
  130. def to[Col[_]](implicit cbf: CanBuildFrom[Nothing, A, Col[A]]): Col[A]

    Permalink
    Definition Classes
    TraversableLike → TraversableOnce → GenTraversableOnce
  131. def toArray[B >: A](implicit arg0: ClassTag[B]): Array[B]

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce
  132. def toBuffer[A1 >: A]: Buffer[A1]

    Permalink
    Definition Classes
    SetLike → TraversableOnce → GenTraversableOnce
  133. def toCollection(repr: Linear_Set[A]): Iterable[A]

    Permalink
    Attributes
    protected[this]
    Definition Classes
    IterableLike → TraversableLike
  134. def toIndexedSeq: IndexedSeq[A]

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce
  135. def toIterable: Iterable[A]

    Permalink
    Definition Classes
    IterableLike → TraversableOnce → GenTraversableOnce
  136. def toIterator: Iterator[A]

    Permalink
    Definition Classes
    IterableLike → TraversableLike → GenTraversableOnce
    Annotations
    @deprecatedOverriding( ... , "2.11.0" )
  137. def toList: List[A]

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce
  138. def toMap[T, U](implicit ev: <:<[A, (T, U)]): Map[T, U]

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce
  139. def toSeq: Seq[A]

    Permalink
    Definition Classes
    SetLike → TraversableOnce → GenTraversableOnce
  140. def toSet[B >: A]: Set[B]

    Permalink
    Definition Classes
    Set → TraversableOnce → GenTraversableOnce
  141. def toStream: Stream[A]

    Permalink
    Definition Classes
    IterableLike → TraversableLike → GenTraversableOnce
  142. def toString(): String

    Permalink
    Definition Classes
    SetLike → Function1 → TraversableLike → AnyRef → Any
  143. def toTraversable: Traversable[A]

    Permalink
    Definition Classes
    TraversableLike → TraversableOnce → GenTraversableOnce
    Annotations
    @deprecatedOverriding( ... , "2.11.0" )
  144. def toVector: Vector[A]

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce
  145. def transpose[B](implicit asTraversable: (A) ⇒ GenTraversableOnce[B]): Linear_Set[Linear_Set[B]]

    Permalink
    Definition Classes
    GenericTraversableTemplate
    Annotations
    @migration
    Migration

    (Changed in version 2.9.0) transpose throws an IllegalArgumentException if collections are not uniformly sized.

  146. def union(that: GenSet[A]): Linear_Set[A]

    Permalink
    Definition Classes
    SetLike → GenSetLike
  147. def unzip[A1, A2](implicit asPair: (A) ⇒ (A1, A2)): (Linear_Set[A1], Linear_Set[A2])

    Permalink
    Definition Classes
    GenericTraversableTemplate
  148. def unzip3[A1, A2, A3](implicit asTriple: (A) ⇒ (A1, A2, A3)): (Linear_Set[A1], Linear_Set[A2], Linear_Set[A3])

    Permalink
    Definition Classes
    GenericTraversableTemplate
  149. def view(from: Int, until: Int): IterableView[A, Linear_Set[A]]

    Permalink
    Definition Classes
    IterableLike → TraversableLike
  150. def view: IterableView[A, Linear_Set[A]]

    Permalink
    Definition Classes
    IterableLike → TraversableLike
  151. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  152. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  153. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  154. def withFilter(p: (A) ⇒ Boolean): FilterMonadic[A, Linear_Set[A]]

    Permalink
    Definition Classes
    TraversableLike → FilterMonadic
  155. def zip[A1 >: A, B, That](that: GenIterable[B])(implicit bf: CanBuildFrom[Linear_Set[A], (A1, B), That]): That

    Permalink
    Definition Classes
    IterableLike → GenIterableLike
  156. def zipAll[B, A1 >: A, That](that: GenIterable[B], thisElem: A1, thatElem: B)(implicit bf: CanBuildFrom[Linear_Set[A], (A1, B), That]): That

    Permalink
    Definition Classes
    IterableLike → GenIterableLike
  157. def zipWithIndex[A1 >: A, That](implicit bf: CanBuildFrom[Linear_Set[A], (A1, Int), That]): That

    Permalink
    Definition Classes
    IterableLike → GenIterableLike
  158. def |(that: GenSet[A]): Linear_Set[A]

    Permalink
    Definition Classes
    GenSetLike

Inherited from Set[A]

Inherited from Set[A]

Inherited from SetLike[A, Linear_Set[A]]

Inherited from Subtractable[A, Linear_Set[A]]

Inherited from GenSet[A]

Inherited from GenericSetTemplate[A, Linear_Set]

Inherited from GenSetLike[A, Linear_Set[A]]

Inherited from (A) ⇒ Boolean

Inherited from Iterable[A]

Inherited from Iterable[A]

Inherited from IterableLike[A, Linear_Set[A]]

Inherited from Equals

Inherited from GenIterable[A]

Inherited from GenIterableLike[A, Linear_Set[A]]

Inherited from Traversable[A]

Inherited from Immutable

Inherited from Traversable[A]

Inherited from GenTraversable[A]

Inherited from GenericTraversableTemplate[A, Linear_Set]

Inherited from TraversableLike[A, Linear_Set[A]]

Inherited from GenTraversableLike[A, Linear_Set[A]]

Inherited from Parallelizable[A, ParSet[A]]

Inherited from TraversableOnce[A]

Inherited from GenTraversableOnce[A]

Inherited from FilterMonadic[A, Linear_Set[A]]

Inherited from HasNewBuilder[A, isabelle.Linear_Set[A] @scala.annotation.unchecked.uncheckedVariance]

Inherited from AnyRef

Inherited from Any

Ungrouped