svf-tools 1.0.482 → 1.0.485

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

@@ -69,24 +69,38 @@ $(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#acc7b4cf736579c4d83be2316d5a9e5f2">F</a> <a class="el" href="CFLGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#a36f63c7a581bf6d351f835c6127a2519">Copy</a></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:aac550daeb926fa3c77376959d6712fc6"><td class="memItemLeft" align="right" valign="top"><a class="el" href="CFLGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a> <a class="el" href="CFLGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a> Store V&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#aac550daeb926fa3c77376959d6712fc6">Load</a></td></tr>
-<tr class="separator:aac550daeb926fa3c77376959d6712fc6"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a439ab12c27eee7f7bf2190c952ba5725"><td class="memItemLeft" align="right" valign="top">Gepbar_j Vgepbar <a class="el" href="CFLGrammar_8txt.html#ae8b5aa5e39ce3b22bbd5a3c28f3dbb0d">Fbar</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#a439ab12c27eee7f7bf2190c952ba5725">Gepbar_i</a></td></tr>
-<tr class="separator:a439ab12c27eee7f7bf2190c952ba5725"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a114c2e5cd44b3ea4720e9191ed819f3b"><td class="memItemLeft" align="right" valign="top"><a class="el" href="CFLGrammar_8txt.html#ae8b5aa5e39ce3b22bbd5a3c28f3dbb0d">Fbar</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#a114c2e5cd44b3ea4720e9191ed819f3b">epsilon</a></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="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="CFLGrammar_8txt.html#afb129e761aae1ddaa005123832b88cd2">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:ae8b5aa5e39ce3b22bbd5a3c28f3dbb0d"><td class="memItemLeft" align="right" valign="top">Fbar Copybar&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#ae8b5aa5e39ce3b22bbd5a3c28f3dbb0d">Fbar</a></td></tr>
-<tr class="separator:ae8b5aa5e39ce3b22bbd5a3c28f3dbb0d"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:acc7b4cf736579c4d83be2316d5a9e5f2"><td class="memItemLeft" align="right" valign="top">V <a class="el" href="CFLGrammar_8txt.html#ae8b5aa5e39ce3b22bbd5a3c28f3dbb0d">Fbar</a> V&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a></td></tr>
-<tr class="separator:acc7b4cf736579c4d83be2316d5a9e5f2"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a017fa6c558fa1eff0a13180c8340aba8"><td class="memItemLeft" align="right" valign="top">V Addrbar&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#a017fa6c558fa1eff0a13180c8340aba8">Addr</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="CFLGrammar_8txt.html#afb129e761aae1ddaa005123832b88cd2">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="CFLGrammar_8txt.html#afb129e761aae1ddaa005123832b88cd2">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="CFLGrammar_8txt.html#afb129e761aae1ddaa005123832b88cd2">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="CFLGrammar_8txt.html#a11ba05967682e1a34391b8c3309de1e6">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:a3570ef0c1d906134e5aa6077d39fef04"><td class="memItemLeft" align="right" valign="top">V <a class="el" href="CFLGrammar_8txt.html#a439ab12c27eee7f7bf2190c952ba5725">Gepbar_i</a> V&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#a3570ef0c1d906134e5aa6077d39fef04">Gep_i</a></td></tr>
-<tr class="separator:a3570ef0c1d906134e5aa6077d39fef04"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a0ac67c3cc3f9d992f8c4e779092905e5"><td class="memItemLeft" align="right" valign="top">Gep_j <a class="el" href="CFLGrammar_8txt.html#a3570ef0c1d906134e5aa6077d39fef04">Gep_i</a> <a class="el" href="CFLGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#a0ac67c3cc3f9d992f8c4e779092905e5">Vgep</a></td></tr>
+<tr class="memitem:a653086130f70f043218d296d00529455"><td class="memItemLeft" align="right" valign="top">V <a class="el" href="CFLGrammar_8txt.html#ac1aa386be0aca60acd35f22fa31e818c">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:a0ac67c3cc3f9d992f8c4e779092905e5"><td class="memItemLeft" align="right" valign="top">Gep_j <a class="el" href="CFLGrammar_8txt.html#a653086130f70f043218d296d00529455">Gep_i</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#a0ac67c3cc3f9d992f8c4e779092905e5">Vgep</a></td></tr>
 <tr class="separator:a0ac67c3cc3f9d992f8c4e779092905e5"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ac1aa386be0aca60acd35f22fa31e818c"><td class="memItemLeft" align="right" valign="top"><a class="el" href="CFLGrammar_8txt.html#aeb412ddd133fefb41dbf77aca541935b">Gepbar_j</a> Vgepbar <a class="el" href="CFLGrammar_8txt.html#afb129e761aae1ddaa005123832b88cd2">Fbar</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#ac1aa386be0aca60acd35f22fa31e818c">Gepbar_i</a></td></tr>
+<tr class="separator:ac1aa386be0aca60acd35f22fa31e818c"><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: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:aeb412ddd133fefb41dbf77aca541935b"><td class="memItemLeft" align="right" valign="top">Gepbarpath <a class="el" href="CFLGrammar_8txt.html#ac1aa386be0aca60acd35f22fa31e818c">Gepbar_i</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#aeb412ddd133fefb41dbf77aca541935b">Gepbar_j</a></td></tr>
+<tr class="separator:aeb412ddd133fefb41dbf77aca541935b"><td class="memSeparator" colspan="2">&#160;</td></tr>
 </table>
 <h2 class="groupheader">Variable Documentation</h2>
 <a id="ad8c410068267cc7ccd0765a7bd51a2bf"></a>
@@ -112,12 +126,28 @@ Variables</h2></td></tr>
 <div class="memproto">
       <table class="memname">
         <tr>
-          <td class="memname">V Addrbar Addr</td>
+          <td class="memname">V <a class="el" href="CFLGrammar_8txt.html#a11ba05967682e1a34391b8c3309de1e6">Addrbar</a> Addr</td>
         </tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="CFLGrammar_8txt_source.html#l00014">14</a> of file <a class="el" href="CFLGrammar_8txt_source.html">CFLGrammar.txt</a>.</p>
+<p class="definition">Definition at line <a class="el" href="CFLGrammar_8txt_source.html#l00017">17</a> of file <a class="el" href="CFLGrammar_8txt_source.html">CFLGrammar.txt</a>.</p>
+
+</div>
+</div>
+<a id="a11ba05967682e1a34391b8c3309de1e6"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a11ba05967682e1a34391b8c3309de1e6">&#9670;&nbsp;</a></span>Addrbar</h2>
+
+<div class="memitem">
+<div class="memproto">
+      <table class="memname">
+        <tr>
+          <td class="memname"><a class="el" href="CFLGrammar_8txt.html#afb129e761aae1ddaa005123832b88cd2">Fbar</a> Memflowbar Addrbar</td>
+        </tr>
+      </table>
+</div><div class="memdoc">
+
+<p class="definition">Definition at line <a class="el" href="CFLGrammar_8txt_source.html#l00013">13</a> of file <a class="el" href="CFLGrammar_8txt_source.html">CFLGrammar.txt</a>.</p>
 
 </div>
 </div>
@@ -128,7 +158,7 @@ Variables</h2></td></tr>
 <div class="memproto">
       <table class="memname">
         <tr>
-          <td class="memname"><a class="el" href="CFLGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a> <a class="el" href="CFLGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a> Copy</td>
+          <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>
         </tr>
       </table>
 </div><div class="memdoc">
@@ -144,71 +174,119 @@ Variables</h2></td></tr>
 <div class="memproto">
       <table class="memname">
         <tr>
-          <td class="memname"><a class="el" href="CFLGrammar_8txt.html#ae8b5aa5e39ce3b22bbd5a3c28f3dbb0d">Fbar</a> epsilon</td>
+          <td class="memname"><a class="el" href="CFLGrammar_8txt.html#afb129e761aae1ddaa005123832b88cd2">Fbar</a> epsilon</td>
         </tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="CFLGrammar_8txt_source.html#l00010">10</a> of file <a class="el" href="CFLGrammar_8txt_source.html">CFLGrammar.txt</a>.</p>
+<p class="definition">Definition at line <a class="el" href="CFLGrammar_8txt_source.html#l00011">11</a> of file <a class="el" href="CFLGrammar_8txt_source.html">CFLGrammar.txt</a>.</p>
 
 </div>
 </div>
-<a id="acc7b4cf736579c4d83be2316d5a9e5f2"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#acc7b4cf736579c4d83be2316d5a9e5f2">&#9670;&nbsp;</a></span>F</h2>
+<a id="a00967427d1c110ffcc82ea2a966f4564"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a00967427d1c110ffcc82ea2a966f4564">&#9670;&nbsp;</a></span>F</h2>
 
 <div class="memitem">
 <div class="memproto">
       <table class="memname">
         <tr>
-          <td class="memname">V <a class="el" href="CFLGrammar_8txt.html#ae8b5aa5e39ce3b22bbd5a3c28f3dbb0d">Fbar</a> V F</td>
+          <td class="memname">Memflowbar Memflowbar F</td>
         </tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="CFLGrammar_8txt_source.html#l00013">13</a> of file <a class="el" href="CFLGrammar_8txt_source.html">CFLGrammar.txt</a>.</p>
+<p class="definition">Definition at line <a class="el" href="CFLGrammar_8txt_source.html#l00016">16</a> of file <a class="el" href="CFLGrammar_8txt_source.html">CFLGrammar.txt</a>.</p>
 
 </div>
 </div>
-<a id="ae8b5aa5e39ce3b22bbd5a3c28f3dbb0d"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#ae8b5aa5e39ce3b22bbd5a3c28f3dbb0d">&#9670;&nbsp;</a></span>Fbar</h2>
+<a id="afb129e761aae1ddaa005123832b88cd2"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#afb129e761aae1ddaa005123832b88cd2">&#9670;&nbsp;</a></span>Fbar</h2>
 
 <div class="memitem">
 <div class="memproto">
       <table class="memname">
         <tr>
-          <td class="memname">Fbar Loadbar V Storebar Fbar</td>
+          <td class="memname">Memflowbar <a class="el" href="CFLGrammar_8txt.html#a00967427d1c110ffcc82ea2a966f4564">F</a> Memflowbar Fbar</td>
         </tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="CFLGrammar_8txt_source.html#l00011">11</a> of file <a class="el" href="CFLGrammar_8txt_source.html">CFLGrammar.txt</a>.</p>
+<p class="definition">Definition at line <a class="el" href="CFLGrammar_8txt_source.html#l00012">12</a> of file <a class="el" href="CFLGrammar_8txt_source.html">CFLGrammar.txt</a>.</p>
 
 </div>
 </div>
-<a id="a3570ef0c1d906134e5aa6077d39fef04"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a3570ef0c1d906134e5aa6077d39fef04">&#9670;&nbsp;</a></span>Gep_i</h2>
+<a id="ace8178aa913f2a15d4b3f12778dfc6f1"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#ace8178aa913f2a15d4b3f12778dfc6f1">&#9670;&nbsp;</a></span>Gep_0</h2>
 
 <div class="memitem">
 <div class="memproto">
       <table class="memname">
         <tr>
-          <td class="memname">V <a class="el" href="CFLGrammar_8txt.html#a439ab12c27eee7f7bf2190c952ba5725">Gepbar_i</a> V Gep_i</td>
+          <td class="memname">V Gepbarpath V Gep_0</td>
         </tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="CFLGrammar_8txt_source.html#l00015">15</a> of file <a class="el" href="CFLGrammar_8txt_source.html">CFLGrammar.txt</a>.</p>
+<p class="definition">Definition at line <a class="el" href="CFLGrammar_8txt_source.html#l00019">19</a> of file <a class="el" href="CFLGrammar_8txt_source.html">CFLGrammar.txt</a>.</p>
+
+</div>
+</div>
+<a id="a653086130f70f043218d296d00529455"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a653086130f70f043218d296d00529455">&#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#ac1aa386be0aca60acd35f22fa31e818c">Gepbar_i</a> Memflowbar Gep_i</td>
+        </tr>
+      </table>
+</div><div class="memdoc">
+
+<p class="definition">Definition at line <a class="el" href="CFLGrammar_8txt_source.html#l00018">18</a> of file <a class="el" href="CFLGrammar_8txt_source.html">CFLGrammar.txt</a>.</p>
+
+</div>
+</div>
+<a id="ac1aa386be0aca60acd35f22fa31e818c"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#ac1aa386be0aca60acd35f22fa31e818c">&#9670;&nbsp;</a></span>Gepbar_i</h2>
+
+<div class="memitem">
+<div class="memproto">
+      <table class="memname">
+        <tr>
+          <td class="memname">Gepbarpath Gepbarpath Gepbar_i</td>
+        </tr>
+      </table>
+</div><div class="memdoc">
+
+<p class="definition">Definition at line <a class="el" href="CFLGrammar_8txt_source.html#l00023">23</a> of file <a class="el" href="CFLGrammar_8txt_source.html">CFLGrammar.txt</a>.</p>
+
+</div>
+</div>
+<a id="aeb412ddd133fefb41dbf77aca541935b"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#aeb412ddd133fefb41dbf77aca541935b">&#9670;&nbsp;</a></span>Gepbar_j</h2>
+
+<div class="memitem">
+<div class="memproto">
+      <table class="memname">
+        <tr>
+          <td class="memname">Gepbarpath <a class="el" href="CFLGrammar_8txt.html#ac1aa386be0aca60acd35f22fa31e818c">Gepbar_i</a> Gepbar_j</td>
+        </tr>
+      </table>
+</div><div class="memdoc">
+
+<p class="definition">Definition at line <a class="el" href="CFLGrammar_8txt_source.html#l00034">34</a> of file <a class="el" href="CFLGrammar_8txt_source.html">CFLGrammar.txt</a>.</p>
 
 </div>
 </div>
-<a id="a439ab12c27eee7f7bf2190c952ba5725"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a439ab12c27eee7f7bf2190c952ba5725">&#9670;&nbsp;</a></span>Gepbar_i</h2>
+<a id="af3f0b3f464e928b7fc87347dc041501d"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#af3f0b3f464e928b7fc87347dc041501d">&#9670;&nbsp;</a></span>Load</h2>
 
 <div class="memitem">
 <div class="memproto">
       <table class="memname">
         <tr>
-          <td class="memname">Gepbar_j Vgepbar <a class="el" href="CFLGrammar_8txt.html#ae8b5aa5e39ce3b22bbd5a3c28f3dbb0d">Fbar</a> Gepbar_i</td>
+          <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>
         </tr>
       </table>
 </div><div class="memdoc">
@@ -217,20 +295,68 @@ Variables</h2></td></tr>
 
 </div>
 </div>
-<a id="aac550daeb926fa3c77376959d6712fc6"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#aac550daeb926fa3c77376959d6712fc6">&#9670;&nbsp;</a></span>Load</h2>
+<a id="ac9e2ada624dc7eee357e865e0d89c84a"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#ac9e2ada624dc7eee357e865e0d89c84a">&#9670;&nbsp;</a></span>Loadbar</h2>
 
 <div class="memitem">
 <div class="memproto">
       <table class="memname">
         <tr>
-          <td class="memname"><a class="el" href="CFLGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a> <a class="el" href="CFLGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a> Store V Load</td>
+          <td class="memname">Memflowbar <a class="el" href="CFLGrammar_8txt.html#a324fa20755f4b8f2e50e2e148f6fadbd">Storebar</a> Loadbar</td>
+        </tr>
+      </table>
+</div><div class="memdoc">
+
+<p class="definition">Definition at line <a class="el" href="CFLGrammar_8txt_source.html#l00029">29</a> of file <a class="el" href="CFLGrammar_8txt_source.html">CFLGrammar.txt</a>.</p>
+
+</div>
+</div>
+<a id="ae2f9fbd0bf92e7dad02a6c5fa9323621"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#ae2f9fbd0bf92e7dad02a6c5fa9323621">&#9670;&nbsp;</a></span>Memflow</h2>
+
+<div class="memitem">
+<div class="memproto">
+      <table class="memname">
+        <tr>
+          <td class="memname">Memflow <a class="el" href="CFLGrammar_8txt.html#afb129e761aae1ddaa005123832b88cd2">Fbar</a> Memflow</td>
         </tr>
       </table>
 </div><div class="memdoc">
 
 <p class="definition">Definition at line <a class="el" href="CFLGrammar_8txt_source.html#l00008">8</a> of file <a class="el" href="CFLGrammar_8txt_source.html">CFLGrammar.txt</a>.</p>
 
+</div>
+</div>
+<a id="a4459b9e008c1693c8d592cf0544912f6"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a4459b9e008c1693c8d592cf0544912f6">&#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>
+        </tr>
+      </table>
+</div><div class="memdoc">
+
+<p class="definition">Definition at line <a class="el" href="CFLGrammar_8txt_source.html#l00024">24</a> of file <a class="el" href="CFLGrammar_8txt_source.html">CFLGrammar.txt</a>.</p>
+
+</div>
+</div>
+<a id="a324fa20755f4b8f2e50e2e148f6fadbd"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a324fa20755f4b8f2e50e2e148f6fadbd">&#9670;&nbsp;</a></span>Storebar</h2>
+
+<div class="memitem">
+<div class="memproto">
+      <table class="memname">
+        <tr>
+          <td class="memname"><a class="el" href="CFLGrammar_8txt.html#afb129e761aae1ddaa005123832b88cd2">Fbar</a> <a class="el" href="CFLGrammar_8txt.html#ac9e2ada624dc7eee357e865e0d89c84a">Loadbar</a> Memflowbar Storebar</td>
+        </tr>
+      </table>
+</div><div class="memdoc">
+
+<p class="definition">Definition at line <a class="el" href="CFLGrammar_8txt_source.html#l00015">15</a> of file <a class="el" href="CFLGrammar_8txt_source.html">CFLGrammar.txt</a>.</p>
+
 </div>
 </div>
 <a id="a0ac67c3cc3f9d992f8c4e779092905e5"></a>
@@ -240,12 +366,12 @@ Variables</h2></td></tr>
 <div class="memproto">
       <table class="memname">
         <tr>
-          <td class="memname">Gep_j <a class="el" href="CFLGrammar_8txt.html#a3570ef0c1d906134e5aa6077d39fef04">Gep_i</a> <a class="el" href="CFLGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a> Vgep</td>
+          <td class="memname">Gep_j <a class="el" href="CFLGrammar_8txt.html#a653086130f70f043218d296d00529455">Gep_i</a> <a class="el" href="CFLGrammar_8txt.html#a00967427d1c110ffcc82ea2a966f4564">F</a> Vgep</td>
         </tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="CFLGrammar_8txt_source.html#l00016">16</a> of file <a class="el" href="CFLGrammar_8txt_source.html">CFLGrammar.txt</a>.</p>
+<p class="definition">Definition at line <a class="el" href="CFLGrammar_8txt_source.html#l00022">22</a> of file <a class="el" href="CFLGrammar_8txt_source.html">CFLGrammar.txt</a>.</p>
 
 </div>
 </div>

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

@@ -75,15 +75,15 @@ $(function() {
 <div class="ttc" id="classSVF_1_1AliasCFLGraphBuilder_html_ab19243c4aceffce7b257f3d8cb3050fd"><div class="ttname"><a href="classSVF_1_1AliasCFLGraphBuilder.html#ab19243c4aceffce7b257f3d8cb3050fd">SVF::AliasCFLGraphBuilder::buildBigraph</a></div><div class="ttdeci">CFLGraph * buildBigraph(ConstraintGraph *graph, Kind startKind, GrammarBase *grammar)</div><div class="ttdoc">Build Bidirectional graph by copying nodes and edges from const graph inherited from GenericGraph...</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraphBuilder_8cpp_source.html#l00162">CFLGraphBuilder.cpp:162</a></div></div>
 <div class="ttc" id="classSVF_1_1NormalGepCGEdge_html"><div class="ttname"><a href="classSVF_1_1NormalGepCGEdge.html">SVF::NormalGepCGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="ConsGEdge_8h_source.html#l00265">ConsGEdge.h:265</a></div></div>
 <div class="ttc" id="classSVF_1_1CFLGraph_html_a58b944d0f2c11868e17223acdb35f82c"><div class="ttname"><a href="classSVF_1_1CFLGraph.html#a58b944d0f2c11868e17223acdb35f82c">SVF::CFLGraph::addCFLNode</a></div><div class="ttdeci">virtual void addCFLNode(NodeID id, CFLNode *node)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8cpp_source.html#l00042">CFLGraph.cpp:42</a></div></div>
-<div class="ttc" id="classSVF_1_1GrammarBase_html_a8921a7d7a006e31f13d88b8c808c931b"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a8921a7d7a006e31f13d88b8c808c931b">SVF::GrammarBase::getStartKind</a></div><div class="ttdeci">Kind getStartKind()</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00214">CFLGrammar.h:214</a></div></div>
+<div class="ttc" id="classSVF_1_1GrammarBase_html_a8921a7d7a006e31f13d88b8c808c931b"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a8921a7d7a006e31f13d88b8c808c931b">SVF::GrammarBase::getStartKind</a></div><div class="ttdeci">Kind getStartKind()</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00195">CFLGrammar.h:195</a></div></div>
 <div class="ttc" id="namespaceSVF_html_ad42bff8d0a7d60a085aa32d10f4955af"><div class="ttname"><a href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF::u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00084">SVFBasicTypes.h:84</a></div></div>
-<div class="ttc" id="classSVF_1_1GrammarBase_html_a04140ef06feee613506529fd8c23665e"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a04140ef06feee613506529fd8c23665e">SVF::GrammarBase::getNonterminals</a></div><div class="ttdeci">Map&lt; std::string, Kind &gt; &amp; getNonterminals()</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00179">CFLGrammar.h:179</a></div></div>
+<div class="ttc" id="classSVF_1_1GrammarBase_html_a04140ef06feee613506529fd8c23665e"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a04140ef06feee613506529fd8c23665e">SVF::GrammarBase::getNonterminals</a></div><div class="ttdeci">Map&lt; std::string, Kind &gt; &amp; getNonterminals()</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00160">CFLGrammar.h:160</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_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_1GenericGraph_html_a6885064afa211958af7b73f0233284e5"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a6885064afa211958af7b73f0233284e5">SVF::GenericGraph::hasGNode</a></div><div class="ttdeci">bool hasGNode(NodeID id) const</div><div class="ttdoc">Has a node. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00399">GenericGraph.h:399</a></div></div>
 <div class="ttc" id="namespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set&lt; Key, Hash, KeyEqual, Allocator &gt; Set</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00104">SVFBasicTypes.h:104</a></div></div>
-<div class="ttc" id="classSVF_1_1GrammarBase_html_a44232dfc5b9a13dfe9b72ff18634ab37"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a44232dfc5b9a13dfe9b72ff18634ab37">SVF::GrammarBase::getTerminals</a></div><div class="ttdeci">Map&lt; std::string, Kind &gt; &amp; getTerminals()</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00189">CFLGrammar.h:189</a></div></div>
+<div class="ttc" id="classSVF_1_1GrammarBase_html_a44232dfc5b9a13dfe9b72ff18634ab37"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a44232dfc5b9a13dfe9b72ff18634ab37">SVF::GrammarBase::getTerminals</a></div><div class="ttdeci">Map&lt; std::string, Kind &gt; &amp; getTerminals()</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00170">CFLGrammar.h:170</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_1GrammarBase_html_ab070e5449d26e347b957d8b994d0303f"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#ab070e5449d26e347b957d8b994d0303f">SVF::GrammarBase::Attribute</a></div><div class="ttdeci">u32_t Attribute</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00040">CFLGrammar.h:40</a></div></div>
 <div class="ttc" id="classSVF_1_1CFLGraphBuilder_html_adaa843018284f854ed0ad3bcb1460a01"><div class="ttname"><a href="classSVF_1_1CFLGraphBuilder.html#adaa843018284f854ed0ad3bcb1460a01">SVF::CFLGraphBuilder::addAttribute</a></div><div class="ttdeci">void addAttribute(CFLGrammar::Kind kind, CFLGrammar::Attribute attribute)</div><div class="ttdoc">add attribute to kind2Attribute Map </div><div class="ttdef"><b>Definition:</b> <a href="CFLGraphBuilder_8cpp_source.html#l00037">CFLGraphBuilder.cpp:37</a></div></div>
@@ -93,7 +93,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1ConstraintNode_html"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00040">ConsGNode.h:40</a></div></div>
 <div class="ttc" id="classSVF_1_1CFLGraphBuilder_html_ab0d2bd46dd1c3be10c04f573e9365757"><div class="ttname"><a href="classSVF_1_1CFLGraphBuilder.html#ab0d2bd46dd1c3be10c04f573e9365757">SVF::CFLGraphBuilder::build</a></div><div class="ttdeci">void build(GenericGraph&lt; N, E &gt; *graph, CFLGraph *cflGraph)</div><div class="ttdoc">Build graph by copying nodes and edges from any graph inherited from GenericGraph. </div><div class="ttdef"><b>Definition:</b> <a href="CFLGraphBuilder_8h_source.html#l00057">CFLGraphBuilder.h:57</a></div></div>
 <div class="ttc" id="Options_8h_html"><div class="ttname"><a href="Options_8h.html">Options.h</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#l00270">CFLGrammar.h:270</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_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="util_8h_html_a23c00958edf66c39625a0d535dee57b7"><div class="ttname"><a href="util_8h.html#a23c00958edf66c39625a0d535dee57b7">abort</a></div><div class="ttdeci">VOID_OR_INT abort()</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>

package/SVF-doxygen/html/html/CFLGraphBuilder_8h_source.html

@@ -72,12 +72,12 @@ $(function() {
 <div class="ttc" id="classSVF_1_1CFLGraph_html_a58b944d0f2c11868e17223acdb35f82c"><div class="ttname"><a href="classSVF_1_1CFLGraph.html#a58b944d0f2c11868e17223acdb35f82c">SVF::CFLGraph::addCFLNode</a></div><div class="ttdeci">virtual void addCFLNode(NodeID id, CFLNode *node)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8cpp_source.html#l00042">CFLGraph.cpp:42</a></div></div>
 <div class="ttc" id="classSVF_1_1AliasCFLGraphBuilder_html"><div class="ttname"><a href="classSVF_1_1AliasCFLGraphBuilder.html">SVF::AliasCFLGraphBuilder</a></div><div class="ttdef"><b>Definition:</b> <a href="CFLGraphBuilder_8h_source.html#l00143">CFLGraphBuilder.h:143</a></div></div>
 <div class="ttc" id="namespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00109">SVFBasicTypes.h:109</a></div></div>
-<div class="ttc" id="classSVF_1_1GrammarBase_html_a04140ef06feee613506529fd8c23665e"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a04140ef06feee613506529fd8c23665e">SVF::GrammarBase::getNonterminals</a></div><div class="ttdeci">Map&lt; std::string, Kind &gt; &amp; getNonterminals()</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00179">CFLGrammar.h:179</a></div></div>
+<div class="ttc" id="classSVF_1_1GrammarBase_html_a04140ef06feee613506529fd8c23665e"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a04140ef06feee613506529fd8c23665e">SVF::GrammarBase::getNonterminals</a></div><div class="ttdeci">Map&lt; std::string, Kind &gt; &amp; getNonterminals()</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00160">CFLGrammar.h:160</a></div></div>
 <div class="ttc" id="classSVF_1_1CFLGraphBuilder_html"><div class="ttname"><a href="classSVF_1_1CFLGraphBuilder.html">SVF::CFLGraphBuilder</a></div><div class="ttdef"><b>Definition:</b> <a href="CFLGraphBuilder_8h_source.html#l00040">CFLGraphBuilder.h:40</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_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_1GrammarBase_html_a44232dfc5b9a13dfe9b72ff18634ab37"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a44232dfc5b9a13dfe9b72ff18634ab37">SVF::GrammarBase::getTerminals</a></div><div class="ttdeci">Map&lt; std::string, Kind &gt; &amp; getTerminals()</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00189">CFLGrammar.h:189</a></div></div>
+<div class="ttc" id="classSVF_1_1GrammarBase_html_a44232dfc5b9a13dfe9b72ff18634ab37"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a44232dfc5b9a13dfe9b72ff18634ab37">SVF::GrammarBase::getTerminals</a></div><div class="ttdeci">Map&lt; std::string, Kind &gt; &amp; getTerminals()</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00170">CFLGrammar.h:170</a></div></div>
 <div class="ttc" id="classSVF_1_1GrammarBase_html_ab070e5449d26e347b957d8b994d0303f"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#ab070e5449d26e347b957d8b994d0303f">SVF::GrammarBase::Attribute</a></div><div class="ttdeci">u32_t Attribute</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00040">CFLGrammar.h:40</a></div></div>
 <div class="ttc" id="classSVF_1_1CFLGraphBuilder_html_adaa843018284f854ed0ad3bcb1460a01"><div class="ttname"><a href="classSVF_1_1CFLGraphBuilder.html#adaa843018284f854ed0ad3bcb1460a01">SVF::CFLGraphBuilder::addAttribute</a></div><div class="ttdeci">void addAttribute(CFLGrammar::Kind kind, CFLGrammar::Attribute attribute)</div><div class="ttdoc">add attribute to kind2Attribute Map </div><div class="ttdef"><b>Definition:</b> <a href="CFLGraphBuilder_8cpp_source.html#l00037">CFLGraphBuilder.cpp:37</a></div></div>
 <div class="ttc" id="classSVF_1_1CFLGraphBuilder_html_a20299631d2b85507af6d81861736db5e"><div class="ttname"><a href="classSVF_1_1CFLGraphBuilder.html#a20299631d2b85507af6d81861736db5e">SVF::CFLGraphBuilder::Kind</a></div><div class="ttdeci">CFLGrammar::Kind Kind</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraphBuilder_8h_source.html#l00043">CFLGraphBuilder.h:43</a></div></div>