| File | memo.str |
| Author | unknown |
| Since | unknown |
The memo operator makes a strategyinto a memoizing strategy that looks up the term to be transformedin a memo table and only computes the transformation if theterm is not found.
| General | |
| Lines of code | 17 |
| Stratego | |
| Module number | 1 (100% documented) |
| Constructor number | 0 |
| Overlay number | 0 |
| Strategy number | 1 (0% documented) |
| Rule number | 1 (100% documented) |
| DynamicRule number | 1 (0% documented) |
Strategy summary |
||
| memo-scope(Strategy s) | n/a | memo.str |
Rule summary |
||
| memo(Strategy s) | <memo(tbl, s)> t first looks up the term t in the memo table | memo.str |
Rule details |
|||||||||
| ATerm | memo(Strategy s) | ||||||||
<memo(tbl, s)> t first looks up the term t in the memo table. If present the association in the table is produced, else the result of <s> t is computed and stored in the table. |
|||||||||