public interface TermTransformer extends TermVisitor<Term>
Modifier and Type | Method and Description |
---|---|
default Term |
apply(Term term)
Applies the transformer to the given term and returns the transformed term.
|
visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit
Copyright © 2014–2017 European Space Agency (ESA). All rights reserved.