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
Term transform(Term term, SVInstantiations svInst, Services services)