This module defines a collection of generic one-pass traversals overlists.
The primitive term traversal operators of Strateg -- all, some, one --can be combined with the other control operators in a wide varietyof ways to define full term traversals.
Strategy summary
|
all-l(Strategy s)
|
n/a
|
list.str
|
alldownup2-l(Strategy s1, Strategy s2)
|
n/a
|
list.str
|
alltd-fold-l(Strategy s1, Strategy s2)
|
n/a
|
list.str
|
alltd-l(Strategy s)
|
n/a
|
list.str
|
bottomup-l(Strategy s)
|
n/a
|
list.str
|
bottomup-para-l(Strategy s)
|
n/a
|
list.str
|
bottomupS-l(Strategy s, Strategy stop)
|
n/a
|
list.str
|
downup-l(Strategy s)
|
n/a
|
list.str
|
downup-l(Strategy s1, Strategy s2)
|
n/a
|
list.str
|
downup2-l(Strategy s1, Strategy s2)
|
n/a
|
list.str
|
downupS-l(Strategy s, Strategy stop)
|
n/a
|
list.str
|
downupS-l(Strategy s1, Strategy s2, Strategy stop)
|
n/a
|
list.str
|
topdown-l(Strategy s)
|
n/a
|
list.str
|
topdownS-l(Strategy s, Strategy stop)
|
n/a
|
list.str
|