simplify

File simplify.str
Author unknown
Since unknown
No information available.




Statistics


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
File simplify.str
Author unknown
Since unknown
 

Normalizes an RTG to TATA's normalized regular tree grammar.


type RTG -> RTG

 
ATerm rtg-normalize-deprecated
File simplify.str
Author unknown
Since unknown
 

Normalizes an RTG to deprecated rtg-nf format.


type RTG -> RTG

 
ATerm rtg2dfta
File simplify.str
Author unknown
Since unknown
 

Convert an RTG to a normalized, deterministic RTG (DFTA)


type RTG -> RTG