Interface SimpleTerm.MatchingTermVisitor
- Enclosing class:
- SimpleTerm
public static interface SimpleTerm.MatchingTermVisitor
Callback to visit each matching term during "rewrite" in
visitMatchingTerm(Term)
-
Method Summary
-
Method Details
-
visitMatchingTerm
- Throws:
IOException
-