public interface TermTransformer extends SortedOperator
Modifier and Type | Method and Description |
---|---|
Term |
transform(Term term,
SVInstantiations svInst,
Services services)
initiates term transformation of term.
|
argSort, argSorts, sort
arity, bindVarsAt, isRigid, sort, validTopLevel, validTopLevelException
Term transform(Term term, SVInstantiations svInst, Services services)
Copyright © 2003-2019 The KeY-Project.