| General | |
| Lines of code | 2190 |
| Stratego | |
| Module number | 9 (77% documented) |
| Constructor number | 3 (0% documented) |
| Overlay number | 0 |
| Strategy number | 234 (66% documented) |
| Rule number | 49 (71% documented) |
| DynamicRule number | 1 (0% documented) |
Modules |
||
| annotation | Primitives for getting and setting term annotations | annotation.str |
| common | Some primitives for the manipulation of terms | common.str |
| integer | Integer arithmetic and comparison | integer.str |
| placeholder | Primitives for ATerm placeholders | placeholder.str |
| properties | n/a | properties.str |
| real | This module contains strategies for operating on real numbers | real.str |
| share | The ATerm library preserves maximal sharing of subterms through hash-consing | share.str |
| string | This module contains strategies for operating on strings | string.str |
| zip | n/a | zip.str |