at.logic.skeptik.expression.substitution.immutable

Substitution

class Substitution extends AbstractSubstitution with Map[Var, E] with MapLike[Var, E, Substitution]

Attributes
final
Linear Supertypes
Map[Var, E], MapLike[Var, E, Substitution], Map[Var, E], MapLike[Var, E, Substitution], Subtractable[Var, Substitution], PartialFunction[Var, E], (Var) ⇒ E, GenMap[Var, E], GenMapLike[Var, E, Substitution], Iterable[(Var, E)], Iterable[(Var, E)], IterableLike[(Var, E), Substitution], Equals, GenIterable[(Var, E)], GenIterableLike[(Var, E), Substitution], Traversable[(Var, E)], Immutable, Traversable[(Var, E)], GenTraversable[(Var, E)], GenericTraversableTemplate[(Var, E), Iterable], TraversableLike[(Var, E), Substitution], GenTraversableLike[(Var, E), Substitution], Parallelizable[(Var, E), ParMap[Var, E]], TraversableOnce[(Var, E)], GenTraversableOnce[(Var, E)], FilterMonadic[(Var, E), Substitution], HasNewBuilder[(Var, E), Substitution], AbstractSubstitution, AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Hide All
  2. Show all
  1. Substitution
  2. Map
  3. MapLike
  4. Map
  5. MapLike
  6. Subtractable
  7. PartialFunction
  8. Function1
  9. GenMap
  10. GenMapLike
  11. Iterable
  12. Iterable
  13. IterableLike
  14. Equals
  15. GenIterable
  16. GenIterableLike
  17. Traversable
  18. Immutable
  19. Traversable
  20. GenTraversable
  21. GenericTraversableTemplate
  22. TraversableLike
  23. GenTraversableLike
  24. Parallelizable
  25. TraversableOnce
  26. GenTraversableOnce
  27. FilterMonadic
  28. HasNewBuilder
  29. AbstractSubstitution
  30. AnyRef
  31. Any
Visibility
  1. Public
  2. All

Instance Constructors

  1. new Substitution (m: Map[Var, E])

Type Members

  1. type Self = Substitution

    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 + [B >: E] (kv: (Var, B)): Map[Var, B]

    Definition Classes
    Substitution → Map → MapLike → MapLike → GenMapLike

  5. def + [B1 >: E] (elem1: (Var, B1), elem2: (Var, B1), elems: (Var, B1)*): Map[Var, B1]

    Definition Classes
    MapLike → MapLike

  6. def ++ [B1 >: E] (xs: TraversableOnce[(Var, B1)]): Map[Var, B1]

    Definition Classes
    MapLike → MapLike
    Annotations
    @bridge()

  7. def ++ [B1 >: E] (xs: GenTraversableOnce[(Var, B1)]): Map[Var, B1]

    Definition Classes
    MapLike → MapLike

  8. def ++ [B >: (Var, E), That] (that: TraversableOnce[B])(implicit bf: CanBuildFrom[Substitution, B, That]): That

    Definition Classes
    TraversableLike
    Annotations
    @bridge()

  9. def ++ [B >: (Var, E), That] (that: GenTraversableOnce[B])(implicit bf: CanBuildFrom[Substitution, B, That]): That

    Definition Classes
    TraversableLike → GenTraversableLike

  10. def ++: [B >: (Var, E), That] (that: Traversable[B])(implicit bf: CanBuildFrom[Substitution, B, That]): That

    Definition Classes
    TraversableLike

  11. def ++: [B >: (Var, E), That] (that: TraversableOnce[B])(implicit bf: CanBuildFrom[Substitution, B, That]): That

    Definition Classes
    TraversableLike

  12. def - (key: Var): Substitution

    Definition Classes
    Substitution → MapLike → Subtractable → GenMapLike

  13. def - (elem1: Var, elem2: Var, elems: Var*): Substitution

    Definition Classes
    Subtractable

  14. def -- (xs: TraversableOnce[Var]): Substitution

    Definition Classes
    Subtractable
    Annotations
    @bridge()

  15. def -- (xs: GenTraversableOnce[Var]): Substitution

    Definition Classes
    Subtractable

  16. def /: [B] (z: B)(op: (B, (Var, E)) ⇒ B): B

    Definition Classes
    TraversableOnce → GenTraversableOnce

  17. def /:\ [A1 >: (Var, E)] (z: A1)(op: (A1, A1) ⇒ A1): A1

    Definition Classes
    GenTraversableOnce

  18. def :\ [B] (z: B)(op: ((Var, E), B) ⇒ B): B

    Definition Classes
    TraversableOnce → GenTraversableOnce

  19. def == (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef

  20. def == (arg0: Any): Boolean

    Attributes
    final
    Definition Classes
    Any

  21. def addString (b: StringBuilder, start: String, sep: String, end: String): StringBuilder

    Definition Classes
    MapLike → TraversableOnce

  22. def addString (b: StringBuilder): StringBuilder

    Definition Classes
    TraversableOnce

  23. def addString (b: StringBuilder, sep: String): StringBuilder

    Definition Classes
    TraversableOnce

  24. def aggregate [B] (z: B)(seqop: (B, (Var, E)) ⇒ B, combop: (B, B) ⇒ B): B

    Definition Classes
    TraversableOnce → GenTraversableOnce

  25. def andThen [C] (k: (E) ⇒ C): PartialFunction[Var, C]

    Definition Classes
    PartialFunction → Function1

  26. def apply (key: Var): E

    Definition Classes
    MapLike → GenMapLike → Function1

  27. def apply (e: E): E

    Definition Classes
    AbstractSubstitution

  28. def asInstanceOf [T0] : T0

    Attributes
    final
    Definition Classes
    Any

  29. def canEqual (that: Any): Boolean

    Definition Classes
    IterableLike → Equals

  30. def clone (): AnyRef

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()

  31. def collect [B, That] (pf: PartialFunction[(Var, E), B])(implicit bf: CanBuildFrom[Substitution, B, That]): That

    Definition Classes
    TraversableLike → GenTraversableLike

  32. def collectFirst [B] (pf: PartialFunction[(Var, E), B]): Option[B]

    Definition Classes
    TraversableOnce

  33. def companion : GenericCompanion[Iterable]

    Definition Classes
    Iterable → Iterable → GenIterable → Traversable → Traversable → GenTraversable → GenericTraversableTemplate

  34. def compose [A] (g: (A) ⇒ Var): (A) ⇒ E

    Definition Classes
    Function1

  35. def contains (key: Var): Boolean

    Definition Classes
    MapLike

  36. def copyToArray [B >: (Var, E)] (xs: Array[B], start: Int, len: Int): Unit

    Definition Classes
    IterableLike → TraversableLike → TraversableOnce → GenTraversableOnce

  37. def copyToArray [B >: (Var, E)] (xs: Array[B]): Unit

    Definition Classes
    TraversableOnce → GenTraversableOnce

  38. def copyToArray [B >: (Var, E)] (xs: Array[B], start: Int): Unit

    Definition Classes
    TraversableOnce → GenTraversableOnce

  39. def copyToBuffer [B >: (Var, E)] (dest: Buffer[B]): Unit

    Definition Classes
    TraversableOnce

  40. def count (p: ((Var, E)) ⇒ Boolean): Int

    Definition Classes
    TraversableOnce → GenTraversableOnce

  41. def default (key: Var): E

    Definition Classes
    MapLike → GenMapLike

  42. def drop (n: Int): Substitution

    Definition Classes
    IterableLike → TraversableLike → GenTraversableLike

  43. def dropRight (n: Int): Substitution

    Definition Classes
    IterableLike

  44. def dropWhile (p: ((Var, E)) ⇒ Boolean): Substitution

    Definition Classes
    TraversableLike → GenTraversableLike

  45. def empty : Substitution

    Definition Classes
    Substitution → Map → Map → MapLike

  46. def eq (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef

  47. def equals (that: Any): Boolean

    Definition Classes
    GenMapLike → Equals → AnyRef → Any

  48. def exists (p: ((Var, E)) ⇒ Boolean): Boolean

    Definition Classes
    IterableLike → TraversableLike → TraversableOnce → GenTraversableOnce

  49. def filter (p: ((Var, E)) ⇒ Boolean): Substitution

    Definition Classes
    TraversableLike → GenTraversableLike

  50. def filterKeys (p: (Var) ⇒ Boolean): Map[Var, E]

    Definition Classes
    MapLike → MapLike

  51. def filterNot (p: ((Var, E)) ⇒ Boolean): Substitution

    Definition Classes
    MapLike → TraversableLike → GenTraversableLike

  52. def finalize (): Unit

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()

  53. def find (p: ((Var, E)) ⇒ Boolean): Option[(Var, E)]

    Definition Classes
    IterableLike → TraversableLike → TraversableOnce → GenTraversableOnce

  54. def flatMap [B, That] (f: ((Var, E)) ⇒ GenTraversableOnce[B])(implicit bf: CanBuildFrom[Substitution, B, That]): That

    Definition Classes
    TraversableLike → GenTraversableLike → FilterMonadic

  55. def flatten [B] (implicit asTraversable: ((Var, E)) ⇒ TraversableOnce[B]): Traversable[B]

    Definition Classes
    Traversable → GenericTraversableTemplate
    Annotations
    @bridge()

  56. def fold [A1 >: (Var, E)] (z: A1)(op: (A1, A1) ⇒ A1): A1

    Definition Classes
    TraversableOnce → GenTraversableOnce

  57. def foldLeft [B] (z: B)(op: (B, (Var, E)) ⇒ B): B

    Definition Classes
    TraversableOnce → GenTraversableOnce

  58. def foldRight [B] (z: B)(op: ((Var, E), B) ⇒ B): B

    Definition Classes
    IterableLike → TraversableOnce → GenTraversableOnce

  59. def forall (p: ((Var, E)) ⇒ Boolean): Boolean

    Definition Classes
    IterableLike → TraversableLike → TraversableOnce → GenTraversableOnce

  60. def foreach [U] (f: ((Var, E)) ⇒ U): Unit

    Definition Classes
    IterableLike → TraversableLike → GenTraversableLike → TraversableOnce → GenTraversableOnce → FilterMonadic

  61. def genericBuilder [B] : Builder[B, Iterable[B]]

    Definition Classes
    GenericTraversableTemplate

  62. def get (key: Var): Option[E]

    Definition Classes
    Substitution → MapLike → GenMapLike

  63. def getClass (): java.lang.Class[_]

    Attributes
    final
    Definition Classes
    AnyRef → Any

  64. def getOrElse [B1 >: E] (key: Var, default: ⇒ B1): B1

    Definition Classes
    MapLike

  65. def groupBy [K] (f: ((Var, E)) ⇒ K): Map[K, Substitution]

    Definition Classes
    TraversableLike → GenTraversableLike

  66. def grouped (size: Int): Iterator[Substitution]

    Definition Classes
    IterableLike

  67. def hasDefiniteSize : Boolean

    Definition Classes
    TraversableLike → TraversableOnce → GenTraversableOnce

  68. def hashCode (): Int

    Definition Classes
    GenMapLike → AnyRef → Any

  69. def head : (Var, E)

    Definition Classes
    IterableLike → GenIterableLike → TraversableLike → GenTraversableLike

  70. def headOption : Option[(Var, E)]

    Definition Classes
    TraversableLike

  71. def init : Substitution

    Definition Classes
    TraversableLike

  72. def inits : Iterator[Substitution]

    Definition Classes
    TraversableLike

  73. def isDefinedAt (key: Var): Boolean

    Definition Classes
    MapLike → PartialFunction

  74. def isEmpty : Boolean

    Definition Classes
    MapLike → IterableLike → GenIterableLike → TraversableLike → TraversableOnce → GenTraversableOnce

  75. def isInstanceOf [T0] : Boolean

    Attributes
    final
    Definition Classes
    Any

  76. def isTraversableAgain : Boolean

    Attributes
    final
    Definition Classes
    GenTraversableLike → GenTraversableOnce

  77. def iterator : Iterator[(Var, E)]

    Definition Classes
    Substitution → MapLike → IterableLike → GenIterableLike

  78. def keySet : Set[Var]

    Definition Classes
    MapLike → MapLike

  79. def keys : Iterable[Var]

    Definition Classes
    MapLike
    Annotations
    @migration
    Migration

  80. def keysIterator : Iterator[Var]

    Definition Classes
    MapLike

  81. def last : (Var, E)

    Definition Classes
    TraversableLike

  82. def lastOption : Option[(Var, E)]

    Definition Classes
    TraversableLike

  83. def lift : (Var) ⇒ Option[E]

    Definition Classes
    PartialFunction

  84. val m : Map[Var, E]

    Attributes
    protected
    Definition Classes
    Substitution → AbstractSubstitution

  85. def map [B, That] (f: ((Var, E)) ⇒ B)(implicit bf: CanBuildFrom[Substitution, B, That]): That

    Definition Classes
    TraversableLike → GenTraversableLike → FilterMonadic

  86. def mapValues [C] (f: (E) ⇒ C): Map[Var, C]

    Definition Classes
    MapLike → MapLike

  87. def max [B >: (Var, E)] (implicit cmp: Ordering[B]): (Var, E)

    Definition Classes
    TraversableOnce → GenTraversableOnce

  88. def maxBy [B] (f: ((Var, E)) ⇒ B)(implicit cmp: Ordering[B]): (Var, E)

    Definition Classes
    TraversableOnce → GenTraversableOnce

  89. def min [B >: (Var, E)] (implicit cmp: Ordering[B]): (Var, E)

    Definition Classes
    TraversableOnce → GenTraversableOnce

  90. def minBy [B] (f: ((Var, E)) ⇒ B)(implicit cmp: Ordering[B]): (Var, E)

    Definition Classes
    TraversableOnce → GenTraversableOnce

  91. def mkString : String

    Definition Classes
    TraversableOnce → GenTraversableOnce

  92. def mkString (sep: String): String

    Definition Classes
    TraversableOnce → GenTraversableOnce

  93. def mkString (start: String, sep: String, end: String): String

    Definition Classes
    TraversableOnce → GenTraversableOnce

  94. def ne (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef

  95. def newBuilder : Builder[(Var, E), Substitution]

    Attributes
    protected[this]
    Definition Classes
    MapLike → TraversableLike → HasNewBuilder

  96. def nonEmpty : Boolean

    Definition Classes
    TraversableOnce → GenTraversableOnce

  97. def notify (): Unit

    Attributes
    final
    Definition Classes
    AnyRef

  98. def notifyAll (): Unit

    Attributes
    final
    Definition Classes
    AnyRef

  99. def orElse [A1 <: Var, B1 >: E] (that: PartialFunction[A1, B1]): PartialFunction[A1, B1]

    Definition Classes
    PartialFunction

  100. def par : ParMap[Var, E]

    Definition Classes
    Parallelizable

  101. def parCombiner : Combiner[(Var, E), ParMap[Var, E]]

    Attributes
    protected[this]
    Definition Classes
    MapLike → MapLike → TraversableLike → Parallelizable

  102. def partition (p: ((Var, E)) ⇒ Boolean): (Substitution, Substitution)

    Definition Classes
    TraversableLike → GenTraversableLike

  103. def product [B >: (Var, E)] (implicit num: Numeric[B]): B

    Definition Classes
    TraversableOnce → GenTraversableOnce

  104. def reduce [A1 >: (Var, E)] (op: (A1, A1) ⇒ A1): A1

    Definition Classes
    TraversableOnce → GenTraversableOnce

  105. def reduceLeft [B >: (Var, E)] (op: (B, (Var, E)) ⇒ B): B

    Definition Classes
    TraversableOnce

  106. def reduceLeftOption [B >: (Var, E)] (op: (B, (Var, E)) ⇒ B): Option[B]

    Definition Classes
    TraversableOnce → GenTraversableOnce

  107. def reduceOption [A1 >: (Var, E)] (op: (A1, A1) ⇒ A1): Option[A1]

    Definition Classes
    TraversableOnce → GenTraversableOnce

  108. def reduceRight [B >: (Var, E)] (op: ((Var, E), B) ⇒ B): B

    Definition Classes
    IterableLike → TraversableOnce → GenTraversableOnce

  109. def reduceRightOption [B >: (Var, E)] (op: ((Var, E), B) ⇒ B): Option[B]

    Definition Classes
    TraversableOnce → GenTraversableOnce

  110. def repr : Substitution

    Definition Classes
    TraversableLike → GenTraversableLike

  111. def reversed : List[(Var, E)]

    Attributes
    protected[this]
    Definition Classes
    TraversableOnce

  112. def sameElements [B >: (Var, E)] (that: Iterable[B]): Boolean

    Definition Classes
    IterableLike
    Annotations
    @bridge()

  113. def sameElements [B >: (Var, E)] (that: GenIterable[B]): Boolean

    Definition Classes
    IterableLike → GenIterableLike

  114. def scan [B >: (Var, E), That] (z: B)(op: (B, B) ⇒ B)(implicit cbf: CanBuildFrom[Substitution, B, That]): That

    Definition Classes
    TraversableLike → GenTraversableLike

  115. def scanLeft [B, That] (z: B)(op: (B, (Var, E)) ⇒ B)(implicit bf: CanBuildFrom[Substitution, B, That]): That

    Definition Classes
    TraversableLike → GenTraversableLike

  116. def scanRight [B, That] (z: B)(op: ((Var, E), B) ⇒ B)(implicit bf: CanBuildFrom[Substitution, B, That]): That

    Definition Classes
    TraversableLike → GenTraversableLike
    Annotations
    @migration
    Migration

  117. def seq : Map[Var, E]

    Definition Classes
    Map → Map → GenMap → GenMapLike → Iterable → Iterable → GenIterable → Traversable → Traversable → GenTraversable → Parallelizable → TraversableOnce → GenTraversableOnce

  118. def size : Int

    Definition Classes
    TraversableOnce → GenTraversableOnce

  119. def slice (from: Int, until: Int): Substitution

    Definition Classes
    IterableLike → TraversableLike → GenTraversableLike

  120. def sliding [B >: (Var, E)] (size: Int, step: Int): Iterator[Substitution]

    Definition Classes
    IterableLike

  121. def sliding [B >: (Var, E)] (size: Int): Iterator[Substitution]

    Definition Classes
    IterableLike

  122. def span (p: ((Var, E)) ⇒ Boolean): (Substitution, Substitution)

    Definition Classes
    TraversableLike → GenTraversableLike

  123. def splitAt (n: Int): (Substitution, Substitution)

    Definition Classes
    TraversableLike → GenTraversableLike

  124. def stringPrefix : String

    Definition Classes
    Substitution → MapLike → TraversableLike → GenTraversableLike

  125. def sum [B >: (Var, E)] (implicit num: Numeric[B]): B

    Definition Classes
    TraversableOnce → GenTraversableOnce

  126. def synchronized [T0] (arg0: ⇒ T0): T0

    Attributes
    final
    Definition Classes
    AnyRef

  127. def tail : Substitution

    Definition Classes
    TraversableLike → GenTraversableLike

  128. def tails : Iterator[Substitution]

    Definition Classes
    TraversableLike

  129. def take (n: Int): Substitution

    Definition Classes
    IterableLike → TraversableLike → GenTraversableLike

  130. def takeRight (n: Int): Substitution

    Definition Classes
    IterableLike

  131. def takeWhile (p: ((Var, E)) ⇒ Boolean): Substitution

    Definition Classes
    IterableLike → TraversableLike → GenTraversableLike

  132. def thisCollection : Iterable[(Var, E)]

    Attributes
    protected[this]
    Definition Classes
    IterableLike → TraversableLike

  133. def toArray [B >: (Var, E)] (implicit arg0: ClassManifest[B]): Array[B]

    Definition Classes
    TraversableOnce → GenTraversableOnce

  134. def toBuffer [C >: (Var, E)] : Buffer[C]

    Definition Classes
    MapLike → TraversableOnce → GenTraversableOnce

  135. def toCollection (repr: Substitution): Iterable[(Var, E)]

    Attributes
    protected[this]
    Definition Classes
    IterableLike → TraversableLike

  136. def toIndexedSeq [B >: (Var, E)] : IndexedSeq[B]

    Definition Classes
    TraversableOnce → GenTraversableOnce

  137. def toIterable : Iterable[(Var, E)]

    Definition Classes
    IterableLike → TraversableOnce → GenTraversableOnce

  138. def toIterator : Iterator[(Var, E)]

    Definition Classes
    TraversableLike → GenTraversableOnce

  139. def toList : List[(Var, E)]

    Definition Classes
    TraversableOnce → GenTraversableOnce

  140. def toMap [T, U] (implicit ev: <:<[(Var, E), (T, U)]): Map[T, U]

    Definition Classes
    Map → TraversableOnce → GenTraversableOnce

  141. def toSeq : Seq[(Var, E)]

    Definition Classes
    MapLike → TraversableOnce → GenTraversableOnce

  142. def toSet [B >: (Var, E)] : Set[B]

    Definition Classes
    TraversableOnce → GenTraversableOnce

  143. def toStream : Stream[(Var, E)]

    Definition Classes
    IterableLike → TraversableLike → GenTraversableOnce

  144. def toString (): String

    Definition Classes
    MapLike → TraversableLike → Function1 → AnyRef → Any

  145. def toTraversable : Traversable[(Var, E)]

    Definition Classes
    TraversableLike → TraversableOnce → GenTraversableOnce

  146. def transform [C, That] (f: (Var, E) ⇒ C)(implicit bf: CanBuildFrom[Substitution, (Var, C), That]): That

    Definition Classes
    MapLike

  147. def transpose [B] (implicit asTraversable: ((Var, E)) ⇒ TraversableOnce[B]): Traversable[Traversable[B]]

    Definition Classes
    Traversable → GenericTraversableTemplate
    Annotations
    @bridge()

  148. def unzip [A1, A2] (implicit asPair: ((Var, E)) ⇒ (A1, A2)): (Iterable[A1], Iterable[A2])

    Definition Classes
    GenericTraversableTemplate

  149. def unzip3 [A1, A2, A3] (implicit asTriple: ((Var, E)) ⇒ (A1, A2, A3)): (Iterable[A1], Iterable[A2], Iterable[A3])

    Definition Classes
    GenericTraversableTemplate

  150. def updated [B1 >: E] (key: Var, value: B1): Map[Var, B1]

    Definition Classes
    MapLike → MapLike

  151. def values : Iterable[E]

    Definition Classes
    MapLike
    Annotations
    @migration
    Migration

  152. def valuesIterator : Iterator[E]

    Definition Classes
    MapLike

  153. def view (from: Int, until: Int): IterableView[(Var, E), Substitution]

    Definition Classes
    IterableLike → TraversableLike

  154. def view : IterableView[(Var, E), Substitution]

    Definition Classes
    IterableLike → TraversableLike

  155. def wait (): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

  156. def wait (arg0: Long, arg1: Int): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

  157. def wait (arg0: Long): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

  158. def withDefault [B1 >: E] (d: (Var) ⇒ B1): Map[Var, B1]

    Definition Classes
    Map

  159. def withDefaultValue [B1 >: E] (d: B1): Map[Var, B1]

    Definition Classes
    Map

  160. def withFilter (p: ((Var, E)) ⇒ Boolean): FilterMonadic[(Var, E), Substitution]

    Definition Classes
    TraversableLike → FilterMonadic

  161. def zip [A1 >: (Var, E), B, That] (that: Iterable[B])(implicit bf: CanBuildFrom[Substitution, (A1, B), That]): That

    Definition Classes
    IterableLike
    Annotations
    @bridge()

  162. def zip [A1 >: (Var, E), B, That] (that: GenIterable[B])(implicit bf: CanBuildFrom[Substitution, (A1, B), That]): That

    Definition Classes
    IterableLike → GenIterableLike

  163. def zipAll [B, A1 >: (Var, E), That] (that: Iterable[B], thisElem: A1, thatElem: B)(implicit bf: CanBuildFrom[Substitution, (A1, B), That]): That

    Definition Classes
    IterableLike
    Annotations
    @bridge()

  164. def zipAll [B, A1 >: (Var, E), That] (that: GenIterable[B], thisElem: A1, thatElem: B)(implicit bf: CanBuildFrom[Substitution, (A1, B), That]): That

    Definition Classes
    IterableLike → GenIterableLike

  165. def zipWithIndex [A1 >: (Var, E), That] (implicit bf: CanBuildFrom[Substitution, (A1, Int), That]): That

    Definition Classes
    IterableLike → GenIterableLike

Deprecated Value Members

  1. def elements : Iterator[(Var, E)]

    Definition Classes
    IterableLike
    Annotations
    @deprecated
    Deprecated

    use iterator' instead

  2. def first : (Var, E)

    Definition Classes
    IterableLike
    Annotations
    @deprecated
    Deprecated

    use head' instead

  3. def firstOption : Option[(Var, E)]

    Definition Classes
    IterableLike
    Annotations
    @deprecated
    Deprecated

    use headOption' instead

  4. def mapElements [C] (f: (E) ⇒ C): Map[Var, C]

    Definition Classes
    MapLike
    Annotations
    @deprecated
    Deprecated

    use mapValues' instead

  5. def projection : IterableView[(Var, E), Substitution]

    Definition Classes
    IterableLike
    Annotations
    @deprecated
    Deprecated

    use view' instead

Inherited from Map[Var, E]

Inherited from MapLike[Var, E, Substitution]

Inherited from Map[Var, E]

Inherited from MapLike[Var, E, Substitution]

Inherited from Subtractable[Var, Substitution]

Inherited from PartialFunction[Var, E]

Inherited from (Var) ⇒ E

Inherited from GenMap[Var, E]

Inherited from GenMapLike[Var, E, Substitution]

Inherited from Iterable[(Var, E)]

Inherited from Iterable[(Var, E)]

Inherited from IterableLike[(Var, E), Substitution]

Inherited from Equals

Inherited from GenIterable[(Var, E)]

Inherited from GenIterableLike[(Var, E), Substitution]

Inherited from Traversable[(Var, E)]

Inherited from Immutable

Inherited from Traversable[(Var, E)]

Inherited from GenTraversable[(Var, E)]

Inherited from GenericTraversableTemplate[(Var, E), Iterable]

Inherited from TraversableLike[(Var, E), Substitution]

Inherited from GenTraversableLike[(Var, E), Substitution]

Inherited from Parallelizable[(Var, E), ParMap[Var, E]]

Inherited from TraversableOnce[(Var, E)]

Inherited from GenTraversableOnce[(Var, E)]

Inherited from FilterMonadic[(Var, E), Substitution]

Inherited from HasNewBuilder[(Var, E), Substitution]

Inherited from AbstractSubstitution

Inherited from AnyRef

Inherited from Any