npm - svf-tools - Versions diffs - 1.0.442 → 1.0.445 - Mend

svf-tools 1.0.442 → 1.0.445

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (518) hide show

package/SVF-doxygen/html/html/classSVF_1_1CFLGrammar.html ADDED Viewed

@@ -0,0 +1,591 @@
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<html xmlns="http://www.w3.org/1999/xhtml">
+<head>
+<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
+<meta http-equiv="X-UA-Compatible" content="IE=9"/>
+<meta name="generator" content="Doxygen 1.8.13"/>
+<meta name="viewport" content="width=device-width, initial-scale=1"/>
+<title>Static Value-Flow Analysis: SVF::CFLGrammar Class Reference</title>
+<link href="tabs.css" rel="stylesheet" type="text/css"/>
+<script type="text/javascript" src="jquery.js"></script>
+<script type="text/javascript" src="dynsections.js"></script>
+<link href="search/search.css" rel="stylesheet" type="text/css"/>
+<script type="text/javascript" src="search/searchdata.js"></script>
+<script type="text/javascript" src="search/search.js"></script>
+<link href="doxygen.css" rel="stylesheet" type="text/css" />
+</head>
+<body>
+<div id="top"><!-- do not remove this div, it is closed by doxygen! -->
+<div id="titlearea">
+<table cellspacing="0" cellpadding="0">
+ <tbody>
+ <tr style="height: 56px;">
+  <td id="projectalign" style="padding-left: 0.5em;">
+   <div id="projectname">Static Value-Flow Analysis
+   </div>
+  </td>
+ </tr>
+ </tbody>
+</table>
+</div>
+<!-- end header part -->
+<!-- Generated by Doxygen 1.8.13 -->
+<script type="text/javascript">
+var searchBox = new SearchBox("searchBox", "search",false,'Search');
+</script>
+<script type="text/javascript" src="menudata.js"></script>
+<script type="text/javascript" src="menu.js"></script>
+<script type="text/javascript">
+$(function() {
+  initMenu('',true,false,'search.php','Search');
+  $(document).ready(function() { init_search(); });
+});
+</script>
+<div id="main-nav"></div>
+<!-- window showing the filter options -->
+<div id="MSearchSelectWindow"
+     onmouseover="return searchBox.OnSearchSelectShow()"
+     onmouseout="return searchBox.OnSearchSelectHide()"
+     onkeydown="return searchBox.OnSearchSelectKey(event)">
+</div>
+<!-- iframe showing the search results (closed by default) -->
+<div id="MSearchResultsWindow">
+<iframe src="javascript:void(0)" frameborder="0"
+        name="MSearchResults" id="MSearchResults">
+</iframe>
+</div>
+<div id="nav-path" class="navpath">
+  <ul>
+<li class="navelem"><a class="el" href="namespaceSVF.html">SVF</a></li><li class="navelem"><a class="el" href="classSVF_1_1CFLGrammar.html">CFLGrammar</a></li>  </ul>
+</div>
+</div><!-- top -->
+<div class="header">
+  <div class="summary">
+<a href="#pub-methods">Public Member Functions</a> &#124;
+<a href="#pub-attribs">Public Attributes</a> &#124;
+<a href="classSVF_1_1CFLGrammar-members.html">List of all members</a>  </div>
+  <div class="headertitle">
+<div class="title">SVF::CFLGrammar Class Reference</div>  </div>
+</div><!--header-->
+<div class="contents">
+<p><code>#include &lt;<a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>&gt;</code></p>
+<div class="dynheader">
+Inheritance diagram for SVF::CFLGrammar:</div>
+<div class="dyncontent">
+ <div class="center">
+  <img src="classSVF_1_1CFLGrammar.png" usemap="#SVF::CFLGrammar_map" alt=""/>
+  <map id="SVF::CFLGrammar_map" name="SVF::CFLGrammar_map">
+<area href="classSVF_1_1GrammarBase.html" alt="SVF::GrammarBase" shape="rect" coords="0,0,122,24"/>
+</map>
+ </div></div>
+<table class="memberdecls">
+<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-methods"></a>
+Public Member Functions</h2></td></tr>
+<tr class="memitem:ad124b5e229216515b34b8d9b5d04e067"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLGrammar.html#ad124b5e229216515b34b8d9b5d04e067">CFLGrammar</a> ()</td></tr>
+<tr class="separator:ad124b5e229216515b34b8d9b5d04e067"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:aa27c7e9e4ffcbbf95edddfe3f9faf719"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1GrammarBase.html#afe9195a37f75841dffd831e6e0873a98">Productions</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLGrammar.html#aa27c7e9e4ffcbbf95edddfe3f9faf719">getEpsilonProds</a> () const</td></tr>
+<tr class="separator:aa27c7e9e4ffcbbf95edddfe3f9faf719"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ae7fc8b9b6e3b5be1d5d1e98b19dc95e7"><td class="memItemLeft" align="right" valign="top">const bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLGrammar.html#ae7fc8b9b6e3b5be1d5d1e98b19dc95e7">hasProdsFromFirstRHS</a> (<a class="el" href="classSVF_1_1GrammarBase.html#a98ae90215ba9aa3ddb0afdab459cb08f">Symbol</a> sym) const</td></tr>
+<tr class="separator:ae7fc8b9b6e3b5be1d5d1e98b19dc95e7"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a087cd7538e2565fc00f95221d44c2463"><td class="memItemLeft" align="right" valign="top">const bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLGrammar.html#a087cd7538e2565fc00f95221d44c2463">hasProdsFromSingleRHS</a> (<a class="el" href="classSVF_1_1GrammarBase.html#a98ae90215ba9aa3ddb0afdab459cb08f">Symbol</a> sym) const</td></tr>
+<tr class="separator:a087cd7538e2565fc00f95221d44c2463"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:af9b7e2baa487898ad9a890606216d0c1"><td class="memItemLeft" align="right" valign="top">const bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLGrammar.html#af9b7e2baa487898ad9a890606216d0c1">hasProdsFromSecondRHS</a> (<a class="el" href="classSVF_1_1GrammarBase.html#a98ae90215ba9aa3ddb0afdab459cb08f">Symbol</a> sym) const</td></tr>
+<tr class="separator:af9b7e2baa487898ad9a890606216d0c1"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a7284e7262bedad317a6f8b35b6f62e45"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1GrammarBase.html#afe9195a37f75841dffd831e6e0873a98">Productions</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLGrammar.html#a7284e7262bedad317a6f8b35b6f62e45">getProdsFromSingleRHS</a> (<a class="el" href="classSVF_1_1GrammarBase.html#a98ae90215ba9aa3ddb0afdab459cb08f">Symbol</a> sym) const</td></tr>
+<tr class="separator:a7284e7262bedad317a6f8b35b6f62e45"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ad623cfee9bade475fcdc64fab349f332"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1GrammarBase.html#afe9195a37f75841dffd831e6e0873a98">Productions</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLGrammar.html#ad623cfee9bade475fcdc64fab349f332">getProdsFromFirstRHS</a> (<a class="el" href="classSVF_1_1GrammarBase.html#a98ae90215ba9aa3ddb0afdab459cb08f">Symbol</a> sym) const</td></tr>
+<tr class="separator:ad623cfee9bade475fcdc64fab349f332"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a060244b3b41208d9eb80ddee658cdc68"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1GrammarBase.html#afe9195a37f75841dffd831e6e0873a98">Productions</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLGrammar.html#a060244b3b41208d9eb80ddee658cdc68">getProdsFromSecondRHS</a> (<a class="el" href="classSVF_1_1GrammarBase.html#a98ae90215ba9aa3ddb0afdab459cb08f">Symbol</a> sym) const</td></tr>
+<tr class="separator:a060244b3b41208d9eb80ddee658cdc68"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a6b7598e35c7f50257c7f074a5e07b230"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GrammarBase.html#a98ae90215ba9aa3ddb0afdab459cb08f">Symbol</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLGrammar.html#a6b7598e35c7f50257c7f074a5e07b230">getLHSSymbol</a> (const <a class="el" href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">Production</a> &amp;prod)</td></tr>
+<tr class="separator:a6b7598e35c7f50257c7f074a5e07b230"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:af26cd720d34bdf7e37c0be603fcc9921"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GrammarBase.html#a98ae90215ba9aa3ddb0afdab459cb08f">Symbol</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLGrammar.html#af26cd720d34bdf7e37c0be603fcc9921">getFirstRHSSymbol</a> (const <a class="el" href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">Production</a> &amp;prod)</td></tr>
+<tr class="separator:af26cd720d34bdf7e37c0be603fcc9921"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:afc6e719553df005ea14cca953602d28b"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GrammarBase.html#a98ae90215ba9aa3ddb0afdab459cb08f">Symbol</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLGrammar.html#afc6e719553df005ea14cca953602d28b">getSecondRHSSymbol</a> (const <a class="el" href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">Production</a> &amp;prod)</td></tr>
+<tr class="separator:afc6e719553df005ea14cca953602d28b"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a29d757bc4f0d236f421e332e51fe6d8b"><td class="memItemLeft" align="right" valign="top">int&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLGrammar.html#a29d757bc4f0d236f421e332e51fe6d8b">num_generator</a> ()</td></tr>
+<tr class="separator:a29d757bc4f0d236f421e332e51fe6d8b"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="inherit_header pub_methods_classSVF_1_1GrammarBase"><td colspan="2" onclick="javascript:toggleInherit('pub_methods_classSVF_1_1GrammarBase')"><img src="closed.png" alt="-"/>&#160;Public Member Functions inherited from <a class="el" href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></td></tr>
+<tr class="memitem:ada4387512b2e18555b4c309580d4dba6 inherit pub_methods_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GrammarBase.html#a98ae90215ba9aa3ddb0afdab459cb08f">Symbol</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#ada4387512b2e18555b4c309580d4dba6">str2Sym</a> (std::string str) const</td></tr>
+<tr class="separator:ada4387512b2e18555b4c309580d4dba6 inherit pub_methods_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a3638a17caf8596a826b419ec5bc4df2e inherit pub_methods_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top">std::string&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#a3638a17caf8596a826b419ec5bc4df2e">sym2Str</a> (<a class="el" href="classSVF_1_1GrammarBase.html#a98ae90215ba9aa3ddb0afdab459cb08f">Symbol</a> sym) const</td></tr>
+<tr class="separator:a3638a17caf8596a826b419ec5bc4df2e inherit pub_methods_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:afb21efe07e3451ad8284cab384963f06 inherit pub_methods_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GrammarBase.html#a98ae90215ba9aa3ddb0afdab459cb08f">Symbol</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#afb21efe07e3451ad8284cab384963f06">getSymbol</a> (const <a class="el" href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">Production</a> &amp;prod, <a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> pos)</td></tr>
+<tr class="separator:afb21efe07e3451ad8284cab384963f06 inherit pub_methods_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a7583350e892c62a454de8a8317e4c1b8 inherit pub_methods_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GrammarBase.html#a98ae90215ba9aa3ddb0afdab459cb08f">Symbol</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#a7583350e892c62a454de8a8317e4c1b8">insertTerminalSymbol</a> (std::string strLit)</td></tr>
+<tr class="separator:a7583350e892c62a454de8a8317e4c1b8 inherit pub_methods_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a63389968c8d246a84562a8d17e08790b inherit pub_methods_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GrammarBase.html#a98ae90215ba9aa3ddb0afdab459cb08f">Symbol</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#a63389968c8d246a84562a8d17e08790b">insertNonTerminalSymbol</a> (std::string strLit)</td></tr>
+<tr class="separator:a63389968c8d246a84562a8d17e08790b inherit pub_methods_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2">&#160;</td></tr>
+</table><table class="memberdecls">
+<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-attribs"></a>
+Public Attributes</h2></td></tr>
+<tr class="memitem:a2cc6beafd16acba439bc748287b598fa"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set</a>&lt; <a class="el" href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">Production</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLGrammar.html#a2cc6beafd16acba439bc748287b598fa">epsilonProds</a></td></tr>
+<tr class="separator:a2cc6beafd16acba439bc748287b598fa"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:acd866f3392952d7d71b51ca21b7e1c91"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt; <a class="el" href="classSVF_1_1GrammarBase.html#a98ae90215ba9aa3ddb0afdab459cb08f">Symbol</a>, <a class="el" href="classSVF_1_1GrammarBase.html#afe9195a37f75841dffd831e6e0873a98">Productions</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLGrammar.html#acd866f3392952d7d71b51ca21b7e1c91">singleRHS2Prods</a></td></tr>
+<tr class="separator:acd866f3392952d7d71b51ca21b7e1c91"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ab83b803c3407a5776bd28c076c030968"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt; <a class="el" href="classSVF_1_1GrammarBase.html#a98ae90215ba9aa3ddb0afdab459cb08f">Symbol</a>, <a class="el" href="classSVF_1_1GrammarBase.html#afe9195a37f75841dffd831e6e0873a98">Productions</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLGrammar.html#ab83b803c3407a5776bd28c076c030968">firstRHS2Prods</a></td></tr>
+<tr class="separator:ab83b803c3407a5776bd28c076c030968"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:aa85341b1bac9f80780417c83b83b9f73"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt; <a class="el" href="classSVF_1_1GrammarBase.html#a98ae90215ba9aa3ddb0afdab459cb08f">Symbol</a>, <a class="el" href="classSVF_1_1GrammarBase.html#afe9195a37f75841dffd831e6e0873a98">Productions</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLGrammar.html#aa85341b1bac9f80780417c83b83b9f73">secondRHS2Prods</a></td></tr>
+<tr class="separator:aa85341b1bac9f80780417c83b83b9f73"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a505980f327852aca64bb372f1f87b1cd"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GrammarBase.html#a98ae90215ba9aa3ddb0afdab459cb08f">Symbol</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLGrammar.html#a505980f327852aca64bb372f1f87b1cd">newTerminalSubscript</a></td></tr>
+<tr class="separator:a505980f327852aca64bb372f1f87b1cd"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="inherit_header pub_attribs_classSVF_1_1GrammarBase"><td colspan="2" onclick="javascript:toggleInherit('pub_attribs_classSVF_1_1GrammarBase')"><img src="closed.png" alt="-"/>&#160;Public Attributes inherited from <a class="el" href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></td></tr>
+<tr class="memitem:af9e8e7bf4239a04002ff41885f9e5e91 inherit pub_attribs_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt; std::string, <a class="el" href="classSVF_1_1GrammarBase.html#a98ae90215ba9aa3ddb0afdab459cb08f">Symbol</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#af9e8e7bf4239a04002ff41885f9e5e91">terminals</a></td></tr>
+<tr class="separator:af9e8e7bf4239a04002ff41885f9e5e91 inherit pub_attribs_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a42edb89b4d782bfae800842f90da09ff inherit pub_attribs_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt; std::string, <a class="el" href="classSVF_1_1GrammarBase.html#a98ae90215ba9aa3ddb0afdab459cb08f">Symbol</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#a42edb89b4d782bfae800842f90da09ff">nonterminals</a></td></tr>
+<tr class="separator:a42edb89b4d782bfae800842f90da09ff inherit pub_attribs_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a48c738beefe73184f7aed8b1ed5afb53 inherit pub_attribs_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GrammarBase.html#a98ae90215ba9aa3ddb0afdab459cb08f">Symbol</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#a48c738beefe73184f7aed8b1ed5afb53">startSymbol</a></td></tr>
+<tr class="separator:a48c738beefe73184f7aed8b1ed5afb53 inherit pub_attribs_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ac17dee194615cc9f7861375f033aaa8e inherit pub_attribs_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GrammarBase.html#a98ae90215ba9aa3ddb0afdab459cb08f">Symbol</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#ac17dee194615cc9f7861375f033aaa8e">totalSymbol</a></td></tr>
+<tr class="separator:ac17dee194615cc9f7861375f033aaa8e inherit pub_attribs_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a05ea6937c8afaa20914ec47c10452a95 inherit pub_attribs_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt; <a class="el" href="classSVF_1_1GrammarBase.html#a98ae90215ba9aa3ddb0afdab459cb08f">Symbol</a>, <a class="el" href="classSVF_1_1GrammarBase.html#afe9195a37f75841dffd831e6e0873a98">Productions</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#a05ea6937c8afaa20914ec47c10452a95">rawProductions</a></td></tr>
+<tr class="separator:a05ea6937c8afaa20914ec47c10452a95 inherit pub_attribs_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2">&#160;</td></tr>
+</table><table class="memberdecls">
+<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="inherited"></a>
+Additional Inherited Members</h2></td></tr>
+<tr class="inherit_header pub_types_classSVF_1_1GrammarBase"><td colspan="2" onclick="javascript:toggleInherit('pub_types_classSVF_1_1GrammarBase')"><img src="closed.png" alt="-"/>&#160;Public Types inherited from <a class="el" href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></td></tr>
+<tr class="memitem:a98ae90215ba9aa3ddb0afdab459cb08f inherit pub_types_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#a98ae90215ba9aa3ddb0afdab459cb08f">Symbol</a></td></tr>
+<tr class="separator:a98ae90215ba9aa3ddb0afdab459cb08f inherit pub_types_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:af384c960a5edc576cbfb60a869e346ec inherit pub_types_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top">typedef std::vector&lt; <a class="el" href="classSVF_1_1GrammarBase.html#a98ae90215ba9aa3ddb0afdab459cb08f">Symbol</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">Production</a></td></tr>
+<tr class="separator:af384c960a5edc576cbfb60a869e346ec inherit pub_types_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:afe9195a37f75841dffd831e6e0873a98 inherit pub_types_classSVF_1_1GrammarBase"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set</a>&lt; <a class="el" href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">Production</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBase.html#afe9195a37f75841dffd831e6e0873a98">Productions</a></td></tr>
+<tr class="separator:afe9195a37f75841dffd831e6e0873a98 inherit pub_types_classSVF_1_1GrammarBase"><td class="memSeparator" colspan="2">&#160;</td></tr>
+</table>
+<a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
+<div class="textblock">
+<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00059">59</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
+</div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
+<a id="ad124b5e229216515b34b8d9b5d04e067"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#ad124b5e229216515b34b8d9b5d04e067">&#9670;&nbsp;</a></span>CFLGrammar()</h2>
+<div class="memitem">
+<div class="memproto">
+      <table class="memname">
+        <tr>
+          <td class="memname">CFLGrammar::CFLGrammar </td>
+          <td>(</td>
+          <td class="paramname"></td><td>)</td>
+          <td></td>
+        </tr>
+      </table>
+</div><div class="memdoc">
+<p class="definition">Definition at line <a class="el" href="CFLGrammar_8cpp_source.html#l00098">98</a> of file <a class="el" href="CFLGrammar_8cpp_source.html">CFLGrammar.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00098"></a><span class="lineno">   98</span>&#160;                      {</div><div class="line"><a name="l00099"></a><span class="lineno">   99</span>&#160;</div><div class="line"><a name="l00100"></a><span class="lineno">  100</span>&#160;}</div></div><!-- fragment -->
+</div>
+</div>
+<h2 class="groupheader">Member Function Documentation</h2>
+<a id="aa27c7e9e4ffcbbf95edddfe3f9faf719"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#aa27c7e9e4ffcbbf95edddfe3f9faf719">&#9670;&nbsp;</a></span>getEpsilonProds()</h2>
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">const <a class="el" href="classSVF_1_1GrammarBase.html#afe9195a37f75841dffd831e6e0873a98">Productions</a>&amp; SVF::CFLGrammar::getEpsilonProds </td>
+          <td>(</td>
+          <td class="paramname"></td><td>)</td>
+          <td> const</td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00069">69</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00069"></a><span class="lineno">   69</span>&#160;                                              {</div><div class="line"><a name="l00070"></a><span class="lineno">   70</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFLGrammar.html#a2cc6beafd16acba439bc748287b598fa">epsilonProds</a>;</div><div class="line"><a name="l00071"></a><span class="lineno">   71</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CFLGrammar_html_a2cc6beafd16acba439bc748287b598fa"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#a2cc6beafd16acba439bc748287b598fa">SVF::CFLGrammar::epsilonProds</a></div><div class="ttdeci">Set&lt; Production &gt; epsilonProds</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00062">CFLGrammar.h:62</a></div></div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="af26cd720d34bdf7e37c0be603fcc9921"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#af26cd720d34bdf7e37c0be603fcc9921">&#9670;&nbsp;</a></span>getFirstRHSSymbol()</h2>
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname"><a class="el" href="classSVF_1_1GrammarBase.html#a98ae90215ba9aa3ddb0afdab459cb08f">Symbol</a> SVF::CFLGrammar::getFirstRHSSymbol </td>
+          <td>(</td>
+          <td class="paramtype">const <a class="el" href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">Production</a> &amp;&#160;</td>
+          <td class="paramname"><em>prod</em></td><td>)</td>
+          <td></td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00110">110</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00110"></a><span class="lineno">  110</span>&#160;                                                    {</div><div class="line"><a name="l00111"></a><span class="lineno">  111</span>&#160;        <span class="keywordflow">return</span> prod.at(1);</div><div class="line"><a name="l00112"></a><span class="lineno">  112</span>&#160;    }</div></div><!-- fragment -->
+</div>
+</div>
+<a id="a6b7598e35c7f50257c7f074a5e07b230"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a6b7598e35c7f50257c7f074a5e07b230">&#9670;&nbsp;</a></span>getLHSSymbol()</h2>
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname"><a class="el" href="classSVF_1_1GrammarBase.html#a98ae90215ba9aa3ddb0afdab459cb08f">Symbol</a> SVF::CFLGrammar::getLHSSymbol </td>
+          <td>(</td>
+          <td class="paramtype">const <a class="el" href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">Production</a> &amp;&#160;</td>
+          <td class="paramname"><em>prod</em></td><td>)</td>
+          <td></td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00106">106</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00106"></a><span class="lineno">  106</span>&#160;                                               {</div><div class="line"><a name="l00107"></a><span class="lineno">  107</span>&#160;        <span class="keywordflow">return</span> prod.at(0);</div><div class="line"><a name="l00108"></a><span class="lineno">  108</span>&#160;    }</div></div><!-- fragment -->
+</div>
+</div>
+<a id="ad623cfee9bade475fcdc64fab349f332"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#ad623cfee9bade475fcdc64fab349f332">&#9670;&nbsp;</a></span>getProdsFromFirstRHS()</h2>
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">const <a class="el" href="classSVF_1_1GrammarBase.html#afe9195a37f75841dffd831e6e0873a98">Productions</a>&amp; SVF::CFLGrammar::getProdsFromFirstRHS </td>
+          <td>(</td>
+          <td class="paramtype"><a class="el" href="classSVF_1_1GrammarBase.html#a98ae90215ba9aa3ddb0afdab459cb08f">Symbol</a>&#160;</td>
+          <td class="paramname"><em>sym</em></td><td>)</td>
+          <td> const</td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00094">94</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00094"></a><span class="lineno">   94</span>&#160;                                                             {</div><div class="line"><a name="l00095"></a><span class="lineno">   95</span>&#160;        <span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1CFLGrammar.html#ab83b803c3407a5776bd28c076c030968">firstRHS2Prods</a>.find(sym);</div><div class="line"><a name="l00096"></a><span class="lineno">   96</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(it!=<a class="code" href="classSVF_1_1CFLGrammar.html#ab83b803c3407a5776bd28c076c030968">firstRHS2Prods</a>.end() &amp;&amp; <span class="stringliteral">&quot;production (X -&gt; sym Y) not found for sym!!&quot;</span>);</div><div class="line"><a name="l00097"></a><span class="lineno">   97</span>&#160;        <span class="keywordflow">return</span> it-&gt;second;</div><div class="line"><a name="l00098"></a><span class="lineno">   98</span>&#160;    }</div><div class="ttc" id="util_8h_html_a07d17d6d5d1074c0969bc5d3c3d1d84a"><div class="ttname"><a href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a></div><div class="ttdeci">#define assert(ex)</div><div class="ttdef"><b>Definition:</b> <a href="util_8h_source.html#l00141">util.h:141</a></div></div>
+<div class="ttc" id="classSVF_1_1CFLGrammar_html_ab83b803c3407a5776bd28c076c030968"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#ab83b803c3407a5776bd28c076c030968">SVF::CFLGrammar::firstRHS2Prods</a></div><div class="ttdeci">Map&lt; Symbol, Productions &gt; firstRHS2Prods</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00064">CFLGrammar.h:64</a></div></div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="a060244b3b41208d9eb80ddee658cdc68"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a060244b3b41208d9eb80ddee658cdc68">&#9670;&nbsp;</a></span>getProdsFromSecondRHS()</h2>
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">const <a class="el" href="classSVF_1_1GrammarBase.html#afe9195a37f75841dffd831e6e0873a98">Productions</a>&amp; SVF::CFLGrammar::getProdsFromSecondRHS </td>
+          <td>(</td>
+          <td class="paramtype"><a class="el" href="classSVF_1_1GrammarBase.html#a98ae90215ba9aa3ddb0afdab459cb08f">Symbol</a>&#160;</td>
+          <td class="paramname"><em>sym</em></td><td>)</td>
+          <td> const</td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00100">100</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00100"></a><span class="lineno">  100</span>&#160;                                                              {</div><div class="line"><a name="l00101"></a><span class="lineno">  101</span>&#160;        <span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1CFLGrammar.html#aa85341b1bac9f80780417c83b83b9f73">secondRHS2Prods</a>.find(sym);</div><div class="line"><a name="l00102"></a><span class="lineno">  102</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(it!=<a class="code" href="classSVF_1_1CFLGrammar.html#aa85341b1bac9f80780417c83b83b9f73">secondRHS2Prods</a>.end() &amp;&amp; <span class="stringliteral">&quot;production (X -&gt; Y sym) not found for sym!!&quot;</span>);</div><div class="line"><a name="l00103"></a><span class="lineno">  103</span>&#160;        <span class="keywordflow">return</span> it-&gt;second;</div><div class="line"><a name="l00104"></a><span class="lineno">  104</span>&#160;    }</div><div class="ttc" id="util_8h_html_a07d17d6d5d1074c0969bc5d3c3d1d84a"><div class="ttname"><a href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a></div><div class="ttdeci">#define assert(ex)</div><div class="ttdef"><b>Definition:</b> <a href="util_8h_source.html#l00141">util.h:141</a></div></div>
+<div class="ttc" id="classSVF_1_1CFLGrammar_html_aa85341b1bac9f80780417c83b83b9f73"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#aa85341b1bac9f80780417c83b83b9f73">SVF::CFLGrammar::secondRHS2Prods</a></div><div class="ttdeci">Map&lt; Symbol, Productions &gt; secondRHS2Prods</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00065">CFLGrammar.h:65</a></div></div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="a7284e7262bedad317a6f8b35b6f62e45"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a7284e7262bedad317a6f8b35b6f62e45">&#9670;&nbsp;</a></span>getProdsFromSingleRHS()</h2>
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">const <a class="el" href="classSVF_1_1GrammarBase.html#afe9195a37f75841dffd831e6e0873a98">Productions</a>&amp; SVF::CFLGrammar::getProdsFromSingleRHS </td>
+          <td>(</td>
+          <td class="paramtype"><a class="el" href="classSVF_1_1GrammarBase.html#a98ae90215ba9aa3ddb0afdab459cb08f">Symbol</a>&#160;</td>
+          <td class="paramname"><em>sym</em></td><td>)</td>
+          <td> const</td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00088">88</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00088"></a><span class="lineno">   88</span>&#160;                                                              {</div><div class="line"><a name="l00089"></a><span class="lineno">   89</span>&#160;        <span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1CFLGrammar.html#acd866f3392952d7d71b51ca21b7e1c91">singleRHS2Prods</a>.find(sym);</div><div class="line"><a name="l00090"></a><span class="lineno">   90</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(it!=<a class="code" href="classSVF_1_1CFLGrammar.html#acd866f3392952d7d71b51ca21b7e1c91">singleRHS2Prods</a>.end() &amp;&amp; <span class="stringliteral">&quot;production (X -&gt; sym) not found for sym!!&quot;</span>);</div><div class="line"><a name="l00091"></a><span class="lineno">   91</span>&#160;        <span class="keywordflow">return</span> it-&gt;second;</div><div class="line"><a name="l00092"></a><span class="lineno">   92</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CFLGrammar_html_acd866f3392952d7d71b51ca21b7e1c91"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#acd866f3392952d7d71b51ca21b7e1c91">SVF::CFLGrammar::singleRHS2Prods</a></div><div class="ttdeci">Map&lt; Symbol, Productions &gt; singleRHS2Prods</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00063">CFLGrammar.h:63</a></div></div>
+<div class="ttc" id="util_8h_html_a07d17d6d5d1074c0969bc5d3c3d1d84a"><div class="ttname"><a href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a></div><div class="ttdeci">#define assert(ex)</div><div class="ttdef"><b>Definition:</b> <a href="util_8h_source.html#l00141">util.h:141</a></div></div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="afc6e719553df005ea14cca953602d28b"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#afc6e719553df005ea14cca953602d28b">&#9670;&nbsp;</a></span>getSecondRHSSymbol()</h2>
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname"><a class="el" href="classSVF_1_1GrammarBase.html#a98ae90215ba9aa3ddb0afdab459cb08f">Symbol</a> SVF::CFLGrammar::getSecondRHSSymbol </td>
+          <td>(</td>
+          <td class="paramtype">const <a class="el" href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">Production</a> &amp;&#160;</td>
+          <td class="paramname"><em>prod</em></td><td>)</td>
+          <td></td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00114">114</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00114"></a><span class="lineno">  114</span>&#160;                                                     {</div><div class="line"><a name="l00115"></a><span class="lineno">  115</span>&#160;        <span class="keywordflow">return</span> prod.at(2);</div><div class="line"><a name="l00116"></a><span class="lineno">  116</span>&#160;    }</div></div><!-- fragment -->
+</div>
+</div>
+<a id="ae7fc8b9b6e3b5be1d5d1e98b19dc95e7"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#ae7fc8b9b6e3b5be1d5d1e98b19dc95e7">&#9670;&nbsp;</a></span>hasProdsFromFirstRHS()</h2>
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">const bool SVF::CFLGrammar::hasProdsFromFirstRHS </td>
+          <td>(</td>
+          <td class="paramtype"><a class="el" href="classSVF_1_1GrammarBase.html#a98ae90215ba9aa3ddb0afdab459cb08f">Symbol</a>&#160;</td>
+          <td class="paramname"><em>sym</em></td><td>)</td>
+          <td> const</td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00073">73</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00073"></a><span class="lineno">   73</span>&#160;                                                     {</div><div class="line"><a name="l00074"></a><span class="lineno">   74</span>&#160;        <span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1CFLGrammar.html#ab83b803c3407a5776bd28c076c030968">firstRHS2Prods</a>.find(sym);</div><div class="line"><a name="l00075"></a><span class="lineno">   75</span>&#160;        <span class="keywordflow">return</span> it!=<a class="code" href="classSVF_1_1CFLGrammar.html#ab83b803c3407a5776bd28c076c030968">firstRHS2Prods</a>.end();</div><div class="line"><a name="l00076"></a><span class="lineno">   76</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CFLGrammar_html_ab83b803c3407a5776bd28c076c030968"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#ab83b803c3407a5776bd28c076c030968">SVF::CFLGrammar::firstRHS2Prods</a></div><div class="ttdeci">Map&lt; Symbol, Productions &gt; firstRHS2Prods</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00064">CFLGrammar.h:64</a></div></div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="af9b7e2baa487898ad9a890606216d0c1"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#af9b7e2baa487898ad9a890606216d0c1">&#9670;&nbsp;</a></span>hasProdsFromSecondRHS()</h2>
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">const bool SVF::CFLGrammar::hasProdsFromSecondRHS </td>
+          <td>(</td>
+          <td class="paramtype"><a class="el" href="classSVF_1_1GrammarBase.html#a98ae90215ba9aa3ddb0afdab459cb08f">Symbol</a>&#160;</td>
+          <td class="paramname"><em>sym</em></td><td>)</td>
+          <td> const</td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00083">83</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00083"></a><span class="lineno">   83</span>&#160;                                                      {</div><div class="line"><a name="l00084"></a><span class="lineno">   84</span>&#160;        <span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1CFLGrammar.html#aa85341b1bac9f80780417c83b83b9f73">secondRHS2Prods</a>.find(sym);</div><div class="line"><a name="l00085"></a><span class="lineno">   85</span>&#160;        <span class="keywordflow">return</span> it!=<a class="code" href="classSVF_1_1CFLGrammar.html#aa85341b1bac9f80780417c83b83b9f73">secondRHS2Prods</a>.end();</div><div class="line"><a name="l00086"></a><span class="lineno">   86</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CFLGrammar_html_aa85341b1bac9f80780417c83b83b9f73"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#aa85341b1bac9f80780417c83b83b9f73">SVF::CFLGrammar::secondRHS2Prods</a></div><div class="ttdeci">Map&lt; Symbol, Productions &gt; secondRHS2Prods</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00065">CFLGrammar.h:65</a></div></div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="a087cd7538e2565fc00f95221d44c2463"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a087cd7538e2565fc00f95221d44c2463">&#9670;&nbsp;</a></span>hasProdsFromSingleRHS()</h2>
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">const bool SVF::CFLGrammar::hasProdsFromSingleRHS </td>
+          <td>(</td>
+          <td class="paramtype"><a class="el" href="classSVF_1_1GrammarBase.html#a98ae90215ba9aa3ddb0afdab459cb08f">Symbol</a>&#160;</td>
+          <td class="paramname"><em>sym</em></td><td>)</td>
+          <td> const</td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00078">78</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00078"></a><span class="lineno">   78</span>&#160;                                                      {</div><div class="line"><a name="l00079"></a><span class="lineno">   79</span>&#160;        <span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1CFLGrammar.html#acd866f3392952d7d71b51ca21b7e1c91">singleRHS2Prods</a>.find(sym);</div><div class="line"><a name="l00080"></a><span class="lineno">   80</span>&#160;        <span class="keywordflow">return</span> it!=<a class="code" href="classSVF_1_1CFLGrammar.html#acd866f3392952d7d71b51ca21b7e1c91">singleRHS2Prods</a>.end();</div><div class="line"><a name="l00081"></a><span class="lineno">   81</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CFLGrammar_html_acd866f3392952d7d71b51ca21b7e1c91"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#acd866f3392952d7d71b51ca21b7e1c91">SVF::CFLGrammar::singleRHS2Prods</a></div><div class="ttdeci">Map&lt; Symbol, Productions &gt; singleRHS2Prods</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00063">CFLGrammar.h:63</a></div></div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="a29d757bc4f0d236f421e332e51fe6d8b"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a29d757bc4f0d236f421e332e51fe6d8b">&#9670;&nbsp;</a></span>num_generator()</h2>
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">int SVF::CFLGrammar::num_generator </td>
+          <td>(</td>
+          <td class="paramname"></td><td>)</td>
+          <td></td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00118">118</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00119"></a><span class="lineno">  119</span>&#160;    {</div><div class="line"><a name="l00120"></a><span class="lineno">  120</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFLGrammar.html#a505980f327852aca64bb372f1f87b1cd">newTerminalSubscript</a>++;</div><div class="line"><a name="l00121"></a><span class="lineno">  121</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CFLGrammar_html_a505980f327852aca64bb372f1f87b1cd"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#a505980f327852aca64bb372f1f87b1cd">SVF::CFLGrammar::newTerminalSubscript</a></div><div class="ttdeci">Symbol newTerminalSubscript</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00066">CFLGrammar.h:66</a></div></div>
+</div><!-- fragment -->
+</div>
+</div>
+<h2 class="groupheader">Member Data Documentation</h2>
+<a id="a2cc6beafd16acba439bc748287b598fa"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a2cc6beafd16acba439bc748287b598fa">&#9670;&nbsp;</a></span>epsilonProds</h2>
+<div class="memitem">
+<div class="memproto">
+      <table class="memname">
+        <tr>
+          <td class="memname"><a class="el" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set</a>&lt;<a class="el" href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">Production</a> &gt; SVF::CFLGrammar::epsilonProds</td>
+        </tr>
+      </table>
+</div><div class="memdoc">
+<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00062">62</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
+</div>
+</div>
+<a id="ab83b803c3407a5776bd28c076c030968"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#ab83b803c3407a5776bd28c076c030968">&#9670;&nbsp;</a></span>firstRHS2Prods</h2>
+<div class="memitem">
+<div class="memproto">
+      <table class="memname">
+        <tr>
+          <td class="memname"><a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt;<a class="el" href="classSVF_1_1GrammarBase.html#a98ae90215ba9aa3ddb0afdab459cb08f">Symbol</a>, <a class="el" href="classSVF_1_1GrammarBase.html#afe9195a37f75841dffd831e6e0873a98">Productions</a>&gt; SVF::CFLGrammar::firstRHS2Prods</td>
+        </tr>
+      </table>
+</div><div class="memdoc">
+<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00064">64</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
+</div>
+</div>
+<a id="a505980f327852aca64bb372f1f87b1cd"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a505980f327852aca64bb372f1f87b1cd">&#9670;&nbsp;</a></span>newTerminalSubscript</h2>
+<div class="memitem">
+<div class="memproto">
+      <table class="memname">
+        <tr>
+          <td class="memname"><a class="el" href="classSVF_1_1GrammarBase.html#a98ae90215ba9aa3ddb0afdab459cb08f">Symbol</a> SVF::CFLGrammar::newTerminalSubscript</td>
+        </tr>
+      </table>
+</div><div class="memdoc">
+<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00066">66</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
+</div>
+</div>
+<a id="aa85341b1bac9f80780417c83b83b9f73"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#aa85341b1bac9f80780417c83b83b9f73">&#9670;&nbsp;</a></span>secondRHS2Prods</h2>
+<div class="memitem">
+<div class="memproto">
+      <table class="memname">
+        <tr>
+          <td class="memname"><a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt;<a class="el" href="classSVF_1_1GrammarBase.html#a98ae90215ba9aa3ddb0afdab459cb08f">Symbol</a>, <a class="el" href="classSVF_1_1GrammarBase.html#afe9195a37f75841dffd831e6e0873a98">Productions</a>&gt; SVF::CFLGrammar::secondRHS2Prods</td>
+        </tr>
+      </table>
+</div><div class="memdoc">
+<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00065">65</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
+</div>
+</div>
+<a id="acd866f3392952d7d71b51ca21b7e1c91"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#acd866f3392952d7d71b51ca21b7e1c91">&#9670;&nbsp;</a></span>singleRHS2Prods</h2>
+<div class="memitem">
+<div class="memproto">
+      <table class="memname">
+        <tr>
+          <td class="memname"><a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt;<a class="el" href="classSVF_1_1GrammarBase.html#a98ae90215ba9aa3ddb0afdab459cb08f">Symbol</a>, <a class="el" href="classSVF_1_1GrammarBase.html#afe9195a37f75841dffd831e6e0873a98">Productions</a>&gt; SVF::CFLGrammar::singleRHS2Prods</td>
+        </tr>
+      </table>
+</div><div class="memdoc">
+<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00063">63</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
+</div>
+</div>
+<hr/>The documentation for this class was generated from the following files:<ul>
+<li>/home/runner/work/SVF/SVF/include/CFL/<a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a></li>
+<li>/home/runner/work/SVF/SVF/lib/CFL/<a class="el" href="CFLGrammar_8cpp_source.html">CFLGrammar.cpp</a></li>
+</ul>
+</div><!-- contents -->
+<!-- start footer part -->
+<hr class="footer"/><address class="footer"><small>
+Generated by &#160;<a href="http://www.doxygen.org/index.html">
+<img class="footer" src="doxygen.png" alt="doxygen"/>
+</a> 1.8.13
+</small></address>
+</body>
+</html>