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
Ordering
- Alphabetic
- By Inheritance
Inherited
- PointerRef
- Serializable
- Serializable
- Product
- Equals
- Cons
- Term
- StTerm
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Value Members
-
val
args: List[Term[StTerm]]
The sub-terms.
The sub-terms.
- Definition Classes
- PointerRef → Cons
-
def
arity: Int
The arity of the constructor.
The arity of the constructor.
- Definition Classes
- Cons
-
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
-
lazy val
fv: Set[Var[StTerm]]
Returns the set of free variables in this term.
- val of: Term[StTerm]
-
def
subst(v: Var[StTerm], t: Term[StTerm]): Term[StTerm]
Produces a new term from this term by substituting the variable
v
with the termt
.Produces a new term from this term by substituting the variable
v
with the termt
.- Definition Classes
- PointerRef → Term
-
def
toString(): String
- Definition Classes
- PointerRef → AnyRef → Any