svf-tools 1.0.581 → 1.0.583

package/SVF-doxygen/html/html/classSVF_1_1CFLEdge.html

@@ -63,6 +63,7 @@ $(function() {
 </div><!-- top -->
 <div class="header">
   <div class="summary">
+<a href="#pub-types">Public Types</a> &#124;
 <a href="#pub-methods">Public Member Functions</a> &#124;
 <a href="classSVF_1_1CFLEdge-members.html">List of all members</a>  </div>
   <div class="headertitle">
@@ -81,6 +82,22 @@ Inheritance diagram for SVF::CFLEdge:</div>
 </map>
  </div></div>
 <table class="memberdecls">
+<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-types"></a>
+Public Types</h2></td></tr>
+<tr class="memitem:ab9bf30450121917228deca8a83a64ac0"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1GenericNode.html">GenericNode</a>&lt; <a class="el" href="classSVF_1_1CFLNode.html">CFLNode</a>, <a class="el" href="classSVF_1_1CFLEdge.html">CFLEdge</a> &gt;::GEdgeSetTy&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLEdge.html#ab9bf30450121917228deca8a83a64ac0">CFLEdgeSetTy</a></td></tr>
+<tr class="separator:ab9bf30450121917228deca8a83a64ac0"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="inherit_header pub_types_classSVF_1_1GenericEdge"><td colspan="2" onclick="javascript:toggleInherit('pub_types_classSVF_1_1GenericEdge')"><img src="closed.png" alt="-"/>&#160;Public Types inherited from <a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td></tr>
+<tr class="memitem:aff95460d4b859e657a9198b7c5e5c736 inherit pub_types_classSVF_1_1GenericEdge"><td class="memItemLeft" align="right" valign="top">typedef NodeTy&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericEdge.html#aff95460d4b859e657a9198b7c5e5c736">NodeType</a></td></tr>
+<tr class="memdesc:aff95460d4b859e657a9198b7c5e5c736 inherit pub_types_classSVF_1_1GenericEdge"><td class="mdescLeft">&#160;</td><td class="mdescRight">Node type.  <a href="classSVF_1_1GenericEdge.html#aff95460d4b859e657a9198b7c5e5c736">More...</a><br /></td></tr>
+<tr class="separator:aff95460d4b859e657a9198b7c5e5c736 inherit pub_types_classSVF_1_1GenericEdge"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:aab8892b73370c32b48621cd1d0cce614 inherit pub_types_classSVF_1_1GenericEdge"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#a366625858f450a1ea5f985a3c83e0f14">u64_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericEdge.html#aab8892b73370c32b48621cd1d0cce614">GEdgeFlag</a></td></tr>
+<tr class="separator:aab8892b73370c32b48621cd1d0cce614 inherit pub_types_classSVF_1_1GenericEdge"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a5aceeb48929f54264807b36569019a8a inherit pub_types_classSVF_1_1GenericEdge"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericEdge.html#a5aceeb48929f54264807b36569019a8a">GEdgeKind</a></td></tr>
+<tr class="separator:a5aceeb48929f54264807b36569019a8a inherit pub_types_classSVF_1_1GenericEdge"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a69accb303ee67733e065350e4452cbca inherit pub_types_classSVF_1_1GenericEdge"><td class="memItemLeft" align="right" valign="top">typedef struct <a class="el" href="structSVF_1_1GenericEdge_1_1equalGEdge.html">SVF::GenericEdge::equalGEdge</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericEdge.html#a69accb303ee67733e065350e4452cbca">equalGEdge</a></td></tr>
+<tr class="memdesc:a69accb303ee67733e065350e4452cbca inherit pub_types_classSVF_1_1GenericEdge"><td class="mdescLeft">&#160;</td><td class="mdescRight">Add the hash function for std::set (we also can overload operator&lt; to implement this)  <a href="classSVF_1_1GenericEdge.html#a69accb303ee67733e065350e4452cbca">More...</a><br /></td></tr>
+<tr class="separator:a69accb303ee67733e065350e4452cbca inherit pub_types_classSVF_1_1GenericEdge"><td class="memSeparator" colspan="2">&#160;</td></tr>
+</table><table class="memberdecls">
 <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-methods"></a>
 Public Member Functions</h2></td></tr>
 <tr class="memitem:a808f0a3b6df73df41dcc2f0bfe944116"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLEdge.html#a808f0a3b6df73df41dcc2f0bfe944116">CFLEdge</a> (<a class="el" href="classSVF_1_1CFLNode.html">CFLNode</a> *s, <a class="el" href="classSVF_1_1CFLNode.html">CFLNode</a> *d, <a class="el" href="classSVF_1_1GenericEdge.html#aab8892b73370c32b48621cd1d0cce614">GEdgeFlag</a> k=0)</td></tr>
@@ -118,17 +135,6 @@ Public Member Functions</h2></td></tr>
 </table><table class="memberdecls">
 <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="inherited"></a>
 Additional Inherited Members</h2></td></tr>
-<tr class="inherit_header pub_types_classSVF_1_1GenericEdge"><td colspan="2" onclick="javascript:toggleInherit('pub_types_classSVF_1_1GenericEdge')"><img src="closed.png" alt="-"/>&#160;Public Types inherited from <a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td></tr>
-<tr class="memitem:aff95460d4b859e657a9198b7c5e5c736 inherit pub_types_classSVF_1_1GenericEdge"><td class="memItemLeft" align="right" valign="top">typedef NodeTy&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericEdge.html#aff95460d4b859e657a9198b7c5e5c736">NodeType</a></td></tr>
-<tr class="memdesc:aff95460d4b859e657a9198b7c5e5c736 inherit pub_types_classSVF_1_1GenericEdge"><td class="mdescLeft">&#160;</td><td class="mdescRight">Node type.  <a href="classSVF_1_1GenericEdge.html#aff95460d4b859e657a9198b7c5e5c736">More...</a><br /></td></tr>
-<tr class="separator:aff95460d4b859e657a9198b7c5e5c736 inherit pub_types_classSVF_1_1GenericEdge"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:aab8892b73370c32b48621cd1d0cce614 inherit pub_types_classSVF_1_1GenericEdge"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#a366625858f450a1ea5f985a3c83e0f14">u64_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericEdge.html#aab8892b73370c32b48621cd1d0cce614">GEdgeFlag</a></td></tr>
-<tr class="separator:aab8892b73370c32b48621cd1d0cce614 inherit pub_types_classSVF_1_1GenericEdge"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a5aceeb48929f54264807b36569019a8a inherit pub_types_classSVF_1_1GenericEdge"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericEdge.html#a5aceeb48929f54264807b36569019a8a">GEdgeKind</a></td></tr>
-<tr class="separator:a5aceeb48929f54264807b36569019a8a inherit pub_types_classSVF_1_1GenericEdge"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a69accb303ee67733e065350e4452cbca inherit pub_types_classSVF_1_1GenericEdge"><td class="memItemLeft" align="right" valign="top">typedef struct <a class="el" href="structSVF_1_1GenericEdge_1_1equalGEdge.html">SVF::GenericEdge::equalGEdge</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericEdge.html#a69accb303ee67733e065350e4452cbca">equalGEdge</a></td></tr>
-<tr class="memdesc:a69accb303ee67733e065350e4452cbca inherit pub_types_classSVF_1_1GenericEdge"><td class="mdescLeft">&#160;</td><td class="mdescRight">Add the hash function for std::set (we also can overload operator&lt; to implement this)  <a href="classSVF_1_1GenericEdge.html#a69accb303ee67733e065350e4452cbca">More...</a><br /></td></tr>
-<tr class="separator:a69accb303ee67733e065350e4452cbca inherit pub_types_classSVF_1_1GenericEdge"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="inherit_header pro_static_attribs_classSVF_1_1GenericEdge"><td colspan="2" onclick="javascript:toggleInherit('pro_static_attribs_classSVF_1_1GenericEdge')"><img src="closed.png" alt="-"/>&#160;Static Protected Attributes inherited from <a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td></tr>
 <tr class="memitem:af1c2fd4b5ef1d7b7605572bf2489c298 inherit pro_static_attribs_classSVF_1_1GenericEdge"><td class="memItemLeft" align="right" valign="top">static constexpr unsigned char&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericEdge.html#af1c2fd4b5ef1d7b7605572bf2489c298">EdgeKindMaskBits</a> = 8</td></tr>
 <tr class="memdesc:af1c2fd4b5ef1d7b7605572bf2489c298 inherit pro_static_attribs_classSVF_1_1GenericEdge"><td class="mdescLeft">&#160;</td><td class="mdescRight">We use the lower 8 bits to denote edge kind.  <a href="classSVF_1_1GenericEdge.html#af1c2fd4b5ef1d7b7605572bf2489c298">More...</a><br /></td></tr>
@@ -139,7 +145,24 @@ Additional Inherited Members</h2></td></tr>
 <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
 <div class="textblock">
 <p class="definition">Definition at line <a class="el" href="CFLGraph_8h_source.html#l00047">47</a> of file <a class="el" href="CFLGraph_8h_source.html">CFLGraph.h</a>.</p>
-</div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
+</div><h2 class="groupheader">Member Typedef Documentation</h2>
+<a id="ab9bf30450121917228deca8a83a64ac0"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#ab9bf30450121917228deca8a83a64ac0">&#9670;&nbsp;</a></span>CFLEdgeSetTy</h2>
+
+<div class="memitem">
+<div class="memproto">
+      <table class="memname">
+        <tr>
+          <td class="memname">typedef <a class="el" href="classSVF_1_1GenericNode.html">GenericNode</a>&lt;<a class="el" href="classSVF_1_1CFLNode.html">CFLNode</a>, <a class="el" href="classSVF_1_1CFLEdge.html">CFLEdge</a>&gt;::GEdgeSetTy <a class="el" href="classSVF_1_1CFLEdge.html#ab9bf30450121917228deca8a83a64ac0">SVF::CFLEdge::CFLEdgeSetTy</a></td>
+        </tr>
+      </table>
+</div><div class="memdoc">
+
+<p class="definition">Definition at line <a class="el" href="CFLGraph_8h_source.html#l00050">50</a> of file <a class="el" href="CFLGraph_8h_source.html">CFLGraph.h</a>.</p>
+
+</div>
+</div>
+<h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
 <a id="a808f0a3b6df73df41dcc2f0bfe944116"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#a808f0a3b6df73df41dcc2f0bfe944116">&#9670;&nbsp;</a></span>CFLEdge()</h2>
 
@@ -180,8 +203,8 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="CFLGraph_8h_source.html#l00050">50</a> of file <a class="el" href="CFLGraph_8h_source.html">CFLGraph.h</a>.</p>
-<div class="fragment"><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="namespaceSVF.html#a19ab125d26c5d9c533bc1c3904ac92d9">GenericCFLEdgeTy</a>(s,d,k)</div><div class="line"><a name="l00052"></a><span class="lineno">   52</span>&#160;    {</div><div class="line"><a name="l00053"></a><span class="lineno">   53</span>&#160;    }</div><div class="ttc" id="namespaceSVF_html_a19ab125d26c5d9c533bc1c3904ac92d9"><div class="ttname"><a href="namespaceSVF.html#a19ab125d26c5d9c533bc1c3904ac92d9">SVF::GenericCFLEdgeTy</a></div><div class="ttdeci">GenericEdge&lt; CFLNode &gt; GenericCFLEdgeTy</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00043">CFLGraph.h:43</a></div></div>
+<p class="definition">Definition at line <a class="el" href="CFLGraph_8h_source.html#l00052">52</a> of file <a class="el" href="CFLGraph_8h_source.html">CFLGraph.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00052"></a><span class="lineno">   52</span>&#160;                                                    :</div><div class="line"><a name="l00053"></a><span class="lineno">   53</span>&#160;        <a class="code" href="namespaceSVF.html#a19ab125d26c5d9c533bc1c3904ac92d9">GenericCFLEdgeTy</a>(s,d,k)</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;    }</div><div class="ttc" id="namespaceSVF_html_a19ab125d26c5d9c533bc1c3904ac92d9"><div class="ttname"><a href="namespaceSVF.html#a19ab125d26c5d9c533bc1c3904ac92d9">SVF::GenericCFLEdgeTy</a></div><div class="ttdeci">GenericEdge&lt; CFLNode &gt; GenericCFLEdgeTy</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00043">CFLGraph.h:43</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -234,8 +257,8 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="CFLGraph_8h_source.html#l00066">66</a> of file <a class="el" href="CFLGraph_8h_source.html">CFLGraph.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00067"></a><span class="lineno">   67</span>&#160;    {</div><div class="line"><a name="l00068"></a><span class="lineno">   68</span>&#160;        <span class="keywordflow">return</span> (<a class="code" href="classSVF_1_1CFLEdge.html#acab367a1633d00afdafadf3f3a43e0c8">getEdgeKind</a>() &gt;&gt; this-&gt;<a class="code" href="classSVF_1_1GenericEdge.html#af1c2fd4b5ef1d7b7605572bf2489c298">EdgeKindMaskBits</a>);</div><div class="line"><a name="l00069"></a><span class="lineno">   69</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CFLEdge_html_acab367a1633d00afdafadf3f3a43e0c8"><div class="ttname"><a href="classSVF_1_1CFLEdge.html#acab367a1633d00afdafadf3f3a43e0c8">SVF::CFLEdge::getEdgeKind</a></div><div class="ttdeci">GEdgeKind getEdgeKind() const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00056">CFLGraph.h:56</a></div></div>
+<p class="definition">Definition at line <a class="el" href="CFLGraph_8h_source.html#l00068">68</a> of file <a class="el" href="CFLGraph_8h_source.html">CFLGraph.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00069"></a><span class="lineno">   69</span>&#160;    {</div><div class="line"><a name="l00070"></a><span class="lineno">   70</span>&#160;        <span class="keywordflow">return</span> (<a class="code" href="classSVF_1_1CFLEdge.html#acab367a1633d00afdafadf3f3a43e0c8">getEdgeKind</a>() &gt;&gt; this-&gt;<a class="code" href="classSVF_1_1GenericEdge.html#af1c2fd4b5ef1d7b7605572bf2489c298">EdgeKindMaskBits</a>);</div><div class="line"><a name="l00071"></a><span class="lineno">   71</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CFLEdge_html_acab367a1633d00afdafadf3f3a43e0c8"><div class="ttname"><a href="classSVF_1_1CFLEdge.html#acab367a1633d00afdafadf3f3a43e0c8">SVF::CFLEdge::getEdgeKind</a></div><div class="ttdeci">GEdgeKind getEdgeKind() const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00058">CFLGraph.h:58</a></div></div>
 <div class="ttc" id="classSVF_1_1GenericEdge_html_af1c2fd4b5ef1d7b7605572bf2489c298"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#af1c2fd4b5ef1d7b7605572bf2489c298">SVF::GenericEdge::EdgeKindMaskBits</a></div><div class="ttdeci">static constexpr unsigned char EdgeKindMaskBits</div><div class="ttdoc">We use the lower 8 bits to denote edge kind. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00123">GenericGraph.h:123</a></div></div>
 </div><!-- fragment -->
 </div>
@@ -263,8 +286,8 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="CFLGraph_8h_source.html#l00056">56</a> of file <a class="el" href="CFLGraph_8h_source.html">CFLGraph.h</a>.</p>
-<div class="fragment"><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;        <span class="keywordflow">return</span> this-&gt;<a class="code" href="classSVF_1_1GenericEdge.html#a20d8b844fc4bb0bb776d290b4e477fc5">getEdgeKindWithoutMask</a>();</div><div class="line"><a name="l00059"></a><span class="lineno">   59</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GenericEdge_html_a20d8b844fc4bb0bb776d290b4e477fc5"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#a20d8b844fc4bb0bb776d290b4e477fc5">SVF::GenericEdge::getEdgeKindWithoutMask</a></div><div class="ttdeci">GEdgeKind getEdgeKindWithoutMask() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00085">GenericGraph.h:85</a></div></div>
+<p class="definition">Definition at line <a class="el" href="CFLGraph_8h_source.html#l00058">58</a> of file <a class="el" href="CFLGraph_8h_source.html">CFLGraph.h</a>.</p>
+<div class="fragment"><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">return</span> this-&gt;<a class="code" href="classSVF_1_1GenericEdge.html#a20d8b844fc4bb0bb776d290b4e477fc5">getEdgeKindWithoutMask</a>();</div><div class="line"><a name="l00061"></a><span class="lineno">   61</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GenericEdge_html_a20d8b844fc4bb0bb776d290b4e477fc5"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#a20d8b844fc4bb0bb776d290b4e477fc5">SVF::GenericEdge::getEdgeKindWithoutMask</a></div><div class="ttdeci">GEdgeKind getEdgeKindWithoutMask() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00085">GenericGraph.h:85</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -291,8 +314,8 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="CFLGraph_8h_source.html#l00061">61</a> of file <a class="el" href="CFLGraph_8h_source.html">CFLGraph.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00062"></a><span class="lineno">   62</span>&#160;    {</div><div class="line"><a name="l00063"></a><span class="lineno">   63</span>&#160;        <span class="keywordflow">return</span> (<a class="code" href="classSVF_1_1GenericEdge.html#a93dec4c27088242a4b1b6aa82cea46b9">EdgeKindMask</a> &amp; this-&gt;<a class="code" href="classSVF_1_1GenericEdge.html#a20d8b844fc4bb0bb776d290b4e477fc5">getEdgeKindWithoutMask</a>());</div><div class="line"><a name="l00064"></a><span class="lineno">   64</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GenericEdge_html_a93dec4c27088242a4b1b6aa82cea46b9"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#a93dec4c27088242a4b1b6aa82cea46b9">SVF::GenericEdge::EdgeKindMask</a></div><div class="ttdeci">static constexpr u64_t EdgeKindMask</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00124">GenericGraph.h:124</a></div></div>
+<p class="definition">Definition at line <a class="el" href="CFLGraph_8h_source.html#l00063">63</a> of file <a class="el" href="CFLGraph_8h_source.html">CFLGraph.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00064"></a><span class="lineno">   64</span>&#160;    {</div><div class="line"><a name="l00065"></a><span class="lineno">   65</span>&#160;        <span class="keywordflow">return</span> (<a class="code" href="classSVF_1_1GenericEdge.html#a93dec4c27088242a4b1b6aa82cea46b9">EdgeKindMask</a> &amp; this-&gt;<a class="code" href="classSVF_1_1GenericEdge.html#a20d8b844fc4bb0bb776d290b4e477fc5">getEdgeKindWithoutMask</a>());</div><div class="line"><a name="l00066"></a><span class="lineno">   66</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GenericEdge_html_a93dec4c27088242a4b1b6aa82cea46b9"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#a93dec4c27088242a4b1b6aa82cea46b9">SVF::GenericEdge::EdgeKindMask</a></div><div class="ttdeci">static constexpr u64_t EdgeKindMask</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00124">GenericGraph.h:124</a></div></div>
 <div class="ttc" id="classSVF_1_1GenericEdge_html_a20d8b844fc4bb0bb776d290b4e477fc5"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#a20d8b844fc4bb0bb776d290b4e477fc5">SVF::GenericEdge::getEdgeKindWithoutMask</a></div><div class="ttdeci">GEdgeKind getEdgeKindWithoutMask() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00085">GenericGraph.h:85</a></div></div>
 </div><!-- fragment -->
 </div>

package/SVF-doxygen/html/html/classSVF_1_1CFLFIFOWorkList.html

@@ -113,7 +113,7 @@ class SVF::CFLFIFOWorkList&lt; Data &gt;</h3>
 
 <p>Worklist with "first in first out" order. New nodes will be pushed at back and popped from front. Elements in the list are unique as they're recorded by Set. </p>
 
-<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00394">394</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00407">407</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
 </div><h2 class="groupheader">Member Typedef Documentation</h2>
 <a id="aa2ac3edad97017817899d081dc6f1df7"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#aa2ac3edad97017817899d081dc6f1df7">&#9670;&nbsp;</a></span>DataDeque</h2>
@@ -137,7 +137,7 @@ template&lt;class Data&gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00397">397</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00410">410</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
 
 </div>
 </div>
@@ -163,7 +163,7 @@ template&lt;class Data&gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00396">396</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00409">409</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
 
 </div>
 </div>
@@ -193,8 +193,8 @@ template&lt;class Data&gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00399">399</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00399"></a><span class="lineno">  399</span>&#160;{}</div></div><!-- fragment -->
+<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00412">412</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00412"></a><span class="lineno">  412</span>&#160;{}</div></div><!-- fragment -->
 </div>
 </div>
 <a id="a1dadae237fbfb576ddb60cad60530b9e"></a>
@@ -222,8 +222,8 @@ template&lt;class Data&gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00401">401</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00401"></a><span class="lineno">  401</span>&#160;{}</div></div><!-- fragment -->
+<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00414">414</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00414"></a><span class="lineno">  414</span>&#160;{}</div></div><!-- fragment -->
 </div>
 </div>
 <h2 class="groupheader">Member Function Documentation</h2>
@@ -253,9 +253,9 @@ template&lt;class Data&gt; </div>
 </div><div class="memdoc">
 <p>Clear all the data </p>
 
-<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00443">443</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00444"></a><span class="lineno">  444</span>&#160;    {</div><div class="line"><a name="l00445"></a><span class="lineno">  445</span>&#160;        <a class="code" href="classSVF_1_1CFLFIFOWorkList.html#a5a5caa556bf8023b4b0b525179efd1b0">data_list</a>.clear();</div><div class="line"><a name="l00446"></a><span class="lineno">  446</span>&#160;        <a class="code" href="classSVF_1_1CFLFIFOWorkList.html#a62ef55a46552652e20f8e3bfc2b72bd0">data_set</a>.clear();</div><div class="line"><a name="l00447"></a><span class="lineno">  447</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CFLFIFOWorkList_html_a62ef55a46552652e20f8e3bfc2b72bd0"><div class="ttname"><a href="classSVF_1_1CFLFIFOWorkList.html#a62ef55a46552652e20f8e3bfc2b72bd0">SVF::CFLFIFOWorkList::data_set</a></div><div class="ttdeci">DataSet data_set</div><div class="ttdoc">store all data in the work list. </div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00450">CFLGrammar.h:450</a></div></div>
-<div class="ttc" id="classSVF_1_1CFLFIFOWorkList_html_a5a5caa556bf8023b4b0b525179efd1b0"><div class="ttname"><a href="classSVF_1_1CFLFIFOWorkList.html#a5a5caa556bf8023b4b0b525179efd1b0">SVF::CFLFIFOWorkList::data_list</a></div><div class="ttdeci">DataDeque data_list</div><div class="ttdoc">work list using std::vector. </div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00451">CFLGrammar.h:451</a></div></div>
+<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00456">456</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00457"></a><span class="lineno">  457</span>&#160;    {</div><div class="line"><a name="l00458"></a><span class="lineno">  458</span>&#160;        <a class="code" href="classSVF_1_1CFLFIFOWorkList.html#a5a5caa556bf8023b4b0b525179efd1b0">data_list</a>.clear();</div><div class="line"><a name="l00459"></a><span class="lineno">  459</span>&#160;        <a class="code" href="classSVF_1_1CFLFIFOWorkList.html#a62ef55a46552652e20f8e3bfc2b72bd0">data_set</a>.clear();</div><div class="line"><a name="l00460"></a><span class="lineno">  460</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CFLFIFOWorkList_html_a62ef55a46552652e20f8e3bfc2b72bd0"><div class="ttname"><a href="classSVF_1_1CFLFIFOWorkList.html#a62ef55a46552652e20f8e3bfc2b72bd0">SVF::CFLFIFOWorkList::data_set</a></div><div class="ttdeci">DataSet data_set</div><div class="ttdoc">store all data in the work list. </div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00463">CFLGrammar.h:463</a></div></div>
+<div class="ttc" id="classSVF_1_1CFLFIFOWorkList_html_a5a5caa556bf8023b4b0b525179efd1b0"><div class="ttname"><a href="classSVF_1_1CFLFIFOWorkList.html#a5a5caa556bf8023b4b0b525179efd1b0">SVF::CFLFIFOWorkList::data_list</a></div><div class="ttdeci">DataDeque data_list</div><div class="ttdoc">work list using std::vector. </div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00464">CFLGrammar.h:464</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -284,8 +284,8 @@ template&lt;class Data&gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00403">403</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00404"></a><span class="lineno">  404</span>&#160;    {</div><div class="line"><a name="l00405"></a><span class="lineno">  405</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFLFIFOWorkList.html#a5a5caa556bf8023b4b0b525179efd1b0">data_list</a>.empty();</div><div class="line"><a name="l00406"></a><span class="lineno">  406</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CFLFIFOWorkList_html_a5a5caa556bf8023b4b0b525179efd1b0"><div class="ttname"><a href="classSVF_1_1CFLFIFOWorkList.html#a5a5caa556bf8023b4b0b525179efd1b0">SVF::CFLFIFOWorkList::data_list</a></div><div class="ttdeci">DataDeque data_list</div><div class="ttdoc">work list using std::vector. </div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00451">CFLGrammar.h:451</a></div></div>
+<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00416">416</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00417"></a><span class="lineno">  417</span>&#160;    {</div><div class="line"><a name="l00418"></a><span class="lineno">  418</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFLFIFOWorkList.html#a5a5caa556bf8023b4b0b525179efd1b0">data_list</a>.empty();</div><div class="line"><a name="l00419"></a><span class="lineno">  419</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CFLFIFOWorkList_html_a5a5caa556bf8023b4b0b525179efd1b0"><div class="ttname"><a href="classSVF_1_1CFLFIFOWorkList.html#a5a5caa556bf8023b4b0b525179efd1b0">SVF::CFLFIFOWorkList::data_list</a></div><div class="ttdeci">DataDeque data_list</div><div class="ttdoc">work list using std::vector. </div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00464">CFLGrammar.h:464</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -315,9 +315,9 @@ template&lt;class Data&gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00408">408</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00409"></a><span class="lineno">  409</span>&#160;    {</div><div class="line"><a name="l00410"></a><span class="lineno">  410</span>&#160;        <span class="keywordflow">return</span> (<a class="code" href="classSVF_1_1CFLFIFOWorkList.html#a62ef55a46552652e20f8e3bfc2b72bd0">data_set</a>.find(data) == <a class="code" href="classSVF_1_1CFLFIFOWorkList.html#a62ef55a46552652e20f8e3bfc2b72bd0">data_set</a>.end() ? <a class="code" href="cJSON_8cpp.html#a65e9886d74aaee76545e83dd09011727">false</a> : <span class="keyword">true</span>);</div><div class="line"><a name="l00411"></a><span class="lineno">  411</span>&#160;    }</div><div class="ttc" id="cJSON_8cpp_html_a65e9886d74aaee76545e83dd09011727"><div class="ttname"><a href="cJSON_8cpp.html#a65e9886d74aaee76545e83dd09011727">false</a></div><div class="ttdeci">#define false</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l00070">cJSON.cpp:70</a></div></div>
-<div class="ttc" id="classSVF_1_1CFLFIFOWorkList_html_a62ef55a46552652e20f8e3bfc2b72bd0"><div class="ttname"><a href="classSVF_1_1CFLFIFOWorkList.html#a62ef55a46552652e20f8e3bfc2b72bd0">SVF::CFLFIFOWorkList::data_set</a></div><div class="ttdeci">DataSet data_set</div><div class="ttdoc">store all data in the work list. </div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00450">CFLGrammar.h:450</a></div></div>
+<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00421">421</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00422"></a><span class="lineno">  422</span>&#160;    {</div><div class="line"><a name="l00423"></a><span class="lineno">  423</span>&#160;        <span class="keywordflow">return</span> (<a class="code" href="classSVF_1_1CFLFIFOWorkList.html#a62ef55a46552652e20f8e3bfc2b72bd0">data_set</a>.find(data) == <a class="code" href="classSVF_1_1CFLFIFOWorkList.html#a62ef55a46552652e20f8e3bfc2b72bd0">data_set</a>.end() ? <a class="code" href="cJSON_8cpp.html#a65e9886d74aaee76545e83dd09011727">false</a> : <span class="keyword">true</span>);</div><div class="line"><a name="l00424"></a><span class="lineno">  424</span>&#160;    }</div><div class="ttc" id="cJSON_8cpp_html_a65e9886d74aaee76545e83dd09011727"><div class="ttname"><a href="cJSON_8cpp.html#a65e9886d74aaee76545e83dd09011727">false</a></div><div class="ttdeci">#define false</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l00070">cJSON.cpp:70</a></div></div>
+<div class="ttc" id="classSVF_1_1CFLFIFOWorkList_html_a62ef55a46552652e20f8e3bfc2b72bd0"><div class="ttname"><a href="classSVF_1_1CFLFIFOWorkList.html#a62ef55a46552652e20f8e3bfc2b72bd0">SVF::CFLFIFOWorkList::data_set</a></div><div class="ttdeci">DataSet data_set</div><div class="ttdoc">store all data in the work list. </div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00463">CFLGrammar.h:463</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -347,10 +347,10 @@ template&lt;class Data&gt; </div>
 </div><div class="memdoc">
 <p>Pop a data from the END of work list. </p>
 
-<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00431">431</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00432"></a><span class="lineno">  432</span>&#160;    {</div><div class="line"><a name="l00433"></a><span class="lineno">  433</span>&#160;        assert(!<a class="code" href="classSVF_1_1CFLFIFOWorkList.html#aa0ce832f5eeae74d52260fd8954d545f">empty</a>() &amp;&amp; <span class="stringliteral">&quot;work list is empty&quot;</span>);</div><div class="line"><a name="l00434"></a><span class="lineno">  434</span>&#160;        Data data = <a class="code" href="classSVF_1_1CFLFIFOWorkList.html#a5a5caa556bf8023b4b0b525179efd1b0">data_list</a>.front();</div><div class="line"><a name="l00435"></a><span class="lineno">  435</span>&#160;        <a class="code" href="classSVF_1_1CFLFIFOWorkList.html#a5a5caa556bf8023b4b0b525179efd1b0">data_list</a>.pop_front();</div><div class="line"><a name="l00436"></a><span class="lineno">  436</span>&#160;        <a class="code" href="classSVF_1_1CFLFIFOWorkList.html#a62ef55a46552652e20f8e3bfc2b72bd0">data_set</a>.erase(data);</div><div class="line"><a name="l00437"></a><span class="lineno">  437</span>&#160;        <span class="keywordflow">return</span> data;</div><div class="line"><a name="l00438"></a><span class="lineno">  438</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CFLFIFOWorkList_html_aa0ce832f5eeae74d52260fd8954d545f"><div class="ttname"><a href="classSVF_1_1CFLFIFOWorkList.html#aa0ce832f5eeae74d52260fd8954d545f">SVF::CFLFIFOWorkList::empty</a></div><div class="ttdeci">bool empty() const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00403">CFLGrammar.h:403</a></div></div>
-<div class="ttc" id="classSVF_1_1CFLFIFOWorkList_html_a62ef55a46552652e20f8e3bfc2b72bd0"><div class="ttname"><a href="classSVF_1_1CFLFIFOWorkList.html#a62ef55a46552652e20f8e3bfc2b72bd0">SVF::CFLFIFOWorkList::data_set</a></div><div class="ttdeci">DataSet data_set</div><div class="ttdoc">store all data in the work list. </div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00450">CFLGrammar.h:450</a></div></div>
-<div class="ttc" id="classSVF_1_1CFLFIFOWorkList_html_a5a5caa556bf8023b4b0b525179efd1b0"><div class="ttname"><a href="classSVF_1_1CFLFIFOWorkList.html#a5a5caa556bf8023b4b0b525179efd1b0">SVF::CFLFIFOWorkList::data_list</a></div><div class="ttdeci">DataDeque data_list</div><div class="ttdoc">work list using std::vector. </div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00451">CFLGrammar.h:451</a></div></div>
+<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00444">444</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00445"></a><span class="lineno">  445</span>&#160;    {</div><div class="line"><a name="l00446"></a><span class="lineno">  446</span>&#160;        assert(!<a class="code" href="classSVF_1_1CFLFIFOWorkList.html#aa0ce832f5eeae74d52260fd8954d545f">empty</a>() &amp;&amp; <span class="stringliteral">&quot;work list is empty&quot;</span>);</div><div class="line"><a name="l00447"></a><span class="lineno">  447</span>&#160;        Data data = <a class="code" href="classSVF_1_1CFLFIFOWorkList.html#a5a5caa556bf8023b4b0b525179efd1b0">data_list</a>.front();</div><div class="line"><a name="l00448"></a><span class="lineno">  448</span>&#160;        <a class="code" href="classSVF_1_1CFLFIFOWorkList.html#a5a5caa556bf8023b4b0b525179efd1b0">data_list</a>.pop_front();</div><div class="line"><a name="l00449"></a><span class="lineno">  449</span>&#160;        <a class="code" href="classSVF_1_1CFLFIFOWorkList.html#a62ef55a46552652e20f8e3bfc2b72bd0">data_set</a>.erase(data);</div><div class="line"><a name="l00450"></a><span class="lineno">  450</span>&#160;        <span class="keywordflow">return</span> data;</div><div class="line"><a name="l00451"></a><span class="lineno">  451</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CFLFIFOWorkList_html_aa0ce832f5eeae74d52260fd8954d545f"><div class="ttname"><a href="classSVF_1_1CFLFIFOWorkList.html#aa0ce832f5eeae74d52260fd8954d545f">SVF::CFLFIFOWorkList::empty</a></div><div class="ttdeci">bool empty() const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00416">CFLGrammar.h:416</a></div></div>
+<div class="ttc" id="classSVF_1_1CFLFIFOWorkList_html_a62ef55a46552652e20f8e3bfc2b72bd0"><div class="ttname"><a href="classSVF_1_1CFLFIFOWorkList.html#a62ef55a46552652e20f8e3bfc2b72bd0">SVF::CFLFIFOWorkList::data_set</a></div><div class="ttdeci">DataSet data_set</div><div class="ttdoc">store all data in the work list. </div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00463">CFLGrammar.h:463</a></div></div>
+<div class="ttc" id="classSVF_1_1CFLFIFOWorkList_html_a5a5caa556bf8023b4b0b525179efd1b0"><div class="ttname"><a href="classSVF_1_1CFLFIFOWorkList.html#a5a5caa556bf8023b4b0b525179efd1b0">SVF::CFLFIFOWorkList::data_list</a></div><div class="ttdeci">DataDeque data_list</div><div class="ttdoc">work list using std::vector. </div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00464">CFLGrammar.h:464</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -381,9 +381,9 @@ template&lt;class Data&gt; </div>
 </div><div class="memdoc">
 <p>Push a data into the work list. </p>
 
-<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00416">416</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00417"></a><span class="lineno">  417</span>&#160;    {</div><div class="line"><a name="l00418"></a><span class="lineno">  418</span>&#160;        <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1CFLFIFOWorkList.html#a62ef55a46552652e20f8e3bfc2b72bd0">data_set</a>.find(data) == <a class="code" href="classSVF_1_1CFLFIFOWorkList.html#a62ef55a46552652e20f8e3bfc2b72bd0">data_set</a>.end())</div><div class="line"><a name="l00419"></a><span class="lineno">  419</span>&#160;        {</div><div class="line"><a name="l00420"></a><span class="lineno">  420</span>&#160;            <a class="code" href="classSVF_1_1CFLFIFOWorkList.html#a5a5caa556bf8023b4b0b525179efd1b0">data_list</a>.push_back(data);</div><div class="line"><a name="l00421"></a><span class="lineno">  421</span>&#160;            <a class="code" href="classSVF_1_1CFLFIFOWorkList.html#a62ef55a46552652e20f8e3bfc2b72bd0">data_set</a>.insert(data);</div><div class="line"><a name="l00422"></a><span class="lineno">  422</span>&#160;            <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00423"></a><span class="lineno">  423</span>&#160;        }</div><div class="line"><a name="l00424"></a><span class="lineno">  424</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00425"></a><span class="lineno">  425</span>&#160;            <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00426"></a><span class="lineno">  426</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CFLFIFOWorkList_html_a62ef55a46552652e20f8e3bfc2b72bd0"><div class="ttname"><a href="classSVF_1_1CFLFIFOWorkList.html#a62ef55a46552652e20f8e3bfc2b72bd0">SVF::CFLFIFOWorkList::data_set</a></div><div class="ttdeci">DataSet data_set</div><div class="ttdoc">store all data in the work list. </div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00450">CFLGrammar.h:450</a></div></div>
-<div class="ttc" id="classSVF_1_1CFLFIFOWorkList_html_a5a5caa556bf8023b4b0b525179efd1b0"><div class="ttname"><a href="classSVF_1_1CFLFIFOWorkList.html#a5a5caa556bf8023b4b0b525179efd1b0">SVF::CFLFIFOWorkList::data_list</a></div><div class="ttdeci">DataDeque data_list</div><div class="ttdoc">work list using std::vector. </div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00451">CFLGrammar.h:451</a></div></div>
+<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00429">429</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00430"></a><span class="lineno">  430</span>&#160;    {</div><div class="line"><a name="l00431"></a><span class="lineno">  431</span>&#160;        <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1CFLFIFOWorkList.html#a62ef55a46552652e20f8e3bfc2b72bd0">data_set</a>.find(data) == <a class="code" href="classSVF_1_1CFLFIFOWorkList.html#a62ef55a46552652e20f8e3bfc2b72bd0">data_set</a>.end())</div><div class="line"><a name="l00432"></a><span class="lineno">  432</span>&#160;        {</div><div class="line"><a name="l00433"></a><span class="lineno">  433</span>&#160;            <a class="code" href="classSVF_1_1CFLFIFOWorkList.html#a5a5caa556bf8023b4b0b525179efd1b0">data_list</a>.push_back(data);</div><div class="line"><a name="l00434"></a><span class="lineno">  434</span>&#160;            <a class="code" href="classSVF_1_1CFLFIFOWorkList.html#a62ef55a46552652e20f8e3bfc2b72bd0">data_set</a>.insert(data);</div><div class="line"><a name="l00435"></a><span class="lineno">  435</span>&#160;            <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00436"></a><span class="lineno">  436</span>&#160;        }</div><div class="line"><a name="l00437"></a><span class="lineno">  437</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00438"></a><span class="lineno">  438</span>&#160;            <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00439"></a><span class="lineno">  439</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CFLFIFOWorkList_html_a62ef55a46552652e20f8e3bfc2b72bd0"><div class="ttname"><a href="classSVF_1_1CFLFIFOWorkList.html#a62ef55a46552652e20f8e3bfc2b72bd0">SVF::CFLFIFOWorkList::data_set</a></div><div class="ttdeci">DataSet data_set</div><div class="ttdoc">store all data in the work list. </div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00463">CFLGrammar.h:463</a></div></div>
+<div class="ttc" id="classSVF_1_1CFLFIFOWorkList_html_a5a5caa556bf8023b4b0b525179efd1b0"><div class="ttname"><a href="classSVF_1_1CFLFIFOWorkList.html#a5a5caa556bf8023b4b0b525179efd1b0">SVF::CFLFIFOWorkList::data_list</a></div><div class="ttdeci">DataDeque data_list</div><div class="ttdoc">work list using std::vector. </div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00464">CFLGrammar.h:464</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -412,7 +412,7 @@ template&lt;class Data&gt; </div>
 
 <p>work list using std::vector. </p>
 
-<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00451">451</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00464">464</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
 
 </div>
 </div>
@@ -440,7 +440,7 @@ template&lt;class Data&gt; </div>
 
 <p>store all data in the work list. </p>
 
-<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00450">450</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00463">463</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
 
 </div>
 </div>

package/SVF-doxygen/html/html/classSVF_1_1CFLGrammar-members.html

@@ -84,28 +84,30 @@ $(function() {
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLGrammar.html#a640023178f4a6db832ca30256759484f">firstRHS2Prods</a></td><td class="entry"><a class="el" href="classSVF_1_1CFLGrammar.html">SVF::CFLGrammar</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html#af418e1033618da75e974a04ee1d7e275">getAttributedKind</a>(Attribute attribute, Kind kind)</td><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html#a2620ded7573ebdb8b4595e199105ef0e">getAttrSyms</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1CFLGrammar.html#a8d6292a55da24336d968e20c7ac288d9">getEpsilonProds</a>()</td><td class="entry"><a class="el" href="classSVF_1_1CFLGrammar.html">SVF::CFLGrammar</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLGrammar.html#ac0f09c94e9c6efc00398ed7d5ca1fe0f">getFirstRHS2Prods</a>()</td><td class="entry"><a class="el" href="classSVF_1_1CFLGrammar.html">SVF::CFLGrammar</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1CFLGrammar.html#a837d2db607e1c9403db4d3021f4e52d4">getFirstRHSSymbol</a>(const Production &amp;prod) const</td><td class="entry"><a class="el" href="classSVF_1_1CFLGrammar.html">SVF::CFLGrammar</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html#ae28fea79c05ba05fc8c2e67b194e42b9">getKind2AttrsMap</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1CFLGrammar.html#a3cfce0e2282c63679d6e7835e19ad5ec">getLHSSymbol</a>(const Production &amp;prod) const</td><td class="entry"><a class="el" href="classSVF_1_1CFLGrammar.html">SVF::CFLGrammar</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html#a04140ef06feee613506529fd8c23665e">getNonterminals</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1CFLGrammar.html#ac167616ad6e48161b0cb890107145ffa">getProdsFromFirstRHS</a>(const Symbol sym) const</td><td class="entry"><a class="el" href="classSVF_1_1CFLGrammar.html">SVF::CFLGrammar</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLGrammar.html#a9e62f15ed28cf5f48fce44b67d8a1c89">getProdsFromSecondRHS</a>(const Symbol sym) const</td><td class="entry"><a class="el" href="classSVF_1_1CFLGrammar.html">SVF::CFLGrammar</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1CFLGrammar.html#a0c9462377b1adf656f803de3be6a0d2b">getProdsFromSingleRHS</a>(const Symbol sym) const</td><td class="entry"><a class="el" href="classSVF_1_1CFLGrammar.html">SVF::CFLGrammar</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html#a4561438149716c91178ea013686f66ae">getRawProductions</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1CFLGrammar.html#aad22309781ec1a5ab247097dcaa6a0b8">getSecondRHS2Prods</a>()</td><td class="entry"><a class="el" href="classSVF_1_1CFLGrammar.html">SVF::CFLGrammar</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLGrammar.html#a3ccdda19bfed497ee8e14c1aaac4aa51">getSecondRHSSymbol</a>(const Production &amp;prod) const</td><td class="entry"><a class="el" href="classSVF_1_1CFLGrammar.html">SVF::CFLGrammar</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1CFLGrammar.html#afefc9b90be5cf275f476bb7c3f1c74ce">getSingleRHS2Prods</a>()</td><td class="entry"><a class="el" href="classSVF_1_1CFLGrammar.html">SVF::CFLGrammar</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html#a8921a7d7a006e31f13d88b8c808c931b">getStartKind</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html#afb21efe07e3451ad8284cab384963f06">getSymbol</a>(const Production &amp;prod, u32_t pos)</td><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html#a44232dfc5b9a13dfe9b72ff18634ab37">getTerminals</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html#a76e0969670709e24532756e56aafab19">getTotalKind</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html#ad7321168f53baa55098f7c714ec53f1e">getVariabledKind</a>(VariableAttribute variableAttribute, Kind kind)</td><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1CFLGrammar.html#aa6383a6a8ccd30afbedf7ff3a05d46d8">hasProdsFromFirstRHS</a>(const Symbol sym) const</td><td class="entry"><a class="el" href="classSVF_1_1CFLGrammar.html">SVF::CFLGrammar</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLGrammar.html#a2b1c91f6d33423046d3ffcb2985351ce">hasProdsFromSecondRHS</a>(const Symbol sym) const</td><td class="entry"><a class="el" href="classSVF_1_1CFLGrammar.html">SVF::CFLGrammar</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1CFLGrammar.html#a51d4514dec026412f7151a6ea1fc2b5d">hasProdsFromSingleRHS</a>(const Symbol sym) const</td><td class="entry"><a class="el" href="classSVF_1_1CFLGrammar.html">SVF::CFLGrammar</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html#aa188ee22955b98c31abbf2b339b64d20">insertAttribute</a>(Kind kind, Attribute a)</td><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html#a51b55df841ae449ecf0888325c6e8c6a">getEBNFSigns</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLGrammar.html#a8d6292a55da24336d968e20c7ac288d9">getEpsilonProds</a>()</td><td class="entry"><a class="el" href="classSVF_1_1CFLGrammar.html">SVF::CFLGrammar</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1CFLGrammar.html#ac0f09c94e9c6efc00398ed7d5ca1fe0f">getFirstRHS2Prods</a>()</td><td class="entry"><a class="el" href="classSVF_1_1CFLGrammar.html">SVF::CFLGrammar</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLGrammar.html#a837d2db607e1c9403db4d3021f4e52d4">getFirstRHSSymbol</a>(const Production &amp;prod) const</td><td class="entry"><a class="el" href="classSVF_1_1CFLGrammar.html">SVF::CFLGrammar</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html#ae28fea79c05ba05fc8c2e67b194e42b9">getKind2AttrsMap</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLGrammar.html#a3cfce0e2282c63679d6e7835e19ad5ec">getLHSSymbol</a>(const Production &amp;prod) const</td><td class="entry"><a class="el" href="classSVF_1_1CFLGrammar.html">SVF::CFLGrammar</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html#a04140ef06feee613506529fd8c23665e">getNonterminals</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLGrammar.html#ac167616ad6e48161b0cb890107145ffa">getProdsFromFirstRHS</a>(const Symbol sym) const</td><td class="entry"><a class="el" href="classSVF_1_1CFLGrammar.html">SVF::CFLGrammar</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1CFLGrammar.html#a9e62f15ed28cf5f48fce44b67d8a1c89">getProdsFromSecondRHS</a>(const Symbol sym) const</td><td class="entry"><a class="el" href="classSVF_1_1CFLGrammar.html">SVF::CFLGrammar</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLGrammar.html#a0c9462377b1adf656f803de3be6a0d2b">getProdsFromSingleRHS</a>(const Symbol sym) const</td><td class="entry"><a class="el" href="classSVF_1_1CFLGrammar.html">SVF::CFLGrammar</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html#a4561438149716c91178ea013686f66ae">getRawProductions</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLGrammar.html#aad22309781ec1a5ab247097dcaa6a0b8">getSecondRHS2Prods</a>()</td><td class="entry"><a class="el" href="classSVF_1_1CFLGrammar.html">SVF::CFLGrammar</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1CFLGrammar.html#a3ccdda19bfed497ee8e14c1aaac4aa51">getSecondRHSSymbol</a>(const Production &amp;prod) const</td><td class="entry"><a class="el" href="classSVF_1_1CFLGrammar.html">SVF::CFLGrammar</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLGrammar.html#afefc9b90be5cf275f476bb7c3f1c74ce">getSingleRHS2Prods</a>()</td><td class="entry"><a class="el" href="classSVF_1_1CFLGrammar.html">SVF::CFLGrammar</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html#a8921a7d7a006e31f13d88b8c808c931b">getStartKind</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html#afb21efe07e3451ad8284cab384963f06">getSymbol</a>(const Production &amp;prod, u32_t pos)</td><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html#a44232dfc5b9a13dfe9b72ff18634ab37">getTerminals</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html#a76e0969670709e24532756e56aafab19">getTotalKind</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html#ad7321168f53baa55098f7c714ec53f1e">getVariabledKind</a>(VariableAttribute variableAttribute, Kind kind)</td><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLGrammar.html#aa6383a6a8ccd30afbedf7ff3a05d46d8">hasProdsFromFirstRHS</a>(const Symbol sym) const</td><td class="entry"><a class="el" href="classSVF_1_1CFLGrammar.html">SVF::CFLGrammar</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1CFLGrammar.html#a2b1c91f6d33423046d3ffcb2985351ce">hasProdsFromSecondRHS</a>(const Symbol sym) const</td><td class="entry"><a class="el" href="classSVF_1_1CFLGrammar.html">SVF::CFLGrammar</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLGrammar.html#a51d4514dec026412f7151a6ea1fc2b5d">hasProdsFromSingleRHS</a>(const Symbol sym) const</td><td class="entry"><a class="el" href="classSVF_1_1CFLGrammar.html">SVF::CFLGrammar</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html#aa188ee22955b98c31abbf2b339b64d20">insertAttribute</a>(Kind kind, Attribute a)</td><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html#a2af19122bccb7ca0c7ab44a07a1bdfb1">insertEBNFSigns</a>(std::string strLit)</td><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></td><td class="entry"></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html#ac15b20ef3698ddab09c4c60e302ea4a0">insertNonterminalKind</a>(std::string const kindStr)</td><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html#a63389968c8d246a84562a8d17e08790b">insertNonTerminalSymbol</a>(std::string strLit)</td><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></td><td class="entry"></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html#a3c16f37c05de31fbd2be1ae9c0961e84">insertSymbol</a>(std::string strLit)</td><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></td><td class="entry"></td></tr>
@@ -119,21 +121,22 @@ $(function() {
   <tr><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html#a755024745a77509d2f07867be8245a4d">Productions</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></td><td class="entry"></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLGrammar.html#ad93447aa8d7fce7693e858717dcb44f4">secondRHS2Prods</a></td><td class="entry"><a class="el" href="classSVF_1_1CFLGrammar.html">SVF::CFLGrammar</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html#a1e1bf1e32bcd7c68ce789c2f9f6327c0">setAttributeKinds</a>(const Set&lt; Kind &gt; &amp;attributeKind)</td><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html#ac5048e88477e9b937fffed628dc5e8e5">setKind2AttrsMap</a>(const Map&lt; Kind, Set&lt; Attribute &gt;&gt; &amp;kind2AttrsMap)</td><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html#afc9635e14b5871df457bf64fae6ad8cf">setNonterminals</a>(Map&lt; std::string, Kind &gt; &amp;nonterminals)</td><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html#a2eb6ab294093710ca1dc119836adff5a">setRawProductions</a>(SymbolMap&lt; Symbol, Productions &gt; &amp;rawProductions)</td><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html#a1de2b9f6c39936afa8f821ca262deadd">setStartKind</a>(Kind startKind)</td><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html#ae79b973ec24ba034e831a90285737a41">setTerminals</a>(Map&lt; std::string, Kind &gt; &amp;terminals)</td><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html#a37a31f03501a11e7951d56dbf1cb146a">setTotalKind</a>(Kind totalKind)</td><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLGrammar.html#ab666a858752d088bd2f2081d0c9bd278">singleRHS2Prods</a></td><td class="entry"><a class="el" href="classSVF_1_1CFLGrammar.html">SVF::CFLGrammar</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html#a604cb7d4850cfd12d3b8730e0cab84af">startKind</a></td><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html#ad2d56d8cdc4539d4201d1995fb36e772">str2Kind</a>(std::string str) const</td><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html#a5c081c6ff0501fc91b71352995d6d9dc">str2Symbol</a>(const std::string str) const</td><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html#a4c0b76ce574087acdcb3e884480b18b0">sym2StrDump</a>(Symbol sym) const</td><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html#ad4f53184d04d9f7a737b19f63d002550">Symbol</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html#a4405933cc8ed8cf30b98ee16fc14c112">SymbolMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html#a8687586451b07458d591120cdee9f6a3">SymbolSet</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html#a716ce662e6a3f2febf3ab378c4217759">VariableAttribute</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html#ad87ca88d62e7bc3a189652c707a72e12">setEBNFSigns</a>(Map&lt; std::string, Kind &gt; &amp;EBNFSigns)</td><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html#ac5048e88477e9b937fffed628dc5e8e5">setKind2AttrsMap</a>(const Map&lt; Kind, Set&lt; Attribute &gt;&gt; &amp;kind2AttrsMap)</td><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html#afc9635e14b5871df457bf64fae6ad8cf">setNonterminals</a>(Map&lt; std::string, Kind &gt; &amp;nonterminals)</td><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html#a2eb6ab294093710ca1dc119836adff5a">setRawProductions</a>(SymbolMap&lt; Symbol, Productions &gt; &amp;rawProductions)</td><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html#a1de2b9f6c39936afa8f821ca262deadd">setStartKind</a>(Kind startKind)</td><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html#ae79b973ec24ba034e831a90285737a41">setTerminals</a>(Map&lt; std::string, Kind &gt; &amp;terminals)</td><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html#a37a31f03501a11e7951d56dbf1cb146a">setTotalKind</a>(Kind totalKind)</td><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1CFLGrammar.html#ab666a858752d088bd2f2081d0c9bd278">singleRHS2Prods</a></td><td class="entry"><a class="el" href="classSVF_1_1CFLGrammar.html">SVF::CFLGrammar</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html#a604cb7d4850cfd12d3b8730e0cab84af">startKind</a></td><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html#ad2d56d8cdc4539d4201d1995fb36e772">str2Kind</a>(std::string str) const</td><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html#a5c081c6ff0501fc91b71352995d6d9dc">str2Symbol</a>(const std::string str) const</td><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html#a4c0b76ce574087acdcb3e884480b18b0">sym2StrDump</a>(Symbol sym) const</td><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html#ad4f53184d04d9f7a737b19f63d002550">Symbol</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html#a4405933cc8ed8cf30b98ee16fc14c112">SymbolMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html#a8687586451b07458d591120cdee9f6a3">SymbolSet</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html#a716ce662e6a3f2febf3ab378c4217759">VariableAttribute</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></td><td class="entry"></td></tr>
 </table></div><!-- contents -->
 <!-- start footer part -->
 <hr class="footer"/><address class="footer"><small>