public abstract class SubstOp extends AbstractOperator
WarySubstOp
is used
and accessible through the key parser.Modifier and Type | Method and Description |
---|---|
protected boolean |
additionalValidTopLevel(Term term)
Allows subclasses to impose custom demands on what constitutes a
valid term using the operator represented by the subclass.
|
abstract Term |
apply(Term term,
TermBuilder tb)
Apply this substitution operator to
term , which
has this operator as top-level operator |
Sort |
sort(ImmutableArray<Term> terms)
Determines the sort of the
Term if it would be created using this
Operator as top level operator and the given terms as sub terms. |
arity, bindVarsAt, isRigid, name, toString, validTopLevel, whereToBind
protected SubstOp(Name name)
public Sort sort(ImmutableArray<Term> terms)
Operator
Term
if it would be created using this
Operator as top level operator and the given terms as sub terms. The
assumption that the constructed term would be allowed is not checked.terms
- an array of Term containing the subterms of a (potential)
term with this operator as top level operatorprotected boolean additionalValidTopLevel(Term term)
AbstractOperator
additionalValidTopLevel
in class AbstractOperator
public abstract Term apply(Term term, TermBuilder tb)
term
, which
has this operator as top-level operatorterm
- the Term
on which to apply the substitutiontb
- the TermBuilder
to use for term construction