Class

ap.parser.IExpression

RichITermSeq

Related Doc: package IExpression

Permalink

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

Instance Constructors

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

    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: ITerm): Seq[ITerm]

    Permalink

    Component-wise multiplication

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

    Permalink

    Component-wise multiplication

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

    Permalink

    The dot-product of two vectors

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

    Permalink

    Component-wise addition

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

    Permalink

    Component-wise addition

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

    Permalink

    Component-wise subtraction

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

    Permalink

    Component-wise subtraction

  10. def <(that: ITerm): IFormula

    Permalink
  11. def <(that: Seq[ITerm]): IFormula

    Permalink
  12. def <=(that: ITerm): IFormula

    Permalink
  13. def <=(that: Seq[ITerm]): IFormula

    Permalink
  14. def =/=(that: ITerm): IFormula

    Permalink

    Negated equation a vector and a term

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

    Permalink

    Negated equation between two vectors

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

    Permalink

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

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

    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: ITerm): IFormula

    Permalink
  20. def ===(that: Seq[ITerm]): IFormula

    Permalink
  21. def >(that: ITerm): IFormula

    Permalink
  22. def >(that: Seq[ITerm]): IFormula

    Permalink
  23. def >=(that: ITerm): IFormula

    Permalink
  24. def >=(that: Seq[ITerm]): IFormula

    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. final def synchronized[T0](arg0: ⇒ T0): T0

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

    Permalink
    Definition Classes
    AnyRef → Any
  38. def unary_-: Seq[ITerm]

    Permalink
  39. final def wait(): Unit

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

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

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

Inherited from AnyRef

Inherited from Any

Ungrouped