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