Packages

abstract class EquationSet extends Formula with IndexedSeq[LinearCombination]

Linear Supertypes
IndexedSeq[LinearCombination], IndexedSeqOps[LinearCombination, IndexedSeq, IndexedSeq[LinearCombination]], IndexedSeq[LinearCombination], IndexedSeqOps[LinearCombination, [_]IndexedSeq[_], IndexedSeq[LinearCombination]], Seq[LinearCombination], SeqOps[LinearCombination, [_]IndexedSeq[_], IndexedSeq[LinearCombination]], Seq[LinearCombination], Equals, SeqOps[LinearCombination, [_]IndexedSeq[_], IndexedSeq[LinearCombination]], PartialFunction[Int, LinearCombination], (Int) => LinearCombination, Iterable[LinearCombination], Iterable[LinearCombination], IterableFactoryDefaults[LinearCombination, [x]IndexedSeq[x]], IterableOps[LinearCombination, [_]IndexedSeq[_], IndexedSeq[LinearCombination]], IterableOnceOps[LinearCombination, [_]IndexedSeq[_], IndexedSeq[LinearCombination]], IterableOnce[LinearCombination], Formula, TerFor, AnyRef, Any
Known Subclasses
EquationConj, NegEquationConj
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. EquationSet
  2. IndexedSeq
  3. IndexedSeqOps
  4. IndexedSeq
  5. IndexedSeqOps
  6. Seq
  7. SeqOps
  8. Seq
  9. Equals
  10. SeqOps
  11. PartialFunction
  12. Function1
  13. Iterable
  14. Iterable
  15. IterableFactoryDefaults
  16. IterableOps
  17. IterableOnceOps
  18. IterableOnce
  19. Formula
  20. TerFor
  21. AnyRef
  22. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Instance Constructors

  1. new EquationSet(lhss: Array[LinearCombination], order: TermOrder)
    Attributes
    protected

Abstract Value Members

  1. abstract def isFalse: Boolean

    Return true if this formula is obviously always false

    Return true if this formula is obviously always false

    Definition Classes
    Formula
  2. abstract def isTrue: Boolean

    Return true if this formula is obviously always true

    Return true if this formula is obviously always true

    Definition Classes
    Formula
  3. abstract val relationString: String
    Attributes
    protected

Concrete Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##: Int
    Definition Classes
    AnyRef → Any
  3. final def ++[B >: LinearCombination](suffix: IterableOnce[B]): IndexedSeq[B]
    Definition Classes
    IterableOps
    Annotations
    @inline()
  4. final def ++:[B >: LinearCombination](prefix: IterableOnce[B]): IndexedSeq[B]
    Definition Classes
    SeqOps → IterableOps
    Annotations
    @inline()
  5. final def +:[B >: LinearCombination](elem: B): IndexedSeq[B]
    Definition Classes
    SeqOps
    Annotations
    @inline()
  6. final def :+[B >: LinearCombination](elem: B): IndexedSeq[B]
    Definition Classes
    SeqOps
    Annotations
    @inline()
  7. final def :++[B >: LinearCombination](suffix: IterableOnce[B]): IndexedSeq[B]
    Definition Classes
    SeqOps
    Annotations
    @inline()
  8. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  9. final def addString(b: StringBuilder): b.type
    Definition Classes
    IterableOnceOps
    Annotations
    @inline()
  10. final def addString(b: StringBuilder, sep: String): b.type
    Definition Classes
    IterableOnceOps
    Annotations
    @inline()
  11. def addString(b: StringBuilder, start: String, sep: String, end: String): b.type
    Definition Classes
    IterableOnceOps
  12. def andThen[C](k: PartialFunction[LinearCombination, C]): PartialFunction[Int, C]
    Definition Classes
    PartialFunction
  13. def andThen[C](k: (LinearCombination) => C): PartialFunction[Int, C]
    Definition Classes
    PartialFunction → Function1
  14. def appended[B >: LinearCombination](elem: B): IndexedSeq[B]
    Definition Classes
    SeqOps
  15. def appendedAll[B >: LinearCombination](suffix: IterableOnce[B]): IndexedSeq[B]
    Definition Classes
    SeqOps
  16. def apply(i: Int): LinearCombination
    Definition Classes
    EquationSet → SeqOps → Function1
  17. def applyOrElse[A1 <: Int, B1 >: LinearCombination](x: A1, default: (A1) => B1): B1
    Definition Classes
    PartialFunction
  18. def applyPreferredMaxLength: Int
    Attributes
    protected
    Definition Classes
    IndexedSeq
  19. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  20. def canEqual(that: Any): Boolean
    Definition Classes
    IndexedSeq → Seq → Equals
  21. def className: String
    Attributes
    protected[this]
    Definition Classes
    Iterable
  22. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @HotSpotIntrinsicCandidate() @native()
  23. final def coll: EquationSet.this.type
    Attributes
    protected
    Definition Classes
    Iterable → IterableOps
  24. def collect[B](pf: PartialFunction[LinearCombination, B]): IndexedSeq[B]
    Definition Classes
    IterableOps → IterableOnceOps
  25. def collectFirst[B](pf: PartialFunction[LinearCombination, B]): Option[B]
    Definition Classes
    IterableOnceOps
  26. def combinations(n: Int): Iterator[IndexedSeq[LinearCombination]]
    Definition Classes
    SeqOps
  27. def compose[R](k: PartialFunction[R, Int]): PartialFunction[R, LinearCombination]
    Definition Classes
    PartialFunction
  28. def compose[A](g: (A) => Int): (A) => LinearCombination
    Definition Classes
    Function1
    Annotations
    @unspecialized()
  29. final def concat[B >: LinearCombination](suffix: IterableOnce[B]): IndexedSeq[B]
    Definition Classes
    SeqOps → IterableOps
    Annotations
    @inline()
  30. lazy val constants: Set[ConstantTerm]
    Definition Classes
    EquationSet → TerFor
  31. def contains(lc: LinearCombination): Boolean
  32. def contains[A1 >: LinearCombination](elem: A1): Boolean
    Definition Classes
    SeqOps
  33. def containsSlice[B >: LinearCombination](that: Seq[B]): Boolean
    Definition Classes
    SeqOps
  34. def copyToArray[B >: LinearCombination](xs: Array[B], start: Int, len: Int): Int
    Definition Classes
    IterableOnceOps
  35. def copyToArray[B >: LinearCombination](xs: Array[B], start: Int): Int
    Definition Classes
    IterableOnceOps
    Annotations
    @deprecatedOverriding()
  36. def copyToArray[B >: LinearCombination](xs: Array[B]): Int
    Definition Classes
    IterableOnceOps
    Annotations
    @deprecatedOverriding()
  37. def corresponds[B](that: Seq[B])(p: (LinearCombination, B) => Boolean): Boolean
    Definition Classes
    SeqOps
  38. def corresponds[B](that: IterableOnce[B])(p: (LinearCombination, B) => Boolean): Boolean
    Definition Classes
    IterableOnceOps
  39. def count(p: (LinearCombination) => Boolean): Int
    Definition Classes
    IterableOnceOps
  40. def diff[B >: LinearCombination](that: Seq[B]): IndexedSeq[LinearCombination]
    Definition Classes
    SeqOps
  41. def distinct: IndexedSeq[LinearCombination]
    Definition Classes
    SeqOps
  42. def distinctBy[B](f: (LinearCombination) => B): IndexedSeq[LinearCombination]
    Definition Classes
    SeqOps
  43. def drop(n: Int): IndexedSeq[LinearCombination]
    Definition Classes
    IndexedSeqOps → IterableOps → IterableOnceOps
  44. def dropRight(n: Int): IndexedSeq[LinearCombination]
    Definition Classes
    IndexedSeqOps → IterableOps
  45. def dropWhile(p: (LinearCombination) => Boolean): IndexedSeq[LinearCombination]
    Definition Classes
    IterableOps → IterableOnceOps
  46. def elementWise: ElementWiseExtractor[Int, LinearCombination]
    Definition Classes
    PartialFunction
  47. def empty: IndexedSeq[LinearCombination]
    Definition Classes
    IterableFactoryDefaults → IterableOps
  48. def endsWith[B >: LinearCombination](that: Iterable[B]): Boolean
    Definition Classes
    SeqOps
  49. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  50. def equals(that: Any): Boolean
    Definition Classes
    EquationSet → Seq → Equals → AnyRef → Any
  51. def exists(p: (LinearCombination) => Boolean): Boolean
    Definition Classes
    IterableOnceOps
  52. def filter(pred: (LinearCombination) => Boolean): IndexedSeq[LinearCombination]
    Definition Classes
    IterableOps → IterableOnceOps
  53. def filterNot(pred: (LinearCombination) => Boolean): IndexedSeq[LinearCombination]
    Definition Classes
    IterableOps → IterableOnceOps
  54. def find(p: (LinearCombination) => Boolean): Option[LinearCombination]
    Definition Classes
    IterableOnceOps
  55. def findLast(p: (LinearCombination) => Boolean): Option[LinearCombination]
    Definition Classes
    SeqOps
  56. def flatMap[B](f: (LinearCombination) => IterableOnce[B]): IndexedSeq[B]
    Definition Classes
    IterableOps → IterableOnceOps
  57. def flatten[B](implicit asIterable: (LinearCombination) => IterableOnce[B]): IndexedSeq[B]
    Definition Classes
    IterableOps → IterableOnceOps
  58. def fold[A1 >: LinearCombination](z: A1)(op: (A1, A1) => A1): A1
    Definition Classes
    IterableOnceOps
  59. def foldLeft[B](z: B)(op: (B, LinearCombination) => B): B
    Definition Classes
    IterableOnceOps
  60. def foldRight[B](z: B)(op: (LinearCombination, B) => B): B
    Definition Classes
    IndexedSeqOps → IterableOnceOps
  61. def forall(p: (LinearCombination) => Boolean): Boolean
    Definition Classes
    IterableOnceOps
  62. def foreach[U](f: (LinearCombination) => U): Unit
    Definition Classes
    IterableOnceOps
  63. def fromSpecific(coll: IterableOnce[LinearCombination]): IndexedSeq[LinearCombination]
    Attributes
    protected
    Definition Classes
    IterableFactoryDefaults → IterableOps
  64. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @HotSpotIntrinsicCandidate() @native()
  65. def groundAtoms: Set[Atom]
    Definition Classes
    EquationSet → Formula
  66. def groupBy[K](f: (LinearCombination) => K): Map[K, IndexedSeq[LinearCombination]]
    Definition Classes
    IterableOps
  67. def groupMap[K, B](key: (LinearCombination) => K)(f: (LinearCombination) => B): Map[K, IndexedSeq[B]]
    Definition Classes
    IterableOps
  68. def groupMapReduce[K, B](key: (LinearCombination) => K)(f: (LinearCombination) => B)(reduce: (B, B) => B): Map[K, B]
    Definition Classes
    IterableOps
  69. def grouped(size: Int): Iterator[IndexedSeq[LinearCombination]]
    Definition Classes
    IterableOps
  70. def hashCode(): Int
    Definition Classes
    EquationSet → Seq → AnyRef → Any
  71. def head: LinearCombination
    Definition Classes
    IndexedSeqOps → IterableOps
  72. def headOption: Option[LinearCombination]
    Definition Classes
    IndexedSeqOps → IterableOps
  73. def implies(that: EquationSet): Boolean
  74. def indexOf[B >: LinearCombination](elem: B): Int
    Definition Classes
    SeqOps
    Annotations
    @deprecatedOverriding()
  75. def indexOf[B >: LinearCombination](elem: B, from: Int): Int
    Definition Classes
    SeqOps
  76. def indexOfSlice[B >: LinearCombination](that: Seq[B]): Int
    Definition Classes
    SeqOps
    Annotations
    @deprecatedOverriding()
  77. def indexOfSlice[B >: LinearCombination](that: Seq[B], from: Int): Int
    Definition Classes
    SeqOps
  78. def indexWhere(p: (LinearCombination) => Boolean): Int
    Definition Classes
    SeqOps
    Annotations
    @deprecatedOverriding()
  79. def indexWhere(p: (LinearCombination) => Boolean, from: Int): Int
    Definition Classes
    SeqOps
  80. def indices: Range
    Definition Classes
    SeqOps
  81. def init: IndexedSeq[LinearCombination]
    Definition Classes
    IterableOps
  82. def inits: Iterator[IndexedSeq[LinearCombination]]
    Definition Classes
    IterableOps
  83. def intersect[B >: LinearCombination](that: Seq[B]): IndexedSeq[LinearCombination]
    Definition Classes
    SeqOps
  84. def isDefinedAt(idx: Int): Boolean
    Definition Classes
    SeqOps
  85. def isEmpty: Boolean
    Definition Classes
    SeqOps → IterableOnceOps
  86. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  87. def isTraversableAgain: Boolean
    Definition Classes
    IterableOps → IterableOnceOps
  88. def iterableFactory: SeqFactory[IndexedSeq]
    Definition Classes
    IndexedSeq → IndexedSeq → Seq → Seq → Iterable → Iterable → IterableOps
  89. def iterator: Iterator[LinearCombination]
    Definition Classes
    EquationSet → IndexedSeqOps → IterableOnce
  90. def knownSize: Int
    Definition Classes
    IndexedSeqOps → IterableOnce
  91. def last: LinearCombination
    Definition Classes
    IndexedSeqOps → IterableOps
  92. def lastIndexOf[B >: LinearCombination](elem: B, end: Int): Int
    Definition Classes
    SeqOps
  93. def lastIndexOfSlice[B >: LinearCombination](that: Seq[B]): Int
    Definition Classes
    SeqOps
    Annotations
    @deprecatedOverriding()
  94. def lastIndexOfSlice[B >: LinearCombination](that: Seq[B], end: Int): Int
    Definition Classes
    SeqOps
  95. def lastIndexWhere(p: (LinearCombination) => Boolean): Int
    Definition Classes
    SeqOps
    Annotations
    @deprecatedOverriding()
  96. def lastIndexWhere(p: (LinearCombination) => Boolean, end: Int): Int
    Definition Classes
    SeqOps
  97. def lastOption: Option[LinearCombination]
    Definition Classes
    IterableOps
  98. def lazyZip[B](that: Iterable[B]): LazyZip2[LinearCombination, B, EquationSet.this.type]
    Definition Classes
    Iterable
  99. lazy val leadingTermSet: Set[Term]
  100. def length: Int
    Definition Classes
    EquationSet → SeqOps
  101. final def lengthCompare(that: Iterable[_]): Int
    Definition Classes
    IndexedSeqOps → SeqOps
  102. final def lengthCompare(len: Int): Int
    Definition Classes
    IndexedSeqOps → SeqOps
  103. final def lengthIs: SizeCompareOps
    Definition Classes
    SeqOps
    Annotations
    @inline()
  104. val lhss: Array[LinearCombination]
    Attributes
    protected
  105. def lift: (Int) => Option[LinearCombination]
    Definition Classes
    PartialFunction
  106. def map[B](f: (LinearCombination) => B): IndexedSeq[B]
    Definition Classes
    IndexedSeqOps → IterableOps → IterableOnceOps
  107. def max[B >: LinearCombination](implicit ord: Ordering[B]): LinearCombination
    Definition Classes
    IterableOnceOps
  108. def maxBy[B](f: (LinearCombination) => B)(implicit ord: Ordering[B]): LinearCombination
    Definition Classes
    IterableOnceOps
  109. def maxByOption[B](f: (LinearCombination) => B)(implicit ord: Ordering[B]): Option[LinearCombination]
    Definition Classes
    IterableOnceOps
  110. def maxOption[B >: LinearCombination](implicit ord: Ordering[B]): Option[LinearCombination]
    Definition Classes
    IterableOnceOps
  111. def min[B >: LinearCombination](implicit ord: Ordering[B]): LinearCombination
    Definition Classes
    IterableOnceOps
  112. def minBy[B](f: (LinearCombination) => B)(implicit ord: Ordering[B]): LinearCombination
    Definition Classes
    IterableOnceOps
  113. def minByOption[B](f: (LinearCombination) => B)(implicit ord: Ordering[B]): Option[LinearCombination]
    Definition Classes
    IterableOnceOps
  114. def minOption[B >: LinearCombination](implicit ord: Ordering[B]): Option[LinearCombination]
    Definition Classes
    IterableOnceOps
  115. final def mkString: String
    Definition Classes
    IterableOnceOps
    Annotations
    @inline()
  116. final def mkString(sep: String): String
    Definition Classes
    IterableOnceOps
    Annotations
    @inline()
  117. final def mkString(start: String, sep: String, end: String): String
    Definition Classes
    IterableOnceOps
  118. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  119. def newSpecificBuilder: Builder[LinearCombination, IndexedSeq[LinearCombination]]
    Attributes
    protected
    Definition Classes
    IterableFactoryDefaults → IterableOps
  120. def nonEmpty: Boolean
    Definition Classes
    IterableOnceOps
    Annotations
    @deprecatedOverriding()
  121. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate() @native()
  122. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate() @native()
  123. def occCounts[B](sq: Seq[B]): Map[B, Int]
    Attributes
    protected[collection]
    Definition Classes
    SeqOps
  124. def orElse[A1 <: Int, B1 >: LinearCombination](that: PartialFunction[A1, B1]): PartialFunction[A1, B1]
    Definition Classes
    PartialFunction
  125. val order: TermOrder
  126. def padTo[B >: LinearCombination](len: Int, elem: B): IndexedSeq[B]
    Definition Classes
    SeqOps
  127. def partition(p: (LinearCombination) => Boolean): (IndexedSeq[LinearCombination], IndexedSeq[LinearCombination])
    Definition Classes
    IterableOps
  128. def partitionMap[A1, A2](f: (LinearCombination) => Either[A1, A2]): (IndexedSeq[A1], IndexedSeq[A2])
    Definition Classes
    IterableOps
  129. def patch[B >: LinearCombination](from: Int, other: IterableOnce[B], replaced: Int): IndexedSeq[B]
    Definition Classes
    SeqOps
  130. def permutations: Iterator[IndexedSeq[LinearCombination]]
    Definition Classes
    SeqOps
  131. def predicates: Set[Predicate]
    Definition Classes
    EquationSet → TerFor
  132. def prepended[B >: LinearCombination](elem: B): IndexedSeq[B]
    Definition Classes
    IndexedSeqOps → SeqOps
  133. def prependedAll[B >: LinearCombination](prefix: IterableOnce[B]): IndexedSeq[B]
    Definition Classes
    SeqOps
  134. def product[B >: LinearCombination](implicit num: Numeric[B]): B
    Definition Classes
    IterableOnceOps
  135. def reduce[B >: LinearCombination](op: (B, B) => B): B
    Definition Classes
    IterableOnceOps
  136. def reduceLeft[B >: LinearCombination](op: (B, LinearCombination) => B): B
    Definition Classes
    IterableOnceOps
  137. def reduceLeftOption[B >: LinearCombination](op: (B, LinearCombination) => B): Option[B]
    Definition Classes
    IterableOnceOps
  138. def reduceOption[B >: LinearCombination](op: (B, B) => B): Option[B]
    Definition Classes
    IterableOnceOps
  139. def reduceRight[B >: LinearCombination](op: (LinearCombination, B) => B): B
    Definition Classes
    IterableOnceOps
  140. def reduceRightOption[B >: LinearCombination](op: (LinearCombination, B) => B): Option[B]
    Definition Classes
    IterableOnceOps
  141. def reverse: IndexedSeq[LinearCombination]
    Definition Classes
    IndexedSeqOps → SeqOps
  142. def reverseIterator: Iterator[LinearCombination]
    Definition Classes
    IndexedSeqOps → SeqOps
  143. def reversed: Iterable[LinearCombination]
    Attributes
    protected
    Definition Classes
    IndexedSeqOps → IterableOnceOps
  144. def runWith[U](action: (LinearCombination) => U): (Int) => Boolean
    Definition Classes
    PartialFunction
  145. def sameElements[B >: LinearCombination](o: IterableOnce[B]): Boolean
    Definition Classes
    IndexedSeq → SeqOps
  146. def scan[B >: LinearCombination](z: B)(op: (B, B) => B): IndexedSeq[B]
    Definition Classes
    IterableOps
  147. def scanLeft[B](z: B)(op: (B, LinearCombination) => B): IndexedSeq[B]
    Definition Classes
    IterableOps → IterableOnceOps
  148. def scanRight[B](z: B)(op: (LinearCombination, B) => B): IndexedSeq[B]
    Definition Classes
    IterableOps
  149. def search[B >: LinearCombination](elem: B, from: Int, to: Int)(implicit ord: Ordering[B]): SearchResult
    Definition Classes
    IndexedSeqOps → SeqOps
  150. def search[B >: LinearCombination](elem: B)(implicit ord: Ordering[B]): SearchResult
    Definition Classes
    IndexedSeqOps → SeqOps
  151. def segmentLength(p: (LinearCombination) => Boolean, from: Int): Int
    Definition Classes
    SeqOps
  152. final def segmentLength(p: (LinearCombination) => Boolean): Int
    Definition Classes
    SeqOps
  153. final def size: Int
    Definition Classes
    SeqOps → IterableOnceOps
  154. final def sizeCompare(that: Iterable[_]): Int
    Definition Classes
    SeqOps → IterableOps
  155. final def sizeCompare(otherSize: Int): Int
    Definition Classes
    SeqOps → IterableOps
  156. final def sizeIs: SizeCompareOps
    Definition Classes
    IterableOps
    Annotations
    @inline()
  157. def slice(from: Int, until: Int): IndexedSeq[LinearCombination]
    Definition Classes
    IndexedSeqOps → IndexedSeqOps → IterableOps → IterableOnceOps
  158. def sliding(size: Int, step: Int): Iterator[IndexedSeq[LinearCombination]]
    Definition Classes
    IterableOps
  159. def sliding(size: Int): Iterator[IndexedSeq[LinearCombination]]
    Definition Classes
    IterableOps
  160. def sortBy[B](f: (LinearCombination) => B)(implicit ord: Ordering[B]): IndexedSeq[LinearCombination]
    Definition Classes
    SeqOps
  161. def sortWith(lt: (LinearCombination, LinearCombination) => Boolean): IndexedSeq[LinearCombination]
    Definition Classes
    SeqOps
  162. def sorted[B >: LinearCombination](implicit ord: Ordering[B]): IndexedSeq[LinearCombination]
    Definition Classes
    SeqOps
  163. def span(p: (LinearCombination) => Boolean): (IndexedSeq[LinearCombination], IndexedSeq[LinearCombination])
    Definition Classes
    IterableOps → IterableOnceOps
  164. def splitAt(n: Int): (IndexedSeq[LinearCombination], IndexedSeq[LinearCombination])
    Definition Classes
    IterableOps → IterableOnceOps
  165. def startsWith[B >: LinearCombination](that: IterableOnce[B], offset: Int): Boolean
    Definition Classes
    SeqOps
  166. def stepper[S <: Stepper[_]](implicit shape: StepperShape[LinearCombination, S]): S with EfficientSplit
    Definition Classes
    IndexedSeqOps → IterableOnce
  167. def stringPrefix: String
    Attributes
    protected[this]
    Definition Classes
    IndexedSeq → Seq → Iterable
  168. def sum[B >: LinearCombination](implicit num: Numeric[B]): B
    Definition Classes
    IterableOnceOps
  169. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  170. def tail: IndexedSeq[LinearCombination]
    Definition Classes
    IterableOps
  171. def tails: Iterator[IndexedSeq[LinearCombination]]
    Definition Classes
    IterableOps
  172. def take(n: Int): IndexedSeq[LinearCombination]
    Definition Classes
    IndexedSeqOps → IterableOps → IterableOnceOps
  173. def takeRight(n: Int): IndexedSeq[LinearCombination]
    Definition Classes
    IndexedSeqOps → IterableOps
  174. def takeWhile(p: (LinearCombination) => Boolean): IndexedSeq[LinearCombination]
    Definition Classes
    IterableOps → IterableOnceOps
  175. def tapEach[U](f: (LinearCombination) => U): IndexedSeq[LinearCombination]
    Definition Classes
    IterableOps → IterableOnceOps
  176. def to[C1](factory: Factory[LinearCombination, C1]): C1
    Definition Classes
    IterableOnceOps
  177. def toArray[B >: LinearCombination](implicit arg0: ClassTag[B]): Array[B]
    Definition Classes
    IterableOnceOps
  178. final def toBuffer[B >: LinearCombination]: Buffer[B]
    Definition Classes
    IterableOnceOps
    Annotations
    @inline()
  179. final def toIndexedSeq: IndexedSeq[LinearCombination]
    Definition Classes
    IndexedSeq → IterableOnceOps
  180. def toList: List[LinearCombination]
    Definition Classes
    IterableOnceOps
  181. def toMap[K, V](implicit ev: <:<[LinearCombination, (K, V)]): Map[K, V]
    Definition Classes
    IterableOnceOps
  182. final def toSeq: EquationSet.this.type
    Definition Classes
    Seq → IterableOnceOps
  183. def toSet: Set[LinearCombination] { def diff(that: scala.collection.Set[ap.terfor.linearcombination.LinearCombination]): scala.collection.immutable.Set[ap.terfor.linearcombination.LinearCombination] }
  184. def toSet[B >: LinearCombination]: Set[B]
    Definition Classes
    IterableOnceOps
  185. def toString(): String
    Definition Classes
    EquationSet → Seq → Function1 → Iterable → AnyRef → Any
  186. def toVector: Vector[LinearCombination]
    Definition Classes
    IterableOnceOps
  187. def transpose[B](implicit asIterable: (LinearCombination) => Iterable[B]): IndexedSeq[IndexedSeq[B]]
    Definition Classes
    IterableOps
  188. def unapply(a: Int): Option[LinearCombination]
    Definition Classes
    PartialFunction
  189. def unzip[A1, A2](implicit asPair: (LinearCombination) => (A1, A2)): (IndexedSeq[A1], IndexedSeq[A2])
    Definition Classes
    IterableOps
  190. def unzip3[A1, A2, A3](implicit asTriple: (LinearCombination) => (A1, A2, A3)): (IndexedSeq[A1], IndexedSeq[A2], IndexedSeq[A3])
    Definition Classes
    IterableOps
  191. def updated[B >: LinearCombination](index: Int, elem: B): IndexedSeq[B]
    Definition Classes
    SeqOps
  192. lazy val variables: Set[VariableTerm]
    Definition Classes
    EquationSet → TerFor
  193. def view: IndexedSeqView[LinearCombination]
    Definition Classes
    IndexedSeqOps → SeqOps → IterableOps
  194. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  195. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  196. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  197. def withFilter(p: (LinearCombination) => Boolean): WithFilter[LinearCombination, [_]IndexedSeq[_]]
    Definition Classes
    IterableOps
  198. def zip[B](that: IterableOnce[B]): IndexedSeq[(LinearCombination, B)]
    Definition Classes
    IterableOps
  199. def zipAll[A1 >: LinearCombination, B](that: Iterable[B], thisElem: A1, thatElem: B): IndexedSeq[(A1, B)]
    Definition Classes
    IterableOps
  200. def zipWithIndex: IndexedSeq[(LinearCombination, Int)]
    Definition Classes
    IterableOps → IterableOnceOps

Deprecated Value Members

  1. final def /:[B](z: B)(op: (B, LinearCombination) => 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: (LinearCombination, 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, LinearCombination) => 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. def companion: IterableFactory[[_]IndexedSeq[_]]
    Definition Classes
    IterableOps
    Annotations
    @deprecated @deprecatedOverriding() @inline()
    Deprecated

    (Since version 2.13.0) Use iterableFactory instead

  5. final def copyToBuffer[B >: LinearCombination](dest: Buffer[B]): Unit
    Definition Classes
    IterableOnceOps
    Annotations
    @deprecated @inline()
    Deprecated

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

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

    (Since version 9)

  7. def hasDefiniteSize: Boolean
    Definition Classes
    IterableOnceOps
    Annotations
    @deprecated
    Deprecated

    (Since version 2.13.0) Check .knownSize instead of .hasDefiniteSize for more actionable information (see scaladoc for details)

  8. final def prefixLength(p: (LinearCombination) => Boolean): Int
    Definition Classes
    SeqOps
    Annotations
    @deprecated @inline()
    Deprecated

    (Since version 2.13.0) Use segmentLength instead of prefixLength

  9. final def repr: IndexedSeq[LinearCombination]
    Definition Classes
    IterableOps
    Annotations
    @deprecated
    Deprecated

    (Since version 2.13.0) Use coll instead of repr in a collection implementation, use the collection value itself from the outside

  10. def reverseMap[B](f: (LinearCombination) => B): IndexedSeq[B]
    Definition Classes
    SeqOps
    Annotations
    @deprecated
    Deprecated

    (Since version 2.13.0) Use .reverseIterator.map(f).to(...) instead of .reverseMap(f)

  11. def seq: EquationSet.this.type
    Definition Classes
    Iterable
    Annotations
    @deprecated
    Deprecated

    (Since version 2.13.0) Iterable.seq always returns the iterable itself

  12. final def toIterable: EquationSet.this.type
    Definition Classes
    Iterable → IterableOps
    Annotations
    @deprecated
    Deprecated

    (Since version 2.13.7) toIterable is internal and will be made protected; its name is similar to toList or toSeq, but it doesn't copy non-immutable collections

  13. final def toIterator: Iterator[LinearCombination]
    Definition Classes
    IterableOnceOps
    Annotations
    @deprecated @inline()
    Deprecated

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

  14. final def toStream: Stream[LinearCombination]
    Definition Classes
    IterableOnceOps
    Annotations
    @deprecated @inline()
    Deprecated

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

  15. final def toTraversable: Traversable[LinearCombination]
    Definition Classes
    IterableOps
    Annotations
    @deprecated
    Deprecated

    (Since version 2.13.0) toTraversable is internal and will be made protected; its name is similar to toList or toSeq, but it doesn't copy non-immutable collections

  16. final def union[B >: LinearCombination](that: Seq[B]): IndexedSeq[B]
    Definition Classes
    SeqOps
    Annotations
    @deprecated @inline()
    Deprecated

    (Since version 2.13.0) Use concat instead

  17. def view(from: Int, until: Int): IndexedSeqView[LinearCombination]
    Definition Classes
    IndexedSeqOps → IterableOps
    Annotations
    @deprecated
    Deprecated

    (Since version 2.13.0) Use .view.slice(from, until) instead of .view(from, until)

Inherited from IndexedSeq[LinearCombination]

Inherited from IndexedSeqOps[LinearCombination, IndexedSeq, IndexedSeq[LinearCombination]]

Inherited from IndexedSeq[LinearCombination]

Inherited from IndexedSeqOps[LinearCombination, [_]IndexedSeq[_], IndexedSeq[LinearCombination]]

Inherited from Seq[LinearCombination]

Inherited from SeqOps[LinearCombination, [_]IndexedSeq[_], IndexedSeq[LinearCombination]]

Inherited from Seq[LinearCombination]

Inherited from Equals

Inherited from SeqOps[LinearCombination, [_]IndexedSeq[_], IndexedSeq[LinearCombination]]

Inherited from PartialFunction[Int, LinearCombination]

Inherited from (Int) => LinearCombination

Inherited from Iterable[LinearCombination]

Inherited from Iterable[LinearCombination]

Inherited from IterableFactoryDefaults[LinearCombination, [x]IndexedSeq[x]]

Inherited from IterableOps[LinearCombination, [_]IndexedSeq[_], IndexedSeq[LinearCombination]]

Inherited from IterableOnceOps[LinearCombination, [_]IndexedSeq[_], IndexedSeq[LinearCombination]]

Inherited from IterableOnce[LinearCombination]

Inherited from Formula

Inherited from TerFor

Inherited from AnyRef

Inherited from Any

Ungrouped