Class/Object

at.logic.gapt.expr.hol.unification

Vector

Related Docs: object Vector | package unification

Permalink

class Vector extends AnyRef

Linear Supertypes
AnyRef, Any
Type Hierarchy Learn more about scaladoc diagrams
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Vector
  2. AnyRef
  3. Any
Implicitly
  1. by any2stringadd
  2. by StringFormat
  3. by Ensuring
  4. by ArrowAssoc
  1. Hide All
  2. Show all
Visibility
  1. Public
  2. All

Instance Constructors

  1. new Vector(vector: List[Int])

    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 *(s: Int): Vector

    Permalink
  4. def *(v: Vector): Int

    Permalink
  5. def +(v: Vector): Vector

    Permalink
  6. def -(v: Vector): Vector

    Permalink
  7. def ->[B](y: B): (Vector, B)

    Permalink
    Implicit information
    This member is added by an implicit conversion from Vector to ArrowAssoc[Vector] performed by method ArrowAssoc in scala.Predef.
    Definition Classes
    ArrowAssoc
    Annotations
    @inline()
  8. def <(v: Vector): Boolean

    Permalink
  9. def <=(v: Vector): Boolean

    Permalink
  10. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  11. def >(v: Vector): Boolean

    Permalink
  12. def >=(v: Vector): Boolean

    Permalink
  13. def allgreatereqzero: Boolean

    Permalink
  14. def allgreaterzero: Boolean

    Permalink
  15. def anyeqzero: Boolean

    Permalink
  16. def anyless(v: Vector): Boolean

    Permalink
  17. def anylesseqzero: Boolean

    Permalink
  18. def anylesszero: Boolean

    Permalink
  19. def apply(v: List[Int]): Vector

    Permalink
  20. def apply(v: Int*): Vector

    Permalink
  21. final def asInstanceOf[T0]: T0

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

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  23. def ensuring(cond: (Vector) ⇒ Boolean, msg: ⇒ Any): Vector

    Permalink
    Implicit information
    This member is added by an implicit conversion from Vector to Ensuring[Vector] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  24. def ensuring(cond: (Vector) ⇒ Boolean): Vector

    Permalink
    Implicit information
    This member is added by an implicit conversion from Vector to Ensuring[Vector] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  25. def ensuring(cond: Boolean, msg: ⇒ Any): Vector

    Permalink
    Implicit information
    This member is added by an implicit conversion from Vector to Ensuring[Vector] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  26. def ensuring(cond: Boolean): Vector

    Permalink
    Implicit information
    This member is added by an implicit conversion from Vector to Ensuring[Vector] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  27. final def eq(arg0: AnyRef): Boolean

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

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

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  30. def formatted(fmtstr: String): String

    Permalink
    Implicit information
    This member is added by an implicit conversion from Vector to StringFormat[Vector] performed by method StringFormat in scala.Predef.
    Definition Classes
    StringFormat
    Annotations
    @inline()
  31. final def getClass(): Class[_]

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

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

    Permalink
    Definition Classes
    Any
  34. def length: Int

    Permalink
  35. def lex_<(v: Vector): Boolean

    Permalink
  36. def mapVectors[A](fun: (Int, Int) ⇒ A, x: List[Int], y: List[Int]): List[A]

    Permalink
  37. final def ne(arg0: AnyRef): Boolean

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

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

    Permalink
    Definition Classes
    AnyRef
  40. def reducedAgainst(y: Vector): (Boolean, Vector)

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

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

    Permalink
    Definition Classes
    Vector → AnyRef → Any
  43. def unapply: List[Int]

    Permalink
  44. val vector: List[Int]

    Permalink
  45. final def wait(): Unit

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

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  48. def zero: Vector

    Permalink
  49. def [B](y: B): (Vector, B)

    Permalink
    Implicit information
    This member is added by an implicit conversion from Vector to ArrowAssoc[Vector] performed by method ArrowAssoc in scala.Predef.
    Definition Classes
    ArrowAssoc

Shadowed Implicit Value Members

  1. def +(other: String): String

    Permalink
    Implicit information
    This member is added by an implicit conversion from Vector to any2stringadd[Vector] performed by method any2stringadd in scala.Predef.
    Shadowing
    This implicitly inherited member is shadowed by one or more members in this class.
    To access this member you can use a type ascription:
    (vector: any2stringadd[Vector]).+(other)
    Definition Classes
    any2stringadd

Inherited from AnyRef

Inherited from Any

Inherited by implicit conversion any2stringadd from Vector to any2stringadd[Vector]

Inherited by implicit conversion StringFormat from Vector to StringFormat[Vector]

Inherited by implicit conversion Ensuring from Vector to Ensuring[Vector]

Inherited by implicit conversion ArrowAssoc from Vector to ArrowAssoc[Vector]

Ungrouped