svf-tools 1.0.579 → 1.0.581

package/SVF-doxygen/html/html/CFLGrammar_8txt.html

@@ -69,42 +69,42 @@ $(function() {
 Variables</h2></td></tr>
 <tr class="memitem:ad8c410068267cc7ccd0765a7bd51a2bf"><td class="memItemLeft" align="right" valign="top">Start&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#ad8c410068267cc7ccd0765a7bd51a2bf">__pad0__</a></td></tr>
 <tr class="separator:ad8c410068267cc7ccd0765a7bd51a2bf"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a36f63c7a581bf6d351f835c6127a2519"><td class="memItemLeft" align="right" valign="top"><a class="el" href="CFLGrammar_8txt.html#a00967427d1c110ffcc82ea2a966f4564">F</a> <a class="el" href="CFLGrammar_8txt.html#a00967427d1c110ffcc82ea2a966f4564">F</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#a36f63c7a581bf6d351f835c6127a2519">Copy</a></td></tr>
-<tr class="separator:a36f63c7a581bf6d351f835c6127a2519"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ae2f9fbd0bf92e7dad02a6c5fa9323621"><td class="memItemLeft" align="right" valign="top"><a class="el" href="CFLGrammar_8txt.html#a00967427d1c110ffcc82ea2a966f4564">F</a> <a class="el" href="CFLGrammar_8txt.html#a017fa6c558fa1eff0a13180c8340aba8">Addr</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#ae2f9fbd0bf92e7dad02a6c5fa9323621">Memflow</a></td></tr>
+<tr class="memitem:a7669ee67a0563250c1efaa24d130e1ac"><td class="memItemLeft" align="right" valign="top"><a class="el" href="CFLGrammar_8txt.html#a00967427d1c110ffcc82ea2a966f4564">F</a> <a class="el" href="CFLGrammar_8txt.html#a00967427d1c110ffcc82ea2a966f4564">F</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#a7669ee67a0563250c1efaa24d130e1ac">copy</a></td></tr>
+<tr class="separator:a7669ee67a0563250c1efaa24d130e1ac"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ae2f9fbd0bf92e7dad02a6c5fa9323621"><td class="memItemLeft" align="right" valign="top"><a class="el" href="CFLGrammar_8txt.html#a00967427d1c110ffcc82ea2a966f4564">F</a> <a class="el" href="CFLGrammar_8txt.html#aae7baac9bf1fe49869f5ab76e07bfd05">addr</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#ae2f9fbd0bf92e7dad02a6c5fa9323621">Memflow</a></td></tr>
 <tr class="separator:ae2f9fbd0bf92e7dad02a6c5fa9323621"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:af3f0b3f464e928b7fc87347dc041501d"><td class="memItemLeft" align="right" valign="top"><a class="el" href="CFLGrammar_8txt.html#a00967427d1c110ffcc82ea2a966f4564">F</a> <a class="el" href="CFLGrammar_8txt.html#a00967427d1c110ffcc82ea2a966f4564">F</a> <a class="el" href="CFLGrammar_8txt.html#a4459b9e008c1693c8d592cf0544912f6">Store</a> V&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#af3f0b3f464e928b7fc87347dc041501d">Load</a></td></tr>
-<tr class="separator:af3f0b3f464e928b7fc87347dc041501d"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a114c2e5cd44b3ea4720e9191ed819f3b"><td class="memItemLeft" align="right" valign="top"><a class="el" href="PEGGrammar_8txt.html#a8cdc0a8a1b4a7aefe08370ca9395993c">Fbar</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#a114c2e5cd44b3ea4720e9191ed819f3b">epsilon</a></td></tr>
+<tr class="memitem:af94ae7efab42c57589a313f6cc7ada63"><td class="memItemLeft" align="right" valign="top"><a class="el" href="CFLGrammar_8txt.html#a00967427d1c110ffcc82ea2a966f4564">F</a> <a class="el" href="CFLGrammar_8txt.html#a00967427d1c110ffcc82ea2a966f4564">F</a> <a class="el" href="CFLGrammar_8txt.html#a92d5a256d74eadeb5bfa131b84067f0d">store</a> V&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#af94ae7efab42c57589a313f6cc7ada63">load</a></td></tr>
+<tr class="separator:af94ae7efab42c57589a313f6cc7ada63"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a114c2e5cd44b3ea4720e9191ed819f3b"><td class="memItemLeft" align="right" valign="top"><a class="el" href="PEGGrammar_8txt.html#a381299bc74db18cd7c54b9e856fca447">Fbar</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#a114c2e5cd44b3ea4720e9191ed819f3b">epsilon</a></td></tr>
 <tr class="separator:a114c2e5cd44b3ea4720e9191ed819f3b"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:afb129e761aae1ddaa005123832b88cd2"><td class="memItemLeft" align="right" valign="top">Fbar Copybar&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#afb129e761aae1ddaa005123832b88cd2">Fbar</a></td></tr>
+<tr class="memitem:afb129e761aae1ddaa005123832b88cd2"><td class="memItemLeft" align="right" valign="top">Fbar copybar&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#afb129e761aae1ddaa005123832b88cd2">Fbar</a></td></tr>
 <tr class="separator:afb129e761aae1ddaa005123832b88cd2"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a11ba05967682e1a34391b8c3309de1e6"><td class="memItemLeft" align="right" valign="top"><a class="el" href="PEGGrammar_8txt.html#a8cdc0a8a1b4a7aefe08370ca9395993c">Fbar</a> Memflowbar&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#a11ba05967682e1a34391b8c3309de1e6">Addrbar</a></td></tr>
-<tr class="separator:a11ba05967682e1a34391b8c3309de1e6"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a324fa20755f4b8f2e50e2e148f6fadbd"><td class="memItemLeft" align="right" valign="top"><a class="el" href="PEGGrammar_8txt.html#a8cdc0a8a1b4a7aefe08370ca9395993c">Fbar</a> <a class="el" href="CFLGrammar_8txt.html#ac9e2ada624dc7eee357e865e0d89c84a">Loadbar</a> Memflowbar&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#a324fa20755f4b8f2e50e2e148f6fadbd">Storebar</a></td></tr>
-<tr class="separator:a324fa20755f4b8f2e50e2e148f6fadbd"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a00967427d1c110ffcc82ea2a966f4564"><td class="memItemLeft" align="right" valign="top">V <a class="el" href="PEGGrammar_8txt.html#a8cdc0a8a1b4a7aefe08370ca9395993c">Fbar</a> V&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#a00967427d1c110ffcc82ea2a966f4564">F</a></td></tr>
+<tr class="memitem:aaaa1a1b432fa23f6a02aab2fbd2ef7f5"><td class="memItemLeft" align="right" valign="top"><a class="el" href="PEGGrammar_8txt.html#a381299bc74db18cd7c54b9e856fca447">Fbar</a> Memflowbar&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#aaaa1a1b432fa23f6a02aab2fbd2ef7f5">addrbar</a></td></tr>
+<tr class="separator:aaaa1a1b432fa23f6a02aab2fbd2ef7f5"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a48eaeeebe78c32844d92122831012be2"><td class="memItemLeft" align="right" valign="top"><a class="el" href="PEGGrammar_8txt.html#a381299bc74db18cd7c54b9e856fca447">Fbar</a> <a class="el" href="CFLGrammar_8txt.html#a2c36e7a55e36ff3a2f5a4c55d4e1cf18">loadbar</a> Memflowbar&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#a48eaeeebe78c32844d92122831012be2">storebar</a></td></tr>
+<tr class="separator:a48eaeeebe78c32844d92122831012be2"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a00967427d1c110ffcc82ea2a966f4564"><td class="memItemLeft" align="right" valign="top">V <a class="el" href="PEGGrammar_8txt.html#a381299bc74db18cd7c54b9e856fca447">Fbar</a> V&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#a00967427d1c110ffcc82ea2a966f4564">F</a></td></tr>
 <tr class="separator:a00967427d1c110ffcc82ea2a966f4564"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a017fa6c558fa1eff0a13180c8340aba8"><td class="memItemLeft" align="right" valign="top">V <a class="el" href="PEGGrammar_8txt.html#a43cf87c9fa668dbee3d5e626a136c8fe">Addrbar</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#a017fa6c558fa1eff0a13180c8340aba8">Addr</a></td></tr>
-<tr class="separator:a017fa6c558fa1eff0a13180c8340aba8"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a653086130f70f043218d296d00529455"><td class="memItemLeft" align="right" valign="top">V <a class="el" href="CFLGrammar_8txt.html#a1e1e10a9f0c4b902df72da76a308ae21">Gepbar_i</a> V&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#a653086130f70f043218d296d00529455">Gep_i</a></td></tr>
-<tr class="separator:a653086130f70f043218d296d00529455"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ace8178aa913f2a15d4b3f12778dfc6f1"><td class="memItemLeft" align="right" valign="top">V Gepbarpath V&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#ace8178aa913f2a15d4b3f12778dfc6f1">Gep_0</a></td></tr>
-<tr class="separator:ace8178aa913f2a15d4b3f12778dfc6f1"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ab5d65f36b081efc4f36dc7086db1fc2c"><td class="memItemLeft" align="right" valign="top"><a class="el" href="CFLGrammar_8txt.html#a36f63c7a581bf6d351f835c6127a2519">Copy</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#ab5d65f36b081efc4f36dc7086db1fc2c">Vgep</a></td></tr>
-<tr class="separator:ab5d65f36b081efc4f36dc7086db1fc2c"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ae239ca8fb918fa812492fe369202225d"><td class="memItemLeft" align="right" valign="top">Copybar&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#ae239ca8fb918fa812492fe369202225d">Vgepbar</a></td></tr>
-<tr class="separator:ae239ca8fb918fa812492fe369202225d"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a92c75ced313339aea5e3e0c9f0726e5a"><td class="memItemLeft" align="right" valign="top">Gep_1 <a class="el" href="PEGGrammar_8txt.html#ac43027733e3d0a01bde9269f9d27779a">Gep_0</a> <a class="el" href="CFLGrammar_8txt.html#a00967427d1c110ffcc82ea2a966f4564">F</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#a92c75ced313339aea5e3e0c9f0726e5a">Gep_1</a></td></tr>
-<tr class="separator:a92c75ced313339aea5e3e0c9f0726e5a"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a38750813346a2f7d4d2f74101bf1be37"><td class="memItemLeft" align="right" valign="top">Gepbar_1 Gepbar_1 <a class="el" href="PEGGrammar_8txt.html#a8cdc0a8a1b4a7aefe08370ca9395993c">Fbar</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#a38750813346a2f7d4d2f74101bf1be37">Gepbar_0</a></td></tr>
-<tr class="separator:a38750813346a2f7d4d2f74101bf1be37"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a4459b9e008c1693c8d592cf0544912f6"><td class="memItemLeft" align="right" valign="top"><a class="el" href="CFLGrammar_8txt.html#ae2f9fbd0bf92e7dad02a6c5fa9323621">Memflow</a> <a class="el" href="CFLGrammar_8txt.html#af3f0b3f464e928b7fc87347dc041501d">Load</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#a4459b9e008c1693c8d592cf0544912f6">Store</a></td></tr>
-<tr class="separator:a4459b9e008c1693c8d592cf0544912f6"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a1e1e10a9f0c4b902df72da76a308ae21"><td class="memItemLeft" align="right" valign="top"><a class="el" href="CFLGrammar_8txt.html#ae2f9fbd0bf92e7dad02a6c5fa9323621">Memflow</a> <a class="el" href="CFLGrammar_8txt.html#a653086130f70f043218d296d00529455">Gep_i</a> <a class="el" href="CFLGrammar_8txt.html#ae2f9fbd0bf92e7dad02a6c5fa9323621">Memflow</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#a1e1e10a9f0c4b902df72da76a308ae21">Gepbar_i</a></td></tr>
-<tr class="separator:a1e1e10a9f0c4b902df72da76a308ae21"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ac9e2ada624dc7eee357e865e0d89c84a"><td class="memItemLeft" align="right" valign="top">Memflowbar <a class="el" href="CFLGrammar_8txt.html#a324fa20755f4b8f2e50e2e148f6fadbd">Storebar</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#ac9e2ada624dc7eee357e865e0d89c84a">Loadbar</a></td></tr>
-<tr class="separator:ac9e2ada624dc7eee357e865e0d89c84a"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:aae7baac9bf1fe49869f5ab76e07bfd05"><td class="memItemLeft" align="right" valign="top">V <a class="el" href="PEGGrammar_8txt.html#ac0ba65b20304c39926bf018842207e87">addrbar</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#aae7baac9bf1fe49869f5ab76e07bfd05">addr</a></td></tr>
+<tr class="separator:aae7baac9bf1fe49869f5ab76e07bfd05"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a717bc437ac0cf29d051c8affc5b865ec"><td class="memItemLeft" align="right" valign="top">V <a class="el" href="CFLGrammar_8txt.html#a6e01259893f22cb0da6728f279ccd3e7">gepbar_i</a> V&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#a717bc437ac0cf29d051c8affc5b865ec">gep_i</a></td></tr>
+<tr class="separator:a717bc437ac0cf29d051c8affc5b865ec"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a6ee570f12a515fbe082cd58b4fed1556"><td class="memItemLeft" align="right" valign="top">V gepbarpath V&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#a6ee570f12a515fbe082cd58b4fed1556">gep_0</a></td></tr>
+<tr class="separator:a6ee570f12a515fbe082cd58b4fed1556"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a3c0f58fdc2a0351764cef84c2a761477"><td class="memItemLeft" align="right" valign="top"><a class="el" href="cJSON_8cpp.html#a7669ee67a0563250c1efaa24d130e1ac">copy</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#a3c0f58fdc2a0351764cef84c2a761477">vgep</a></td></tr>
+<tr class="separator:a3c0f58fdc2a0351764cef84c2a761477"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a5cb31e8d975de240d0e0c173cb7f407f"><td class="memItemLeft" align="right" valign="top">copybar&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#a5cb31e8d975de240d0e0c173cb7f407f">vgepbar</a></td></tr>
+<tr class="separator:a5cb31e8d975de240d0e0c173cb7f407f"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:aea5ba88546e9986acc645ae45372e621"><td class="memItemLeft" align="right" valign="top">gep_1 <a class="el" href="PEGGrammar_8txt.html#a4c44ba149afa8531399b34ff202e7486">gep_0</a> <a class="el" href="CFLGrammar_8txt.html#a00967427d1c110ffcc82ea2a966f4564">F</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#aea5ba88546e9986acc645ae45372e621">gep_1</a></td></tr>
+<tr class="separator:aea5ba88546e9986acc645ae45372e621"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:add91b668073700b532153fd7f8fd4cda"><td class="memItemLeft" align="right" valign="top">gepbar_1 gepbar_1 <a class="el" href="PEGGrammar_8txt.html#a381299bc74db18cd7c54b9e856fca447">Fbar</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#add91b668073700b532153fd7f8fd4cda">gepbar_0</a></td></tr>
+<tr class="separator:add91b668073700b532153fd7f8fd4cda"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a92d5a256d74eadeb5bfa131b84067f0d"><td class="memItemLeft" align="right" valign="top"><a class="el" href="CFLGrammar_8txt.html#ae2f9fbd0bf92e7dad02a6c5fa9323621">Memflow</a> <a class="el" href="CFLGrammar_8txt.html#af94ae7efab42c57589a313f6cc7ada63">load</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#a92d5a256d74eadeb5bfa131b84067f0d">store</a></td></tr>
+<tr class="separator:a92d5a256d74eadeb5bfa131b84067f0d"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a6e01259893f22cb0da6728f279ccd3e7"><td class="memItemLeft" align="right" valign="top"><a class="el" href="CFLGrammar_8txt.html#ae2f9fbd0bf92e7dad02a6c5fa9323621">Memflow</a> <a class="el" href="CFLGrammar_8txt.html#a717bc437ac0cf29d051c8affc5b865ec">gep_i</a> <a class="el" href="CFLGrammar_8txt.html#ae2f9fbd0bf92e7dad02a6c5fa9323621">Memflow</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#a6e01259893f22cb0da6728f279ccd3e7">gepbar_i</a></td></tr>
+<tr class="separator:a6e01259893f22cb0da6728f279ccd3e7"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a2c36e7a55e36ff3a2f5a4c55d4e1cf18"><td class="memItemLeft" align="right" valign="top">Memflowbar <a class="el" href="CFLGrammar_8txt.html#a48eaeeebe78c32844d92122831012be2">storebar</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#a2c36e7a55e36ff3a2f5a4c55d4e1cf18">loadbar</a></td></tr>
+<tr class="separator:a2c36e7a55e36ff3a2f5a4c55d4e1cf18"><td class="memSeparator" colspan="2">&#160;</td></tr>
 </table>
 <h2 class="groupheader">Variable Documentation</h2>
 <a id="ad8c410068267cc7ccd0765a7bd51a2bf"></a>
@@ -123,14 +123,14 @@ Variables</h2></td></tr>
 
 </div>
 </div>
-<a id="a017fa6c558fa1eff0a13180c8340aba8"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a017fa6c558fa1eff0a13180c8340aba8">&#9670;&nbsp;</a></span>Addr</h2>
+<a id="aae7baac9bf1fe49869f5ab76e07bfd05"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#aae7baac9bf1fe49869f5ab76e07bfd05">&#9670;&nbsp;</a></span>addr</h2>
 
 <div class="memitem">
 <div class="memproto">
       <table class="memname">
         <tr>
-          <td class="memname">V <a class="el" href="PEGGrammar_8txt.html#a43cf87c9fa668dbee3d5e626a136c8fe">Addrbar</a> Addr</td>
+          <td class="memname">V <a class="el" href="PEGGrammar_8txt.html#ac0ba65b20304c39926bf018842207e87">addrbar</a> addr</td>
         </tr>
       </table>
 </div><div class="memdoc">
@@ -139,14 +139,14 @@ Variables</h2></td></tr>
 
 </div>
 </div>
-<a id="a11ba05967682e1a34391b8c3309de1e6"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a11ba05967682e1a34391b8c3309de1e6">&#9670;&nbsp;</a></span>Addrbar</h2>
+<a id="aaaa1a1b432fa23f6a02aab2fbd2ef7f5"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#aaaa1a1b432fa23f6a02aab2fbd2ef7f5">&#9670;&nbsp;</a></span>addrbar</h2>
 
 <div class="memitem">
 <div class="memproto">
       <table class="memname">
         <tr>
-          <td class="memname"><a class="el" href="PEGGrammar_8txt.html#a8cdc0a8a1b4a7aefe08370ca9395993c">Fbar</a> Memflowbar Addrbar</td>
+          <td class="memname"><a class="el" href="PEGGrammar_8txt.html#a381299bc74db18cd7c54b9e856fca447">Fbar</a> Memflowbar addrbar</td>
         </tr>
       </table>
 </div><div class="memdoc">
@@ -155,14 +155,14 @@ Variables</h2></td></tr>
 
 </div>
 </div>
-<a id="a36f63c7a581bf6d351f835c6127a2519"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a36f63c7a581bf6d351f835c6127a2519">&#9670;&nbsp;</a></span>Copy</h2>
+<a id="a7669ee67a0563250c1efaa24d130e1ac"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a7669ee67a0563250c1efaa24d130e1ac">&#9670;&nbsp;</a></span>copy</h2>
 
 <div class="memitem">
 <div class="memproto">
       <table class="memname">
         <tr>
-          <td class="memname"><a class="el" href="CFLGrammar_8txt.html#a00967427d1c110ffcc82ea2a966f4564">F</a> <a class="el" href="CFLGrammar_8txt.html#a00967427d1c110ffcc82ea2a966f4564">F</a> Copy</td>
+          <td class="memname"><a class="el" href="cJSON_8cpp.html#a15f779a174654a93596726f6eb6b57fe">return</a> copy</td>
         </tr>
       </table>
 </div><div class="memdoc">
@@ -178,7 +178,7 @@ Variables</h2></td></tr>
 <div class="memproto">
       <table class="memname">
         <tr>
-          <td class="memname"><a class="el" href="PEGGrammar_8txt.html#a8cdc0a8a1b4a7aefe08370ca9395993c">Fbar</a> epsilon</td>
+          <td class="memname"><a class="el" href="PEGGrammar_8txt.html#a381299bc74db18cd7c54b9e856fca447">Fbar</a> epsilon</td>
         </tr>
       </table>
 </div><div class="memdoc">
@@ -219,14 +219,14 @@ Variables</h2></td></tr>
 
 </div>
 </div>
-<a id="ace8178aa913f2a15d4b3f12778dfc6f1"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#ace8178aa913f2a15d4b3f12778dfc6f1">&#9670;&nbsp;</a></span>Gep_0</h2>
+<a id="a6ee570f12a515fbe082cd58b4fed1556"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a6ee570f12a515fbe082cd58b4fed1556">&#9670;&nbsp;</a></span>gep_0</h2>
 
 <div class="memitem">
 <div class="memproto">
       <table class="memname">
         <tr>
-          <td class="memname">V Gepbarpath V Gep_0</td>
+          <td class="memname">V gepbarpath V gep_0</td>
         </tr>
       </table>
 </div><div class="memdoc">
@@ -235,14 +235,14 @@ Variables</h2></td></tr>
 
 </div>
 </div>
-<a id="a92c75ced313339aea5e3e0c9f0726e5a"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a92c75ced313339aea5e3e0c9f0726e5a">&#9670;&nbsp;</a></span>Gep_1</h2>
+<a id="aea5ba88546e9986acc645ae45372e621"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#aea5ba88546e9986acc645ae45372e621">&#9670;&nbsp;</a></span>gep_1</h2>
 
 <div class="memitem">
 <div class="memproto">
       <table class="memname">
         <tr>
-          <td class="memname">Gep_1 <a class="el" href="PEGGrammar_8txt.html#ac43027733e3d0a01bde9269f9d27779a">Gep_0</a> <a class="el" href="CFLGrammar_8txt.html#a00967427d1c110ffcc82ea2a966f4564">F</a> Gep_1</td>
+          <td class="memname">gep_1 <a class="el" href="PEGGrammar_8txt.html#a4c44ba149afa8531399b34ff202e7486">gep_0</a> <a class="el" href="CFLGrammar_8txt.html#a00967427d1c110ffcc82ea2a966f4564">F</a> gep_1</td>
         </tr>
       </table>
 </div><div class="memdoc">
@@ -251,14 +251,14 @@ Variables</h2></td></tr>
 
 </div>
 </div>
-<a id="a653086130f70f043218d296d00529455"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a653086130f70f043218d296d00529455">&#9670;&nbsp;</a></span>Gep_i</h2>
+<a id="a717bc437ac0cf29d051c8affc5b865ec"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a717bc437ac0cf29d051c8affc5b865ec">&#9670;&nbsp;</a></span>gep_i</h2>
 
 <div class="memitem">
 <div class="memproto">
       <table class="memname">
         <tr>
-          <td class="memname">Memflowbar <a class="el" href="CFLGrammar_8txt.html#a1e1e10a9f0c4b902df72da76a308ae21">Gepbar_i</a> Memflowbar Gep_i</td>
+          <td class="memname">Memflowbar <a class="el" href="CFLGrammar_8txt.html#a6e01259893f22cb0da6728f279ccd3e7">gepbar_i</a> Memflowbar gep_i</td>
         </tr>
       </table>
 </div><div class="memdoc">
@@ -267,14 +267,14 @@ Variables</h2></td></tr>
 
 </div>
 </div>
-<a id="a38750813346a2f7d4d2f74101bf1be37"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a38750813346a2f7d4d2f74101bf1be37">&#9670;&nbsp;</a></span>Gepbar_0</h2>
+<a id="add91b668073700b532153fd7f8fd4cda"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#add91b668073700b532153fd7f8fd4cda">&#9670;&nbsp;</a></span>gepbar_0</h2>
 
 <div class="memitem">
 <div class="memproto">
       <table class="memname">
         <tr>
-          <td class="memname">Gepbarpath Gepbarpath Gepbar_0</td>
+          <td class="memname">gepbarpath gepbarpath gepbar_0</td>
         </tr>
       </table>
 </div><div class="memdoc">
@@ -283,14 +283,14 @@ Variables</h2></td></tr>
 
 </div>
 </div>
-<a id="a1e1e10a9f0c4b902df72da76a308ae21"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a1e1e10a9f0c4b902df72da76a308ae21">&#9670;&nbsp;</a></span>Gepbar_i</h2>
+<a id="a6e01259893f22cb0da6728f279ccd3e7"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a6e01259893f22cb0da6728f279ccd3e7">&#9670;&nbsp;</a></span>gepbar_i</h2>
 
 <div class="memitem">
 <div class="memproto">
       <table class="memname">
         <tr>
-          <td class="memname">Memflowbar <a class="el" href="CFLGrammar_8txt.html#a653086130f70f043218d296d00529455">Gep_i</a> Memflowbar Gepbar_i</td>
+          <td class="memname">Memflowbar <a class="el" href="CFLGrammar_8txt.html#a717bc437ac0cf29d051c8affc5b865ec">gep_i</a> Memflowbar gepbar_i</td>
         </tr>
       </table>
 </div><div class="memdoc">
@@ -299,14 +299,14 @@ Variables</h2></td></tr>
 
 </div>
 </div>
-<a id="af3f0b3f464e928b7fc87347dc041501d"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#af3f0b3f464e928b7fc87347dc041501d">&#9670;&nbsp;</a></span>Load</h2>
+<a id="af94ae7efab42c57589a313f6cc7ada63"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#af94ae7efab42c57589a313f6cc7ada63">&#9670;&nbsp;</a></span>load</h2>
 
 <div class="memitem">
 <div class="memproto">
       <table class="memname">
         <tr>
-          <td class="memname"><a class="el" href="CFLGrammar_8txt.html#a00967427d1c110ffcc82ea2a966f4564">F</a> <a class="el" href="CFLGrammar_8txt.html#a4459b9e008c1693c8d592cf0544912f6">Store</a> <a class="el" href="CFLGrammar_8txt.html#ae2f9fbd0bf92e7dad02a6c5fa9323621">Memflow</a> Load</td>
+          <td class="memname"><a class="el" href="CFLGrammar_8txt.html#a00967427d1c110ffcc82ea2a966f4564">F</a> <a class="el" href="CFLGrammar_8txt.html#a92d5a256d74eadeb5bfa131b84067f0d">store</a> <a class="el" href="CFLGrammar_8txt.html#ae2f9fbd0bf92e7dad02a6c5fa9323621">Memflow</a> load</td>
         </tr>
       </table>
 </div><div class="memdoc">
@@ -315,14 +315,14 @@ Variables</h2></td></tr>
 
 </div>
 </div>
-<a id="ac9e2ada624dc7eee357e865e0d89c84a"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#ac9e2ada624dc7eee357e865e0d89c84a">&#9670;&nbsp;</a></span>Loadbar</h2>
+<a id="a2c36e7a55e36ff3a2f5a4c55d4e1cf18"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a2c36e7a55e36ff3a2f5a4c55d4e1cf18">&#9670;&nbsp;</a></span>loadbar</h2>
 
 <div class="memitem">
 <div class="memproto">
       <table class="memname">
         <tr>
-          <td class="memname">Memflowbar <a class="el" href="CFLGrammar_8txt.html#a324fa20755f4b8f2e50e2e148f6fadbd">Storebar</a> Loadbar</td>
+          <td class="memname">Memflowbar <a class="el" href="CFLGrammar_8txt.html#a48eaeeebe78c32844d92122831012be2">storebar</a> loadbar</td>
         </tr>
       </table>
 </div><div class="memdoc">
@@ -338,7 +338,7 @@ Variables</h2></td></tr>
 <div class="memproto">
       <table class="memname">
         <tr>
-          <td class="memname">Memflow <a class="el" href="PEGGrammar_8txt.html#a8cdc0a8a1b4a7aefe08370ca9395993c">Fbar</a> Memflow</td>
+          <td class="memname">Memflow <a class="el" href="PEGGrammar_8txt.html#a381299bc74db18cd7c54b9e856fca447">Fbar</a> Memflow</td>
         </tr>
       </table>
 </div><div class="memdoc">
@@ -347,14 +347,14 @@ Variables</h2></td></tr>
 
 </div>
 </div>
-<a id="a4459b9e008c1693c8d592cf0544912f6"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a4459b9e008c1693c8d592cf0544912f6">&#9670;&nbsp;</a></span>Store</h2>
+<a id="a92d5a256d74eadeb5bfa131b84067f0d"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a92d5a256d74eadeb5bfa131b84067f0d">&#9670;&nbsp;</a></span>store</h2>
 
 <div class="memitem">
 <div class="memproto">
       <table class="memname">
         <tr>
-          <td class="memname"><a class="el" href="CFLGrammar_8txt.html#ae2f9fbd0bf92e7dad02a6c5fa9323621">Memflow</a> <a class="el" href="CFLGrammar_8txt.html#af3f0b3f464e928b7fc87347dc041501d">Load</a> Store</td>
+          <td class="memname"><a class="el" href="CFLGrammar_8txt.html#ae2f9fbd0bf92e7dad02a6c5fa9323621">Memflow</a> <a class="el" href="CFLGrammar_8txt.html#af94ae7efab42c57589a313f6cc7ada63">load</a> store</td>
         </tr>
       </table>
 </div><div class="memdoc">
@@ -363,14 +363,14 @@ Variables</h2></td></tr>
 
 </div>
 </div>
-<a id="a324fa20755f4b8f2e50e2e148f6fadbd"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a324fa20755f4b8f2e50e2e148f6fadbd">&#9670;&nbsp;</a></span>Storebar</h2>
+<a id="a48eaeeebe78c32844d92122831012be2"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a48eaeeebe78c32844d92122831012be2">&#9670;&nbsp;</a></span>storebar</h2>
 
 <div class="memitem">
 <div class="memproto">
       <table class="memname">
         <tr>
-          <td class="memname"><a class="el" href="PEGGrammar_8txt.html#a8cdc0a8a1b4a7aefe08370ca9395993c">Fbar</a> <a class="el" href="CFLGrammar_8txt.html#ac9e2ada624dc7eee357e865e0d89c84a">Loadbar</a> Memflowbar Storebar</td>
+          <td class="memname"><a class="el" href="PEGGrammar_8txt.html#a381299bc74db18cd7c54b9e856fca447">Fbar</a> <a class="el" href="CFLGrammar_8txt.html#a2c36e7a55e36ff3a2f5a4c55d4e1cf18">loadbar</a> Memflowbar storebar</td>
         </tr>
       </table>
 </div><div class="memdoc">
@@ -379,14 +379,14 @@ Variables</h2></td></tr>
 
 </div>
 </div>
-<a id="ab5d65f36b081efc4f36dc7086db1fc2c"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#ab5d65f36b081efc4f36dc7086db1fc2c">&#9670;&nbsp;</a></span>Vgep</h2>
+<a id="a3c0f58fdc2a0351764cef84c2a761477"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a3c0f58fdc2a0351764cef84c2a761477">&#9670;&nbsp;</a></span>vgep</h2>
 
 <div class="memitem">
 <div class="memproto">
       <table class="memname">
         <tr>
-          <td class="memname"><a class="el" href="CFLGrammar_8txt.html#a92c75ced313339aea5e3e0c9f0726e5a">Gep_1</a> <a class="el" href="PEGGrammar_8txt.html#ac43027733e3d0a01bde9269f9d27779a">Gep_0</a> <a class="el" href="CFLGrammar_8txt.html#a00967427d1c110ffcc82ea2a966f4564">F</a> Vgep</td>
+          <td class="memname"><a class="el" href="CFLGrammar_8txt.html#aea5ba88546e9986acc645ae45372e621">gep_1</a> <a class="el" href="PEGGrammar_8txt.html#a4c44ba149afa8531399b34ff202e7486">gep_0</a> <a class="el" href="CFLGrammar_8txt.html#a00967427d1c110ffcc82ea2a966f4564">F</a> vgep</td>
         </tr>
       </table>
 </div><div class="memdoc">
@@ -395,14 +395,14 @@ Variables</h2></td></tr>
 
 </div>
 </div>
-<a id="ae239ca8fb918fa812492fe369202225d"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#ae239ca8fb918fa812492fe369202225d">&#9670;&nbsp;</a></span>Vgepbar</h2>
+<a id="a5cb31e8d975de240d0e0c173cb7f407f"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a5cb31e8d975de240d0e0c173cb7f407f">&#9670;&nbsp;</a></span>vgepbar</h2>
 
 <div class="memitem">
 <div class="memproto">
       <table class="memname">
         <tr>
-          <td class="memname">Copybar Vgepbar</td>
+          <td class="memname">copybar vgepbar</td>
         </tr>
       </table>
 </div><div class="memdoc">

package/SVF-doxygen/html/html/CFLGraphBuilder_8cpp_source.html

@@ -120,7 +120,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1VFGEdge_html_a156ae6a8b3a033f505c18c6b162e7cf5aae3168b6bc9141e4a1f3723eae4f3375"><div class="ttname"><a href="classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5aae3168b6bc9141e4a1f3723eae4f3375">SVF::VFGEdge::TheadMHPIndirectVF</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGEdge_8h_source.html#l00059">VFGEdge.h:59</a></div></div>
 <div class="ttc" id="classSVF_1_1ConstraintEdge_html_a663af27955ba0c545f34fa1f076b7375a20d6a102ddc06257a822ffffcc5a3b47"><div class="ttname"><a href="classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375a20d6a102ddc06257a822ffffcc5a3b47">SVF::ConstraintEdge::Store</a></div><div class="ttdef"><b>Definition:</b> <a href="ConsGEdge_8h_source.html#l00056">ConsGEdge.h:56</a></div></div>
 <div class="ttc" id="classSVF_1_1AliasCFLGraphBuilder_html_ae7a9f2103c68829290c1bd5fd9cde321"><div class="ttname"><a href="classSVF_1_1AliasCFLGraphBuilder.html#ae7a9f2103c68829290c1bd5fd9cde321">SVF::AliasCFLGraphBuilder::addBiCFLEdge</a></div><div class="ttdeci">void addBiCFLEdge(CFLGraph *cflGraph, ConstraintNode *src, ConstraintNode *dst, CFLGrammar::Kind label)</div><div class="ttdoc">Handle edge except for the GEP. </div><div class="ttdef"><b>Definition:</b> <a href="CFLGraphBuilder_8cpp_source.html#l00386">CFLGraphBuilder.cpp:386</a></div></div>
-<div class="ttc" id="classSVF_1_1GrammarBase_html_af418e1033618da75e974a04ee1d7e275"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#af418e1033618da75e974a04ee1d7e275">SVF::GrammarBase::getAttributedKind</a></div><div class="ttdeci">static Kind getAttributedKind(Attribute attribute, Kind kind)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00251">CFLGrammar.h:251</a></div></div>
+<div class="ttc" id="classSVF_1_1GrammarBase_html_af418e1033618da75e974a04ee1d7e275"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#af418e1033618da75e974a04ee1d7e275">SVF::GrammarBase::getAttributedKind</a></div><div class="ttdeci">static Kind getAttributedKind(Attribute attribute, Kind kind)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00253">CFLGrammar.h:253</a></div></div>
 <div class="ttc" id="classSVF_1_1CallIndSVFGEdge_html_a3742b87170e0b48edc71ffdd6e5350aa"><div class="ttname"><a href="classSVF_1_1CallIndSVFGEdge.html#a3742b87170e0b48edc71ffdd6e5350aa">SVF::CallIndSVFGEdge::getCallSiteId</a></div><div class="ttdeci">CallSiteID getCallSiteId() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFGEdge_8h_source.html#l00136">SVFGEdge.h:136</a></div></div>
 <div class="ttc" id="classSVF_1_1GrammarBase_html_a7aef5c42fbd8a62dd4a541cc0e8e8187"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">SVF::GrammarBase::Kind</a></div><div class="ttdeci">u32_t Kind</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00039">CFLGrammar.h:39</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFG_html"><div class="ttname"><a href="classSVF_1_1SVFG.html">SVF::SVFG</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#l00065">SVFG.h:65</a></div></div>

package/SVF-doxygen/html/html/CFLSolver_8cpp_source.html

@@ -67,27 +67,27 @@ $(function() {
 </div><!--header-->
 <div class="contents">
 <a href="CFLSolver_8cpp.html">Go to the documentation of this file.</a><div class="fragment"><div class="line"><a name="l00001"></a><span class="lineno">    1</span>&#160;<span class="comment">//===----- CFLSolver.cpp -- Context-free language reachability solver--------------//</span></div><div class="line"><a name="l00002"></a><span class="lineno">    2</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00003"></a><span class="lineno">    3</span>&#160;<span class="comment">//                     SVF: Static Value-Flow Analysis</span></div><div class="line"><a name="l00004"></a><span class="lineno">    4</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00005"></a><span class="lineno">    5</span>&#160;<span class="comment">// Copyright (C) &lt;2013-&gt;  &lt;Yulei Sui&gt;</span></div><div class="line"><a name="l00006"></a><span class="lineno">    6</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00007"></a><span class="lineno">    7</span>&#160;</div><div class="line"><a name="l00008"></a><span class="lineno">    8</span>&#160;<span class="comment">// This program is free software: you can redistribute it and/or modify</span></div><div class="line"><a name="l00009"></a><span class="lineno">    9</span>&#160;<span class="comment">// it under the terms of the GNU General Public License as published by</span></div><div class="line"><a name="l00010"></a><span class="lineno">   10</span>&#160;<span class="comment">// the Free Software Foundation, either version 3 of the License, or</span></div><div class="line"><a name="l00011"></a><span class="lineno">   11</span>&#160;<span class="comment">// (at your option) any later version.</span></div><div class="line"><a name="l00012"></a><span class="lineno">   12</span>&#160;</div><div class="line"><a name="l00013"></a><span class="lineno">   13</span>&#160;<span class="comment">// This program is distributed in the hope that it will be useful,</span></div><div class="line"><a name="l00014"></a><span class="lineno">   14</span>&#160;<span class="comment">// but WITHOUT ANY WARRANTY; without even the implied warranty of</span></div><div class="line"><a name="l00015"></a><span class="lineno">   15</span>&#160;<span class="comment">// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the</span></div><div class="line"><a name="l00016"></a><span class="lineno">   16</span>&#160;<span class="comment">// GNU General Public License for more details.</span></div><div class="line"><a name="l00017"></a><span class="lineno">   17</span>&#160;</div><div class="line"><a name="l00018"></a><span class="lineno">   18</span>&#160;<span class="comment">// You should have received a copy of the GNU General Public License</span></div><div class="line"><a name="l00019"></a><span class="lineno">   19</span>&#160;<span class="comment">// along with this program.  If not, see &lt;http://www.gnu.org/licenses/&gt;.</span></div><div class="line"><a name="l00020"></a><span class="lineno">   20</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00021"></a><span class="lineno">   21</span>&#160;<span class="comment">//===----------------------------------------------------------------------===//</span></div><div class="line"><a name="l00022"></a><span class="lineno">   22</span>&#160;</div><div class="line"><a name="l00023"></a><span class="lineno">   23</span>&#160;<span class="comment">/*</span></div><div class="line"><a name="l00024"></a><span class="lineno">   24</span>&#160;<span class="comment"> * CFLSolver.cpp</span></div><div class="line"><a name="l00025"></a><span class="lineno">   25</span>&#160;<span class="comment"> *</span></div><div class="line"><a name="l00026"></a><span class="lineno">   26</span>&#160;<span class="comment"> *  Created on: March 5, 2022</span></div><div class="line"><a name="l00027"></a><span class="lineno">   27</span>&#160;<span class="comment"> *      Author: Yulei Sui</span></div><div class="line"><a name="l00028"></a><span class="lineno">   28</span>&#160;<span class="comment"> */</span></div><div class="line"><a name="l00029"></a><span class="lineno">   29</span>&#160;</div><div class="line"><a name="l00030"></a><span class="lineno">   30</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="CFLSolver_8h.html">CFL/CFLSolver.h</a>&quot;</span></div><div class="line"><a name="l00031"></a><span class="lineno">   31</span>&#160;</div><div class="line"><a name="l00032"></a><span class="lineno">   32</span>&#160;<span class="keyword">using namespace </span><a class="code" href="namespaceSVF.html">SVF</a>;</div><div class="line"><a name="l00033"></a><span class="lineno">   33</span>&#160;</div><div class="line"><a name="l00034"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLSolver.html#a2ee3436c26ebdb2aaf790c25b1d8b5a6">   34</a></span>&#160;<span class="keywordtype">void</span> <a class="code" href="classSVF_1_1CFLSolver.html#a2ee3436c26ebdb2aaf790c25b1d8b5a6">CFLSolver::solve</a>()</div><div class="line"><a name="l00035"></a><span class="lineno">   35</span>&#160;{</div><div class="line"><a name="l00037"></a><span class="lineno">   37</span>&#160;    <span class="keywordflow">for</span>(<span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1CFLSolver.html#aedd6c605c4c381c738f4c6682c40d9f2">graph</a>-&gt;<a class="code" href="classSVF_1_1GenericGraph.html#a0d9744b1b0e7a09a6f7af29188e243b7">begin</a>(); it!= <a class="code" href="classSVF_1_1CFLSolver.html#aedd6c605c4c381c738f4c6682c40d9f2">graph</a>-&gt;<a class="code" href="classSVF_1_1GenericGraph.html#a4bef15157423cef48dc7333a803cd27d">end</a>(); it++)</div><div class="line"><a name="l00038"></a><span class="lineno">   38</span>&#160;    {</div><div class="line"><a name="l00039"></a><span class="lineno">   39</span>&#160;        <span class="keywordflow">for</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CFLEdge.html">CFLEdge</a>* edge : (*it).second-&gt;getOutEdges())</div><div class="line"><a name="l00040"></a><span class="lineno">   40</span>&#160;        {</div><div class="line"><a name="l00041"></a><span class="lineno">   41</span>&#160;            <a class="code" href="classSVF_1_1CFLSolver.html#afc745dc72fd0572a145a78fe6a93ae5c">pushIntoWorklist</a>(edge);</div><div class="line"><a name="l00042"></a><span class="lineno">   42</span>&#160;        }</div><div class="line"><a name="l00043"></a><span class="lineno">   43</span>&#160;    }</div><div class="line"><a name="l00044"></a><span class="lineno">   44</span>&#160;</div><div class="line"><a name="l00047"></a><span class="lineno">   47</span>&#160;    <span class="keywordflow">for</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CFLSolver.html#a0ade6e3827c629c3cc3d22a101df7288">Production</a>&amp; prod : <a class="code" href="classSVF_1_1CFLSolver.html#aad88cf557ec43127de859b765505df49">grammar</a>-&gt;<a class="code" href="classSVF_1_1CFLGrammar.html#a8d6292a55da24336d968e20c7ac288d9">getEpsilonProds</a>())</div><div class="line"><a name="l00048"></a><span class="lineno">   48</span>&#160;    {</div><div class="line"><a name="l00049"></a><span class="lineno">   49</span>&#160;        <span class="keywordflow">for</span>(<span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1CFLSolver.html#aedd6c605c4c381c738f4c6682c40d9f2">graph</a>-&gt;<a class="code" href="classSVF_1_1GenericGraph.html#a0d9744b1b0e7a09a6f7af29188e243b7">begin</a>(); it!= <a class="code" href="classSVF_1_1CFLSolver.html#aedd6c605c4c381c738f4c6682c40d9f2">graph</a>-&gt;<a class="code" href="classSVF_1_1GenericGraph.html#a4bef15157423cef48dc7333a803cd27d">end</a>(); it++)</div><div class="line"><a name="l00050"></a><span class="lineno">   50</span>&#160;        {</div><div class="line"><a name="l00051"></a><span class="lineno">   51</span>&#160;            <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a> X = <a class="code" href="classSVF_1_1CFLSolver.html#aad88cf557ec43127de859b765505df49">grammar</a>-&gt;<a class="code" href="classSVF_1_1CFLGrammar.html#a3cfce0e2282c63679d6e7835e19ad5ec">getLHSSymbol</a>(prod);</div><div class="line"><a name="l00052"></a><span class="lineno">   52</span>&#160;            <a class="code" href="classSVF_1_1CFLNode.html">CFLNode</a>* i = (*it).second;</div><div class="line"><a name="l00053"></a><span class="lineno">   53</span>&#160;            <span class="keywordflow">if</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CFLEdge.html">CFLEdge</a>* edge = <a class="code" href="classSVF_1_1CFLSolver.html#aedd6c605c4c381c738f4c6682c40d9f2">graph</a>-&gt;<a class="code" href="classSVF_1_1CFLGraph.html#a9eea8083dbeaf898948595b1d75cfee2">addCFLEdge</a>(i, i, X))</div><div class="line"><a name="l00054"></a><span class="lineno">   54</span>&#160;            {</div><div class="line"><a name="l00055"></a><span class="lineno">   55</span>&#160;                <a class="code" href="classSVF_1_1CFLSolver.html#afc745dc72fd0572a145a78fe6a93ae5c">pushIntoWorklist</a>(edge);</div><div class="line"><a name="l00056"></a><span class="lineno">   56</span>&#160;            }</div><div class="line"><a name="l00057"></a><span class="lineno">   57</span>&#160;        }</div><div class="line"><a name="l00058"></a><span class="lineno">   58</span>&#160;    }</div><div class="line"><a name="l00059"></a><span class="lineno">   59</span>&#160;</div><div class="line"><a name="l00060"></a><span class="lineno">   60</span>&#160;    <span class="keywordflow">while</span>(!<a class="code" href="classSVF_1_1CFLSolver.html#ac1fe4563081c29f8a715bd67d454c8bb">isWorklistEmpty</a>())</div><div class="line"><a name="l00061"></a><span class="lineno">   61</span>&#160;    {</div><div class="line"><a name="l00063"></a><span class="lineno">   63</span>&#160;        <span class="keyword">const</span> <a class="code" href="classSVF_1_1CFLEdge.html">CFLEdge</a>* Y_edge = <a class="code" href="classSVF_1_1CFLSolver.html#a95573e91816f426ff7b45afb7b7c821e">popFromWorklist</a>();</div><div class="line"><a name="l00064"></a><span class="lineno">   64</span>&#160;        <a class="code" href="classSVF_1_1CFLNode.html">CFLNode</a>* i = Y_edge-&gt;<a class="code" href="classSVF_1_1GenericEdge.html#ab47ca533c415841ef75456cbad439589">getSrcNode</a>();</div><div class="line"><a name="l00065"></a><span class="lineno">   65</span>&#160;        <a class="code" href="classSVF_1_1CFLNode.html">CFLNode</a>* j = Y_edge-&gt;<a class="code" href="classSVF_1_1GenericEdge.html#aeaa31a2c8479e831b36ce2e2582ceb86">getDstNode</a>();</div><div class="line"><a name="l00066"></a><span class="lineno">   66</span>&#160;</div><div class="line"><a name="l00069"></a><span class="lineno">   69</span>&#160;        <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a> Y = Y_edge-&gt;<a class="code" href="classSVF_1_1CFLEdge.html#acab367a1633d00afdafadf3f3a43e0c8">getEdgeKind</a>();</div><div class="line"><a name="l00070"></a><span class="lineno">   70</span>&#160;        <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1CFLSolver.html#aad88cf557ec43127de859b765505df49">grammar</a>-&gt;<a class="code" href="classSVF_1_1CFLGrammar.html#a51d4514dec026412f7151a6ea1fc2b5d">hasProdsFromSingleRHS</a>(Y))</div><div class="line"><a name="l00071"></a><span class="lineno">   71</span>&#160;            <span class="keywordflow">for</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CFLSolver.html#a0ade6e3827c629c3cc3d22a101df7288">Production</a>&amp; prod : <a class="code" href="classSVF_1_1CFLSolver.html#aad88cf557ec43127de859b765505df49">grammar</a>-&gt;<a class="code" href="classSVF_1_1CFLGrammar.html#a0c9462377b1adf656f803de3be6a0d2b">getProdsFromSingleRHS</a>(Y))</div><div class="line"><a name="l00072"></a><span class="lineno">   72</span>&#160;            {</div><div class="line"><a name="l00073"></a><span class="lineno">   73</span>&#160;                <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a> X = <a class="code" href="classSVF_1_1CFLSolver.html#aad88cf557ec43127de859b765505df49">grammar</a>-&gt;<a class="code" href="classSVF_1_1CFLGrammar.html#a3cfce0e2282c63679d6e7835e19ad5ec">getLHSSymbol</a>(prod);</div><div class="line"><a name="l00074"></a><span class="lineno">   74</span>&#160;                <span class="keywordflow">if</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CFLEdge.html">CFLEdge</a>* newEdge = <a class="code" href="classSVF_1_1CFLSolver.html#aedd6c605c4c381c738f4c6682c40d9f2">graph</a>-&gt;<a class="code" href="classSVF_1_1CFLGraph.html#a9eea8083dbeaf898948595b1d75cfee2">addCFLEdge</a>(i, j, X))</div><div class="line"><a name="l00075"></a><span class="lineno">   75</span>&#160;                {</div><div class="line"><a name="l00076"></a><span class="lineno">   76</span>&#160;                    <a class="code" href="classSVF_1_1CFLSolver.html#afc745dc72fd0572a145a78fe6a93ae5c">pushIntoWorklist</a>(newEdge);</div><div class="line"><a name="l00077"></a><span class="lineno">   77</span>&#160;                }</div><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;</div><div class="line"><a name="l00083"></a><span class="lineno">   83</span>&#160;        <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1CFLSolver.html#aad88cf557ec43127de859b765505df49">grammar</a>-&gt;<a class="code" href="classSVF_1_1CFLGrammar.html#aa6383a6a8ccd30afbedf7ff3a05d46d8">hasProdsFromFirstRHS</a>(Y))</div><div class="line"><a name="l00084"></a><span class="lineno">   84</span>&#160;            <span class="keywordflow">for</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CFLSolver.html#a0ade6e3827c629c3cc3d22a101df7288">Production</a>&amp; prod : <a class="code" href="classSVF_1_1CFLSolver.html#aad88cf557ec43127de859b765505df49">grammar</a>-&gt;<a class="code" href="classSVF_1_1CFLGrammar.html#ac167616ad6e48161b0cb890107145ffa">getProdsFromFirstRHS</a>(Y))</div><div class="line"><a name="l00085"></a><span class="lineno">   85</span>&#160;            {</div><div class="line"><a name="l00086"></a><span class="lineno">   86</span>&#160;                <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a> X = <a class="code" href="classSVF_1_1CFLSolver.html#aad88cf557ec43127de859b765505df49">grammar</a>-&gt;<a class="code" href="classSVF_1_1CFLGrammar.html#a3cfce0e2282c63679d6e7835e19ad5ec">getLHSSymbol</a>(prod);</div><div class="line"><a name="l00087"></a><span class="lineno">   87</span>&#160;                <span class="keywordflow">for</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CFLEdge.html">CFLEdge</a>* Z_edge : j-&gt;<a class="code" href="classSVF_1_1GenericNode.html#a2d9cd758d6f8c5189d9b90b74f43e009">getOutEdges</a>())</div><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="keywordflow">if</span> (Z_edge-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1CFLSolver.html#aad88cf557ec43127de859b765505df49">grammar</a>-&gt;<a class="code" href="classSVF_1_1CFLGrammar.html#a3ccdda19bfed497ee8e14c1aaac4aa51">getSecondRHSSymbol</a>(prod))</div><div class="line"><a name="l00090"></a><span class="lineno">   90</span>&#160;                    {</div><div class="line"><a name="l00091"></a><span class="lineno">   91</span>&#160;                        <a class="code" href="classSVF_1_1CFLNode.html">CFLNode</a>* k = Z_edge-&gt;getDstNode();</div><div class="line"><a name="l00092"></a><span class="lineno">   92</span>&#160;                        <span class="keywordflow">if</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CFLEdge.html">CFLEdge</a>* newEdge = <a class="code" href="classSVF_1_1CFLSolver.html#aedd6c605c4c381c738f4c6682c40d9f2">graph</a>-&gt;<a class="code" href="classSVF_1_1CFLGraph.html#a9eea8083dbeaf898948595b1d75cfee2">addCFLEdge</a>(i, k, X))</div><div class="line"><a name="l00093"></a><span class="lineno">   93</span>&#160;                        {</div><div class="line"><a name="l00094"></a><span class="lineno">   94</span>&#160;                            <a class="code" href="classSVF_1_1CFLSolver.html#afc745dc72fd0572a145a78fe6a93ae5c">pushIntoWorklist</a>(newEdge);</div><div class="line"><a name="l00095"></a><span class="lineno">   95</span>&#160;                        }</div><div class="line"><a name="l00096"></a><span class="lineno">   96</span>&#160;                    }</div><div class="line"><a name="l00097"></a><span class="lineno">   97</span>&#160;                }</div><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="l00103"></a><span class="lineno">  103</span>&#160;        <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1CFLSolver.html#aad88cf557ec43127de859b765505df49">grammar</a>-&gt;<a class="code" href="classSVF_1_1CFLGrammar.html#a2b1c91f6d33423046d3ffcb2985351ce">hasProdsFromSecondRHS</a>(Y))</div><div class="line"><a name="l00104"></a><span class="lineno">  104</span>&#160;            <span class="keywordflow">for</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CFLSolver.html#a0ade6e3827c629c3cc3d22a101df7288">Production</a>&amp; prod : <a class="code" href="classSVF_1_1CFLSolver.html#aad88cf557ec43127de859b765505df49">grammar</a>-&gt;<a class="code" href="classSVF_1_1CFLGrammar.html#a9e62f15ed28cf5f48fce44b67d8a1c89">getProdsFromSecondRHS</a>(Y))</div><div class="line"><a name="l00105"></a><span class="lineno">  105</span>&#160;            {</div><div class="line"><a name="l00106"></a><span class="lineno">  106</span>&#160;                <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html">Symbol</a> X = <a class="code" href="classSVF_1_1CFLSolver.html#aad88cf557ec43127de859b765505df49">grammar</a>-&gt;<a class="code" href="classSVF_1_1CFLGrammar.html#a3cfce0e2282c63679d6e7835e19ad5ec">getLHSSymbol</a>(prod);</div><div class="line"><a name="l00107"></a><span class="lineno">  107</span>&#160;                <span class="keywordflow">for</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CFLEdge.html">CFLEdge</a>* Z_edge : i-&gt;<a class="code" href="classSVF_1_1GenericNode.html#afc8b5f86d7795b6a0dfc0687d942d79b">getInEdges</a>())</div><div class="line"><a name="l00108"></a><span class="lineno">  108</span>&#160;                {</div><div class="line"><a name="l00109"></a><span class="lineno">  109</span>&#160;                    <span class="keywordflow">if</span>(Z_edge-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1CFLSolver.html#aad88cf557ec43127de859b765505df49">grammar</a>-&gt;<a class="code" href="classSVF_1_1CFLGrammar.html#a837d2db607e1c9403db4d3021f4e52d4">getFirstRHSSymbol</a>(prod))</div><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;                        <a class="code" href="classSVF_1_1CFLNode.html">CFLNode</a>* k = Z_edge-&gt;getSrcNode();</div><div class="line"><a name="l00112"></a><span class="lineno">  112</span>&#160;                        <span class="keywordflow">if</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CFLEdge.html">CFLEdge</a>* newEdge = <a class="code" href="classSVF_1_1CFLSolver.html#aedd6c605c4c381c738f4c6682c40d9f2">graph</a>-&gt;<a class="code" href="classSVF_1_1CFLGraph.html#a9eea8083dbeaf898948595b1d75cfee2">addCFLEdge</a>(k, j, X))</div><div class="line"><a name="l00113"></a><span class="lineno">  113</span>&#160;                        {</div><div class="line"><a name="l00114"></a><span class="lineno">  114</span>&#160;                            <a class="code" href="classSVF_1_1CFLSolver.html#afc745dc72fd0572a145a78fe6a93ae5c">pushIntoWorklist</a>(newEdge);</div><div class="line"><a name="l00115"></a><span class="lineno">  115</span>&#160;                        }</div><div class="line"><a name="l00116"></a><span class="lineno">  116</span>&#160;                    }</div><div class="line"><a name="l00117"></a><span class="lineno">  117</span>&#160;                }</div><div class="line"><a name="l00118"></a><span class="lineno">  118</span>&#160;            }</div><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;}</div><div class="ttc" id="classSVF_1_1GenericGraph_html_a0d9744b1b0e7a09a6f7af29188e243b7"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a0d9744b1b0e7a09a6f7af29188e243b7">SVF::GenericGraph::begin</a></div><div class="ttdeci">iterator begin()</div><div class="ttdoc">Iterators. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00365">GenericGraph.h:365</a></div></div>
-<div class="ttc" id="classSVF_1_1CFLGrammar_html_a9e62f15ed28cf5f48fce44b67d8a1c89"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#a9e62f15ed28cf5f48fce44b67d8a1c89">SVF::CFLGrammar::getProdsFromSecondRHS</a></div><div class="ttdeci">const Productions &amp; getProdsFromSecondRHS(const Symbol sym) const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00345">CFLGrammar.h:345</a></div></div>
+<div class="ttc" id="classSVF_1_1CFLGrammar_html_a9e62f15ed28cf5f48fce44b67d8a1c89"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#a9e62f15ed28cf5f48fce44b67d8a1c89">SVF::CFLGrammar::getProdsFromSecondRHS</a></div><div class="ttdeci">const Productions &amp; getProdsFromSecondRHS(const Symbol sym) const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00347">CFLGrammar.h:347</a></div></div>
 <div class="ttc" id="classSVF_1_1GenericNode_html_afc8b5f86d7795b6a0dfc0687d942d79b"><div class="ttname"><a href="classSVF_1_1GenericNode.html#afc8b5f86d7795b6a0dfc0687d942d79b">SVF::GenericNode::getInEdges</a></div><div class="ttdeci">const GEdgeSetTy &amp; getInEdges() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00186">GenericGraph.h:186</a></div></div>
-<div class="ttc" id="classSVF_1_1CFLGrammar_html_ac167616ad6e48161b0cb890107145ffa"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#ac167616ad6e48161b0cb890107145ffa">SVF::CFLGrammar::getProdsFromFirstRHS</a></div><div class="ttdeci">const Productions &amp; getProdsFromFirstRHS(const Symbol sym) const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00338">CFLGrammar.h:338</a></div></div>
+<div class="ttc" id="classSVF_1_1CFLGrammar_html_ac167616ad6e48161b0cb890107145ffa"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#ac167616ad6e48161b0cb890107145ffa">SVF::CFLGrammar::getProdsFromFirstRHS</a></div><div class="ttdeci">const Productions &amp; getProdsFromFirstRHS(const Symbol sym) const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00340">CFLGrammar.h:340</a></div></div>
 <div class="ttc" id="classSVF_1_1CFLSolver_html_afc745dc72fd0572a145a78fe6a93ae5c"><div class="ttname"><a href="classSVF_1_1CFLSolver.html#afc745dc72fd0572a145a78fe6a93ae5c">SVF::CFLSolver::pushIntoWorklist</a></div><div class="ttdeci">bool pushIntoWorklist(const CFLEdge *item)</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00074">CFLSolver.h:74</a></div></div>
-<div class="ttc" id="classSVF_1_1CFLGrammar_html_a8d6292a55da24336d968e20c7ac288d9"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#a8d6292a55da24336d968e20c7ac288d9">SVF::CFLGrammar::getEpsilonProds</a></div><div class="ttdeci">Productions &amp; getEpsilonProds()</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00293">CFLGrammar.h:293</a></div></div>
-<div class="ttc" id="classSVF_1_1CFLGrammar_html_a3ccdda19bfed497ee8e14c1aaac4aa51"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#a3ccdda19bfed497ee8e14c1aaac4aa51">SVF::CFLGrammar::getSecondRHSSymbol</a></div><div class="ttdeci">const Symbol &amp; getSecondRHSSymbol(const Production &amp;prod) const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00363">CFLGrammar.h:363</a></div></div>
+<div class="ttc" id="classSVF_1_1CFLGrammar_html_a8d6292a55da24336d968e20c7ac288d9"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#a8d6292a55da24336d968e20c7ac288d9">SVF::CFLGrammar::getEpsilonProds</a></div><div class="ttdeci">Productions &amp; getEpsilonProds()</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00295">CFLGrammar.h:295</a></div></div>
+<div class="ttc" id="classSVF_1_1CFLGrammar_html_a3ccdda19bfed497ee8e14c1aaac4aa51"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#a3ccdda19bfed497ee8e14c1aaac4aa51">SVF::CFLGrammar::getSecondRHSSymbol</a></div><div class="ttdeci">const Symbol &amp; getSecondRHSSymbol(const Production &amp;prod) const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00365">CFLGrammar.h:365</a></div></div>
 <div class="ttc" id="CFLSolver_8h_html"><div class="ttname"><a href="CFLSolver_8h.html">CFLSolver.h</a></div></div>
 <div class="ttc" id="classSVF_1_1CFLGraph_html_a9eea8083dbeaf898948595b1d75cfee2"><div class="ttname"><a href="classSVF_1_1CFLGraph.html#a9eea8083dbeaf898948595b1d75cfee2">SVF::CFLGraph::addCFLEdge</a></div><div class="ttdeci">virtual const CFLEdge * addCFLEdge(CFLNode *src, CFLNode *dst, CFLEdge::GEdgeFlag label)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8cpp_source.html#l00047">CFLGraph.cpp:47</a></div></div>
-<div class="ttc" id="classSVF_1_1CFLGrammar_html_a51d4514dec026412f7151a6ea1fc2b5d"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#a51d4514dec026412f7151a6ea1fc2b5d">SVF::CFLGrammar::hasProdsFromSingleRHS</a></div><div class="ttdeci">const bool hasProdsFromSingleRHS(const Symbol sym) const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00319">CFLGrammar.h:319</a></div></div>
+<div class="ttc" id="classSVF_1_1CFLGrammar_html_a51d4514dec026412f7151a6ea1fc2b5d"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#a51d4514dec026412f7151a6ea1fc2b5d">SVF::CFLGrammar::hasProdsFromSingleRHS</a></div><div class="ttdeci">const bool hasProdsFromSingleRHS(const Symbol sym) const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00321">CFLGrammar.h:321</a></div></div>
 <div class="ttc" id="classSVF_1_1GenericGraph_html_a4bef15157423cef48dc7333a803cd27d"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a4bef15157423cef48dc7333a803cd27d">SVF::GenericGraph::end</a></div><div class="ttdeci">iterator end()</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00369">GenericGraph.h:369</a></div></div>
 <div class="ttc" id="classSVF_1_1CFLNode_html"><div class="ttname"><a href="classSVF_1_1CFLNode.html">SVF::CFLNode</a></div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00074">CFLGraph.h:74</a></div></div>
 <div class="ttc" id="classSVF_1_1CFLSolver_html_aedd6c605c4c381c738f4c6682c40d9f2"><div class="ttname"><a href="classSVF_1_1CFLSolver.html#aedd6c605c4c381c738f4c6682c40d9f2">SVF::CFLSolver::graph</a></div><div class="ttdeci">CFLGraph * graph</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00098">CFLSolver.h:98</a></div></div>
-<div class="ttc" id="classSVF_1_1CFLGrammar_html_a837d2db607e1c9403db4d3021f4e52d4"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#a837d2db607e1c9403db4d3021f4e52d4">SVF::CFLGrammar::getFirstRHSSymbol</a></div><div class="ttdeci">const Symbol &amp; getFirstRHSSymbol(const Production &amp;prod) const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00358">CFLGrammar.h:358</a></div></div>
+<div class="ttc" id="classSVF_1_1CFLGrammar_html_a837d2db607e1c9403db4d3021f4e52d4"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#a837d2db607e1c9403db4d3021f4e52d4">SVF::CFLGrammar::getFirstRHSSymbol</a></div><div class="ttdeci">const Symbol &amp; getFirstRHSSymbol(const Production &amp;prod) const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00360">CFLGrammar.h:360</a></div></div>
 <div class="ttc" id="classSVF_1_1GenericEdge_html_aeaa31a2c8479e831b36ce2e2582ceb86"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#aeaa31a2c8479e831b36ce2e2582ceb86">SVF::GenericEdge::getDstNode</a></div><div class="ttdeci">NodeType * getDstNode() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00093">GenericGraph.h:93</a></div></div>
-<div class="ttc" id="classSVF_1_1CFLGrammar_html_a0c9462377b1adf656f803de3be6a0d2b"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#a0c9462377b1adf656f803de3be6a0d2b">SVF::CFLGrammar::getProdsFromSingleRHS</a></div><div class="ttdeci">const Productions &amp; getProdsFromSingleRHS(const Symbol sym) const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00331">CFLGrammar.h:331</a></div></div>
+<div class="ttc" id="classSVF_1_1CFLGrammar_html_a0c9462377b1adf656f803de3be6a0d2b"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#a0c9462377b1adf656f803de3be6a0d2b">SVF::CFLGrammar::getProdsFromSingleRHS</a></div><div class="ttdeci">const Productions &amp; getProdsFromSingleRHS(const Symbol sym) const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00333">CFLGrammar.h:333</a></div></div>
 <div class="ttc" id="classSVF_1_1GenericNode_html_a2d9cd758d6f8c5189d9b90b74f43e009"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a2d9cd758d6f8c5189d9b90b74f43e009">SVF::GenericNode::getOutEdges</a></div><div class="ttdeci">const GEdgeSetTy &amp; getOutEdges() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00182">GenericGraph.h:182</a></div></div>
 <div class="ttc" id="classSVF_1_1CFLSolver_html_aad88cf557ec43127de859b765505df49"><div class="ttname"><a href="classSVF_1_1CFLSolver.html#aad88cf557ec43127de859b765505df49">SVF::CFLSolver::grammar</a></div><div class="ttdeci">CFLGrammar * grammar</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00099">CFLSolver.h:99</a></div></div>
-<div class="ttc" id="classSVF_1_1CFLGrammar_html_aa6383a6a8ccd30afbedf7ff3a05d46d8"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#aa6383a6a8ccd30afbedf7ff3a05d46d8">SVF::CFLGrammar::hasProdsFromFirstRHS</a></div><div class="ttdeci">const bool hasProdsFromFirstRHS(const Symbol sym) const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00313">CFLGrammar.h:313</a></div></div>
-<div class="ttc" id="classSVF_1_1CFLGrammar_html_a2b1c91f6d33423046d3ffcb2985351ce"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#a2b1c91f6d33423046d3ffcb2985351ce">SVF::CFLGrammar::hasProdsFromSecondRHS</a></div><div class="ttdeci">const bool hasProdsFromSecondRHS(const Symbol sym) const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00325">CFLGrammar.h:325</a></div></div>
+<div class="ttc" id="classSVF_1_1CFLGrammar_html_aa6383a6a8ccd30afbedf7ff3a05d46d8"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#aa6383a6a8ccd30afbedf7ff3a05d46d8">SVF::CFLGrammar::hasProdsFromFirstRHS</a></div><div class="ttdeci">const bool hasProdsFromFirstRHS(const Symbol sym) const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00315">CFLGrammar.h:315</a></div></div>
+<div class="ttc" id="classSVF_1_1CFLGrammar_html_a2b1c91f6d33423046d3ffcb2985351ce"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#a2b1c91f6d33423046d3ffcb2985351ce">SVF::CFLGrammar::hasProdsFromSecondRHS</a></div><div class="ttdeci">const bool hasProdsFromSecondRHS(const Symbol sym) const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00327">CFLGrammar.h:327</a></div></div>
 <div class="ttc" id="classSVF_1_1CFLSolver_html_a95573e91816f426ff7b45afb7b7c821e"><div class="ttname"><a href="classSVF_1_1CFLSolver.html#a95573e91816f426ff7b45afb7b7c821e">SVF::CFLSolver::popFromWorklist</a></div><div class="ttdeci">const CFLEdge * popFromWorklist()</div><div class="ttdoc">Worklist operations. </div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00086">CFLSolver.h:86</a></div></div>
-<div class="ttc" id="classSVF_1_1CFLGrammar_html_a3cfce0e2282c63679d6e7835e19ad5ec"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#a3cfce0e2282c63679d6e7835e19ad5ec">SVF::CFLGrammar::getLHSSymbol</a></div><div class="ttdeci">const Symbol &amp; getLHSSymbol(const Production &amp;prod) const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00353">CFLGrammar.h:353</a></div></div>
+<div class="ttc" id="classSVF_1_1CFLGrammar_html_a3cfce0e2282c63679d6e7835e19ad5ec"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html#a3cfce0e2282c63679d6e7835e19ad5ec">SVF::CFLGrammar::getLHSSymbol</a></div><div class="ttdeci">const Symbol &amp; getLHSSymbol(const Production &amp;prod) const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00355">CFLGrammar.h:355</a></div></div>
 <div class="ttc" id="classSVF_1_1GenericEdge_html_ab47ca533c415841ef75456cbad439589"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#ab47ca533c415841ef75456cbad439589">SVF::GenericEdge::getSrcNode</a></div><div class="ttdeci">NodeType * getSrcNode() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00089">GenericGraph.h:89</a></div></div>
 <div class="ttc" id="structSVF_1_1GrammarBase_1_1Symbol_html"><div class="ttname"><a href="structSVF_1_1GrammarBase_1_1Symbol.html">SVF::GrammarBase::Symbol</a></div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00042">CFLGrammar.h:42</a></div></div>
 <div class="ttc" id="namespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode </div><div class="ttdef"><b>Definition:</b> <a href="CFGNormalizer_8h_source.html#l00035">CFGNormalizer.h:35</a></div></div>