public static TermWalker simpleWalker ( TermVisitor visitor ) { DepthFirstBacktrackingSearch < Term , Term > search = new DepthFirstBacktrackingSearch < Term , Term > ( ) ; return new TermWalker ( search , new DefaultTraverser ( ) , visitor ) ; }
Provides a simple depth first walk over a term .