Interface SimpleTerm.MatchingTermVisitor

  • Enclosing class:
    SimpleTerm

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