validTopLevel(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.
creates a new SchemaVariable. That is used as placeholder for
modal operators.
Parameters: name - the Name of the SchemaVariable Parameters: arity - the arity of the modal operators matched by this SV Parameters: modalities - modal operators matched by this SV
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. The
assumption that the top level operator and the term are equal
is NOT checked.
true iff the top level structure ofthe Term is valid.
Methods inherited from de.uka.ilkd.key.logic.op.OperatorSV