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
|