term

Subst

case class Subst (elems: (V, Term)*) extends Product with Serializable

Represents a substitution.

A substitution sigma is a mapping from variables to terms such that x != sigma x for finitely many x only.

Linear Supertypes
Serializable, Serializable, Product, Equals, AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Hide All
  2. Show all
  1. Subst
  2. Serializable
  3. Serializable
  4. Product
  5. Equals
  6. AnyRef
  7. Any
Visibility
  1. Public
  2. All

Instance Constructors

  1. new Subst (elems: (V, Term)*)

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 + (p: (V, Term)): Subst

    Returns this substitution where the variable p._1 is updated with the value of p._2.

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

    Attributes
    final
    Definition Classes
    AnyRef

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

    Attributes
    final
    Definition Classes
    Any

  7. def apply (s: Subst): Subst

  8. def apply (v: V): Term

  9. def asInstanceOf [T0] : T0

    Attributes
    final
    Definition Classes
    Any

  10. def canEqual (other: Any): Boolean

    Definition Classes
    Subst → Equals

  11. def clone (): AnyRef

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

  12. def domain : Set[V]

    Returns the set of variables which are mapped.

  13. def eq (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef

  14. def equals (other: Any): Boolean

    Definition Classes
    Subst → Equals → AnyRef → Any

  15. def finalize (): Unit

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

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

    Attributes
    final
    Definition Classes
    AnyRef

  17. def hashCode (): Int

    Definition Classes
    Subst → AnyRef → Any

  18. def intrVars : Set[V]

    Returns the set of variables introduced through the mapping.

  19. def isInstanceOf [T0] : Boolean

    Attributes
    final
    Definition Classes
    Any

  20. def isRenaming : Boolean

    Returns true if this substitution is just a renaming and false otherwise.

  21. def length : Int

    Returns the number of mappings in this substitution.

  22. val map : TreeMap[V, Term]

  23. def ne (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef

  24. def notify (): Unit

    Attributes
    final
    Definition Classes
    AnyRef

  25. def notifyAll (): Unit

    Attributes
    final
    Definition Classes
    AnyRef

  26. def productArity : Int

    Definition Classes
    Subst → Product

  27. def productElement (arg0: Int): Any

    Definition Classes
    Subst → Product

  28. def productIterator : Iterator[Any]

    Definition Classes
    Product

  29. def productPrefix : String

    Definition Classes
    Subst → Product

  30. def rev : Subst

    Returns this substitution in reversed order.

  31. def subsetOf (that: Subst): Boolean

    Returns true if this substitution is a subset of that substitution.

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

    Attributes
    final
    Definition Classes
    AnyRef

  33. def toString (): String

    Definition Classes
    Subst → AnyRef → Any

  34. def wait (): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

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

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

  36. def wait (arg0: Long): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

  37. def productElements : Iterator[Any]

    Definition Classes
    Product
    Annotations
    @deprecated
    Deprecated

    use productIterator instead