Generic Term Traversal

GenericTermTraversal strategies defined in the StrategoStandardLibrary^? can be divided into two main categories:

• one pass traversals do one (possibly partial) traversal over a term.
• fixed-point traversals keep traversing a term until no more applications of the specified strategy can be found.

Generic term traversal operators support te definition of GenericTermTraversal strategies like topdown and bottomup.