| File | simplify.str |
| Author | unknown |
| Since | unknown |
| General | |
| Lines of code | 51 |
| Stratego | |
| Module number | 1 (0% documented) |
| Constructor number | 0 |
| Overlay number | 0 |
| Strategy number | 4 (75% documented) |
| Rule number | 0 |
| DynamicRule number | 0 |
Strategy summary |
||
| rtg-normalize | Normalizes an RTG to TATA's normalized regular tree grammar | simplify.str |
| rtg-normalize-deprecated | Normalizes an RTG to deprecated rtg-nf format | simplify.str |
| rtg-upgrade-string-int | n/a | simplify.str |
| rtg2dfta | Convert an RTG to a normalized, deterministic RTG (DFTA) | simplify.str |
Strategy details |
|||||||||||
| ATerm | rtg-normalize | ||||||||||
Normalizes an RTG to TATA's normalized regular tree grammar.
|
|||||||||||
| ATerm | rtg-normalize-deprecated | ||||||||||
Normalizes an RTG to deprecated rtg-nf format.
|
|||||||||||
| ATerm | rtg2dfta | ||||||||||
Convert an RTG to a normalized, deterministic RTG (DFTA)
|
|||||||||||