| General | |
| Lines of code | 1500 |
| Stratego | |
| Module number | 10 (60% documented) |
| Constructor number | 29 (24% documented) |
| Overlay number | 0 |
| Strategy number | 109 (52% documented) |
| Rule number | 22 (4% documented) |
| DynamicRule number | 13 (0% documented) |
Modules |
||
| determinize | Implements Determinization Algorithm DET of TATA (page 24) | determinize.str |
| dfta-accept | Implementation of accept for Deterministic Finite Tree Automaton (DFTA) | dfta-accept.str |
| dfta-format-check | Format check a term against a DFTA | dfta-format-check.str |
| format-check | Format check a term against an RTG | format-check.str |
| normalize | Implements simplification to a normalized tree grammar (Section 2 | normalize.str |
| parse | n/a | parse.str |
| reduce | Removes non-terminals that are not productive or reachable | reduce.str |
| signature | n/a | signature.str |
| simplify | n/a | simplify.str |
| util | n/a | util.str |