Interface SimpleTerm.MatchingTermVisitor
-
- Enclosing class:
- SimpleTerm
public static interface SimpleTerm.MatchingTermVisitor
Callback to visit each matching term during "rewrite" invisitMatchingTerm(Term)
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description void
visitMatchingTerm(Term t)
-
-
-
Method Detail
-
visitMatchingTerm
void visitMatchingTerm(Term t) throws java.io.IOException
- Throws:
java.io.IOException
-
-