PlusStrategy
Related Doc:
package rewriting
Non-deterministic choice.
Non-deterministic choice. Normally, construct a strategy that
first applies either this strategy or the given strategy. If it
succeeds, succeed with the resulting term. Otherwise, apply q.
Currently implemented as deterministic choice, but this behaviour
should not be relied upon.
When used as the argument to the < conditional choice
combinator, + just serves to hold the two strategies that are
chosen between by the conditional choice.
q is evaluated at most once.
Conditional choice: c < l + r.
Conditional choice: c < l + r. Construct a strategy that first
applies this strategy (c). If c succeeds, the strategy applies
l to the resulting term, otherwise it applies r to the original
subject term. lr is evaluated at most once.
Sequential composition.
Sequential composition. Construct a strategy that first applies
this strategy. If it succeeds, then apply q to the new subject
term. Otherwise fail. q is evaluated at most once.
Deterministic choice.
Deterministic choice. Construct a strategy that first applies
this strategy. If it succeeds, succeed with the resulting term.
Otherwise, apply q to the original subject term. q is
evaluated at most once.
Implementation of this strategy.
Implementation of this strategy. Just apply s.
The left alternative of the choice.
Make one of these strategies with the body f.
Make one of these strategies with the body f.
The right alternative of the choice.
Helper class to contain commonality of choice in non-deterministic choice operator and then-else part of a conditional choice. Only returned by the non-deterministic choice operator.
pandqare evaluated at most once.