CollectAll(operand,
Union=None,
reduce=None)
|
|
Collect all subterms for which operand succeeds.
collect all subterms with user-defined union operator and a skip
argument.
- Parameters:
Union - transformation factory which takes two lists and produces a
single one and produce a single one. If duplicates must be
removed, then this argument should be union, otherwise it
defaults to concat.reduce - it can be used to reduce the current term before collecting
subterms of it. Producing the empty list will result in a
complete skip of all subterms.
|