<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 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="Cfg_intf" rel="Chapter" href="Cfg_intf.html"> <link title="Cfg_impl" rel="Chapter" href="Cfg_impl.html"> <link title="Bnf_spec" rel="Chapter" href="Bnf_spec.html"> <link title="Bnf_pp" rel="Chapter" href="Bnf_pp.html"><title>Index of values</title> </head> <body> <center><h1>Index of values</h1></center> <table> <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 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="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>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><br> </body> </html>