Packages

c

ap.parser.IExpression

RichITermSeq

class RichITermSeq extends AnyRef

Various functions to work with vectors of terms

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

Instance Constructors

  1. new RichITermSeq(terms: Seq[ITerm])

Value Members

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

    Component-wise multiplication

  4. def ***(that: Seq[ITerm]): Seq[ITerm]

    Component-wise multiplication

  5. def *:*(that: Seq[ITerm]): ITerm

    The dot-product of two vectors

  6. def +++(that: ITerm): Seq[ITerm]

    Component-wise addition

  7. def +++(that: Seq[ITerm]): Seq[ITerm]

    Component-wise addition

  8. def ---(that: ITerm): Seq[ITerm]

    Component-wise subtraction

  9. def ---(that: Seq[ITerm]): Seq[ITerm]

    Component-wise subtraction

  10. def <(that: ITerm): IFormula
  11. def <(that: Seq[ITerm]): IFormula
  12. def <=(that: ITerm): IFormula
  13. def <=(that: Seq[ITerm]): IFormula
  14. def =/=(that: ITerm): IFormula

    Negated equation a vector and a term

  15. def =/=(that: Seq[ITerm]): IFormula

    Negated equation between two vectors

  16. def =/=/=(that: ITerm): IFormula

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

  17. def =/=/=(that: Seq[ITerm]): IFormula

    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: ITerm): IFormula
  20. def ===(that: Seq[ITerm]): IFormula
  21. def >(that: ITerm): IFormula
  22. def >(that: Seq[ITerm]): IFormula
  23. def >=(that: ITerm): IFormula
  24. def >=(that: Seq[ITerm]): IFormula
  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. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  36. def toString(): String
    Definition Classes
    AnyRef → Any
  37. def unary_-: Seq[ITerm]
  38. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  39. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  40. 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