Packages

c

tip.analysis

PointerRef

case class PointerRef(of: Term[StTerm]) extends StTerm with Cons[StTerm] with Product with Serializable

A constructor term that represents a pointer to another term.

Linear Supertypes
Serializable, Serializable, Product, Equals, Cons[StTerm], Term[StTerm], StTerm, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. PointerRef
  2. Serializable
  3. Serializable
  4. Product
  5. Equals
  6. Cons
  7. Term
  8. StTerm
  9. AnyRef
  10. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new PointerRef(of: Term[StTerm])

Value Members

  1. val args: List[Term[StTerm]]

    The sub-terms.

    The sub-terms.

    Definition Classes
    PointerRefCons
  2. def arity: Int

    The arity of the constructor.

    The arity of the constructor.

    Definition Classes
    Cons
  3. def doMatch(t: Term[StTerm]): Boolean

    Checks whether the term t matches this term, meaning that it has the same constructor class and the same arity.

    Checks whether the term t matches this term, meaning that it has the same constructor class and the same arity.

    Definition Classes
    Cons
  4. lazy val fv: Set[Var[StTerm]]

    Returns the set of free variables in this term.

    Returns the set of free variables in this term.

    Definition Classes
    ConsTerm
  5. val of: Term[StTerm]
  6. def subst(v: Var[StTerm], t: Term[StTerm]): Term[StTerm]

    Produces a new term from this term by substituting the variable v with the term t.

    Produces a new term from this term by substituting the variable v with the term t.

    Definition Classes
    PointerRefTerm
  7. def toString(): String
    Definition Classes
    PointerRef → AnyRef → Any