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