Interface SimpleTerm.MatchingTermVisitor

  • Enclosing class:
    SimpleTerm

    public static interface SimpleTerm.MatchingTermVisitor
    Callback to visit each matching term during "rewrite" in visitMatchingTerm(Term)
    • Method Detail

      • visitMatchingTerm

        void visitMatchingTerm​(Term t)
                        throws java.io.IOException
        Throws:
        java.io.IOException