Index of values


__ocaml_lex_esc_string_rec [Bnf_lexer]
__ocaml_lex_start_rec [Bnf_lexer]
__ocaml_lex_tables [Bnf_lexer]

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.
esc_string [Bnf_lexer]

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
id [Bnf_lexer]
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.

S
start [Bnf_lexer]
start [Bnf_parser]

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