Packages

c

ap.terfor

RichLinearCombinationSeq

class RichLinearCombinationSeq extends AnyRef

Various functions to work with vectors of terms

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

Instance Constructors

  1. new RichLinearCombinationSeq(lcs: Seq[LinearCombination], order: TermOrder)

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##: Int
    Definition Classes
    AnyRef → Any
  3. def ***(that: Term): Seq[LinearCombination]
  4. def ***(that: Seq[Term]): Seq[LinearCombination]
  5. def *:*(that: Seq[Term]): LinearCombination

    The dot-product of two vectors

  6. def +++(that: Term): Seq[LinearCombination]
  7. def +++(that: Seq[Term]): Seq[LinearCombination]
  8. def ---(that: Term): Seq[LinearCombination]
  9. def ---(that: Seq[Term]): Seq[LinearCombination]
  10. def <(that: Term): InEqConj
  11. def <(that: Seq[Term]): InEqConj
  12. def <=(that: Term): InEqConj
  13. def <=(that: Seq[Term]): InEqConj
  14. def =/=(that: Term): Conjunction

    Disequation of vectors (vector differs in at least one component)

  15. def =/=(that: Seq[Term]): Conjunction

    Disequation of vectors (vectors differ in at least one component)

  16. def =/=/=(that: Term): NegEquationConj

    Component-wise disequation of vectors (all components of the vectors are different)

  17. def =/=/=(that: Seq[Term]): NegEquationConj

    Component-wise disequation of vectors (all components of the vectors are different)

  18. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  19. def ===(that: Term): EquationConj

    Component-wise equation

  20. def ===(that: Seq[Term]): EquationConj

    Equation of two vectors

  21. def >(that: Term): InEqConj
  22. def >(that: Seq[Term]): InEqConj
  23. def >=(that: Term): InEqConj
  24. def >=(that: Seq[Term]): InEqConj
  25. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  26. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @HotSpotIntrinsicCandidate() @native()
  27. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  28. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  29. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @HotSpotIntrinsicCandidate() @native()
  30. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @HotSpotIntrinsicCandidate() @native()
  31. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  32. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  33. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate() @native()
  34. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate() @native()
  35. implicit val o: TermOrder
  36. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  37. def toString(): String
    Definition Classes
    AnyRef → Any
  38. def unary_-: Seq[LinearCombination]
  39. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  40. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  41. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])

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