Class

inox.utils

IncrementalSet

Related Doc: package utils

Permalink

class IncrementalSet[A] extends IncrementalState with Iterable[A] with IterableLike[A, Set[A]] with Builder[A, IncrementalSet[A]]

A stack of mutable sets with a set-like API and methods to push and pop

Linear Supertypes
Builder[A, IncrementalSet[A]], Growable[A], Clearable, Iterable[A], IterableLike[A, Set[A]], Equals, GenIterable[A], GenIterableLike[A, Set[A]], Traversable[A], GenTraversable[A], GenericTraversableTemplate[A, Iterable], TraversableLike[A, Set[A]], GenTraversableLike[A, Set[A]], Parallelizable[A, ParIterable[A]], TraversableOnce[A], GenTraversableOnce[A], FilterMonadic[A, Set[A]], HasNewBuilder[A, Set[A]], IncrementalState, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. IncrementalSet
  2. Builder
  3. Growable
  4. Clearable
  5. Iterable
  6. IterableLike
  7. Equals
  8. GenIterable
  9. GenIterableLike
  10. Traversable
  11. GenTraversable
  12. GenericTraversableTemplate
  13. TraversableLike
  14. GenTraversableLike
  15. Parallelizable
  16. TraversableOnce
  17. GenTraversableOnce
  18. FilterMonadic
  19. HasNewBuilder
  20. IncrementalState
  21. AnyRef
  22. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new IncrementalSet()

    Permalink

Type Members

  1. type Self = 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 ++[B >: A, That](that: GenTraversableOnce[B])(implicit bf: CanBuildFrom[Set[A], B, That]): That

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

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

    Permalink
    Definition Classes
    TraversableLike
  6. def ++=(xs: TraversableOnce[A]): IncrementalSet.this.type

    Permalink
    Definition Classes
    Growable
  7. def +=(elem: A): IncrementalSet.this.type

    Permalink

    Add an element to the head set

    Add an element to the head set

    Definition Classes
    IncrementalSet → Builder → Growable
  8. def +=(elem1: A, elem2: A, elems: A*): IncrementalSet.this.type

    Permalink
    Definition Classes
    Growable
  9. def -=(elem: A): IncrementalSet[A]

    Permalink

    Removes an element from all stacked sets

  10. def /:[B](z: B)(op: (B, A) ⇒ B): B

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

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

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

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

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

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

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce
  17. def apply(elem: A): Boolean

    Permalink

    Returns true if the set contains elem

  18. final def asInstanceOf[T0]: T0

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

    Permalink
    Definition Classes
    IterableLike → Equals
  20. def clear(): Unit

    Permalink

    Removes all the elements

    Removes all the elements

    Definition Classes
    IncrementalSet → Builder → Growable → Clearable → IncrementalState
  21. def clone(): AnyRef

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

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

    Permalink
    Definition Classes
    TraversableOnce
  24. def companion: GenericCompanion[Iterable]

    Permalink
    Definition Classes
    Iterable → GenIterable → Traversable → GenTraversable → GenericTraversableTemplate
  25. def contains(elem: A): Boolean

    Permalink

    Returns true if the set contains elem

  26. def copyToArray[B >: A](xs: Array[B], start: Int, len: Int): Unit

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

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

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

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

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce
  31. def drop(n: Int): Set[A]

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

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

    Permalink
    Definition Classes
    TraversableLike → GenTraversableLike
  34. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  35. def equals(arg0: Any): Boolean

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    Permalink
    Definition Classes
    AnyRef → Any
  50. def groupBy[K](f: (A) ⇒ K): Map[K, Set[A]]

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

    Permalink
    Definition Classes
    IterableLike
  52. def hasDefiniteSize: Boolean

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

    Permalink
    Definition Classes
    AnyRef → Any
  54. def head: A

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

    Permalink
    Definition Classes
    TraversableLike → GenTraversableLike
  56. def init: Set[A]

    Permalink
    Definition Classes
    TraversableLike → GenTraversableLike
  57. def inits: Iterator[Set[A]]

    Permalink
    Definition Classes
    TraversableLike
  58. def isEmpty: Boolean

    Permalink
    Definition Classes
    IterableLike → TraversableLike → TraversableOnce → GenTraversableOnce
  59. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  60. final def isTraversableAgain: Boolean

    Permalink
    Definition Classes
    TraversableLike → GenTraversableLike → GenTraversableOnce
  61. def iterator: Iterator[A]

    Permalink

    Returns an iterator over all the elements

    Returns an iterator over all the elements

    Definition Classes
    IncrementalSet → IterableLike → GenIterableLike
  62. def last: A

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

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

    Permalink
    Definition Classes
    TraversableLike → GenTraversableLike → FilterMonadic
  65. def mapResult[NewTo](f: (IncrementalSet[A]) ⇒ NewTo): Builder[A, NewTo]

    Permalink
    Definition Classes
    Builder
  66. def max[B >: A](implicit cmp: Ordering[B]): A

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

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

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

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

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

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

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

    Permalink
    Definition Classes
    AnyRef
  74. def newBuilder: SetBuilder[A, Set[A]]

    Permalink
    Definition Classes
    IncrementalSet → GenericTraversableTemplate → TraversableLike → HasNewBuilder
  75. def nonEmpty: Boolean

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

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

    Permalink
    Definition Classes
    AnyRef
  78. def par: ParIterable[A]

    Permalink
    Definition Classes
    Parallelizable
  79. def parCombiner: Combiner[A, ParIterable[A]]

    Permalink
    Attributes
    protected[this]
    Definition Classes
    TraversableLike → Parallelizable
  80. def partition(p: (A) ⇒ Boolean): (Set[A], Set[A])

    Permalink
    Definition Classes
    TraversableLike → GenTraversableLike
  81. def pop(): Unit

    Permalink

    Removes one set level

    Removes one set level

    Definition Classes
    IncrementalSetIncrementalState
  82. final def pop(lvl: Int): Unit

    Permalink
    Definition Classes
    IncrementalState
  83. def product[B >: A](implicit num: Numeric[B]): B

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce
  84. def push(): Unit

    Permalink

    Creates one more set level

    Creates one more set level

    Definition Classes
    IncrementalSetIncrementalState
  85. def reduce[A1 >: A](op: (A1, A1) ⇒ A1): A1

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

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

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

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

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

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce
  91. def repr: Set[A]

    Permalink
    Definition Classes
    IncrementalSet → TraversableLike → GenTraversableLike
  92. def reset(): Unit

    Permalink

    Removes all the elements and creates a new set

    Removes all the elements and creates a new set

    Definition Classes
    IncrementalSetIncrementalState
  93. def result(): IncrementalSet[A]

    Permalink
    Definition Classes
    IncrementalSet → Builder
  94. def reversed: List[A]

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

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

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

    Permalink
    Definition Classes
    TraversableLike → GenTraversableLike
  98. def scanRight[B, That](z: B)(op: (A, B) ⇒ B)(implicit bf: CanBuildFrom[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.

  99. def seq: Iterable[A]

    Permalink
    Definition Classes
    Iterable → GenIterable → Traversable → GenTraversable → Parallelizable → TraversableOnce → GenTraversableOnce
  100. def size: Int

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce
  101. def sizeHint(coll: TraversableLike[_, _], delta: Int): Unit

    Permalink
    Definition Classes
    Builder
  102. def sizeHint(coll: TraversableLike[_, _]): Unit

    Permalink
    Definition Classes
    Builder
  103. def sizeHint(size: Int): Unit

    Permalink
    Definition Classes
    Builder
  104. def sizeHintBounded(size: Int, boundingColl: TraversableLike[_, _]): Unit

    Permalink
    Definition Classes
    Builder
  105. def slice(from: Int, until: Int): Set[A]

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

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

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

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

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

    Permalink
    Definition Classes
    TraversableLike → GenTraversableLike
  111. def sum[B >: A](implicit num: Numeric[B]): B

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

    Permalink
    Definition Classes
    AnyRef
  113. def tail: Set[A]

    Permalink
    Definition Classes
    TraversableLike → GenTraversableLike
  114. def tails: Iterator[Set[A]]

    Permalink
    Definition Classes
    TraversableLike
  115. def take(n: Int): Set[A]

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

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

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

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

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

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce
  121. def toBuffer[B >: A]: Buffer[B]

    Permalink
    Definition Classes
    TraversableOnce → GenTraversableOnce
  122. def toCollection(repr: Set[A]): Iterable[A]

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

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

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

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

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

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

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

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

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

    Permalink
    Definition Classes
    TraversableLike → Any
  132. def toTraversable: Traversable[A]

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

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

    Permalink
    Definition Classes
    GenericTraversableTemplate
    Annotations
    @migration
    Migration

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

  135. def unzip[A1, A2](implicit asPair: (A) ⇒ (A1, A2)): (Iterable[A1], Iterable[A2])

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

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

    Permalink
    Definition Classes
    IterableLike → TraversableLike
  138. def view: IterableView[A, Set[A]]

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

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

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

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

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

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

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

    Permalink
    Definition Classes
    IterableLike → GenIterableLike

Inherited from Builder[A, IncrementalSet[A]]

Inherited from Growable[A]

Inherited from Clearable

Inherited from Iterable[A]

Inherited from IterableLike[A, Set[A]]

Inherited from Equals

Inherited from GenIterable[A]

Inherited from GenIterableLike[A, Set[A]]

Inherited from Traversable[A]

Inherited from GenTraversable[A]

Inherited from GenericTraversableTemplate[A, Iterable]

Inherited from TraversableLike[A, Set[A]]

Inherited from GenTraversableLike[A, Set[A]]

Inherited from Parallelizable[A, ParIterable[A]]

Inherited from TraversableOnce[A]

Inherited from GenTraversableOnce[A]

Inherited from FilterMonadic[A, Set[A]]

Inherited from HasNewBuilder[A, Set[A]]

Inherited from IncrementalState

Inherited from AnyRef

Inherited from Any

Ungrouped