| A | ||
|---|---|---|
| add-production-to-tbl(ATerm tbl) | n/a | normalize.str |
| add-state-d(ATerm q, ATerm s) | n/a | determinize.str |
| add-transition-d(ATerm s) | n/a | determinize.str |
| all-consnil(Strategy s) | all variant that traverses lists as cons/nil | format-check.str |
| Annotated(ATerm , ATerm ) | n/a | signature.str |
| Appl(ATerm , ATerm ) | n/a | signature.str |
| appl-matches-s1n(ATerm s1n) | n/a | determinize.str |
| B | ||
| bottomup-consnil(Strategy s) | bttomup variant that traverses lists as cons/nil | format-check.str |
| bottomup-reconstruct(Strategy s, Strategy reconstruct) | Bottom traversal where the current term is reconstructed from the arguments using a custom strategy | dfta-accept.str |
| C | ||
| Chars(ATerm ) | n/a | signature.str |
| ConcTerm(ATerm ) | [xs*, xs*] | signature.str |
| ConsTerm(ATerm ) | [x | xs] | signature.str |
| create-hashtable | n/a | normalize.str |
| D | ||
| determinize | Implements Determinization Algorithm DET of TATA (page 24) | determinize.str |
| DFTA(ATerm , ATerm ) | n/a | dfta-accept.str |
| dfta-accept | Implementation of accept for Deterministic Finite Tree Automaton (DFTA) | dfta-accept.str |
| dfta-accept(Strategy fail-hook, ATerm dfta) | The result of dtfa-accept is a state | dfta-accept.str |
| dfta-accept-explode-appl(ATerm args) | n/a | dfta-accept.str |
| dfta-accept-explode-conc(ATerm args) | n/a | dfta-accept.str |
| dfta-accept-explode-cons(ATerm args) | n/a | dfta-accept.str |
| dfta-accept-explode-int(ATerm args) | n/a | dfta-accept.str |
| dfta-accept-explode-nil(ATerm args) | n/a | dfta-accept.str |
| dfta-accept-explode-none(ATerm args) | n/a | dfta-accept.str |
| dfta-accept-explode-some(ATerm args) | n/a | dfta-accept.str |
| dfta-accept-explode-string(ATerm args) | n/a | dfta-accept.str |
| dfta-accept-reconstruct(ATerm args) | n/a | dfta-accept.str |
| dfta-accept-transition(Strategy fail-hook, ATerm tbl, ATerm t) | n/a | dfta-accept.str |
| dfta-destroy | n/a | dfta-accept.str |
| dfta-format-check | Format check a term against a DFTA | dfta-format-check.str |
| dfta-format-check(ATerm dfta) | Checks that the current term has the format of the given DFTA | dfta-format-check.str |
| dfta-format-check(Strategy report-errors, Strategy fail-on-error, ATerm dfta) | Checks that the current term has the format of the given DFTA | dfta-format-check.str |
| dftafc-error-start(ATerm dfta) | Fails if the state is not one of the allowed start states | dfta-format-check.str |
| dftafc-get-arguments | n/a | dfta-format-check.str |
| dftafc-report-failure(ATerm t) | Report the failure of format checking a term | dfta-format-check.str |
| dftafc-report-start(ATerm dfta) | Report an error if the final state is not a start state | dfta-format-check.str |
| dftafc-state-to-string | n/a | dfta-format-check.str |
| dftafc-states-to-string | n/a | dfta-format-check.str |
| E | ||
| ensure-injection | n/a | normalize.str |
| EscapeSeq(ATerm ) | n/a | signature.str |
| F | ||
| Failure(ATerm ) | n/a | dfta-accept.str |
| format-check | Format check a term against an RTG | format-check.str |
| G | ||
| Generated(ATerm ) | n/a | signature.str |
| get-rtg-parse-table | n/a | parse.str |
| get-states-d(ATerm t) | n/a | determinize.str |
| get-states-to | n/a | determinize.str |
| I | ||
| Int(ATerm ) | n/a | signature.str |
| IntTerm(ATerm ) | Integer terminal | signature.str |
| is-dfta | n/a | dfta-accept.str |
| is-injection | n/a | normalize.str |
| is-normalized | n/a | normalize.str |
| L | ||
| Labelled(ATerm , ATerm ) | n/a | signature.str |
| M | ||
| make-inlined(ATerm a) | n/a | normalize.str |
| make-unique-state | n/a | determinize.str |
| map-consnil(Strategy s) | n/a | format-check.str |
| MemoRTGParseTable | n/a | parse.str |
| N | ||
| NilTerm(ATerm ) | [] | signature.str |
| NoneTerm(ATerm ) | n/a | signature.str |
| Nonterm(ATerm ) | n/a | signature.str |
| normalize | Implements simplification to a normalized tree grammar (Section 2 | normalize.str |
| O | ||
| one-consnil(Strategy s) | one variant that traverses lists as cons/nil | format-check.str |
| open-dfta | n/a | dfta-accept.str |
| P | ||
| parse | n/a | parse.str |
| parse-rtg-file | Parse an RTG from a file | parse.str |
| parse-rtg-stream | n/a | parse.str |
| Plain(ATerm ) | n/a | signature.str |
| prod-0 | n/a | reduce.str |
| prod-n | n/a | reduce.str |
| ProdRule(ATerm , ATerm ) | n/a | signature.str |
| ProdRules(ATerm ) | n/a | signature.str |
| Q | ||
| Quoted(ATerm ) | n/a | signature.str |
| R | ||
| reach-0 | n/a | reduce.str |
| reach-n | n/a | reduce.str |
| reduce | Removes non-terminals that are not productive or reachable | reduce.str |
| Ref(ATerm ) | n/a | signature.str |
| remove-injection(ATerm ps, ATerm tbl) | n/a | normalize.str |
| RTG(ATerm , ATerm ) | n/a | signature.str |
| rtg-all-nonterms-in(ATerm nts) | Succeeds if all non-terminals in the production are in the specified set of non-terminals | reduce.str |
| rtg-build-group-by-pairs(Strategy k, Strategy r, Strategy build, Strategy items) | n/a | util.str |
| rtg-can-be-produced(ATerm nt, ATerm productive, ATerm rhg) | Succeeds if the non-terminal can be produced by the rtg given the set of productive non-terminals | reduce.str |
| rtg-check-result | Exits when the result doesn't contain any productions or start symbols | reduce.str |
| rtg-collect-nonterms | Collect all (not build in) non-terminals in a rhg (or anything else) | reduce.str |
| rtg-determinize | n/a | determinize.str |
| rtg-determinize-start-state(ATerm states-start) | n/a | determinize.str |
| rtg-determinize-start-states(ATerm states-start) | n/a | determinize.str |
| rtg-determinize-step(ATerm state-states-d, ATerm states-d, ATerm reverse-trans, ATerm symbol-tbl, ATerm trans-d) | n/a | determinize.str |
| rtg-format-check(ATerm rtg) | Checks that the current term has the format of the given RTG | format-check.str |
| rtg-format-check(ATerm rtg, ATerm starts) | Checks that the current term has the format of one of the specified start non-terminals | format-check.str |
| rtg-format-check(Strategy report-errors, Strategy fail-on-error, ATerm rtg) | Checks that the current term has the format of the given RTG | format-check.str |
| rtg-format-check(Strategy report-errors, Strategy fail-on-error, ATerm rtg, ATerm starts) | Checks that the current term has the format of one of the specified start non-terminals | format-check.str |
| rtg-group-by(Strategy k, Strategy r, Strategy build) | n/a | util.str |
| rtg-group-by-nonterm | n/a | util.str |
| rtg-group-productions | n/a | util.str |
| rtg-lift-nested-tree | This might introduces duplicate rules, but the remove-inject-rules simplifications turns the productions into a set anyway, so we ignore this | normalize.str |
| rtg-nested-tree-to-nonterm | n/a | normalize.str |
| 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-parsefix | n/a | parse.str |
| rtg-ParseFix | n/a | parse.str |
| rtg-ParseFix | n/a | parse.str |
| rtg-ParseFix | n/a | parse.str |
| rtg-productions-of(ATerm nt) | Returns the right hand sides of productions of the specified non terminal | util.str |
| rtg-productive-nonterms | Returns the set of productive non terminals in the rhg | reduce.str |
| rtg-reachable-nonterms | Returns the set of reachable non terminals in the rhg | reduce.str |
| rtg-reduce | n/a | reduce.str |
| rtg-remove-injection-rules | n/a | normalize.str |
| rtg-remove-nested-trees | n/a | normalize.str |
| rtg-set-inc-repeat(Strategy s) | Repeats s until the current set is no longer being extended | reduce.str |
| rtg-start-nonterms | n/a | util.str |
| rtg-to-string | n/a | format-check.str |
| rtg-to-string | n/a | format-check.str |
| rtg-to-string | n/a | dfta-format-check.str |
| rtg-to-string | n/a | dfta-format-check.str |
| rtg-to-string | n/a | dfta-format-check.str |
| rtg-to-string | n/a | dfta-format-check.str |
| rtg-to-string | n/a | dfta-format-check.str |
| rtg-to-string | n/a | dfta-format-check.str |
| rtg-to-string | n/a | dfta-format-check.str |
| rtg-to-string | n/a | dfta-format-check.str |
| rtg-to-string | n/a | dfta-format-check.str |
| rtg-to-string | n/a | dfta-format-check.str |
| rtg-to-string | n/a | dfta-format-check.str |
| rtg-to-string | n/a | dfta-format-check.str |
| rtg-ungroup-productions | Rewrites an rtg to one rhs in a prodrule | util.str |
| rtg-ungroup-productions | Rewrites an list of prodrules to one rhs in a prodrule | util.str |
| rtg-upgrade-string-int | n/a | simplify.str |
| rtg2dfta | Convert an RTG to a normalized, deterministic RTG (DFTA) | simplify.str |
| rtgdet-init-reverse-trans(ATerm tbl) | n/a | determinize.str |
| rtgdet-init-reverse-trans(ATerm tbl) | n/a | determinize.str |
| rtgdet-init-symbol-tbl(ATerm tbl) | n/a | determinize.str |
| rtgdet-init-symbol-tbl(ATerm tbl) | n/a | determinize.str |
| rtgdet-normalize-conc | n/a | determinize.str |
| rtgdet-normalize-none | n/a | determinize.str |
| rtgdet-normalize-some | n/a | determinize.str |
| rtgfc-ApplUserType(ATerm tbl, ATerm set) | n/a | format-check.str |
| rtgfc-format-check(ATerm tbl, ATerm set) | Main format check traversal | format-check.str |
| rtgfc-format-check-error(ATerm rtg, ATerm tbl, ATerm set) | n/a | format-check.str |
| rtgfc-format-check-report(ATerm rtg, ATerm tbl, ATerm set) | n/a | format-check.str |
| rtgfc-format-check-report(ATerm starts, ATerm tbl, ATerm set) | n/a | format-check.str |
| rtgfc-generate-type-rule | Int application | format-check.str |
| rtgfc-generate-type-rule | String application | format-check.str |
| rtgfc-generate-type-rule | Injection | format-check.str |
| rtgfc-generate-type-rule | Cons application | format-check.str |
| rtgfc-generate-type-rule | Conc application | format-check.str |
| rtgfc-generate-type-rule | Nil application | format-check.str |
| rtgfc-generate-type-rule | Some application | format-check.str |
| rtgfc-generate-type-rule | None application | format-check.str |
| rtgfc-generate-type-rule | Tuple application | format-check.str |
| rtgfc-generate-type-rule | User-defined terminal application | format-check.str |
| rtgfc-generate-type-rule-deprecated-int | Deprecated | format-check.str |
| rtgfc-generate-type-rule-deprecated-string | Deprecated | format-check.str |
| rtgfc-generate-type-rules | Generate format checking dynamic rules for an RTG | format-check.str |
| rtgfc-get-types(ATerm tbl, ATerm set) | n/a | format-check.str |
| rtgfc-get-types(ATerm tbl, ATerm set) | n/a | format-check.str |
| rtgfc-get-types(ATerm tbl, ATerm set) | n/a | format-check.str |
| rtgfc-has-type(ATerm nt, ATerm tbl, ATerm set) | Succeeds if t has type nt | format-check.str |
| rtgfc-has-type(ATerm nt, ATerm tbl, ATerm set) | n/a | format-check.str |
| rtgfc-has-type(ATerm nt, ATerm tbl, ATerm set) | n/a | format-check.str |
| rtgfc-InjUserType(ATerm tbl, ATerm set) | n/a | format-check.str |
| rtgfc-IntAppl(ATerm tbl, ATerm set) | n/a | format-check.str |
| rtgfc-IntAppl(ATerm tbl, ATerm set) | n/a | format-check.str |
| rtgfc-is-typed(ATerm tbl, ATerm set) | n/a | format-check.str |
| rtgfc-list-has-type(ATerm as, ATerm tbl, ATerm set) | n/a | format-check.str |
| rtgfc-ListUserType(ATerm tbl, ATerm set) | n/a | format-check.str |
| rtgfc-ListUserType(ATerm tbl, ATerm set) | n/a | format-check.str |
| rtgfc-ListUserType(ATerm tbl, ATerm set) | n/a | format-check.str |
| rtgfc-new-type(ATerm nt, ATerm tbl, ATerm set) | Fails if t already has type nt | format-check.str |
| rtgfc-nonterm-to-string | n/a | format-check.str |
| rtgfc-OptUserType(ATerm tbl, ATerm set) | n/a | format-check.str |
| rtgfc-OptUserType(ATerm tbl, ATerm set) | n/a | format-check.str |
| rtgfc-report-type-failure(Strategy finally, ATerm tbl, ATerm set) | n/a | format-check.str |
| rtgfc-report-types(ATerm tbl, ATerm set) | n/a | format-check.str |
| rtgfc-retrieve-types(ATerm tbl, ATerm set) | n/a | format-check.str |
| rtgfc-set-type(ATerm nt, ATerm tbl, ATerm set) | n/a | format-check.str |
| rtgfc-StringAppl(ATerm tbl, ATerm set) | n/a | format-check.str |
| rtgfc-StringAppl(ATerm tbl, ATerm set) | n/a | format-check.str |
| rtgfc-TupleUserType(ATerm tbl, ATerm set) | n/a | format-check.str |
| rtgfc-type(ATerm rtg, ATerm tbl, ATerm set) | Infers the types of all terms | format-check.str |
| rtgfc-Type(ATerm tbl, ATerm set) | n/a | format-check.str |
| rtgfc-type-int(ATerm tbl, ATerm set) | n/a | format-check.str |
| rtgfc-type-special(ATerm special, ATerm tbl, ATerm set) | n/a | format-check.str |
| rtgfc-type-string(ATerm tbl, ATerm set) | n/a | format-check.str |
| rtgfc-types-to-string | n/a | format-check.str |
| S | ||
| Set(ATerm ) | n/a | signature.str |
| signature | n/a | signature.str |
| simplify | n/a | simplify.str |
| SomeTerm(ATerm ) | n/a | signature.str |
| Start(ATerm ) | n/a | signature.str |
| stratego-rtg | Stratego RTG Library | stratego-rtg.str |