A | |
| add_prod [Cfg_intf.CFG] | add_prod gr nt prod sl adds a production with tag prod that
derives to symbol list sl to nonterminal nt in grammar gr.
|
B | |
| bounded_grammar [Cfg_intf.CFG] | bounded_grammar gr nt bound computes a list of derivation levels
from grammar gr, starting at start symbol nt and up to
bound.
|
C | |
| compare_nt [Cfg_intf.SPEC] | |
| compare_prod [Cfg_intf.SPEC] | |
| compare_t [Cfg_intf.SPEC] | |
D | |
| deriv_depth_info [Cfg_intf.CFG] | deriv_depth_info gr returns a traversable representation of
live grammar gr: the left part of the tuple to which nonterminals
are mapped tells the minimum derivation depth needed to completely
derive the corresponding nonterminal, the right part contains a
map of productions which are mapped to their minimum derivation
depth.
|
| diff [Cfg_intf.CFG] | diff gr1 gr2
|
E | |
| empty [Cfg_intf.CFG] | empty is the empty grammar.
|
G | |
| grammar_contents [Cfg_intf.CFG] | grammar_contents gr returns a traversable representation of
grammar gr.
|
| grammar_of_live [Cfg_intf.CFG] | grammar_of_live gr converts a live grammar to a normal grammar.
|
I | |
| inter [Cfg_intf.CFG] | inter gr1 gr2
|
M | |
| make_sane [Cfg_intf.CFG] | make_sane gr nt prunes all useless entities in grammar gr
using nonterminal nt as start symbol.
|
| make_sane_live [Cfg_intf.CFG] | make_sane_live gr nt prunes all useless entities in grammar gr
using nonterminal nt as start symbol.
|
N | |
| nts_in_grammar [Cfg_intf.CFG] | nts_in_grammar gr returns the set of all nonterminals in gr.
|
P | |
| pp_live_nt [Bnf_pp] | pp_nt ppf nt di prettyprint live nonterminal nt and its derivation
information di using prettyprinter ppf.
|
| pp_live_nts [Bnf_pp] | pp_live_nts ppf nt_di prettyprint map of nonterminal derivation
information nt_di using prettyprinter ppf.
|
| pp_live_prods [Bnf_pp] | pp_live_prods ppf syms prettyprint live production map pm using
prettyprinter ppf.
|
| pp_nt [Bnf_pp] | pp_nt ppf nt ps prettyprint nonterminal nt and its production set
ps using prettyprinter ppf.
|
| pp_nt_map [Bnf_pp] | pp_nt_map ppf nts prettyprint map of nonterminals nts using
prettyprinter ppf.
|
| pp_nts [Bnf_pp] | pp_nts ppf nts prettyprint set of nonterminals nts using
prettyprinter ppf.
|
| pp_prod [Bnf_pp] | pp_prod ppf syms prettyprint symbols list syms using prettyprinter
ppf.
|
| pp_prods [Bnf_pp] | pp_prods ppf prods prettyprint set of productions prods using
prettyprinter ppf.
|
| pp_ts [Bnf_pp] | pp_ts ppf ts prettyprint set of terminals ts using prettyprinter
ppf.
|
| prods_in_grammar [Cfg_intf.CFG] | prods_in_grammar gr returns the set of all productions in gr.
|
| prune_nonlive [Cfg_intf.CFG] | prune_nonlive gr prunes all nonlive entities in gr.
|
| prune_unproductive [Cfg_intf.CFG] | prune_unproductive gr prunes all unproductive entitites in gr.
|
| prune_unreachable [Cfg_intf.CFG] | prune_unreachable gr nt prunes all entities in grammar gr
which cannot be reached from nonterminal nt.
|
| prune_unreachable_live [Cfg_intf.CFG] | prune_unreachable_live gr nt prunes all entities in live grammar
gr which cannot be reached from nonterminal nt.
|
R | |
| remove_nt [Cfg_intf.CFG] | remove_nt gr nt removes nonterminal nt from grammar gr.
|
T | |
| ts_in_grammar [Cfg_intf.CFG] | ts_in_grammar gr returns the set of all terminals in gr.
|
U | |
| union [Cfg_intf.CFG] | union gr1 gr2
|