<html>
<head>
<link rel="stylesheet" href="style.css" type="text/css">
<meta content="text/html; charset=iso-8859-1" http-equiv="Content-Type">
<link rel="Start" href="index.html">
<link title="Index of types" rel=Appendix href="index_types.html">
<link title="Index of exceptions" rel=Appendix href="index_exceptions.html">
<link title="Index of values" rel=Appendix href="index_values.html">
<link title="Index of modules" rel=Appendix href="index_modules.html">
<link title="Index of module types" rel=Appendix href="index_module_types.html">
<link title="Bnf_spec" rel="Chapter" href="Bnf_spec.html">
<link title="Bnf_parser" rel="Chapter" href="Bnf_parser.html">
<link title="Bnf_lexer" rel="Chapter" href="Bnf_lexer.html">
<link title="Bnf_pp" rel="Chapter" href="Bnf_pp.html">
<link title="Cfg_intf" rel="Chapter" href="Cfg_intf.html">
<link title="Cfg_impl" rel="Chapter" href="Cfg_impl.html"><title>Index of values</title>
</head>
<body>
<div class="navbar"> <a class="up" href="index.html" title="Index">Up</a>
</div>
<h1>Index of values</h1>
<table>
<tr><td align="left"><br></td></tr>
<tr><td><a href="Bnf_lexer.html#VAL__ocaml_lex_esc_string_rec">__ocaml_lex_esc_string_rec</a> [<a href="Bnf_lexer.html">Bnf_lexer</a>]</td>
<td></td></tr>
<tr><td><a href="Bnf_lexer.html#VAL__ocaml_lex_start_rec">__ocaml_lex_start_rec</a> [<a href="Bnf_lexer.html">Bnf_lexer</a>]</td>
<td></td></tr>
<tr><td><a href="Bnf_lexer.html#VAL__ocaml_lex_tables">__ocaml_lex_tables</a> [<a href="Bnf_lexer.html">Bnf_lexer</a>]</td>
<td></td></tr>
<tr><td align="left"><br>A</td></tr>
<tr><td><a href="Cfg_intf.CFG.html#VALadd_prod">add_prod</a> [<a href="Cfg_intf.CFG.html">Cfg_intf.CFG</a>]</td>
<td><div class="info">
<code class="code">add_prod gr nt prod sl</code> adds a production with tag <code class="code">prod</code> that
derives to symbol list <code class="code">sl</code> to nonterminal <code class="code">nt</code> in grammar <code class="code">gr</code>.
</div>
</td></tr>
<tr><td align="left"><br>B</td></tr>
<tr><td><a href="Cfg_intf.CFG.html#VALbounded_grammar">bounded_grammar</a> [<a href="Cfg_intf.CFG.html">Cfg_intf.CFG</a>]</td>
<td><div class="info">
<code class="code">bounded_grammar gr nt bound</code> computes a list of derivation levels
from grammar <code class="code">gr</code>, starting at start symbol <code class="code">nt</code> and up to
<code class="code">bound</code>.
</div>
</td></tr>
<tr><td align="left"><br>C</td></tr>
<tr><td><a href="Cfg_intf.SPEC.html#VALcompare_nt">compare_nt</a> [<a href="Cfg_intf.SPEC.html">Cfg_intf.SPEC</a>]</td>
<td></td></tr>
<tr><td><a href="Cfg_intf.SPEC.html#VALcompare_prod">compare_prod</a> [<a href="Cfg_intf.SPEC.html">Cfg_intf.SPEC</a>]</td>
<td></td></tr>
<tr><td><a href="Cfg_intf.SPEC.html#VALcompare_t">compare_t</a> [<a href="Cfg_intf.SPEC.html">Cfg_intf.SPEC</a>]</td>
<td></td></tr>
<tr><td align="left"><br>D</td></tr>
<tr><td><a href="Cfg_intf.CFG.html#VALderiv_depth_info">deriv_depth_info</a> [<a href="Cfg_intf.CFG.html">Cfg_intf.CFG</a>]</td>
<td><div class="info">
<code class="code">deriv_depth_info gr</code> returns a traversable representation of
live grammar <code class="code">gr</code>: 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.
</div>
</td></tr>
<tr><td><a href="Cfg_intf.CFG.html#VALdiff">diff</a> [<a href="Cfg_intf.CFG.html">Cfg_intf.CFG</a>]</td>
<td><div class="info">
<code class="code">diff gr1 gr2</code>
</div>
</td></tr>
<tr><td align="left"><br>E</td></tr>
<tr><td><a href="Cfg_intf.CFG.html#VALempty">empty</a> [<a href="Cfg_intf.CFG.html">Cfg_intf.CFG</a>]</td>
<td><div class="info">
<code class="code">empty</code> is the empty grammar.
</div>
</td></tr>
<tr><td><a href="Bnf_lexer.html#VALesc_string">esc_string</a> [<a href="Bnf_lexer.html">Bnf_lexer</a>]</td>
<td></td></tr>
<tr><td align="left"><br>G</td></tr>
<tr><td><a href="Cfg_intf.CFG.html#VALgrammar_contents">grammar_contents</a> [<a href="Cfg_intf.CFG.html">Cfg_intf.CFG</a>]</td>
<td><div class="info">
<code class="code">grammar_contents gr</code> returns a traversable representation of
grammar <code class="code">gr</code>.
</div>
</td></tr>
<tr><td><a href="Cfg_intf.CFG.html#VALgrammar_of_live">grammar_of_live</a> [<a href="Cfg_intf.CFG.html">Cfg_intf.CFG</a>]</td>
<td><div class="info">
<code class="code">grammar_of_live gr</code> converts a live grammar to a normal grammar.
</div>
</td></tr>
<tr><td align="left"><br>I</td></tr>
<tr><td><a href="Bnf_lexer.html#VALid">id</a> [<a href="Bnf_lexer.html">Bnf_lexer</a>]</td>
<td></td></tr>
<tr><td><a href="Cfg_intf.CFG.html#VALinter">inter</a> [<a href="Cfg_intf.CFG.html">Cfg_intf.CFG</a>]</td>
<td><div class="info">
<code class="code">inter gr1 gr2</code>
</div>
</td></tr>
<tr><td align="left"><br>M</td></tr>
<tr><td><a href="Cfg_intf.CFG.html#VALmake_sane">make_sane</a> [<a href="Cfg_intf.CFG.html">Cfg_intf.CFG</a>]</td>
<td><div class="info">
<code class="code">make_sane gr nt</code> prunes all useless entities in grammar <code class="code">gr</code>
using nonterminal <code class="code">nt</code> as start symbol.
</div>
</td></tr>
<tr><td><a href="Cfg_intf.CFG.html#VALmake_sane_live">make_sane_live</a> [<a href="Cfg_intf.CFG.html">Cfg_intf.CFG</a>]</td>
<td><div class="info">
<code class="code">make_sane_live gr nt</code> prunes all useless entities in grammar <code class="code">gr</code>
using nonterminal <code class="code">nt</code> as start symbol.
</div>
</td></tr>
<tr><td align="left"><br>N</td></tr>
<tr><td><a href="Cfg_intf.CFG.html#VALnts_in_grammar">nts_in_grammar</a> [<a href="Cfg_intf.CFG.html">Cfg_intf.CFG</a>]</td>
<td><div class="info">
<code class="code">nts_in_grammar gr</code> returns the set of all nonterminals in <code class="code">gr</code>.
</div>
</td></tr>
<tr><td align="left"><br>P</td></tr>
<tr><td><a href="Bnf_pp.html#VALpp_live_nt">pp_live_nt</a> [<a href="Bnf_pp.html">Bnf_pp</a>]</td>
<td><div class="info">
<code class="code">pp_nt ppf nt di</code> prettyprint live nonterminal <code class="code">nt</code> and its derivation
information <code class="code">di</code> using prettyprinter <code class="code">ppf</code>.
</div>
</td></tr>
<tr><td><a href="Bnf_pp.html#VALpp_live_nts">pp_live_nts</a> [<a href="Bnf_pp.html">Bnf_pp</a>]</td>
<td><div class="info">
<code class="code">pp_live_nts ppf nt_di</code> prettyprint map of nonterminal derivation
information <code class="code">nt_di</code> using prettyprinter <code class="code">ppf</code>.
</div>
</td></tr>
<tr><td><a href="Bnf_pp.html#VALpp_live_prods">pp_live_prods</a> [<a href="Bnf_pp.html">Bnf_pp</a>]</td>
<td><div class="info">
<code class="code">pp_live_prods ppf syms</code> prettyprint live production map <code class="code">pm</code> using
prettyprinter <code class="code">ppf</code>.
</div>
</td></tr>
<tr><td><a href="Bnf_pp.html#VALpp_nt">pp_nt</a> [<a href="Bnf_pp.html">Bnf_pp</a>]</td>
<td><div class="info">
<code class="code">pp_nt ppf nt ps</code> prettyprint nonterminal <code class="code">nt</code> and its production set
<code class="code">ps</code> using prettyprinter <code class="code">ppf</code>.
</div>
</td></tr>
<tr><td><a href="Bnf_pp.html#VALpp_nt_map">pp_nt_map</a> [<a href="Bnf_pp.html">Bnf_pp</a>]</td>
<td><div class="info">
<code class="code">pp_nt_map ppf nts</code> prettyprint map of nonterminals <code class="code">nts</code> using
prettyprinter <code class="code">ppf</code>.
</div>
</td></tr>
<tr><td><a href="Bnf_pp.html#VALpp_nts">pp_nts</a> [<a href="Bnf_pp.html">Bnf_pp</a>]</td>
<td><div class="info">
<code class="code">pp_nts ppf nts</code> prettyprint set of nonterminals <code class="code">nts</code> using
prettyprinter <code class="code">ppf</code>.
</div>
</td></tr>
<tr><td><a href="Bnf_pp.html#VALpp_prod">pp_prod</a> [<a href="Bnf_pp.html">Bnf_pp</a>]</td>
<td><div class="info">
<code class="code">pp_prod ppf syms</code> prettyprint symbols list <code class="code">syms</code> using prettyprinter
<code class="code">ppf</code>.
</div>
</td></tr>
<tr><td><a href="Bnf_pp.html#VALpp_prods">pp_prods</a> [<a href="Bnf_pp.html">Bnf_pp</a>]</td>
<td><div class="info">
<code class="code">pp_prods ppf prods</code> prettyprint set of productions <code class="code">prods</code> using
prettyprinter <code class="code">ppf</code>.
</div>
</td></tr>
<tr><td><a href="Bnf_pp.html#VALpp_ts">pp_ts</a> [<a href="Bnf_pp.html">Bnf_pp</a>]</td>
<td><div class="info">
<code class="code">pp_ts ppf ts</code> prettyprint set of terminals <code class="code">ts</code> using prettyprinter
<code class="code">ppf</code>.
</div>
</td></tr>
<tr><td><a href="Cfg_intf.CFG.html#VALprods_in_grammar">prods_in_grammar</a> [<a href="Cfg_intf.CFG.html">Cfg_intf.CFG</a>]</td>
<td><div class="info">
<code class="code">prods_in_grammar gr</code> returns the set of all productions in <code class="code">gr</code>.
</div>
</td></tr>
<tr><td><a href="Cfg_intf.CFG.html#VALprune_nonlive">prune_nonlive</a> [<a href="Cfg_intf.CFG.html">Cfg_intf.CFG</a>]</td>
<td><div class="info">
<code class="code">prune_nonlive gr</code> prunes all nonlive entities in <code class="code">gr</code>.
</div>
</td></tr>
<tr><td><a href="Cfg_intf.CFG.html#VALprune_unproductive">prune_unproductive</a> [<a href="Cfg_intf.CFG.html">Cfg_intf.CFG</a>]</td>
<td><div class="info">
<code class="code">prune_unproductive gr</code> prunes all unproductive entitites in <code class="code">gr</code>.
</div>
</td></tr>
<tr><td><a href="Cfg_intf.CFG.html#VALprune_unreachable">prune_unreachable</a> [<a href="Cfg_intf.CFG.html">Cfg_intf.CFG</a>]</td>
<td><div class="info">
<code class="code">prune_unreachable gr nt</code> prunes all entities in grammar <code class="code">gr</code>
which cannot be reached from nonterminal <code class="code">nt</code>.
</div>
</td></tr>
<tr><td><a href="Cfg_intf.CFG.html#VALprune_unreachable_live">prune_unreachable_live</a> [<a href="Cfg_intf.CFG.html">Cfg_intf.CFG</a>]</td>
<td><div class="info">
<code class="code">prune_unreachable_live gr nt</code> prunes all entities in live grammar
<code class="code">gr</code> which cannot be reached from nonterminal <code class="code">nt</code>.
</div>
</td></tr>
<tr><td align="left"><br>R</td></tr>
<tr><td><a href="Cfg_intf.CFG.html#VALremove_nt">remove_nt</a> [<a href="Cfg_intf.CFG.html">Cfg_intf.CFG</a>]</td>
<td><div class="info">
<code class="code">remove_nt gr nt</code> removes nonterminal <code class="code">nt</code> from grammar <code class="code">gr</code>.
</div>
</td></tr>
<tr><td align="left"><br>S</td></tr>
<tr><td><a href="Bnf_lexer.html#VALstart">start</a> [<a href="Bnf_lexer.html">Bnf_lexer</a>]</td>
<td></td></tr>
<tr><td><a href="Bnf_parser.html#VALstart">start</a> [<a href="Bnf_parser.html">Bnf_parser</a>]</td>
<td></td></tr>
<tr><td align="left"><br>T</td></tr>
<tr><td><a href="Cfg_intf.CFG.html#VALts_in_grammar">ts_in_grammar</a> [<a href="Cfg_intf.CFG.html">Cfg_intf.CFG</a>]</td>
<td><div class="info">
<code class="code">ts_in_grammar gr</code> returns the set of all terminals in <code class="code">gr</code>.
</div>
</td></tr>
<tr><td align="left"><br>U</td></tr>
<tr><td><a href="Cfg_intf.CFG.html#VALunion">union</a> [<a href="Cfg_intf.CFG.html">Cfg_intf.CFG</a>]</td>
<td><div class="info">
<code class="code">union gr1 gr2</code>
</div>
</td></tr>
</table>
</body>
</html>
