Class

ap.terfor

RichLinearCombinationSeq

Related Doc: package terfor

Permalink

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

Instance Constructors

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

    Permalink

Value Members

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

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

    Permalink
    Definition Classes
    AnyRef → Any
  3. def ***(that: Term): Seq[LinearCombination]

    Permalink
  4. def ***(that: Seq[Term]): Seq[LinearCombination]

    Permalink
  5. def *:*(that: Seq[Term]): LinearCombination

    Permalink

    The dot-product of two vectors

  6. def +++(that: Term): Seq[LinearCombination]

    Permalink
  7. def +++(that: Seq[Term]): Seq[LinearCombination]

    Permalink
  8. def ---(that: Term): Seq[LinearCombination]

    Permalink
  9. def ---(that: Seq[Term]): Seq[LinearCombination]

    Permalink
  10. def <(that: Term): InEqConj

    Permalink
  11. def <(that: Seq[Term]): InEqConj

    Permalink
  12. def <=(that: Term): InEqConj

    Permalink
  13. def <=(that: Seq[Term]): InEqConj

    Permalink
  14. def =/=(that: Term): Conjunction

    Permalink

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

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

    Permalink

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

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

    Permalink

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

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

    Permalink

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

  18. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  19. def ===(that: Term): EquationConj

    Permalink

    Component-wise equation

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

    Permalink

    Equation of two vectors

  21. def >(that: Term): InEqConj

    Permalink
  22. def >(that: Seq[Term]): InEqConj

    Permalink
  23. def >=(that: Term): InEqConj

    Permalink
  24. def >=(that: Seq[Term]): InEqConj

    Permalink
  25. final def asInstanceOf[T0]: T0

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

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  27. final def eq(arg0: AnyRef): Boolean

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

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

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

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

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

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

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

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

    Permalink
    Definition Classes
    AnyRef
  36. implicit val o: TermOrder

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

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

    Permalink
    Definition Classes
    AnyRef → Any
  39. def unary_-: Seq[LinearCombination]

    Permalink
  40. final def wait(): Unit

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

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

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

Inherited from AnyRef

Inherited from Any

Ungrouped