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 |