public final class WarySubstOp extends SubstOp
Modifier and Type | Field and Description |
---|---|
static SubstOp |
SUBST
the wary substitution operator {var<-term}'.
|
Modifier | Constructor and Description |
---|---|
private |
WarySubstOp(Name name) |
Modifier and Type | Method and Description |
---|---|
Term |
apply(Term term,
TermServices services)
Apply this substitution operator to
term , which
has this operator as top-level operator |
additionalValidTopLevel, sort
arity, bindVarsAt, isRigid, name, toString, validTopLevel, whereToBind