term.package

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)*)

    Creates a new substitution from the sequence of elems.

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 ++ (s: Subst): Subst

    Returns the combination of this substitution with s

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

    Attributes
    final
    Definition Classes
    AnyRef

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

    Attributes
    final
    Definition Classes
    Any

  8. def apply (s: Subst): Subst

    Returns the substitution which is generated by applying s to this substitution.

  9. def apply (v: V): Term

    Returns the term to which the variable v is mapped in this substitution.

  10. def asInstanceOf [T0] : T0

    Attributes
    final
    Definition Classes
    Any

  11. def canEqual (other: Any): Boolean

    Definition Classes
    Subst → Equals

  12. def clone (): AnyRef

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

  13. def domain : Set[V]

    Returns the set of variables which are mapped.

  14. def eq (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef

  15. def equals (other: Any): Boolean

    Definition Classes
    Subst → Equals → AnyRef → Any

  16. def finalize (): Unit

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

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

    Attributes
    final
    Definition Classes
    AnyRef → Any

  18. def hashCode (): Int

    Definition Classes
    Subst → AnyRef → Any

  19. def intrVars : Set[V]

    Returns the set of variables introduced through the mapping.

  20. def isInstanceOf [T0] : Boolean

    Attributes
    final
    Definition Classes
    Any

  21. def isRenaming : Boolean

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

  22. def length : Int

    Returns the number of mappings in this substitution.

  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 toXMLString : String

  35. def wait (): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

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

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

  37. def wait (arg0: Long): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

Deprecated Value Members

  1. def productElements : Iterator[Any]

    Definition Classes
    Product
    Annotations
    @deprecated
    Deprecated

    use productIterator instead

Inherited from Serializable

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from AnyRef

Inherited from Any