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,
TermBuilder tb)
Apply this substitution operator to
term , which
has this operator as top-level operator |
additionalValidTopLevel, sort
arity, bindVarsAt, isRigid, name, toString, validTopLevel, whereToBind
public static final SubstOp SUBST
private WarySubstOp(Name name)
public Term apply(Term term, TermBuilder tb)
SubstOp
term
, which
has this operator as top-level operatorapply
in class SubstOp
term
- the Term
on which to apply the substitutiontb
- the TermBuilder
to use for term construction