svf-tools 1.0.482 → 1.0.485

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#l00411">411</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#l00392">392</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#l00414">414</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#l00395">395</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#l00413">413</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#l00394">394</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#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="l00416"></a><span class="lineno">  416</span>&#160;{}</div></div><!-- fragment -->
+<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>
+<div class="fragment"><div class="line"><a name="l00397"></a><span class="lineno">  397</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#l00418">418</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00418"></a><span class="lineno">  418</span>&#160;{}</div></div><!-- fragment -->
+<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 -->
 </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#l00460">460</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00461"></a><span class="lineno">  461</span>&#160;    {</div><div class="line"><a name="l00462"></a><span class="lineno">  462</span>&#160;        <a class="code" href="classSVF_1_1CFLFIFOWorkList.html#a5a5caa556bf8023b4b0b525179efd1b0">data_list</a>.clear();</div><div class="line"><a name="l00463"></a><span class="lineno">  463</span>&#160;        <a class="code" href="classSVF_1_1CFLFIFOWorkList.html#a62ef55a46552652e20f8e3bfc2b72bd0">data_set</a>.clear();</div><div class="line"><a name="l00464"></a><span class="lineno">  464</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#l00467">CFLGrammar.h:467</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#l00468">CFLGrammar.h:468</a></div></div>
+<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00441">441</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00442"></a><span class="lineno">  442</span>&#160;    {</div><div class="line"><a name="l00443"></a><span class="lineno">  443</span>&#160;        <a class="code" href="classSVF_1_1CFLFIFOWorkList.html#a5a5caa556bf8023b4b0b525179efd1b0">data_list</a>.clear();</div><div class="line"><a name="l00444"></a><span class="lineno">  444</span>&#160;        <a class="code" href="classSVF_1_1CFLFIFOWorkList.html#a62ef55a46552652e20f8e3bfc2b72bd0">data_set</a>.clear();</div><div class="line"><a name="l00445"></a><span class="lineno">  445</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#l00448">CFLGrammar.h:448</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#l00449">CFLGrammar.h:449</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#l00420">420</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00421"></a><span class="lineno">  421</span>&#160;    {</div><div class="line"><a name="l00422"></a><span class="lineno">  422</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="l00423"></a><span class="lineno">  423</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#l00468">CFLGrammar.h:468</a></div></div>
+<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="l00402"></a><span class="lineno">  402</span>&#160;    {</div><div class="line"><a name="l00403"></a><span class="lineno">  403</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="l00404"></a><span class="lineno">  404</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#l00449">CFLGrammar.h:449</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#l00425">425</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00426"></a><span class="lineno">  426</span>&#160;    {</div><div class="line"><a name="l00427"></a><span class="lineno">  427</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="l00428"></a><span class="lineno">  428</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#l00467">CFLGrammar.h:467</a></div></div>
+<p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00406">406</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00407"></a><span class="lineno">  407</span>&#160;    {</div><div class="line"><a name="l00408"></a><span class="lineno">  408</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="l00409"></a><span class="lineno">  409</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#l00448">CFLGrammar.h:448</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -347,11 +347,11 @@ 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#l00448">448</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00449"></a><span class="lineno">  449</span>&#160;    {</div><div class="line"><a name="l00450"></a><span class="lineno">  450</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(!<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="l00451"></a><span class="lineno">  451</span>&#160;        Data data = <a class="code" href="classSVF_1_1CFLFIFOWorkList.html#a5a5caa556bf8023b4b0b525179efd1b0">data_list</a>.front();</div><div class="line"><a name="l00452"></a><span class="lineno">  452</span>&#160;        <a class="code" href="classSVF_1_1CFLFIFOWorkList.html#a5a5caa556bf8023b4b0b525179efd1b0">data_list</a>.pop_front();</div><div class="line"><a name="l00453"></a><span class="lineno">  453</span>&#160;        <a class="code" href="classSVF_1_1CFLFIFOWorkList.html#a62ef55a46552652e20f8e3bfc2b72bd0">data_set</a>.erase(data);</div><div class="line"><a name="l00454"></a><span class="lineno">  454</span>&#160;        <span class="keywordflow">return</span> data;</div><div class="line"><a name="l00455"></a><span class="lineno">  455</span>&#160;    }</div><div class="ttc" id="util_8h_html_a07d17d6d5d1074c0969bc5d3c3d1d84a"><div class="ttname"><a href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a></div><div class="ttdeci">#define assert(ex)</div><div class="ttdef"><b>Definition:</b> <a href="util_8h_source.html#l00141">util.h:141</a></div></div>
-<div class="ttc" id="classSVF_1_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#l00420">CFLGrammar.h:420</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#l00467">CFLGrammar.h:467</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#l00468">CFLGrammar.h:468</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;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(!<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="l00432"></a><span class="lineno">  432</span>&#160;        Data data = <a class="code" href="classSVF_1_1CFLFIFOWorkList.html#a5a5caa556bf8023b4b0b525179efd1b0">data_list</a>.front();</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>.pop_front();</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>.erase(data);</div><div class="line"><a name="l00435"></a><span class="lineno">  435</span>&#160;        <span class="keywordflow">return</span> data;</div><div class="line"><a name="l00436"></a><span class="lineno">  436</span>&#160;    }</div><div class="ttc" id="util_8h_html_a07d17d6d5d1074c0969bc5d3c3d1d84a"><div class="ttname"><a href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a></div><div class="ttdeci">#define assert(ex)</div><div class="ttdef"><b>Definition:</b> <a href="util_8h_source.html#l00141">util.h:141</a></div></div>
+<div class="ttc" id="classSVF_1_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#l00401">CFLGrammar.h:401</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#l00448">CFLGrammar.h:448</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#l00449">CFLGrammar.h:449</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -382,9 +382,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#l00433">433</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00434"></a><span class="lineno">  434</span>&#160;    {</div><div class="line"><a name="l00435"></a><span class="lineno">  435</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="l00436"></a><span class="lineno">  436</span>&#160;        {</div><div class="line"><a name="l00437"></a><span class="lineno">  437</span>&#160;            <a class="code" href="classSVF_1_1CFLFIFOWorkList.html#a5a5caa556bf8023b4b0b525179efd1b0">data_list</a>.push_back(data);</div><div class="line"><a name="l00438"></a><span class="lineno">  438</span>&#160;            <a class="code" href="classSVF_1_1CFLFIFOWorkList.html#a62ef55a46552652e20f8e3bfc2b72bd0">data_set</a>.insert(data);</div><div class="line"><a name="l00439"></a><span class="lineno">  439</span>&#160;            <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00440"></a><span class="lineno">  440</span>&#160;        }</div><div class="line"><a name="l00441"></a><span class="lineno">  441</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00442"></a><span class="lineno">  442</span>&#160;            <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00443"></a><span class="lineno">  443</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#l00467">CFLGrammar.h:467</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#l00468">CFLGrammar.h:468</a></div></div>
+<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="l00415"></a><span class="lineno">  415</span>&#160;    {</div><div class="line"><a name="l00416"></a><span class="lineno">  416</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="l00417"></a><span class="lineno">  417</span>&#160;        {</div><div class="line"><a name="l00418"></a><span class="lineno">  418</span>&#160;            <a class="code" href="classSVF_1_1CFLFIFOWorkList.html#a5a5caa556bf8023b4b0b525179efd1b0">data_list</a>.push_back(data);</div><div class="line"><a name="l00419"></a><span class="lineno">  419</span>&#160;            <a class="code" href="classSVF_1_1CFLFIFOWorkList.html#a62ef55a46552652e20f8e3bfc2b72bd0">data_set</a>.insert(data);</div><div class="line"><a name="l00420"></a><span class="lineno">  420</span>&#160;            <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00421"></a><span class="lineno">  421</span>&#160;        }</div><div class="line"><a name="l00422"></a><span class="lineno">  422</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00423"></a><span class="lineno">  423</span>&#160;            <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00424"></a><span class="lineno">  424</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#l00448">CFLGrammar.h:448</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#l00449">CFLGrammar.h:449</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -413,7 +413,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#l00468">468</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#l00449">449</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
 
 </div>
 </div>
@@ -441,7 +441,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#l00467">467</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#l00448">448</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

@@ -113,7 +113,7 @@ $(function() {
   <tr><td class="entry"><a class="el" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">Kind</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#ac8ecc4293c5a63d2d30d0ca0832217d3">kind2Str</a>(Kind kind) 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_1CFLGrammar.html#afdd0808aa938d854b3fc7ba9a9f3c485">newTerminalSubscript</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_1CFLGrammar.html#ad07b617c927ab19a61ce64961048c0e0">num_generator</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#a2494806a1282de3d7f6b588f7d6cc83e">num_generator</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#af384c960a5edc576cbfb60a869e346ec">Production</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#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><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>