at.logic.skeptik.expression.substitution.mutable

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], Cloneable[Substitution], Shrinkable[Var], Builder[(Var, E), Substitution], Growable[(Var, E)], 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)], Mutable, 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. Cloneable
  5. Shrinkable
  6. Builder
  7. Growable
  8. Map
  9. MapLike
  10. Subtractable
  11. PartialFunction
  12. Function1
  13. GenMap
  14. GenMapLike
  15. Iterable
  16. Iterable
  17. IterableLike
  18. Equals
  19. GenIterable
  20. GenIterableLike
  21. Traversable
  22. Mutable
  23. Traversable
  24. GenTraversable
  25. GenericTraversableTemplate
  26. TraversableLike
  27. GenTraversableLike
  28. Parallelizable
  29. TraversableOnce
  30. GenTraversableOnce
  31. FilterMonadic
  32. HasNewBuilder
  33. AbstractSubstitution
  34. AnyRef
  35. Any
Visibility
  1. Public
  2. All

Instance Constructors

  1. new Substitution ()

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 + [B1 >: E] (elem1: (Var, B1), elem2: (Var, B1), elems: (Var, B1)*): Map[Var, B1]

    Definition Classes
    MapLike → MapLike
    Annotations
    @migration
    Migration

  5. def + [B1 >: E] (kv: (Var, B1)): Map[Var, B1]

    Definition Classes
    MapLike → MapLike → GenMapLike
    Annotations
    @migration
    Migration

  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
    Annotations
    @migration
    Migration

  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 ++= (xs: TraversableOnce[(Var, E)]): Substitution.this.type

    Definition Classes
    Growable

  13. def += (kv: (Var, E)): Substitution.this.type

    Definition Classes
    Substitution → MapLike → Builder → Growable

  14. def += (elem1: (Var, E), elem2: (Var, E), elems: (Var, E)*): Substitution.this.type

    Definition Classes
    Growable

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

    Definition Classes
    MapLike → Subtractable
    Annotations
    @migration
    Migration

  16. def - (key: Var): Substitution

    Definition Classes
    MapLike → MapLike → Subtractable → GenMapLike
    Annotations
    @migration
    Migration

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

    Definition Classes
    MapLike → Subtractable
    Annotations
    @bridge()

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

    Definition Classes
    MapLike → Subtractable
    Annotations
    @migration
    Migration

  19. def --= (xs: TraversableOnce[Var]): Substitution.this.type

    Definition Classes
    Shrinkable

  20. def -= (key: Var): Substitution.this.type

    Definition Classes
    Substitution → MapLike → Shrinkable

  21. def -= (elem1: Var, elem2: Var, elems: Var*): Substitution.this.type

    Definition Classes
    Shrinkable

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

    Definition Classes
    TraversableOnce → GenTraversableOnce

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

    Definition Classes
    GenTraversableOnce

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

    Definition Classes
    TraversableOnce → GenTraversableOnce

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

    Attributes
    final
    Definition Classes
    AnyRef

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

    Attributes
    final
    Definition Classes
    Any

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

    Definition Classes
    MapLike → TraversableOnce

  28. def addString (b: StringBuilder): StringBuilder

    Definition Classes
    TraversableOnce

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

    Definition Classes
    TraversableOnce

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

    Definition Classes
    TraversableOnce → GenTraversableOnce

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

    Definition Classes
    PartialFunction → Function1

  32. def apply (key: Var): E

    Definition Classes
    MapLike → GenMapLike → Function1

  33. def apply (e: E): E

    Definition Classes
    AbstractSubstitution

  34. def asInstanceOf [T0] : T0

    Attributes
    final
    Definition Classes
    Any

  35. def canEqual (that: Any): Boolean

    Definition Classes
    IterableLike → Equals

  36. def clear (): Unit

    Definition Classes
    MapLike → Builder → Growable

  37. def clone (): Substitution

    Definition Classes
    MapLike → Cloneable → AnyRef

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

    Definition Classes
    TraversableLike → GenTraversableLike

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

    Definition Classes
    TraversableOnce

  40. def companion : GenericCompanion[Iterable]

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

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

    Definition Classes
    Function1

  42. def contains (key: Var): Boolean

    Definition Classes
    MapLike

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

    Definition Classes
    IterableLike → TraversableLike → TraversableOnce → GenTraversableOnce

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

    Definition Classes
    TraversableOnce → GenTraversableOnce

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

    Definition Classes
    TraversableOnce → GenTraversableOnce

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

    Definition Classes
    TraversableOnce

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

    Definition Classes
    TraversableOnce → GenTraversableOnce

  48. def default (key: Var): E

    Definition Classes
    MapLike → GenMapLike

  49. def drop (n: Int): Substitution

    Definition Classes
    IterableLike → TraversableLike → GenTraversableLike

  50. def dropRight (n: Int): Substitution

    Definition Classes
    IterableLike

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

    Definition Classes
    TraversableLike → GenTraversableLike

  52. def empty : Substitution

    Definition Classes
    Substitution → Map → Map → MapLike

  53. def eq (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef

  54. def equals (that: Any): Boolean

    Definition Classes
    GenMapLike → Equals → AnyRef → Any

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

    Definition Classes
    IterableLike → TraversableLike → TraversableOnce → GenTraversableOnce

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

    Definition Classes
    TraversableLike → GenTraversableLike

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

    Definition Classes
    MapLike

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

    Definition Classes
    MapLike → TraversableLike → GenTraversableLike

  59. def finalize (): Unit

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

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

    Definition Classes
    IterableLike → TraversableLike → TraversableOnce → GenTraversableOnce

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

    Definition Classes
    TraversableLike → GenTraversableLike → FilterMonadic

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

    Definition Classes
    Traversable → GenericTraversableTemplate
    Annotations
    @bridge()

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

    Definition Classes
    TraversableOnce → GenTraversableOnce

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

    Definition Classes
    TraversableOnce → GenTraversableOnce

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

    Definition Classes
    IterableLike → TraversableOnce → GenTraversableOnce

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

    Definition Classes
    IterableLike → TraversableLike → TraversableOnce → GenTraversableOnce

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

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

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

    Definition Classes
    GenericTraversableTemplate

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

    Definition Classes
    Substitution → MapLike → GenMapLike

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

    Attributes
    final
    Definition Classes
    AnyRef → Any

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

    Definition Classes
    MapLike

  72. def getOrElseUpdate (key: Var, op: ⇒ E): E

    Definition Classes
    MapLike

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

    Definition Classes
    TraversableLike → GenTraversableLike

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

    Definition Classes
    IterableLike

  75. def hasDefiniteSize : Boolean

    Definition Classes
    TraversableLike → TraversableOnce → GenTraversableOnce

  76. def hashCode (): Int

    Definition Classes
    GenMapLike → AnyRef → Any

  77. def head : (Var, E)

    Definition Classes
    IterableLike → GenIterableLike → TraversableLike → GenTraversableLike

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

    Definition Classes
    TraversableLike

  79. def init : Substitution

    Definition Classes
    TraversableLike

  80. def inits : Iterator[Substitution]

    Definition Classes
    TraversableLike

  81. def isDefinedAt (key: Var): Boolean

    Definition Classes
    MapLike → PartialFunction

  82. def isEmpty : Boolean

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

  83. def isInstanceOf [T0] : Boolean

    Attributes
    final
    Definition Classes
    Any

  84. def isTraversableAgain : Boolean

    Attributes
    final
    Definition Classes
    GenTraversableLike → GenTraversableOnce

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

    Definition Classes
    Substitution → MapLike → IterableLike → GenIterableLike

  86. def keySet : Set[Var]

    Definition Classes
    MapLike

  87. def keys : Iterable[Var]

    Definition Classes
    MapLike
    Annotations
    @migration
    Migration

  88. def keysIterator : Iterator[Var]

    Definition Classes
    MapLike

  89. def last : (Var, E)

    Definition Classes
    TraversableLike

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

    Definition Classes
    TraversableLike

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

    Definition Classes
    PartialFunction

  92. def m : Map[Var, E]

    Attributes
    protected
    Definition Classes
    Substitution → AbstractSubstitution

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

    Definition Classes
    TraversableLike → GenTraversableLike → FilterMonadic

  94. def mapResult [NewTo] (f: (Substitution) ⇒ NewTo): Builder[(Var, E), NewTo]

    Definition Classes
    Builder

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

    Definition Classes
    MapLike

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

    Definition Classes
    TraversableOnce → GenTraversableOnce

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

    Definition Classes
    TraversableOnce → GenTraversableOnce

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

    Definition Classes
    TraversableOnce → GenTraversableOnce

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

    Definition Classes
    TraversableOnce → GenTraversableOnce

  100. def mkString : String

    Definition Classes
    TraversableOnce → GenTraversableOnce

  101. def mkString (sep: String): String

    Definition Classes
    TraversableOnce → GenTraversableOnce

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

    Definition Classes
    TraversableOnce → GenTraversableOnce

  103. def ne (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef

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

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

  105. def nonEmpty : Boolean

    Definition Classes
    TraversableOnce → GenTraversableOnce

  106. def notify (): Unit

    Attributes
    final
    Definition Classes
    AnyRef

  107. def notifyAll (): Unit

    Attributes
    final
    Definition Classes
    AnyRef

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

    Definition Classes
    PartialFunction

  109. def par : ParMap[Var, E]

    Definition Classes
    Parallelizable

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

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

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

    Definition Classes
    TraversableLike → GenTraversableLike

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

    Definition Classes
    TraversableOnce → GenTraversableOnce

  113. def put (key: Var, value: E): Option[E]

    Definition Classes
    MapLike

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

    Definition Classes
    TraversableOnce → GenTraversableOnce

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

    Definition Classes
    TraversableOnce

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

    Definition Classes
    TraversableOnce → GenTraversableOnce

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

    Definition Classes
    TraversableOnce → GenTraversableOnce

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

    Definition Classes
    IterableLike → TraversableOnce → GenTraversableOnce

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

    Definition Classes
    TraversableOnce → GenTraversableOnce

  120. def remove (key: Var): Option[E]

    Definition Classes
    Substitution → MapLike

  121. def repr : Substitution

    Definition Classes
    TraversableLike → GenTraversableLike

  122. def result (): Substitution

    Definition Classes
    MapLike → Builder

  123. def retain (p: (Var, E) ⇒ Boolean): Substitution.this.type

    Definition Classes
    MapLike

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

    Attributes
    protected[this]
    Definition Classes
    TraversableOnce

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

    Definition Classes
    IterableLike
    Annotations
    @bridge()

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

    Definition Classes
    IterableLike → GenIterableLike

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

    Definition Classes
    TraversableLike → GenTraversableLike

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

    Definition Classes
    TraversableLike → GenTraversableLike

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

  130. def seq : Map[Var, E]

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

  131. def size : Int

    Definition Classes
    TraversableOnce → GenTraversableOnce

  132. def sizeHint (coll: scala.collection.TraversableLike[_, _], delta: Int): Unit

    Definition Classes
    Builder

  133. def sizeHint (size: Int): Unit

    Definition Classes
    Builder

  134. def sizeHintBounded (size: Int, boundingColl: scala.collection.TraversableLike[_, _]): Unit

    Definition Classes
    Builder

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

    Definition Classes
    IterableLike → TraversableLike → GenTraversableLike

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

    Definition Classes
    IterableLike

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

    Definition Classes
    IterableLike

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

    Definition Classes
    TraversableLike → GenTraversableLike

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

    Definition Classes
    TraversableLike → GenTraversableLike

  140. def stringPrefix : String

    Definition Classes
    Substitution → MapLike → TraversableLike → GenTraversableLike

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

    Definition Classes
    TraversableOnce → GenTraversableOnce

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

    Attributes
    final
    Definition Classes
    AnyRef

  143. def tail : Substitution

    Definition Classes
    TraversableLike → GenTraversableLike

  144. def tails : Iterator[Substitution]

    Definition Classes
    TraversableLike

  145. def take (n: Int): Substitution

    Definition Classes
    IterableLike → TraversableLike → GenTraversableLike

  146. def takeRight (n: Int): Substitution

    Definition Classes
    IterableLike

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

    Definition Classes
    IterableLike → TraversableLike → GenTraversableLike

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

    Attributes
    protected[this]
    Definition Classes
    IterableLike → TraversableLike

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

    Definition Classes
    TraversableOnce → GenTraversableOnce

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

    Definition Classes
    MapLike → TraversableOnce → GenTraversableOnce

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

    Attributes
    protected[this]
    Definition Classes
    IterableLike → TraversableLike

  152. def toImmutable : Substitution

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

    Definition Classes
    TraversableOnce → GenTraversableOnce

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

    Definition Classes
    IterableLike → TraversableOnce → GenTraversableOnce

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

    Definition Classes
    TraversableLike → GenTraversableOnce

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

    Definition Classes
    TraversableOnce → GenTraversableOnce

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

    Definition Classes
    TraversableOnce → GenTraversableOnce

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

    Definition Classes
    MapLike → TraversableOnce → GenTraversableOnce

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

    Definition Classes
    TraversableOnce → GenTraversableOnce

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

    Definition Classes
    IterableLike → TraversableLike → GenTraversableOnce

  161. def toString (): String

    Definition Classes
    MapLike → TraversableLike → Function1 → AnyRef → Any

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

    Definition Classes
    TraversableLike → TraversableOnce → GenTraversableOnce

  163. def transform (f: (Var, E) ⇒ E): Substitution.this.type

    Definition Classes
    MapLike

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

    Definition Classes
    Traversable → GenericTraversableTemplate
    Annotations
    @bridge()

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

    Definition Classes
    GenericTraversableTemplate

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

    Definition Classes
    GenericTraversableTemplate

  167. def update (key: Var, e: E): Unit

    Definition Classes
    Substitution → MapLike

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

    Definition Classes
    MapLike → MapLike

  169. def values : Iterable[E]

    Definition Classes
    MapLike
    Annotations
    @migration
    Migration

  170. def valuesIterator : Iterator[E]

    Definition Classes
    MapLike

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

    Definition Classes
    IterableLike → TraversableLike

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

    Definition Classes
    IterableLike → TraversableLike

  173. def wait (): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

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

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

  175. def wait (arg0: Long): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

  176. def withDefault (d: (Var) ⇒ E): Map[Var, E]

    Definition Classes
    Map

  177. def withDefaultValue (d: E): Map[Var, E]

    Definition Classes
    Map

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

    Definition Classes
    TraversableLike → FilterMonadic

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

    Definition Classes
    IterableLike
    Annotations
    @bridge()

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

    Definition Classes
    IterableLike → GenIterableLike

  181. 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()

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

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

  6. def removeKey (key: Var): Option[E]

    Definition Classes
    MapLike
    Annotations
    @deprecated
    Deprecated

    Use remove' instead

Inherited from Map[Var, E]

Inherited from MapLike[Var, E, Substitution]

Inherited from Cloneable[Substitution]

Inherited from Shrinkable[Var]

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

Inherited from Growable[(Var, E)]

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 Mutable

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