| File | fixpoint.str |
| Author | unknown |
| Since | unknown |
A collection of strategies that keeps traversing a term untilno more applications of some strategy to the nodes can befound.
| General | |
| Lines of code | 39 |
| Stratego | |
| Module number | 1 (100% documented) |
| Constructor number | 0 |
| Overlay number | 0 |
| Strategy number | 8 (12% documented) |
| Rule number | 0 |
| DynamicRule number | 0 |
Strategy summary |
||
| innermost(Strategy s) | n/a | fixpoint.str |
| innermost'(Strategy s) | n/a | fixpoint.str |
| innermost-memo(Strategy s) | n/a | fixpoint.str |
| innermost-old(Strategy s) | n/a | fixpoint.str |
| innermost-tagged(Strategy s) | innermost-tagged(s) reduces the subject term by applying s to innermost redices first | fixpoint.str |
| outermost(Strategy s) | n/a | fixpoint.str |
| pseudo-innermost3(Strategy s) | n/a | fixpoint.str |
| reduce(Strategy s) | n/a | fixpoint.str |
Strategy details |
|||||||||
| ATerm | innermost-tagged(Strategy s) | ||||||||
innermost-tagged(s) reduces the subject term by applying s toinnermost redices first. Terms in normal form are tagged (usingattributes) to prevent renormalization. |
|||||||||