| de.uka.ilkd.key.logic.op.MetaOperator
All known Subclasses: de.uka.ilkd.key.logic.op.AbstractMetaOperator,
| MetaOperator | | public interface MetaOperator extends Operator(Code) | | This is the interface for MetaOperators, which are used to do complex term
transformation when applying a taclet. Often these transformation cannot be
described with the taclet scheme (or trying to do so would result in a huge
number of rules). The available singletons of this meta operators are kept
here.
|
| calculate | | Term calculate(Term term, SVInstantiations svInst, Services services)(Code) | | The method calculates the resulting term. The top level operator of the
specified term has to be this MetaOperator.
|
|
|