Object/Class

ap.terfor.linearcombination

LinearCombination

Related Docs: class LinearCombination | package linearcombination

Permalink

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. All

Value Members

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

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

    Permalink
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  4. object Constant

    Permalink

    Extractor applying to LinearCombination that are constant.

    Extractor applying to LinearCombination that are constant.

  5. val MINUS_ONE: LinearCombination

    Permalink
  6. val ONE: LinearCombination

    Permalink
  7. object SingleTerm

    Permalink

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

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

  8. object ValueOrdering extends PartialOrdering[LinearCombination]

    Permalink

    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 .

  9. val ZERO: LinearCombination

    Permalink
  10. def apply(c: IdealInt): LinearCombination

    Permalink
  11. def apply(coeff: IdealInt, t: Term, constant: IdealInt, order: TermOrder): LinearCombination

    Permalink
  12. def apply(coeff: IdealInt, t: Term, order: TermOrder): LinearCombination

    Permalink
  13. def apply(t: Term, order: TermOrder): LinearCombination

    Permalink
  14. def apply(terms: Iterable[(IdealInt, Term)], order: TermOrder): LinearCombination

    Permalink
  15. def apply(terms: Iterator[(IdealInt, Term)], order: TermOrder): LinearCombination

    Permalink

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

  16. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  17. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  18. def createFromSortedSeq(terms: Iterator[(IdealInt, Term)], order: TermOrder): LinearCombination

    Permalink

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

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

    Permalink

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

  20. final def eq(arg0: AnyRef): Boolean

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

    Permalink
    Definition Classes
    AnyRef → Any
  22. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  23. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  24. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  25. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  26. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  27. final def notify(): Unit

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

    Permalink
    Definition Classes
    AnyRef
  29. def sum(coeff1: IdealInt, lc1: LinearCombination, coeff2: IdealInt, lc2: LinearCombination, coeff3: IdealInt, lc3: LinearCombination, order: TermOrder): LinearCombination

    Permalink

    Compute the sum of exactly three linear combinations with arbitrary coefficients

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

    Permalink

    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

  31. def sum(lcs: Iterator[(IdealInt, LinearCombination)], order: TermOrder): LinearCombination

    Permalink
  32. def sum(lcs: Seq[(IdealInt, LinearCombination)], order: TermOrder): LinearCombination

    Permalink

    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

  33. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  34. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  35. final def wait(): Unit

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

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from AnyRef

Inherited from Any

Ungrouped