jp.kobe_u.copris

Vec

case class Vec (xs: Seq[Term]) extends Iterable[Term] with Product with Serializable

Case class for vectors of terms. Companion object provies other factory methods.

Linear Supertypes
Serializable, Serializable, Product, Iterable[Term], IterableLike[Term, Iterable[Term]], Equals, GenIterable[Term], GenIterableLike[Term, Iterable[Term]], Traversable[Term], GenTraversable[Term], GenericTraversableTemplate[Term, Iterable], TraversableLike[Term, Iterable[Term]], GenTraversableLike[Term, Iterable[Term]], Parallelizable[Term, ParIterable[Term]], TraversableOnce[Term], GenTraversableOnce[Term], FilterMonadic[Term, Iterable[Term]], HasNewBuilder[Term, Iterable[Term]], AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Hide All
  2. Show all
  1. Vec
  2. Serializable
  3. Serializable
  4. Product
  5. Iterable
  6. IterableLike
  7. Equals
  8. GenIterable
  9. GenIterableLike
  10. Traversable
  11. GenTraversable
  12. GenericTraversableTemplate
  13. TraversableLike
  14. GenTraversableLike
  15. Parallelizable
  16. TraversableOnce
  17. GenTraversableOnce
  18. FilterMonadic
  19. HasNewBuilder
  20. AnyRef
  21. Any
Visibility
  1. Public
  2. All

Instance Constructors

  1. new Vec (xs: Seq[Term])

Type Members

  1. type Self = Iterable[Term]

    Attributes
    protected
    Definition Classes
    TraversableLike

Value Members

  1. def != (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef
  2. def != (arg0: Any): Boolean

    Attributes
    final
    Definition Classes
    Any
  3. def ## (): Int

    Attributes
    final
    Definition Classes
    AnyRef → Any
  4. def % (x: Int): Vec

    Applies Mod of the integer for each element

  5. def % (x: Term): Vec

    Applies Mod of the term for each element

  6. def % (that: Vec): Vec

    Element-wise remainder of vectors (see Mod)

  7. def * (x: Int): Vec

    Applies Mul of the integer for each element

  8. def * (x: Term): Vec

    Applies Mul of the term for each element

  9. def * (that: Vec): Vec

    Element-wise multiplication of vectors (see Mul)

  10. def *+ (that: Vec): Add

    Returns dot product of vectors

  11. def + (x: Int): Vec

    Applies Add of the integer for each element

  12. def + (x: Term): Vec

    Applies Add of the term for each element

  13. def + (that: Vec): Vec

    Element-wise addition of vectors (see Add)

  14. def ++ (v: Vec): Vec

    Concatenates vectors

  15. def ++ [B >: Term, That] (that: TraversableOnce[B])(implicit bf: CanBuildFrom[Iterable[Term], B, That]): That

    Definition Classes
    TraversableLike
    Annotations
    @bridge()
  16. def ++ [B >: Term, That] (that: GenTraversableOnce[B])(implicit bf: CanBuildFrom[Iterable[Term], B, That]): That

    Definition Classes
    TraversableLike → GenTraversableLike
  17. def ++: [B >: Term, That] (that: Traversable[B])(implicit bf: CanBuildFrom[Iterable[Term], B, That]): That

    Definition Classes
    TraversableLike
  18. def ++: [B >: Term, That] (that: TraversableOnce[B])(implicit bf: CanBuildFrom[Iterable[Term], B, That]): That

    Definition Classes
    TraversableLike
  19. def - (x: Int): Vec

    Applies Sub of the integer for each element

  20. def - (x: Term): Vec

    Applies Sub of the term for each element

  21. def - (that: Vec): Vec

    Element-wise subtraction of vectors (see Sub)

  22. def / (x: Int): Vec

    Applies Div of the integer for each element

  23. def / (x: Term): Vec

    Applies Div of the term for each element

  24. def / (that: Vec): Vec

    Element-wise division of vectors (see Div)

  25. def /: [B] (z: B)(op: (B, Term) ⇒ B): B

    Definition Classes
    TraversableOnce → GenTraversableOnce
  26. def /:\ [A1 >: Term] (z: A1)(op: (A1, A1) ⇒ A1): A1

    Definition Classes
    GenTraversableOnce
  27. def :\ [B] (z: B)(op: (Term, B) ⇒ B): B

    Definition Classes
    TraversableOnce → GenTraversableOnce
  28. def == (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef
  29. def == (arg0: Any): Boolean

    Attributes
    final
    Definition Classes
    Any
  30. def addString (b: StringBuilder): StringBuilder

    Definition Classes
    TraversableOnce
  31. def addString (b: StringBuilder, sep: String): StringBuilder

    Definition Classes
    TraversableOnce
  32. def addString (b: StringBuilder, start: String, sep: String, end: String): StringBuilder

    Definition Classes
    TraversableOnce
  33. def aggregate [B] (z: B)(seqop: (B, Term) ⇒ B, combop: (B, B) ⇒ B): B

    Definition Classes
    TraversableOnce → GenTraversableOnce
  34. def apply (i: Int): Term

    Returns the i-th element

  35. def asInstanceOf [T0] : T0

    Attributes
    final
    Definition Classes
    Any
  36. def canEqual (that: Any): Boolean

    Definition Classes
    IterableLike → Equals
  37. def clone (): AnyRef

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()
  38. def collect [B, That] (pf: PartialFunction[Term, B])(implicit bf: CanBuildFrom[Iterable[Term], B, That]): That

    Definition Classes
    TraversableLike → GenTraversableLike
  39. def collectFirst [B] (pf: PartialFunction[Term, B]): Option[B]

    Definition Classes
    TraversableOnce
  40. def companion : GenericCompanion[Iterable]

    Definition Classes
    Iterable → GenIterable → Traversable → GenTraversable → GenericTraversableTemplate
  41. def copyToArray [B >: Term] (xs: Array[B], start: Int, len: Int): Unit

    Definition Classes
    IterableLike → TraversableLike → TraversableOnce → GenTraversableOnce
  42. def copyToArray [B >: Term] (xs: Array[B]): Unit

    Definition Classes
    TraversableOnce → GenTraversableOnce
  43. def copyToArray [B >: Term] (xs: Array[B], start: Int): Unit

    Definition Classes
    TraversableOnce → GenTraversableOnce
  44. def copyToBuffer [B >: Term] (dest: Buffer[B]): Unit

    Definition Classes
    TraversableOnce
  45. def count (p: (Term) ⇒ Boolean): Int

    Definition Classes
    TraversableOnce → GenTraversableOnce
  46. def dot (that: Vec): Add

    Returns dot product of vectors

  47. def drop (n: Int): Iterable[Term]

    Definition Classes
    IterableLike → TraversableLike → GenTraversableLike
  48. def dropRight (n: Int): Iterable[Term]

    Definition Classes
    IterableLike
  49. def dropWhile (p: (Term) ⇒ Boolean): Iterable[Term]

    Definition Classes
    TraversableLike → GenTraversableLike
  50. def dup (n: Int): Vec

    Duplicates the vector n times

  51. def eq (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef
  52. def equals (arg0: Any): Boolean

    Definition Classes
    Vec → Equals → AnyRef → Any
  53. def exists (p: (Term) ⇒ Boolean): Boolean

    Definition Classes
    IterableLike → TraversableLike → TraversableOnce → GenTraversableOnce
  54. def filter (p: (Term) ⇒ Boolean): Iterable[Term]

    Definition Classes
    TraversableLike → GenTraversableLike
  55. def filterNot (p: (Term) ⇒ Boolean): Iterable[Term]

    Definition Classes
    TraversableLike → GenTraversableLike
  56. def finalize (): Unit

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()
  57. def find (p: (Term) ⇒ Boolean): Option[Term]

    Definition Classes
    IterableLike → TraversableLike → TraversableOnce → GenTraversableOnce
  58. def flatMap [B, That] (f: (Term) ⇒ GenTraversableOnce[B])(implicit bf: CanBuildFrom[Iterable[Term], B, That]): That

    Definition Classes
    TraversableLike → GenTraversableLike → FilterMonadic
  59. def flatten [B] (implicit asTraversable: (Term) ⇒ TraversableOnce[B]): Traversable[B]

    Definition Classes
    Traversable → GenericTraversableTemplate
    Annotations
    @bridge()
  60. def fold [A1 >: Term] (z: A1)(op: (A1, A1) ⇒ A1): A1

    Definition Classes
    TraversableOnce → GenTraversableOnce
  61. def foldLeft [B] (z: B)(op: (B, Term) ⇒ B): B

    Definition Classes
    TraversableOnce → GenTraversableOnce
  62. def foldRight [B] (z: B)(op: (Term, B) ⇒ B): B

    Definition Classes
    IterableLike → TraversableOnce → GenTraversableOnce
  63. def forall (p: (Term) ⇒ Boolean): Boolean

    Definition Classes
    IterableLike → TraversableLike → TraversableOnce → GenTraversableOnce
  64. def foreach [U] (f: (Term) ⇒ U): Unit

    Definition Classes
    IterableLike → TraversableLike → GenTraversableLike → TraversableOnce → GenTraversableOnce → FilterMonadic
  65. def genericBuilder [B] : Builder[B, Iterable[B]]

    Definition Classes
    GenericTraversableTemplate
  66. def getClass (): java.lang.Class[_]

    Attributes
    final
    Definition Classes
    AnyRef
  67. def groupBy [K] (f: (Term) ⇒ K): Map[K, Iterable[Term]]

    Definition Classes
    TraversableLike → GenTraversableLike
  68. def grouped (size: Int): Iterator[Iterable[Term]]

    Definition Classes
    IterableLike
  69. def hasDefiniteSize : Boolean

    Definition Classes
    TraversableLike → TraversableOnce → GenTraversableOnce
  70. def hashCode (): Int

    Definition Classes
    Vec → AnyRef → Any
  71. def head : Term

    Definition Classes
    IterableLike → GenIterableLike → TraversableLike → GenTraversableLike
  72. def headOption : Option[Term]

    Definition Classes
    TraversableLike
  73. def init : Iterable[Term]

    Definition Classes
    TraversableLike
  74. def inits : Iterator[Iterable[Term]]

    Definition Classes
    TraversableLike
  75. def isEmpty : Boolean

    Definition Classes
    IterableLike → GenIterableLike → TraversableLike → TraversableOnce → GenTraversableOnce
  76. def isInstanceOf [T0] : Boolean

    Attributes
    final
    Definition Classes
    Any
  77. def isTraversableAgain : Boolean

    Attributes
    final
    Definition Classes
    GenTraversableLike → GenTraversableOnce
  78. def iterator : Iterator[Term]

    Returns the iterator of elements

    Returns the iterator of elements

    Definition Classes
    Vec → IterableLike → GenIterableLike
  79. def last : Term

    Definition Classes
    TraversableLike
  80. def lastOption : Option[Term]

    Definition Classes
    TraversableLike
  81. def map [B, That] (f: (Term) ⇒ B)(implicit bf: CanBuildFrom[Iterable[Term], B, That]): That

    Definition Classes
    TraversableLike → GenTraversableLike → FilterMonadic
  82. def max : Max

    Returns Max of all elements

  83. def max (x: Int): Vec

    Applies Max of the integer for each element

  84. def max (x: Term): Vec

    Applies Max of the term for each element

  85. def max (that: Vec): Vec

    Element-wise max of vectors (see Max)

  86. def max [B >: Term] (implicit cmp: Ordering[B]): Term

    Definition Classes
    TraversableOnce → GenTraversableOnce
  87. def maxBy [B] (f: (Term) ⇒ B)(implicit cmp: Ordering[B]): Term

    Definition Classes
    TraversableOnce → GenTraversableOnce
  88. def min : Min

    Returns Min of all elements

  89. def min (x: Int): Vec

    Applies Min of the integer for each element

  90. def min (x: Term): Vec

    Applies Min of the term for each element

  91. def min (that: Vec): Vec

    Element-wise min of vectors (see Min)

  92. def min [B >: Term] (implicit cmp: Ordering[B]): Term

    Definition Classes
    TraversableOnce → GenTraversableOnce
  93. def minBy [B] (f: (Term) ⇒ B)(implicit cmp: Ordering[B]): Term

    Definition Classes
    TraversableOnce → GenTraversableOnce
  94. def mkString : String

    Definition Classes
    TraversableOnce → GenTraversableOnce
  95. def mkString (sep: String): String

    Definition Classes
    TraversableOnce → GenTraversableOnce
  96. def mkString (start: String, sep: String, end: String): String

    Definition Classes
    TraversableOnce → GenTraversableOnce
  97. def ne (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef
  98. def newBuilder : Builder[Term, Iterable[Term]]

    Attributes
    protected[this]
    Definition Classes
    GenericTraversableTemplate → HasNewBuilder
  99. def nonEmpty : Boolean

    Definition Classes
    TraversableOnce → GenTraversableOnce
  100. def notify (): Unit

    Attributes
    final
    Definition Classes
    AnyRef
  101. def notifyAll (): Unit

    Attributes
    final
    Definition Classes
    AnyRef
  102. def par : ParIterable[Term]

    Definition Classes
    Parallelizable
  103. def parCombiner : Combiner[Term, ParIterable[Term]]

    Attributes
    protected[this]
    Definition Classes
    TraversableLike → Parallelizable
  104. def partition (p: (Term) ⇒ Boolean): (Iterable[Term], Iterable[Term])

    Definition Classes
    TraversableLike → GenTraversableLike
  105. def prod : Mul

    Returns Mul of all elements

  106. def product [B >: Term] (implicit num: Numeric[B]): B

    Definition Classes
    TraversableOnce → GenTraversableOnce
  107. def productArity : Int

    Definition Classes
    Vec → Product
  108. def productElement (arg0: Int): Any

    Definition Classes
    Vec → Product
  109. def productIterator : Iterator[Any]

    Definition Classes
    Product
  110. def productPrefix : String

    Definition Classes
    Vec → Product
  111. def reduce [A1 >: Term] (op: (A1, A1) ⇒ A1): A1

    Definition Classes
    TraversableOnce → GenTraversableOnce
  112. def reduceLeft [B >: Term] (op: (B, Term) ⇒ B): B

    Definition Classes
    TraversableOnce
  113. def reduceLeftOption [B >: Term] (op: (B, Term) ⇒ B): Option[B]

    Definition Classes
    TraversableOnce → GenTraversableOnce
  114. def reduceOption [A1 >: Term] (op: (A1, A1) ⇒ A1): Option[A1]

    Definition Classes
    TraversableOnce → GenTraversableOnce
  115. def reduceRight [B >: Term] (op: (Term, B) ⇒ B): B

    Definition Classes
    IterableLike → TraversableOnce → GenTraversableOnce
  116. def reduceRightOption [B >: Term] (op: (Term, B) ⇒ B): Option[B]

    Definition Classes
    TraversableOnce → GenTraversableOnce
  117. def repr : Iterable[Term]

    Definition Classes
    TraversableLike → GenTraversableLike
  118. def reversed : List[Term]

    Attributes
    protected[this]
    Definition Classes
    TraversableOnce
  119. def sameElements [B >: Term] (that: Iterable[B]): Boolean

    Definition Classes
    IterableLike
    Annotations
    @bridge()
  120. def sameElements [B >: Term] (that: GenIterable[B]): Boolean

    Definition Classes
    IterableLike → GenIterableLike
  121. def scan [B >: Term, That] (z: B)(op: (B, B) ⇒ B)(implicit cbf: CanBuildFrom[Iterable[Term], B, That]): That

    Definition Classes
    TraversableLike → GenTraversableLike
  122. def scanLeft [B, That] (z: B)(op: (B, Term) ⇒ B)(implicit bf: CanBuildFrom[Iterable[Term], B, That]): That

    Definition Classes
    TraversableLike → GenTraversableLike
  123. def scanRight [B, That] (z: B)(op: (Term, B) ⇒ B)(implicit bf: CanBuildFrom[Iterable[Term], B, That]): That

    Definition Classes
    TraversableLike → GenTraversableLike
    Annotations
    @migration
    Migration

  124. def seq : Iterable[Term]

    Definition Classes
    Iterable → GenIterable → Traversable → GenTraversable → Parallelizable → TraversableOnce → GenTraversableOnce
  125. def size : Int

    Definition Classes
    TraversableOnce → GenTraversableOnce
  126. def slice (from: Int, until: Int): Iterable[Term]

    Definition Classes
    IterableLike → TraversableLike → GenTraversableLike
  127. def sliding [B >: Term] (size: Int, step: Int): Iterator[Iterable[Term]]

    Definition Classes
    IterableLike
  128. def sliding [B >: Term] (size: Int): Iterator[Iterable[Term]]

    Definition Classes
    IterableLike
  129. def span (p: (Term) ⇒ Boolean): (Iterable[Term], Iterable[Term])

    Definition Classes
    TraversableLike → GenTraversableLike
  130. def splitAt (n: Int): (Iterable[Term], Iterable[Term])

    Definition Classes
    TraversableLike → GenTraversableLike
  131. def stringPrefix : String

    Definition Classes
    TraversableLike → GenTraversableLike
  132. def sum : Add

    Returns Add of all elements

  133. def sum [B >: Term] (implicit num: Numeric[B]): B

    Definition Classes
    TraversableOnce → GenTraversableOnce
  134. def synchronized [T0] (arg0: ⇒ T0): T0

    Attributes
    final
    Definition Classes
    AnyRef
  135. def tail : Iterable[Term]

    Definition Classes
    TraversableLike → GenTraversableLike
  136. def tails : Iterator[Iterable[Term]]

    Definition Classes
    TraversableLike
  137. def take (n: Int): Iterable[Term]

    Definition Classes
    IterableLike → TraversableLike → GenTraversableLike
  138. def takeRight (n: Int): Iterable[Term]

    Definition Classes
    IterableLike
  139. def takeWhile (p: (Term) ⇒ Boolean): Iterable[Term]

    Definition Classes
    IterableLike → TraversableLike → GenTraversableLike
  140. def thisCollection : Iterable[Term]

    Attributes
    protected[this]
    Definition Classes
    IterableLike → TraversableLike
  141. def toArray [B >: Term] (implicit arg0: ClassManifest[B]): Array[B]

    Definition Classes
    TraversableOnce → GenTraversableOnce
  142. def toBuffer [B >: Term] : Buffer[B]

    Definition Classes
    TraversableOnce → GenTraversableOnce
  143. def toCollection (repr: Iterable[Term]): Iterable[Term]

    Attributes
    protected[this]
    Definition Classes
    IterableLike → TraversableLike
  144. def toIndexedSeq [B >: Term] : IndexedSeq[B]

    Definition Classes
    TraversableOnce → GenTraversableOnce
  145. def toIterable : Iterable[Term]

    Definition Classes
    IterableLike → TraversableOnce → GenTraversableOnce
  146. def toIterator : Iterator[Term]

    Definition Classes
    TraversableLike → GenTraversableOnce
  147. def toList : List[Term]

    Definition Classes
    TraversableOnce → GenTraversableOnce
  148. def toMap [T, U] (implicit ev: <:<[Term, (T, U)]): Map[T, U]

    Definition Classes
    TraversableOnce → GenTraversableOnce
  149. def toSeq : Seq[Term]

    Converts to the sequence of terms

    Converts to the sequence of terms

    Definition Classes
    Vec → TraversableOnce → GenTraversableOnce
  150. def toSet [B >: Term] : Set[B]

    Definition Classes
    TraversableOnce → GenTraversableOnce
  151. def toStream : Stream[Term]

    Definition Classes
    IterableLike → TraversableLike → GenTraversableOnce
  152. def toString (): String

    Definition Classes
    TraversableLike → AnyRef → Any
  153. def toTraversable : Traversable[Term]

    Definition Classes
    TraversableLike → TraversableOnce → GenTraversableOnce
  154. def transpose [B] (implicit asTraversable: (Term) ⇒ TraversableOnce[B]): Traversable[Traversable[B]]

    Definition Classes
    Traversable → GenericTraversableTemplate
    Annotations
    @bridge()
  155. def unary_- : Vec

    Negates the element terms (see Neg)

  156. def unzip [A1, A2] (implicit asPair: (Term) ⇒ (A1, A2)): (Iterable[A1], Iterable[A2])

    Definition Classes
    GenericTraversableTemplate
  157. def unzip3 [A1, A2, A3] (implicit asTriple: (Term) ⇒ (A1, A2, A3)): (Iterable[A1], Iterable[A2], Iterable[A3])

    Definition Classes
    GenericTraversableTemplate
  158. def view (from: Int, until: Int): IterableView[Term, Iterable[Term]]

    Definition Classes
    IterableLike → TraversableLike
  159. def view : IterableView[Term, Iterable[Term]]

    Definition Classes
    IterableLike → TraversableLike
  160. def wait (): Unit

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

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

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()
  163. def withFilter (p: (Term) ⇒ Boolean): FilterMonadic[Term, Iterable[Term]]

    Definition Classes
    TraversableLike → FilterMonadic
  164. val xs : Seq[Term]

  165. def zip [A1 >: Term, B, That] (that: Iterable[B])(implicit bf: CanBuildFrom[Iterable[Term], (A1, B), That]): That

    Definition Classes
    IterableLike
    Annotations
    @bridge()
  166. def zip [A1 >: Term, B, That] (that: GenIterable[B])(implicit bf: CanBuildFrom[Iterable[Term], (A1, B), That]): That

    Definition Classes
    IterableLike → GenIterableLike
  167. def zipAll [B, A1 >: Term, That] (that: Iterable[B], thisElem: A1, thatElem: B)(implicit bf: CanBuildFrom[Iterable[Term], (A1, B), That]): That

    Definition Classes
    IterableLike
    Annotations
    @bridge()
  168. def zipAll [B, A1 >: Term, That] (that: GenIterable[B], thisElem: A1, thatElem: B)(implicit bf: CanBuildFrom[Iterable[Term], (A1, B), That]): That

    Definition Classes
    IterableLike → GenIterableLike
  169. def zipWithIndex [A1 >: Term, That] (implicit bf: CanBuildFrom[Iterable[Term], (A1, Int), That]): That

    Definition Classes
    IterableLike → GenIterableLike
  170. def elements : Iterator[Term]

    Definition Classes
    IterableLike
    Annotations
    @deprecated
    Deprecated

    use iterator' instead

  171. def first : Term

    Definition Classes
    IterableLike
    Annotations
    @deprecated
    Deprecated

    use head' instead

  172. def firstOption : Option[Term]

    Definition Classes
    IterableLike
    Annotations
    @deprecated
    Deprecated

    use headOption' instead

  173. def productElements : Iterator[Any]

    Definition Classes
    Product
    Annotations
    @deprecated
    Deprecated

    use productIterator instead

  174. def projection : IterableView[Term, Iterable[Term]]

    Definition Classes
    IterableLike
    Annotations
    @deprecated
    Deprecated

    use view' instead

Inherited from Serializable

Inherited from Serializable

Inherited from Product

Inherited from Iterable[Term]

Inherited from IterableLike[Term, Iterable[Term]]

Inherited from Equals

Inherited from GenIterable[Term]

Inherited from GenIterableLike[Term, Iterable[Term]]

Inherited from Traversable[Term]

Inherited from GenTraversable[Term]

Inherited from GenericTraversableTemplate[Term, Iterable]

Inherited from TraversableLike[Term, Iterable[Term]]

Inherited from GenTraversableLike[Term, Iterable[Term]]

Inherited from Parallelizable[Term, ParIterable[Term]]

Inherited from TraversableOnce[Term]

Inherited from GenTraversableOnce[Term]

Inherited from FilterMonadic[Term, Iterable[Term]]

Inherited from HasNewBuilder[Term, Iterable[Term]]

Inherited from AnyRef

Inherited from Any