XDoc Search Logo
Xdoc:
Stratego RTG API Documentation
stratego/rtg
Link to XDoc
Description: No additional information available
Modules:
determinize Implements Determinization Algorithm DET of TATA (page 24)
dfta-accept Implementation of accept for Deterministic Finite Tree Automaton (DFTA).
dfta-format-check Format check a term against a DFTA
format-check Format check a term against an RTG This format checker supports any normalized RTG (defined by TATA), including non-deterministic ones. The checker also supports injections.
normalize Implements simplification to a normalized tree grammar (Section 2.1 TATA) After applying this transformation every production has the from A ->f(A1 ... A2) or A ->f()
parse No additional information available
reduce Removes non-terminals that are not productive or reachable.
signature No additional information available
simplify No additional information available
util No additional information available