public interface Operator extends Named, SVSubstitute
Modifier and Type | Method and Description |
---|---|
int |
arity()
the arity of this operator
|
boolean |
bindVarsAt(int n)
Tells whether the operator binds variables at the n-th subterm.
|
boolean |
isRigid()
Tells whether the operator is rigid.
|
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. |
default boolean |
validTopLevel(Term term) |
void |
validTopLevelException(Term term)
Checks whether the top level structure of the given @link Term
is syntactically valid, given the assumption that the top level
operator of the term is the same as this Operator.
|
int arity()
Sort sort(ImmutableArray<Term> terms)
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 operatorboolean bindVarsAt(int n)
boolean isRigid()
void validTopLevelException(Term term) throws TermCreationException
TermCreationException
- if a construction error was recogniseCopyright © 2003-2019 The KeY-Project.