Packages

class LCBlender extends PeekIterator[(IdealInt, Term)]

Class for mixing together a number of LinearCombinations that are sorted by the same TermOrder (namely by order)

Linear Supertypes
PeekIterator[(IdealInt, Term)], Iterator[(IdealInt, Term)], IterableOnceOps[(IdealInt, Term), Iterator, Iterator[(IdealInt, Term)]], IterableOnce[(IdealInt, Term)], AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. LCBlender
  2. PeekIterator
  3. Iterator
  4. IterableOnceOps
  5. IterableOnce
  6. AnyRef
  7. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Instance Constructors

  1. new LCBlender(order: TermOrder)

Type Members

  1. class GroupedIterator[B >: A] extends AbstractIterator[Seq[B]]
    Definition Classes
    Iterator

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##: Int
    Definition Classes
    AnyRef → Any
  3. final def ++[B >: (IdealInt, Term)](xs: => IterableOnce[B]): Iterator[B]
    Definition Classes
    Iterator
    Annotations
    @inline()
  4. def ++=(lcs: Iterable[(IdealInt, LinearCombination)]): Unit
  5. def +=(coeff1: IdealInt, lc1: LinearCombination, coeff2: IdealInt, lc2: LinearCombination): Unit
  6. def +=(coeff: IdealInt, lc: LinearCombination): Unit
  7. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  8. final def addString(b: StringBuilder): b.type
    Definition Classes
    IterableOnceOps
    Annotations
    @inline()
  9. final def addString(b: StringBuilder, sep: String): b.type
    Definition Classes
    IterableOnceOps
    Annotations
    @inline()
  10. def addString(b: StringBuilder, start: String, sep: String, end: String): b.type
    Definition Classes
    IterableOnceOps
  11. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  12. def buffered: BufferedIterator[(IdealInt, Term)]
    Definition Classes
    Iterator
  13. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @HotSpotIntrinsicCandidate() @native()
  14. def collect[B](pf: PartialFunction[(IdealInt, Term), B]): Iterator[B]
    Definition Classes
    Iterator → IterableOnceOps
  15. def collectFirst[B](pf: PartialFunction[(IdealInt, Term), B]): Option[B]
    Definition Classes
    IterableOnceOps
  16. def concat[B >: (IdealInt, Term)](xs: => IterableOnce[B]): Iterator[B]
    Definition Classes
    Iterator
  17. def contains(elem: Any): Boolean
    Definition Classes
    Iterator
  18. def copyToArray[B >: (IdealInt, Term)](xs: Array[B], start: Int, len: Int): Int
    Definition Classes
    IterableOnceOps
  19. def copyToArray[B >: (IdealInt, Term)](xs: Array[B], start: Int): Int
    Definition Classes
    IterableOnceOps
    Annotations
    @deprecatedOverriding()
  20. def copyToArray[B >: (IdealInt, Term)](xs: Array[B]): Int
    Definition Classes
    IterableOnceOps
    Annotations
    @deprecatedOverriding()
  21. def corresponds[B](that: IterableOnce[B])(p: ((IdealInt, Term), B) => Boolean): Boolean
    Definition Classes
    IterableOnceOps
  22. def count(p: ((IdealInt, Term)) => Boolean): Int
    Definition Classes
    IterableOnceOps
  23. def distinct: Iterator[(IdealInt, Term)]
    Definition Classes
    Iterator
  24. def distinctBy[B](f: ((IdealInt, Term)) => B): Iterator[(IdealInt, Term)]
    Definition Classes
    Iterator
  25. def drop(n: Int): Iterator[(IdealInt, Term)]
    Definition Classes
    Iterator → IterableOnceOps
  26. def dropAll: Unit
    Definition Classes
    PeekIterator
  27. def dropWhile(p: ((IdealInt, Term)) => Boolean): Iterator[(IdealInt, Term)]
    Definition Classes
    Iterator → IterableOnceOps
  28. def duplicate: (Iterator[(IdealInt, Term)], Iterator[(IdealInt, Term)])
    Definition Classes
    Iterator
  29. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  30. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  31. def exists(p: ((IdealInt, Term)) => Boolean): Boolean
    Definition Classes
    IterableOnceOps
  32. def filter(p: ((IdealInt, Term)) => Boolean): Iterator[(IdealInt, Term)]
    Definition Classes
    Iterator → IterableOnceOps
  33. def filterNot(p: ((IdealInt, Term)) => Boolean): Iterator[(IdealInt, Term)]
    Definition Classes
    Iterator → IterableOnceOps
  34. def find(p: ((IdealInt, Term)) => Boolean): Option[(IdealInt, Term)]
    Definition Classes
    IterableOnceOps
  35. def flatMap[B](f: ((IdealInt, Term)) => IterableOnce[B]): Iterator[B]
    Definition Classes
    Iterator → IterableOnceOps
  36. def flatten[B](implicit ev: ((IdealInt, Term)) => IterableOnce[B]): Iterator[B]
    Definition Classes
    Iterator → IterableOnceOps
  37. def fold[A1 >: (IdealInt, Term)](z: A1)(op: (A1, A1) => A1): A1
    Definition Classes
    IterableOnceOps
  38. def foldLeft[B](z: B)(op: (B, (IdealInt, Term)) => B): B
    Definition Classes
    IterableOnceOps
  39. def foldRight[B](z: B)(op: ((IdealInt, Term), B) => B): B
    Definition Classes
    IterableOnceOps
  40. def forall(p: ((IdealInt, Term)) => Boolean): Boolean
    Definition Classes
    IterableOnceOps
  41. def foreach[U](f: ((IdealInt, Term)) => U): Unit
    Definition Classes
    IterableOnceOps
  42. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @HotSpotIntrinsicCandidate() @native()
  43. def grouped[B >: (IdealInt, Term)](size: Int): GroupedIterator[B]
    Definition Classes
    Iterator
  44. def hasNext: Boolean
    Definition Classes
    LCBlender → Iterator
  45. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @HotSpotIntrinsicCandidate() @native()
  46. def indexOf[B >: (IdealInt, Term)](elem: B, from: Int): Int
    Definition Classes
    Iterator
  47. def indexOf[B >: (IdealInt, Term)](elem: B): Int
    Definition Classes
    Iterator
  48. def indexWhere(p: ((IdealInt, Term)) => Boolean, from: Int): Int
    Definition Classes
    Iterator
  49. def isEmpty: Boolean
    Definition Classes
    Iterator → IterableOnceOps
    Annotations
    @deprecatedOverriding()
  50. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  51. def isTraversableAgain: Boolean
    Definition Classes
    IterableOnceOps
  52. final def iterator: Iterator[(IdealInt, Term)]
    Definition Classes
    Iterator → IterableOnce
    Annotations
    @inline()
  53. def knownSize: Int
    Definition Classes
    IterableOnce
  54. final def length: Int
    Definition Classes
    Iterator
    Annotations
    @inline()
  55. def map[B](f: ((IdealInt, Term)) => B): Iterator[B]
    Definition Classes
    Iterator → IterableOnceOps
  56. def max[B >: (IdealInt, Term)](implicit ord: Ordering[B]): (IdealInt, Term)
    Definition Classes
    IterableOnceOps
  57. def maxBy[B](f: ((IdealInt, Term)) => B)(implicit ord: Ordering[B]): (IdealInt, Term)
    Definition Classes
    IterableOnceOps
  58. def maxByOption[B](f: ((IdealInt, Term)) => B)(implicit ord: Ordering[B]): Option[(IdealInt, Term)]
    Definition Classes
    IterableOnceOps
  59. def maxOption[B >: (IdealInt, Term)](implicit ord: Ordering[B]): Option[(IdealInt, Term)]
    Definition Classes
    IterableOnceOps
  60. def min[B >: (IdealInt, Term)](implicit ord: Ordering[B]): (IdealInt, Term)
    Definition Classes
    IterableOnceOps
  61. def minBy[B](f: ((IdealInt, Term)) => B)(implicit ord: Ordering[B]): (IdealInt, Term)
    Definition Classes
    IterableOnceOps
  62. def minByOption[B](f: ((IdealInt, Term)) => B)(implicit ord: Ordering[B]): Option[(IdealInt, Term)]
    Definition Classes
    IterableOnceOps
  63. def minOption[B >: (IdealInt, Term)](implicit ord: Ordering[B]): Option[(IdealInt, Term)]
    Definition Classes
    IterableOnceOps
  64. final def mkString: String
    Definition Classes
    IterableOnceOps
    Annotations
    @inline()
  65. final def mkString(sep: String): String
    Definition Classes
    IterableOnceOps
    Annotations
    @inline()
  66. final def mkString(start: String, sep: String, end: String): String
    Definition Classes
    IterableOnceOps
  67. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  68. def next(): (IdealInt, Term)
    Definition Classes
    LCBlender → Iterator
  69. def nextOption(): Option[(IdealInt, Term)]
    Definition Classes
    Iterator
  70. def nonEmpty: Boolean
    Definition Classes
    IterableOnceOps
    Annotations
    @deprecatedOverriding()
  71. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate() @native()
  72. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate() @native()
  73. def padTo[B >: (IdealInt, Term)](len: Int, elem: B): Iterator[B]
    Definition Classes
    Iterator
  74. def partition(p: ((IdealInt, Term)) => Boolean): (Iterator[(IdealInt, Term)], Iterator[(IdealInt, Term)])
    Definition Classes
    Iterator
  75. def patch[B >: (IdealInt, Term)](from: Int, patchElems: Iterator[B], replaced: Int): Iterator[B]
    Definition Classes
    Iterator
  76. def peekNext: (IdealInt, Term)
    Definition Classes
    LCBlenderPeekIterator
  77. def product[B >: (IdealInt, Term)](implicit num: Numeric[B]): B
    Definition Classes
    IterableOnceOps
  78. def reduce[B >: (IdealInt, Term)](op: (B, B) => B): B
    Definition Classes
    IterableOnceOps
  79. def reduceLeft[B >: (IdealInt, Term)](op: (B, (IdealInt, Term)) => B): B
    Definition Classes
    IterableOnceOps
  80. def reduceLeftOption[B >: (IdealInt, Term)](op: (B, (IdealInt, Term)) => B): Option[B]
    Definition Classes
    IterableOnceOps
  81. def reduceOption[B >: (IdealInt, Term)](op: (B, B) => B): Option[B]
    Definition Classes
    IterableOnceOps
  82. def reduceRight[B >: (IdealInt, Term)](op: ((IdealInt, Term), B) => B): B
    Definition Classes
    IterableOnceOps
  83. def reduceRightOption[B >: (IdealInt, Term)](op: ((IdealInt, Term), B) => B): Option[B]
    Definition Classes
    IterableOnceOps
  84. def result: LinearCombination
  85. def reversed: Iterable[(IdealInt, Term)]
    Attributes
    protected
    Definition Classes
    IterableOnceOps
  86. def sameElements[B >: (IdealInt, Term)](that: IterableOnce[B]): Boolean
    Definition Classes
    Iterator
  87. def scanLeft[B](z: B)(op: (B, (IdealInt, Term)) => B): Iterator[B]
    Definition Classes
    Iterator → IterableOnceOps
  88. def size: Int
    Definition Classes
    IterableOnceOps
  89. def slice(from: Int, until: Int): Iterator[(IdealInt, Term)]
    Definition Classes
    Iterator → IterableOnceOps
  90. def sliceIterator(from: Int, until: Int): Iterator[(IdealInt, Term)]
    Attributes
    protected
    Definition Classes
    Iterator
  91. def sliding[B >: (IdealInt, Term)](size: Int, step: Int): GroupedIterator[B]
    Definition Classes
    Iterator
  92. def span(p: ((IdealInt, Term)) => Boolean): (Iterator[(IdealInt, Term)], Iterator[(IdealInt, Term)])
    Definition Classes
    Iterator → IterableOnceOps
  93. def splitAt(n: Int): (Iterator[(IdealInt, Term)], Iterator[(IdealInt, Term)])
    Definition Classes
    IterableOnceOps
  94. def stepper[S <: Stepper[_]](implicit shape: StepperShape[(IdealInt, Term), S]): S
    Definition Classes
    IterableOnce
  95. def sum[B >: (IdealInt, Term)](implicit num: Numeric[B]): B
    Definition Classes
    IterableOnceOps
  96. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  97. def take(n: Int): Iterator[(IdealInt, Term)]
    Definition Classes
    Iterator → IterableOnceOps
  98. def takeWhile(p: ((IdealInt, Term)) => Boolean): Iterator[(IdealInt, Term)]
    Definition Classes
    Iterator → IterableOnceOps
  99. def tapEach[U](f: ((IdealInt, Term)) => U): Iterator[(IdealInt, Term)]
    Definition Classes
    Iterator → IterableOnceOps
  100. def to[C1](factory: Factory[(IdealInt, Term), C1]): C1
    Definition Classes
    IterableOnceOps
  101. def toArray[B >: (IdealInt, Term)](implicit arg0: ClassTag[B]): Array[B]
    Definition Classes
    IterableOnceOps
  102. final def toBuffer[B >: (IdealInt, Term)]: Buffer[B]
    Definition Classes
    IterableOnceOps
    Annotations
    @inline()
  103. def toIndexedSeq: IndexedSeq[(IdealInt, Term)]
    Definition Classes
    IterableOnceOps
  104. def toList: List[(IdealInt, Term)]
    Definition Classes
    IterableOnceOps
  105. def toMap[K, V](implicit ev: <:<[(IdealInt, Term), (K, V)]): Map[K, V]
    Definition Classes
    IterableOnceOps
  106. def toSeq: Seq[(IdealInt, Term)]
    Definition Classes
    IterableOnceOps
  107. def toSet[B >: (IdealInt, Term)]: Set[B]
    Definition Classes
    IterableOnceOps
  108. def toString(): String
    Definition Classes
    Iterator → AnyRef → Any
  109. def toVector: Vector[(IdealInt, Term)]
    Definition Classes
    IterableOnceOps
  110. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  111. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  112. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  113. def withFilter(p: ((IdealInt, Term)) => Boolean): Iterator[(IdealInt, Term)]
    Definition Classes
    Iterator
  114. def zip[B](that: IterableOnce[B]): Iterator[((IdealInt, Term), B)]
    Definition Classes
    Iterator
  115. def zipAll[A1 >: (IdealInt, Term), B](that: IterableOnce[B], thisElem: A1, thatElem: B): Iterator[(A1, B)]
    Definition Classes
    Iterator
  116. def zipWithIndex: Iterator[((IdealInt, Term), Int)]
    Definition Classes
    Iterator → IterableOnceOps

Deprecated Value Members

  1. final def /:[B](z: B)(op: (B, (IdealInt, Term)) => B): B
    Definition Classes
    IterableOnceOps
    Annotations
    @deprecated @inline()
    Deprecated

    (Since version 2.13.0) Use foldLeft instead of /:

  2. final def :\[B](z: B)(op: ((IdealInt, Term), B) => B): B
    Definition Classes
    IterableOnceOps
    Annotations
    @deprecated @inline()
    Deprecated

    (Since version 2.13.0) Use foldRight instead of :\

  3. def aggregate[B](z: => B)(seqop: (B, (IdealInt, Term)) => B, combop: (B, B) => B): B
    Definition Classes
    IterableOnceOps
    Annotations
    @deprecated
    Deprecated

    (Since version 2.13.0) For sequential collections, prefer foldLeft(z)(seqop). For parallel collections, use ParIterableLike#aggregate.

  4. final def copyToBuffer[B >: (IdealInt, Term)](dest: Buffer[B]): Unit
    Definition Classes
    IterableOnceOps
    Annotations
    @deprecated @inline()
    Deprecated

    (Since version 2.13.0) Use dest ++= coll instead

  5. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable]) @Deprecated
    Deprecated

    (Since version 9)

  6. final def hasDefiniteSize: Boolean
    Definition Classes
    Iterator → IterableOnceOps
    Annotations
    @deprecated @inline()
    Deprecated

    (Since version 2.13.0) hasDefiniteSize on Iterator is the same as isEmpty

  7. def scanRight[B](z: B)(op: ((IdealInt, Term), B) => B): Iterator[B]
    Definition Classes
    Iterator
    Annotations
    @deprecated
    Deprecated

    (Since version 2.13.0) Call scanRight on an Iterable instead.

  8. def seq: LCBlender.this.type
    Definition Classes
    Iterator
    Annotations
    @deprecated
    Deprecated

    (Since version 2.13.0) Iterator.seq always returns the iterator itself

  9. final def toIterator: Iterator[(IdealInt, Term)]
    Definition Classes
    IterableOnceOps
    Annotations
    @deprecated @inline()
    Deprecated

    (Since version 2.13.0) Use .iterator instead of .toIterator

  10. final def toStream: Stream[(IdealInt, Term)]
    Definition Classes
    IterableOnceOps
    Annotations
    @deprecated @inline()
    Deprecated

    (Since version 2.13.0) Use .to(LazyList) instead of .toStream

Inherited from PeekIterator[(IdealInt, Term)]

Inherited from Iterator[(IdealInt, Term)]

Inherited from IterableOnceOps[(IdealInt, Term), Iterator, Iterator[(IdealInt, Term)]]

Inherited from IterableOnce[(IdealInt, Term)]

Inherited from AnyRef

Inherited from Any

Ungrouped