|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public static interface SimpleTerm.MatchingTermVisitor
Callback to visit each matching term during "rewrite"
in visitMatchingTerm(Term)
Method Summary | |
---|---|
void |
visitMatchingTerm(Term t)
|
Method Detail |
---|
void visitMatchingTerm(Term t) throws IOException
IOException
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |