public static interface SimpleTerm.MatchingTermVisitor
void
visitMatchingTerm(Term t)
void visitMatchingTerm(Term t) throws java.io.IOException
java.io.IOException