Packages

object LinearCombination

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. LinearCombination
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##: Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. val MINUS_ONE: LinearCombination
  5. val ONE: LinearCombination
  6. val ZERO: LinearCombination
  7. def apply(c: IdealInt): LinearCombination
  8. def apply(coeff: IdealInt, t: Term, constant: IdealInt, order: TermOrder): LinearCombination
  9. def apply(coeff: IdealInt, t: Term, order: TermOrder): LinearCombination
  10. def apply(t: Term, order: TermOrder): LinearCombination
  11. def apply(terms: Iterable[(IdealInt, Term)], order: TermOrder): LinearCombination
  12. def apply(terms: Iterator[(IdealInt, Term)], order: TermOrder): LinearCombination

    Create a linear combination from an arbitrary set of terms with coefficients

  13. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  14. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @HotSpotIntrinsicCandidate() @native()
  15. def createFromSortedSeq(terms: Iterator[(IdealInt, Term)], order: TermOrder): LinearCombination

    Create a linear combination from an array of coefficient-term pairs that is already sorted, flattened, and contracted.

  16. def createFromSortedSeq(terms: Seq[(IdealInt, Term)], order: TermOrder): LinearCombination

    Create a linear combination from an array of coefficient-term pairs that is already sorted, flattened, and contracted.

  17. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  18. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  19. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @HotSpotIntrinsicCandidate() @native()
  20. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @HotSpotIntrinsicCandidate() @native()
  21. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  22. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  23. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate() @native()
  24. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate() @native()
  25. def sum(coeff1: IdealInt, lc1: LinearCombination, coeff2: IdealInt, lc2: LinearCombination, coeff3: IdealInt, lc3: LinearCombination, order: TermOrder): LinearCombination

    Compute the sum of exactly three linear combinations with arbitrary coefficients

  26. def sum(coeff1: IdealInt, lc1: LinearCombination, coeff2: IdealInt, lc2: LinearCombination, order: TermOrder): LinearCombination

    Compute the sum of exactly two linear combinations with arbitrary coefficients.

    Compute the sum of exactly two linear combinations with arbitrary coefficients. This method is optimised and tries to avoid the the general case as far as possible

  27. def sum(lcs: Iterator[(IdealInt, LinearCombination)], order: TermOrder): LinearCombination
  28. def sum(lcs: Seq[(IdealInt, LinearCombination)], order: TermOrder): LinearCombination

    Compute the sum of a collection of linear combinations (together with coefficients).

    Compute the sum of a collection of linear combinations (together with coefficients). This method is more optimised than direct usage of LCBlender

  29. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  30. def toString(): String
    Definition Classes
    AnyRef → Any
  31. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  32. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  33. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  34. object Constant

    Extractor applying to LinearCombination that are constant.

  35. object Difference

    Extractor applying to LinearCombination that are the difference between two non-constant terms; with the term with positive coefficient coming first.

  36. object SingleTerm

    Extractor applying to LinearCombination that are just a single term with coefficient 1.

  37. object ValueOrdering extends PartialOrdering[LinearCombination]

    Ordering that relates linear combinations a, b if the value of a is always going to be in relationship with b.

    Ordering that relates linear combinations a, b if the value of a is always going to be in relationship with b. E.g., x + 3 < x + 5 .

Deprecated Value Members

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

    (Since version 9)

Inherited from AnyRef

Inherited from Any

Ungrouped