svf-tools 1.0.752 → 1.0.754

package/SVF-doxygen/html/html/CFLSolver_8h_source.html

@@ -102,7 +102,7 @@ $(function() {
 <div class="line"><a name="l00031"></a><span class="lineno">   31</span>&#160;<span class="preprocessor">#define INCLUDE_CFL_CFLSolver_H_</span></div>
 <div class="line"><a name="l00032"></a><span class="lineno">   32</span>&#160; </div>
 <div class="line"><a name="l00033"></a><span class="lineno">   33</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="CFLGraph_8h.html">Graphs/CFLGraph.h</a>&quot;</span></div>
-<div class="line"><a name="l00034"></a><span class="lineno">   34</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="CFLGrammar_8h.html">CFL/CFLGrammar.h</a>&quot;</span></div>
+<div class="line"><a name="l00034"></a><span class="lineno">   34</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="CFGrammar_8h.html">CFL/CFGrammar.h</a>&quot;</span></div>
 <div class="line"><a name="l00035"></a><span class="lineno">   35</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="WorkList_8h.html">Util/WorkList.h</a>&quot;</span></div>
 <div class="line"><a name="l00036"></a><span class="lineno">   36</span>&#160; </div>
 <div class="line"><a name="l00037"></a><span class="lineno">   37</span>&#160;<span class="keyword">using namespace </span>std;</div>
@@ -116,12 +116,12 @@ $(function() {
 <div class="line"><a name="l00045"></a><span class="lineno">   45</span>&#160; </div>
 <div class="line"><a name="l00046"></a><span class="lineno">   46</span>&#160;<span class="keyword">public</span>:</div>
 <div class="line"><a name="l00048"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLSolver.html#a194d2c4c801799b0ba9562e33ca5b695">   48</a></span>&#160;    <span class="keyword">typedef</span> <a class="code" href="classSVF_1_1FIFOWorkList.html">FIFOWorkList&lt;const CFLEdge*&gt;</a> <a class="code" href="classSVF_1_1CFLSolver.html#a194d2c4c801799b0ba9562e33ca5b695">WorkList</a>;</div>
-<div class="line"><a name="l00049"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLSolver.html#a0ade6e3827c629c3cc3d22a101df7288">   49</a></span>&#160;    <span class="keyword">typedef</span> <a class="code" href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">CFLGrammar::Production</a> <a class="code" href="classSVF_1_1CFLSolver.html#a0ade6e3827c629c3cc3d22a101df7288">Production</a>;</div>
-<div class="line"><a name="l00050"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLSolver.html#a06e64c18559b4f311717203ac3fe1fcd">   50</a></span>&#160;    <span class="keyword">typedef</span> <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html">CFLGrammar::Symbol</a> <a class="code" href="classSVF_1_1CFLSolver.html#a06e64c18559b4f311717203ac3fe1fcd">Symbol</a>;</div>
+<div class="line"><a name="l00049"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLSolver.html#a6a0d61a71c25ed2e87c4c15c5175a77e">   49</a></span>&#160;    <span class="keyword">typedef</span> <a class="code" href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">CFGrammar::Production</a> <a class="code" href="classSVF_1_1CFLSolver.html#a6a0d61a71c25ed2e87c4c15c5175a77e">Production</a>;</div>
+<div class="line"><a name="l00050"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLSolver.html#a6c5e6474c6dfe0a067d397ea66c24dac">   50</a></span>&#160;    <span class="keyword">typedef</span> <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html">CFGrammar::Symbol</a> <a class="code" href="classSVF_1_1CFLSolver.html#a6c5e6474c6dfe0a067d397ea66c24dac">Symbol</a>;</div>
 <div class="line"><a name="l00051"></a><span class="lineno">   51</span>&#160; </div>
 <div class="line"><a name="l00052"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLSolver.html#a46ded0b18821a2ade0ee151ac2b2d520">   52</a></span>&#160;    <span class="keyword">static</span> <span class="keywordtype">double</span> <a class="code" href="classSVF_1_1CFLSolver.html#a46ded0b18821a2ade0ee151ac2b2d520">numOfChecks</a>;</div>
 <div class="line"><a name="l00053"></a><span class="lineno">   53</span>&#160; </div>
-<div class="line"><a name="l00054"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLSolver.html#a394ecf58da040648dda4adb8d0e7d75b">   54</a></span>&#160;    <a class="code" href="classSVF_1_1CFLSolver.html#a394ecf58da040648dda4adb8d0e7d75b">CFLSolver</a>(<a class="code" href="classSVF_1_1CFLGraph.html">CFLGraph</a>* _graph, <a class="code" href="classSVF_1_1CFLGrammar.html">CFLGrammar</a>* _grammar): graph(_graph), grammar(_grammar)</div>
+<div class="line"><a name="l00054"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLSolver.html#afcb585bec6a86f29e9781a5e7ef21dc4">   54</a></span>&#160;    <a class="code" href="classSVF_1_1CFLSolver.html#afcb585bec6a86f29e9781a5e7ef21dc4">CFLSolver</a>(<a class="code" href="classSVF_1_1CFLGraph.html">CFLGraph</a>* _graph, <a class="code" href="classSVF_1_1CFGrammar.html">CFGrammar</a>* _grammar): graph(_graph), grammar(_grammar)</div>
 <div class="line"><a name="l00055"></a><span class="lineno">   55</span>&#160;    {</div>
 <div class="line"><a name="l00056"></a><span class="lineno">   56</span>&#160;    }</div>
 <div class="line"><a name="l00057"></a><span class="lineno">   57</span>&#160; </div>
@@ -142,7 +142,7 @@ $(function() {
 <div class="line"><a name="l00076"></a><span class="lineno">   76</span>&#160;        <span class="keywordflow">return</span> graph;</div>
 <div class="line"><a name="l00077"></a><span class="lineno">   77</span>&#160;    }</div>
 <div class="line"><a name="l00078"></a><span class="lineno">   78</span>&#160; </div>
-<div class="line"><a name="l00080"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLSolver.html#a99c0a6a2c55bb6eb7f8232399374c827">   80</a></span>&#160;    <span class="keyword">inline</span> <span class="keyword">const</span> <a class="code" href="classSVF_1_1CFLGrammar.html">CFLGrammar</a>* <a class="code" href="classSVF_1_1CFLSolver.html#a99c0a6a2c55bb6eb7f8232399374c827">getGrammar</a>()<span class="keyword"> const</span></div>
+<div class="line"><a name="l00080"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLSolver.html#afec22459af0f8483ccdd77f11c981674">   80</a></span>&#160;    <span class="keyword">inline</span> <span class="keyword">const</span> <a class="code" href="classSVF_1_1CFGrammar.html">CFGrammar</a>* <a class="code" href="classSVF_1_1CFLSolver.html#afec22459af0f8483ccdd77f11c981674">getGrammar</a>()<span class="keyword"> const</span></div>
 <div class="line"><a name="l00081"></a><span class="lineno">   81</span>&#160;<span class="keyword">    </span>{</div>
 <div class="line"><a name="l00082"></a><span class="lineno">   82</span>&#160;        <span class="keywordflow">return</span> grammar;</div>
 <div class="line"><a name="l00083"></a><span class="lineno">   83</span>&#160;    }</div>
@@ -169,7 +169,7 @@ $(function() {
 <div class="line"><a name="l00106"></a><span class="lineno">  106</span>&#160; </div>
 <div class="line"><a name="l00107"></a><span class="lineno">  107</span>&#160;<span class="keyword">protected</span>:</div>
 <div class="line"><a name="l00108"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLSolver.html#aedd6c605c4c381c738f4c6682c40d9f2">  108</a></span>&#160;    <a class="code" href="classSVF_1_1CFLGraph.html">CFLGraph</a>* <a class="code" href="classSVF_1_1CFLSolver.html#aedd6c605c4c381c738f4c6682c40d9f2">graph</a>;</div>
-<div class="line"><a name="l00109"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLSolver.html#aad88cf557ec43127de859b765505df49">  109</a></span>&#160;    <a class="code" href="classSVF_1_1CFLGrammar.html">CFLGrammar</a>* <a class="code" href="classSVF_1_1CFLSolver.html#aad88cf557ec43127de859b765505df49">grammar</a>;</div>
+<div class="line"><a name="l00109"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLSolver.html#a89781bbd0edd309b7c473ed154e7c11d">  109</a></span>&#160;    <a class="code" href="classSVF_1_1CFGrammar.html">CFGrammar</a>* <a class="code" href="classSVF_1_1CFLSolver.html#a89781bbd0edd309b7c473ed154e7c11d">grammar</a>;</div>
 <div class="line"><a name="l00111"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLSolver.html#a211bb78846886aa9ccd4b160da81e02e">  111</a></span>&#160;    <a class="code" href="classSVF_1_1FIFOWorkList.html">WorkList</a> <a class="code" href="classSVF_1_1CFLSolver.html#a211bb78846886aa9ccd4b160da81e02e">worklist</a>;</div>
 <div class="line"><a name="l00112"></a><span class="lineno">  112</span>&#160; </div>
 <div class="line"><a name="l00113"></a><span class="lineno">  113</span>&#160;};</div>
@@ -320,7 +320,7 @@ $(function() {
 <div class="line"><a name="l00265"></a><span class="lineno">  265</span>&#160;        predMap[key].clear();</div>
 <div class="line"><a name="l00266"></a><span class="lineno">  266</span>&#160;    }</div>
 <div class="line"><a name="l00268"></a><span class="lineno">  268</span>&#160; </div>
-<div class="line"><a name="l00269"></a><span class="lineno"><a class="line" href="classSVF_1_1POCRSolver.html#aacca7b776e4ff992623d28e89b3b68e6">  269</a></span>&#160;    <a class="code" href="classSVF_1_1POCRSolver.html#aacca7b776e4ff992623d28e89b3b68e6">POCRSolver</a>(<a class="code" href="classSVF_1_1CFLGraph.html">CFLGraph</a>* _graph, <a class="code" href="classSVF_1_1CFLGrammar.html">CFLGrammar</a>* _grammar) : <a class="code" href="classSVF_1_1CFLSolver.html">CFLSolver</a>(_graph, _grammar)</div>
+<div class="line"><a name="l00269"></a><span class="lineno"><a class="line" href="classSVF_1_1POCRSolver.html#ac9a41a439655caa32c5ce15e2b9c1607">  269</a></span>&#160;    <a class="code" href="classSVF_1_1POCRSolver.html#ac9a41a439655caa32c5ce15e2b9c1607">POCRSolver</a>(<a class="code" href="classSVF_1_1CFLGraph.html">CFLGraph</a>* _graph, <a class="code" href="classSVF_1_1CFGrammar.html">CFGrammar</a>* _grammar) : <a class="code" href="classSVF_1_1CFLSolver.html">CFLSolver</a>(_graph, _grammar)</div>
 <div class="line"><a name="l00270"></a><span class="lineno">  270</span>&#160;    {</div>
 <div class="line"><a name="l00271"></a><span class="lineno">  271</span>&#160;        buildCFLData();</div>
 <div class="line"><a name="l00272"></a><span class="lineno">  272</span>&#160;    }</div>
@@ -383,7 +383,7 @@ $(function() {
 <div class="line"><a name="l00343"></a><span class="lineno">  343</span>&#160; </div>
 <div class="line"><a name="l00344"></a><span class="lineno">  344</span>&#160;    <span class="keywordtype">void</span> meld_h(<a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> x, TreeNode* uNode, TreeNode* vNode);</div>
 <div class="line"><a name="l00346"></a><span class="lineno">  346</span>&#160;<span class="keyword">public</span>:</div>
-<div class="line"><a name="l00347"></a><span class="lineno"><a class="line" href="classSVF_1_1POCRHybridSolver.html#a28c7595714e0f36e08c27a3e12c03eac">  347</a></span>&#160;    <a class="code" href="classSVF_1_1POCRHybridSolver.html#a28c7595714e0f36e08c27a3e12c03eac">POCRHybridSolver</a>(<a class="code" href="classSVF_1_1CFLGraph.html">CFLGraph</a>* _graph, <a class="code" href="classSVF_1_1CFLGrammar.html">CFLGrammar</a>* _grammar) : <a class="code" href="classSVF_1_1POCRSolver.html">POCRSolver</a>(_graph, _grammar)</div>
+<div class="line"><a name="l00347"></a><span class="lineno"><a class="line" href="classSVF_1_1POCRHybridSolver.html#a3b4c9694d1489abd8b2b57418670715f">  347</a></span>&#160;    <a class="code" href="classSVF_1_1POCRHybridSolver.html#a3b4c9694d1489abd8b2b57418670715f">POCRHybridSolver</a>(<a class="code" href="classSVF_1_1CFLGraph.html">CFLGraph</a>* _graph, <a class="code" href="classSVF_1_1CFGrammar.html">CFGrammar</a>* _grammar) : <a class="code" href="classSVF_1_1POCRSolver.html">POCRSolver</a>(_graph, _grammar)</div>
 <div class="line"><a name="l00348"></a><span class="lineno">  348</span>&#160;    {</div>
 <div class="line"><a name="l00349"></a><span class="lineno">  349</span>&#160;    }</div>
 <div class="line"><a name="l00351"></a><span class="lineno"><a class="line" href="classSVF_1_1POCRHybridSolver.html#afc22dcca14f515be02b33f86ec441e95">  351</a></span>&#160;    <span class="keyword">virtual</span> <a class="code" href="classSVF_1_1POCRHybridSolver.html#afc22dcca14f515be02b33f86ec441e95">~POCRHybridSolver</a>()</div>
@@ -410,10 +410,11 @@ $(function() {
 <div class="line"><a name="l00373"></a><span class="lineno">  373</span>&#160; </div>
 <div class="line"><a name="l00374"></a><span class="lineno">  374</span>&#160;<span class="preprocessor">#endif </span><span class="comment">/* INCLUDE_CFL_CFLSolver_H_*/</span><span class="preprocessor"></span></div>
 </div><!-- fragment --></div><!-- contents -->
-<div class="ttc" id="astructSVF_1_1GrammarBase_1_1Symbol_html"><div class="ttname"><a href="structSVF_1_1GrammarBase_1_1Symbol.html">SVF::GrammarBase::Symbol</a></div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00042">CFLGrammar.h:42</a></div></div>
+<div class="ttc" id="astructSVF_1_1GrammarBase_1_1Symbol_html"><div class="ttname"><a href="structSVF_1_1GrammarBase_1_1Symbol.html">SVF::GrammarBase::Symbol</a></div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00042">CFGrammar.h:42</a></div></div>
 <div class="ttc" id="astructSVF_1_1POCRHybridSolver_1_1TreeNode_html_a3f992aeaa5f888a95f0a2ca423994aff"><div class="ttname"><a href="structSVF_1_1POCRHybridSolver_1_1TreeNode.html#a3f992aeaa5f888a95f0a2ca423994aff">SVF::POCRHybridSolver::TreeNode::~TreeNode</a></div><div class="ttdeci">~TreeNode()</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00307">CFLSolver.h:307</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CFLSolver_html_a194d2c4c801799b0ba9562e33ca5b695"><div class="ttname"><a href="classSVF_1_1CFLSolver.html#a194d2c4c801799b0ba9562e33ca5b695">SVF::CFLSolver::WorkList</a></div><div class="ttdeci">FIFOWorkList&lt; const CFLEdge * &gt; WorkList</div><div class="ttdoc">Define worklist.</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00048">CFLSolver.h:48</a></div></div>
 <div class="ttc" id="aclassSVF_1_1POCRSolver_html_a585aa205c1da08d33aac52552a8a1a75"><div class="ttname"><a href="classSVF_1_1POCRSolver.html#a585aa205c1da08d33aac52552a8a1a75">SVF::POCRSolver::getPredMap</a></div><div class="ttdeci">TypeMap &amp; getPredMap(const NodeID key)</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00198">CFLSolver.h:198</a></div></div>
+<div class="ttc" id="aCFGrammar_8h_html"><div class="ttname"><a href="CFGrammar_8h.html">CFGrammar.h</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CFLSolver_html_aa6123d73f71b9148d7aafb2ec58bbb34"><div class="ttname"><a href="classSVF_1_1CFLSolver.html#aa6123d73f71b9148d7aafb2ec58bbb34">SVF::CFLSolver::pushIntoWorklist</a></div><div class="ttdeci">virtual bool pushIntoWorklist(const CFLEdge *item)</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00084">CFLSolver.h:84</a></div></div>
 <div class="ttc" id="anamespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00065">BasicTypes.h:65</a></div></div>
 <div class="ttc" id="aclassSVF_1_1POCRSolver_html_aac57a7a39ba314e5f16977848417e652"><div class="ttname"><a href="classSVF_1_1POCRSolver.html#aac57a7a39ba314e5f16977848417e652">SVF::POCRSolver::getSuccMap</a></div><div class="ttdeci">DataMap &amp; getSuccMap()</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00183">CFLSolver.h:183</a></div></div>
@@ -427,19 +428,18 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1POCRSolver_html_a5541b15444355d6c2e1012ef8bbd34e3"><div class="ttname"><a href="classSVF_1_1POCRSolver.html#a5541b15444355d6c2e1012ef8bbd34e3">SVF::POCRSolver::iterator</a></div><div class="ttdeci">DataMap::iterator iterator</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00121">CFLSolver.h:121</a></div></div>
 <div class="ttc" id="aclassSVF_1_1POCRSolver_html_a1c612d315cb42ea6d4722357e5869ebc"><div class="ttname"><a href="classSVF_1_1POCRSolver.html#a1c612d315cb42ea6d4722357e5869ebc">SVF::POCRSolver::clearEdges</a></div><div class="ttdeci">void clearEdges(const NodeID key)</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00262">CFLSolver.h:262</a></div></div>
 <div class="ttc" id="aclassSVF_1_1POCRSolver_html_aeddfde5219cc523acba1db1092fa3a07"><div class="ttname"><a href="classSVF_1_1POCRSolver.html#aeddfde5219cc523acba1db1092fa3a07">SVF::POCRSolver::addSuccs</a></div><div class="ttdeci">bool addSuccs(const NodeID key, const NodeBS &amp;data, const Label ty)</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00148">CFLSolver.h:148</a></div></div>
-<div class="ttc" id="aCFLGrammar_8h_html"><div class="ttname"><a href="CFLGrammar_8h.html">CFLGrammar.h</a></div></div>
 <div class="ttc" id="aclassSVF_1_1POCRSolver_html_a333bd9ca42aec9127148d45955c64aed"><div class="ttname"><a href="classSVF_1_1POCRSolver.html#a333bd9ca42aec9127148d45955c64aed">SVF::POCRSolver::begin</a></div><div class="ttdeci">iterator begin()</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00173">CFLSolver.h:173</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SparseBitVector_html"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html">SVF::SparseBitVector</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00459">SparseBitVector.h:459</a></div></div>
-<div class="ttc" id="aclassSVF_1_1POCRSolver_html_aacca7b776e4ff992623d28e89b3b68e6"><div class="ttname"><a href="classSVF_1_1POCRSolver.html#aacca7b776e4ff992623d28e89b3b68e6">SVF::POCRSolver::POCRSolver</a></div><div class="ttdeci">POCRSolver(CFLGraph *_graph, CFLGrammar *_grammar)</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00269">CFLSolver.h:269</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CFLGraph_html"><div class="ttname"><a href="classSVF_1_1CFLGraph.html">SVF::CFLGraph</a></div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00155">CFLGraph.h:155</a></div></div>
-<div class="ttc" id="aclassSVF_1_1CFLSolver_html_a06e64c18559b4f311717203ac3fe1fcd"><div class="ttname"><a href="classSVF_1_1CFLSolver.html#a06e64c18559b4f311717203ac3fe1fcd">SVF::CFLSolver::Symbol</a></div><div class="ttdeci">CFLGrammar::Symbol Symbol</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00050">CFLSolver.h:50</a></div></div>
 <div class="ttc" id="aclassSVF_1_1POCRSolver_html_a9cb6c06d4e9ede63c22637d9a230a584"><div class="ttname"><a href="classSVF_1_1POCRSolver.html#a9cb6c06d4e9ede63c22637d9a230a584">SVF::POCRSolver::getPredMap</a></div><div class="ttdeci">DataMap &amp; getPredMap()</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00188">CFLSolver.h:188</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CFLSolver_html_ab17e45749a732a0ca29eecf6359e2f2f"><div class="ttname"><a href="classSVF_1_1CFLSolver.html#ab17e45749a732a0ca29eecf6359e2f2f">SVF::CFLSolver::isWorklistEmpty</a></div><div class="ttdeci">virtual bool isWorklistEmpty()</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00088">CFLSolver.h:88</a></div></div>
-<div class="ttc" id="aclassSVF_1_1CFLSolver_html_aad88cf557ec43127de859b765505df49"><div class="ttname"><a href="classSVF_1_1CFLSolver.html#aad88cf557ec43127de859b765505df49">SVF::CFLSolver::grammar</a></div><div class="ttdeci">CFLGrammar * grammar</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00109">CFLSolver.h:109</a></div></div>
+<div class="ttc" id="aclassSVF_1_1CFLSolver_html_afcb585bec6a86f29e9781a5e7ef21dc4"><div class="ttname"><a href="classSVF_1_1CFLSolver.html#afcb585bec6a86f29e9781a5e7ef21dc4">SVF::CFLSolver::CFLSolver</a></div><div class="ttdeci">CFLSolver(CFLGraph *_graph, CFGrammar *_grammar)</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00054">CFLSolver.h:54</a></div></div>
+<div class="ttc" id="aclassSVF_1_1CFLSolver_html_a6a0d61a71c25ed2e87c4c15c5175a77e"><div class="ttname"><a href="classSVF_1_1CFLSolver.html#a6a0d61a71c25ed2e87c4c15c5175a77e">SVF::CFLSolver::Production</a></div><div class="ttdeci">CFGrammar::Production Production</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00049">CFLSolver.h:49</a></div></div>
+<div class="ttc" id="aclassSVF_1_1POCRHybridSolver_html_a3b4c9694d1489abd8b2b57418670715f"><div class="ttname"><a href="classSVF_1_1POCRHybridSolver.html#a3b4c9694d1489abd8b2b57418670715f">SVF::POCRHybridSolver::POCRHybridSolver</a></div><div class="ttdeci">POCRHybridSolver(CFLGraph *_graph, CFGrammar *_grammar)</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00347">CFLSolver.h:347</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CFLSolver_html_a95573e91816f426ff7b45afb7b7c821e"><div class="ttname"><a href="classSVF_1_1CFLSolver.html#a95573e91816f426ff7b45afb7b7c821e">SVF::CFLSolver::popFromWorklist</a></div><div class="ttdeci">const CFLEdge * popFromWorklist()</div><div class="ttdoc">Worklist operations.</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00096">CFLSolver.h:96</a></div></div>
 <div class="ttc" id="aclassSVF_1_1POCRSolver_html_a828465a33f85248443937f5efaf57c85"><div class="ttname"><a href="classSVF_1_1POCRSolver.html#a828465a33f85248443937f5efaf57c85">SVF::POCRSolver::addEdges</a></div><div class="ttdeci">NodeBS addEdges(const NodeID src, const NodeBS &amp;dstData, const Label ty)</div><div class="ttdoc">add edges and return the set of added edges (dst) for src</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00222">CFLSolver.h:222</a></div></div>
 <div class="ttc" id="aclassSVF_1_1POCRHybridSolver_html_a6a1bf7bbf1b28aa762af4b51bff10afb"><div class="ttname"><a href="classSVF_1_1POCRHybridSolver.html#a6a1bf7bbf1b28aa762af4b51bff10afb">SVF::POCRHybridSolver::getNode_h</a></div><div class="ttdeci">TreeNode * getNode_h(NodeID src, NodeID dst)</div><div class="ttdoc">Get the node dst in tree(src)</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00331">CFLSolver.h:331</a></div></div>
-<div class="ttc" id="aclassSVF_1_1CFLGrammar_html"><div class="ttname"><a href="classSVF_1_1CFLGrammar.html">SVF::CFLGrammar</a></div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00290">CFLGrammar.h:290</a></div></div>
+<div class="ttc" id="aclassSVF_1_1CFLSolver_html_afec22459af0f8483ccdd77f11c981674"><div class="ttname"><a href="classSVF_1_1CFLSolver.html#afec22459af0f8483ccdd77f11c981674">SVF::CFLSolver::getGrammar</a></div><div class="ttdeci">const CFGrammar * getGrammar() const</div><div class="ttdoc">Return CFL Grammar.</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00080">CFLSolver.h:80</a></div></div>
 <div class="ttc" id="aclassSVF_1_1POCRSolver_html_a5f3f6218e0934d4b3c87f2bdffe92b58"><div class="ttname"><a href="classSVF_1_1POCRSolver.html#a5f3f6218e0934d4b3c87f2bdffe92b58">SVF::POCRSolver::clear</a></div><div class="ttdeci">virtual void clear()</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00157">CFLSolver.h:157</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CFLEdge_html"><div class="ttname"><a href="classSVF_1_1CFLEdge.html">SVF::CFLEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00047">CFLGraph.h:47</a></div></div>
 <div class="ttc" id="aclassSVF_1_1POCRSolver_html_ac4d92529d21db89c547e20e886060b0f"><div class="ttname"><a href="classSVF_1_1POCRSolver.html#ac4d92529d21db89c547e20e886060b0f">SVF::POCRSolver::TypeMap</a></div><div class="ttdeci">std::map&lt; const Label, NodeBS &gt; TypeMap</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00119">CFLSolver.h:119</a></div></div>
@@ -457,11 +457,11 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1POCRSolver_html_a3c8839446414979657b8341c4a36141a"><div class="ttname"><a href="classSVF_1_1POCRSolver.html#a3c8839446414979657b8341c4a36141a">SVF::POCRSolver::addPred</a></div><div class="ttdeci">bool addPred(const NodeID key, const NodeID src, const Label ty)</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00131">CFLSolver.h:131</a></div></div>
 <div class="ttc" id="aclassSVF_1_1POCRSolver_html_a08d86d5ab5fa57da6217480611f057a2"><div class="ttname"><a href="classSVF_1_1POCRSolver.html#a08d86d5ab5fa57da6217480611f057a2">SVF::POCRSolver::const_iterator</a></div><div class="ttdeci">DataMap::const_iterator const_iterator</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00122">CFLSolver.h:122</a></div></div>
 <div class="ttc" id="aclassSVF_1_1POCRSolver_html_ac3ee0745b684b851c3bac9b55bcbb7b9"><div class="ttname"><a href="classSVF_1_1POCRSolver.html#ac3ee0745b684b851c3bac9b55bcbb7b9">SVF::POCRSolver::getSuccs</a></div><div class="ttdeci">NodeBS &amp; getSuccs(const NodeID key, const Label ty)</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00203">CFLSolver.h:203</a></div></div>
+<div class="ttc" id="aclassSVF_1_1POCRSolver_html_ac9a41a439655caa32c5ce15e2b9c1607"><div class="ttname"><a href="classSVF_1_1POCRSolver.html#ac9a41a439655caa32c5ce15e2b9c1607">SVF::POCRSolver::POCRSolver</a></div><div class="ttdeci">POCRSolver(CFLGraph *_graph, CFGrammar *_grammar)</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00269">CFLSolver.h:269</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CFLSolver_html_a95abd86cf49d28585753ad01b8c8d934"><div class="ttname"><a href="classSVF_1_1CFLSolver.html#a95abd86cf49d28585753ad01b8c8d934">SVF::CFLSolver::~CFLSolver</a></div><div class="ttdeci">virtual ~CFLSolver()</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00058">CFLSolver.h:58</a></div></div>
 <div class="ttc" id="aCFLGraph_8h_html"><div class="ttname"><a href="CFLGraph_8h.html">CFLGraph.h</a></div></div>
 <div class="ttc" id="aclassSVF_1_1POCRSolver_html_ad9cef1fe91d7904bf6accd88b9a6a55b"><div class="ttname"><a href="classSVF_1_1POCRSolver.html#ad9cef1fe91d7904bf6accd88b9a6a55b">SVF::POCRSolver::addPreds</a></div><div class="ttdeci">bool addPreds(const NodeID key, const NodeBS &amp;data, const Label ty)</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00141">CFLSolver.h:141</a></div></div>
-<div class="ttc" id="aclassSVF_1_1CFLSolver_html_a394ecf58da040648dda4adb8d0e7d75b"><div class="ttname"><a href="classSVF_1_1CFLSolver.html#a394ecf58da040648dda4adb8d0e7d75b">SVF::CFLSolver::CFLSolver</a></div><div class="ttdeci">CFLSolver(CFLGraph *_graph, CFLGrammar *_grammar)</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00054">CFLSolver.h:54</a></div></div>
-<div class="ttc" id="aclassSVF_1_1CFLSolver_html_a0ade6e3827c629c3cc3d22a101df7288"><div class="ttname"><a href="classSVF_1_1CFLSolver.html#a0ade6e3827c629c3cc3d22a101df7288">SVF::CFLSolver::Production</a></div><div class="ttdeci">CFLGrammar::Production Production</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00049">CFLSolver.h:49</a></div></div>
+<div class="ttc" id="aclassSVF_1_1CFLSolver_html_a6c5e6474c6dfe0a067d397ea66c24dac"><div class="ttname"><a href="classSVF_1_1CFLSolver.html#a6c5e6474c6dfe0a067d397ea66c24dac">SVF::CFLSolver::Symbol</a></div><div class="ttdeci">CFGrammar::Symbol Symbol</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00050">CFLSolver.h:50</a></div></div>
 <div class="ttc" id="aclassSVF_1_1POCRSolver_html_ae85ebdc4cc4e0baf16439abdd146f5ef"><div class="ttname"><a href="classSVF_1_1POCRSolver.html#ae85ebdc4cc4e0baf16439abdd146f5ef">SVF::POCRSolver::end</a></div><div class="ttdeci">const_iterator end() const</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00168">CFLSolver.h:168</a></div></div>
 <div class="ttc" id="aclassSVF_1_1POCRSolver_html_ab871a24f8eb451aec71fd94af7a65bc0"><div class="ttname"><a href="classSVF_1_1POCRSolver.html#ab871a24f8eb451aec71fd94af7a65bc0">SVF::POCRSolver::emptyData</a></div><div class="ttdeci">const NodeBS emptyData</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00127">CFLSolver.h:127</a></div></div>
 <div class="ttc" id="aclassSVF_1_1POCRSolver_html_ab0c8049934aab960ee734db76086016a"><div class="ttname"><a href="classSVF_1_1POCRSolver.html#ab0c8049934aab960ee734db76086016a">SVF::POCRSolver::getSuccMap</a></div><div class="ttdeci">TypeMap &amp; getSuccMap(const NodeID key)</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00193">CFLSolver.h:193</a></div></div>
@@ -470,22 +470,22 @@ $(function() {
 <div class="ttc" id="aWorkList_8h_html"><div class="ttname"><a href="WorkList_8h.html">WorkList.h</a></div></div>
 <div class="ttc" id="aclassSVF_1_1POCRSolver_html_ad3c570ffdea011fd06af17571fc566af"><div class="ttname"><a href="classSVF_1_1POCRSolver.html#ad3c570ffdea011fd06af17571fc566af">SVF::POCRSolver::addEdge</a></div><div class="ttdeci">bool addEdge(const NodeID src, const NodeID dst, const Label ty)</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00215">CFLSolver.h:215</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CFLSolver_html_a2c6bce1f73bcf5937a26e91a7daba33c"><div class="ttname"><a href="classSVF_1_1CFLSolver.html#a2c6bce1f73bcf5937a26e91a7daba33c">SVF::CFLSolver::getGraph</a></div><div class="ttdeci">const CFLGraph * getGraph() const</div><div class="ttdoc">Return CFL Graph.</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00074">CFLSolver.h:74</a></div></div>
+<div class="ttc" id="aclassSVF_1_1CFGrammar_html"><div class="ttname"><a href="classSVF_1_1CFGrammar.html">SVF::CFGrammar</a></div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00290">CFGrammar.h:290</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CFLSolver_html_a0e112c2290b3ba4e61da6b1fe9ac506d"><div class="ttname"><a href="classSVF_1_1CFLSolver.html#a0e112c2290b3ba4e61da6b1fe9ac506d">SVF::CFLSolver::isInWorklist</a></div><div class="ttdeci">bool isInWorklist(const CFLEdge *item)</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00101">CFLSolver.h:101</a></div></div>
 <div class="ttc" id="aclassSVF_1_1FIFOWorkList_html"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html">SVF::FIFOWorkList&lt; const CFLEdge * &gt;</a></div></div>
 <div class="ttc" id="astructSVF_1_1POCRHybridSolver_1_1TreeNode_html_a0950efcf560e86776844640a16bc6f9b"><div class="ttname"><a href="structSVF_1_1POCRHybridSolver_1_1TreeNode.html#a0950efcf560e86776844640a16bc6f9b">SVF::POCRHybridSolver::TreeNode::operator==</a></div><div class="ttdeci">bool operator==(const TreeNode &amp;rhs) const</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00311">CFLSolver.h:311</a></div></div>
 <div class="ttc" id="aclassSVF_1_1POCRSolver_html_a20ca972c50403e2dcad73efa63518d4d"><div class="ttname"><a href="classSVF_1_1POCRSolver.html#a20ca972c50403e2dcad73efa63518d4d">SVF::POCRSolver::predMap</a></div><div class="ttdeci">DataMap predMap</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00126">CFLSolver.h:126</a></div></div>
 <div class="ttc" id="aclassSVF_1_1POCRSolver_html_ad60f45d469f1b576e1c49ec0cdf29e1e"><div class="ttname"><a href="classSVF_1_1POCRSolver.html#ad60f45d469f1b576e1c49ec0cdf29e1e">SVF::POCRSolver::DataMap</a></div><div class="ttdeci">std::unordered_map&lt; NodeID, TypeMap &gt; DataMap</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00120">CFLSolver.h:120</a></div></div>
 <div class="ttc" id="acJSON_8h_html_ac76cea59d438ba893d2f82aabb367d14"><div class="ttname"><a href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a></div><div class="ttdeci">cJSON * item</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00222">cJSON.h:222</a></div></div>
-<div class="ttc" id="aclassSVF_1_1POCRHybridSolver_html_a28c7595714e0f36e08c27a3e12c03eac"><div class="ttname"><a href="classSVF_1_1POCRHybridSolver.html#a28c7595714e0f36e08c27a3e12c03eac">SVF::POCRHybridSolver::POCRHybridSolver</a></div><div class="ttdeci">POCRHybridSolver(CFLGraph *_graph, CFLGrammar *_grammar)</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00347">CFLSolver.h:347</a></div></div>
 <div class="ttc" id="aclassSVF_1_1POCRSolver_html_a5149116e1dbcffcf656f5a63fa0e0c25"><div class="ttname"><a href="classSVF_1_1POCRSolver.html#a5149116e1dbcffcf656f5a63fa0e0c25">SVF::POCRSolver::~POCRSolver</a></div><div class="ttdeci">virtual ~POCRSolver()</div><div class="ttdoc">Destructor.</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00274">CFLSolver.h:274</a></div></div>
 <div class="ttc" id="astructSVF_1_1POCRHybridSolver_1_1TreeNode_html_a2bedc69e7062cf96058395d3f7ebd030"><div class="ttname"><a href="structSVF_1_1POCRHybridSolver_1_1TreeNode.html#a2bedc69e7062cf96058395d3f7ebd030">SVF::POCRHybridSolver::TreeNode::TreeNode</a></div><div class="ttdeci">TreeNode(NodeID nId)</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00304">CFLSolver.h:304</a></div></div>
 <div class="ttc" id="astructSVF_1_1POCRHybridSolver_1_1TreeNode_html_a960c186f2dc559c371334876a272e795"><div class="ttname"><a href="structSVF_1_1POCRHybridSolver_1_1TreeNode.html#a960c186f2dc559c371334876a272e795">SVF::POCRHybridSolver::TreeNode::children</a></div><div class="ttdeci">std::unordered_set&lt; TreeNode * &gt; children</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00302">CFLSolver.h:302</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a43a65e0d33af3c743294f7a1139d2301"><div class="ttname"><a href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">SVF::NodeID</a></div><div class="ttdeci">unsigned NodeID</div><div class="ttdef"><b>Definition:</b> <a href="svf-llvm_2tools_2MTA_2MTAResultValidator_8h_source.html#l00020">MTAResultValidator.h:20</a></div></div>
-<div class="ttc" id="aclassSVF_1_1GrammarBase_html_af384c960a5edc576cbfb60a869e346ec"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">SVF::GrammarBase::Production</a></div><div class="ttdeci">std::vector&lt; Symbol &gt; Production</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00156">CFLGrammar.h:156</a></div></div>
+<div class="ttc" id="aclassSVF_1_1GrammarBase_html_af384c960a5edc576cbfb60a869e346ec"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">SVF::GrammarBase::Production</a></div><div class="ttdeci">std::vector&lt; Symbol &gt; Production</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00156">CFGrammar.h:156</a></div></div>
 <div class="ttc" id="aclassSVF_1_1POCRSolver_html_a4a688b3d2bc6d9fd9ad0414e715ad4f4"><div class="ttname"><a href="classSVF_1_1POCRSolver.html#a4a688b3d2bc6d9fd9ad0414e715ad4f4">SVF::POCRSolver::hasEdge</a></div><div class="ttdeci">bool hasEdge(const NodeID src, const NodeID dst, const Label ty)</div><div class="ttdoc">find src -&gt; find src[ty] -&gt; find dst in set</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00248">CFLSolver.h:248</a></div></div>
 <div class="ttc" id="astructSVF_1_1POCRHybridSolver_1_1TreeNode_html_a15adcae81371065435eba8c38e909099"><div class="ttname"><a href="structSVF_1_1POCRHybridSolver_1_1TreeNode.html#a15adcae81371065435eba8c38e909099">SVF::POCRHybridSolver::TreeNode::operator&lt;</a></div><div class="ttdeci">bool operator&lt;(const TreeNode &amp;rhs) const</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00316">CFLSolver.h:316</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00102">SVFType.h:102</a></div></div>
-<div class="ttc" id="aclassSVF_1_1CFLSolver_html_a99c0a6a2c55bb6eb7f8232399374c827"><div class="ttname"><a href="classSVF_1_1CFLSolver.html#a99c0a6a2c55bb6eb7f8232399374c827">SVF::CFLSolver::getGrammar</a></div><div class="ttdeci">const CFLGrammar * getGrammar() const</div><div class="ttdoc">Return CFL Grammar.</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00080">CFLSolver.h:80</a></div></div>
+<div class="ttc" id="aclassSVF_1_1CFLSolver_html_a89781bbd0edd309b7c473ed154e7c11d"><div class="ttname"><a href="classSVF_1_1CFLSolver.html#a89781bbd0edd309b7c473ed154e7c11d">SVF::CFLSolver::grammar</a></div><div class="ttdeci">CFGrammar * grammar</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00109">CFLSolver.h:109</a></div></div>
 <div class="ttc" id="aclassSVF_1_1POCRHybridSolver_html_acaf3ed69888f4a3862dddf0de7508455"><div class="ttname"><a href="classSVF_1_1POCRHybridSolver.html#acaf3ed69888f4a3862dddf0de7508455">SVF::POCRHybridSolver::indMap</a></div><div class="ttdeci">Map&lt; NodeID, std::unordered_map&lt; NodeID, TreeNode * &gt; &gt; indMap</div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00323">CFLSolver.h:323</a></div></div>
 <!-- start footer part -->
 <hr class="footer"/><address class="footer"><small>

package/SVF-doxygen/html/html/CFLStat_8cpp_source.html

@@ -159,7 +159,7 @@ $(function() {
 <div class="line"><a name="l00097"></a><span class="lineno">   97</span>&#160; </div>
 </div><!-- fragment --></div><!-- contents -->
 <div class="ttc" id="acJSON_8cpp_html_a009ef1d888ab6dbe77e6b42b0b39f1ae"><div class="ttname"><a href="cJSON_8cpp.html#a009ef1d888ab6dbe77e6b42b0b39f1ae">p</a></div><div class="ttdeci">cJSON * p</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l02559">cJSON.cpp:2559</a></div></div>
-<div class="ttc" id="aclassSVF_1_1CFLBase_html_a22ab9bbaee16e06d04817db8c394cc0b"><div class="ttname"><a href="classSVF_1_1CFLBase.html#a22ab9bbaee16e06d04817db8c394cc0b">SVF::CFLBase::getCFLGraph</a></div><div class="ttdeci">CFLGraph * getCFLGraph()</div><div class="ttdoc">Get CFL graph.</div><div class="ttdef"><b>Definition:</b> <a href="CFLBase_8cpp_source.html#l00151">CFLBase.cpp:151</a></div></div>
+<div class="ttc" id="aclassSVF_1_1CFLBase_html_a22ab9bbaee16e06d04817db8c394cc0b"><div class="ttname"><a href="classSVF_1_1CFLBase.html#a22ab9bbaee16e06d04817db8c394cc0b">SVF::CFLBase::getCFLGraph</a></div><div class="ttdeci">CFLGraph * getCFLGraph()</div><div class="ttdoc">Get CFL graph.</div><div class="ttdef"><b>Definition:</b> <a href="CFLBase_8cpp_source.html#l00145">CFLBase.cpp:145</a></div></div>
 <div class="ttc" id="anamespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00065">BasicTypes.h:65</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PTAStat_html"><div class="ttname"><a href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></div><div class="ttdef"><b>Definition:</b> <a href="PTAStat_8h_source.html#l00048">PTAStat.h:48</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CFLStat_html_a6fc506f947be6c9309cc8914c6a8c3e0"><div class="ttname"><a href="classSVF_1_1CFLStat.html#a6fc506f947be6c9309cc8914c6a8c3e0">SVF::CFLStat::pta</a></div><div class="ttdeci">CFLBase * pta</div><div class="ttdef"><b>Definition:</b> <a href="CFLStat_8h_source.html#l00047">CFLStat.h:47</a></div></div>
@@ -168,7 +168,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1CFLGraph_html"><div class="ttname"><a href="classSVF_1_1CFLGraph.html">SVF::CFLGraph</a></div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00155">CFLGraph.h:155</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CFLBase_html"><div class="ttname"><a href="classSVF_1_1CFLBase.html">SVF::CFLBase</a></div><div class="ttdoc">CFL Client Base Class.</div><div class="ttdef"><b>Definition:</b> <a href="CFLBase_8h_source.html#l00049">CFLBase.h:49</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFStat_html_a730cc814fede3edb563aa9957c869e9e"><div class="ttname"><a href="classSVF_1_1SVFStat.html#a730cc814fede3edb563aa9957c869e9e">SVF::SVFStat::startClk</a></div><div class="ttdeci">virtual void startClk()</div><div class="ttdef"><b>Definition:</b> <a href="SVFStat_8h_source.html#l00058">SVFStat.h:58</a></div></div>
-<div class="ttc" id="aclassSVF_1_1CFLBase_html_a824da17d03599090d4e3b4c50aeccff9"><div class="ttname"><a href="classSVF_1_1CFLBase.html#a824da17d03599090d4e3b4c50aeccff9">SVF::CFLBase::countSumEdges</a></div><div class="ttdeci">virtual void countSumEdges()</div><div class="ttdoc">Count the num of Nonterminal Edges.</div><div class="ttdef"><b>Definition:</b> <a href="CFLBase_8cpp_source.html#l00156">CFLBase.cpp:156</a></div></div>
+<div class="ttc" id="aclassSVF_1_1CFLBase_html_a824da17d03599090d4e3b4c50aeccff9"><div class="ttname"><a href="classSVF_1_1CFLBase.html#a824da17d03599090d4e3b4c50aeccff9">SVF::CFLBase::countSumEdges</a></div><div class="ttdeci">virtual void countSumEdges()</div><div class="ttdoc">Count the num of Nonterminal Edges.</div><div class="ttdef"><b>Definition:</b> <a href="CFLBase_8cpp_source.html#l00150">CFLBase.cpp:150</a></div></div>
 <div class="ttc" id="aCFLStat_8h_html"><div class="ttname"><a href="CFLStat_8h.html">CFLStat.h</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFStat_html_a178fcefed6ffffc78bbe9b23e0e1babe"><div class="ttname"><a href="classSVF_1_1SVFStat.html#a178fcefed6ffffc78bbe9b23e0e1babe">SVF::SVFStat::printStat</a></div><div class="ttdeci">virtual void printStat(std::string str=&quot;&quot;)</div><div class="ttdef"><b>Definition:</b> <a href="SVFStat_8cpp_source.html#l00066">SVFStat.cpp:66</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CFLBase_html_a9453bf479ccd00bacb3b371fa6383a9c"><div class="ttname"><a href="classSVF_1_1CFLBase.html#a9453bf479ccd00bacb3b371fa6383a9c">SVF::CFLBase::timeOfBuildCFLGraph</a></div><div class="ttdeci">static double timeOfBuildCFLGraph</div><div class="ttdef"><b>Definition:</b> <a href="CFLBase_8h_source.html#l00097">CFLBase.h:97</a></div></div>

package/SVF-doxygen/html/html/CFLVF_8cpp_source.html

@@ -117,7 +117,7 @@ $(function() {
 <div class="line"><a name="l00046"></a><span class="lineno">   46</span>&#160;        graph = cflGraphBuilder.<a class="code" href="classSVF_1_1VFCFLGraphBuilder.html#acd5ade19c0e058bfb41a1a8dd84748e1">buildBigraph</a>(svfg, grammarBase-&gt;getStartKind(), grammarBase);</div>
 <div class="line"><a name="l00047"></a><span class="lineno">   47</span>&#160;    }</div>
 <div class="line"><a name="l00048"></a><span class="lineno">   48</span>&#160;    <span class="keywordflow">else</span></div>
-<div class="line"><a name="l00049"></a><span class="lineno">   49</span>&#160;        graph = cflGraphBuilder.<a class="code" href="classSVF_1_1CFLGraphBuilder.html#a6c9fa25204550dc5bea1cae52a61472b">buildFromDot</a>(<a class="code" href="classSVF_1_1Options.html#a81dbd12b5141c4a2758d6f2d3321f1ac">Options::CFLGraph</a>(), grammarBase);</div>
+<div class="line"><a name="l00049"></a><span class="lineno">   49</span>&#160;        graph = cflGraphBuilder.<a class="code" href="classSVF_1_1CFLGraphBuilder.html#a27b247b46ce0b467459fcc2d53f50383">build</a>(<a class="code" href="classSVF_1_1Options.html#a81dbd12b5141c4a2758d6f2d3321f1ac">Options::CFLGraph</a>(), grammarBase);</div>
 <div class="line"><a name="l00050"></a><span class="lineno">   50</span>&#160; </div>
 <div class="line"><a name="l00051"></a><span class="lineno">   51</span>&#160;    <span class="comment">// Check CFL Graph and Grammar are accordance with grammar</span></div>
 <div class="line"><a name="l00052"></a><span class="lineno">   52</span>&#160;    <a class="code" href="classSVF_1_1CFLGramGraphChecker.html">CFLGramGraphChecker</a> cflChecker = <a class="code" href="classSVF_1_1CFLGramGraphChecker.html">CFLGramGraphChecker</a>();</div>
@@ -146,7 +146,7 @@ $(function() {
 <div class="line"><a name="l00075"></a><span class="lineno">   75</span>&#160;{</div>
 <div class="line"><a name="l00076"></a><span class="lineno">   76</span>&#160;    <span class="comment">// Check for valid grammar file before parsing other options</span></div>
 <div class="line"><a name="l00077"></a><span class="lineno">   77</span>&#160;    <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> filename = <a class="code" href="classSVF_1_1Options.html#ad09017ae2e1010fbba5c086a4772750f">Options::GrammarFilename</a>();</div>
-<div class="line"><a name="l00078"></a><span class="lineno">   78</span>&#160;    <span class="keywordtype">bool</span> vfgfile = (filename.rfind(<span class="stringliteral">&quot;VFG.txt&quot;</span>) == filename.length() - <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a>(<span class="stringliteral">&quot;VFG.txt&quot;</span>).length());</div>
+<div class="line"><a name="l00078"></a><span class="lineno">   78</span>&#160;    <span class="keywordtype">bool</span> vfgfile = (filename.rfind(<span class="stringliteral">&quot;VFGGrammar.txt&quot;</span>) == filename.length() - <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a>(<span class="stringliteral">&quot;VFGGrammar.txt&quot;</span>).length());</div>
 <div class="line"><a name="l00079"></a><span class="lineno">   79</span>&#160;    <span class="keywordflow">if</span> (!<a class="code" href="classSVF_1_1Options.html#a15a9c1086e1bbd6a76d56ad1bdd6b994">Options::Customized</a>()  &amp;&amp; !vfgfile)</div>
 <div class="line"><a name="l00080"></a><span class="lineno">   80</span>&#160;    {</div>
 <div class="line"><a name="l00081"></a><span class="lineno">   81</span>&#160;        <a class="code" href="namespaceSVF_1_1SVFUtil.html#ab65033f068bfbeb0a1c52dcec3beb6bc">SVFUtil::errs</a>() &lt;&lt; <span class="stringliteral">&quot;Invalid VFG grammar file: &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1Options.html#ad09017ae2e1010fbba5c086a4772750f">Options::GrammarFilename</a>() &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span></div>
@@ -171,13 +171,14 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1CFLGramGraphChecker_html_ada643d980c2590711660eb5f2a4e5f93"><div class="ttname"><a href="classSVF_1_1CFLGramGraphChecker.html#ada643d980c2590711660eb5f2a4e5f93">SVF::CFLGramGraphChecker::check</a></div><div class="ttdeci">void check(GrammarBase *grammar, CFLGraphBuilder *graphBuilder, CFLGraph *graph)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGramGraphChecker_8h_source.html#l00040">CFLGramGraphChecker.h:40</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_a431ec4f85eb0f029e5740b92fd9ceb32"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a431ec4f85eb0f029e5740b92fd9ceb32">SVF::PointerAnalysis::initialize</a></div><div class="ttdeci">virtual void initialize()</div><div class="ttdoc">Initialization of a pointer analysis, including building symbol table and SVFIR etc.</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8cpp_source.html#l00106">PointerAnalysis.cpp:106</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CFLVF_html_aa20f8d27da439c831f36b31312daf047"><div class="ttname"><a href="classSVF_1_1CFLVF.html#aa20f8d27da439c831f36b31312daf047">SVF::CFLVF::buildCFLGraph</a></div><div class="ttdeci">void buildCFLGraph()</div><div class="ttdoc">Build CFLGraph via VFG.</div><div class="ttdef"><b>Definition:</b> <a href="CFLVF_8cpp_source.html#l00037">CFLVF.cpp:37</a></div></div>
-<div class="ttc" id="aclassSVF_1_1VFCFLGraphBuilder_html"><div class="ttname"><a href="classSVF_1_1VFCFLGraphBuilder.html">SVF::VFCFLGraphBuilder</a></div><div class="ttdoc">VFCFLGraphBuilder: a CFLGraphBuilder specialized for handling value-flow.</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraphBuilder_8h_source.html#l00193">CFLGraphBuilder.h:193</a></div></div>
+<div class="ttc" id="aclassSVF_1_1VFCFLGraphBuilder_html"><div class="ttname"><a href="classSVF_1_1VFCFLGraphBuilder.html">SVF::VFCFLGraphBuilder</a></div><div class="ttdoc">VFCFLGraphBuilder: a CFLGraphBuilder specialized for handling value-flow.</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraphBuilder_8h_source.html#l00142">CFLGraphBuilder.h:142</a></div></div>
 <div class="ttc" id="anamespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00065">BasicTypes.h:65</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Options_html_a15a9c1086e1bbd6a76d56ad1bdd6b994"><div class="ttname"><a href="classSVF_1_1Options.html#a15a9c1086e1bbd6a76d56ad1bdd6b994">SVF::Options::Customized</a></div><div class="ttdeci">static const Option&lt; bool &gt; Customized</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00270">Options.h:270</a></div></div>
+<div class="ttc" id="aclassSVF_1_1CFLGraphBuilder_html_a27b247b46ce0b467459fcc2d53f50383"><div class="ttname"><a href="classSVF_1_1CFLGraphBuilder.html#a27b247b46ce0b467459fcc2d53f50383">SVF::CFLGraphBuilder::build</a></div><div class="ttdeci">CFLGraph * build(GenericGraph&lt; N, E &gt; *graph, GrammarBase *grammar, BuildDirection direction=BuildDirection::plain)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraphBuilder_8cpp_source.html#l00101">CFLGraphBuilder.cpp:101</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Options_html_a81dbd12b5141c4a2758d6f2d3321f1ac"><div class="ttname"><a href="classSVF_1_1Options.html#a81dbd12b5141c4a2758d6f2d3321f1ac">SVF::Options::CFLGraph</a></div><div class="ttdeci">static const Option&lt; std::string &gt; CFLGraph</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00263">Options.h:263</a></div></div>
 <div class="ttc" id="aCppUtil_8h_html"><div class="ttname"><a href="CppUtil_8h.html">CppUtil.h</a></div></div>
 <div class="ttc" id="acJSON_8h_html_ad4c68ea99a26b0a98ad9a79982960458"><div class="ttname"><a href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">string</a></div><div class="ttdeci">const char *const string</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00172">cJSON.h:172</a></div></div>
-<div class="ttc" id="aclassSVF_1_1VFCFLGraphBuilder_html_acd5ade19c0e058bfb41a1a8dd84748e1"><div class="ttname"><a href="classSVF_1_1VFCFLGraphBuilder.html#acd5ade19c0e058bfb41a1a8dd84748e1">SVF::VFCFLGraphBuilder::buildBigraph</a></div><div class="ttdeci">CFLGraph * buildBigraph(SVFG *graph, Kind startKind, GrammarBase *grammar)</div><div class="ttdoc">Builds a bidirectional CFL graph by copying nodes and edges from a const graph that inherits from SVF...</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraphBuilder_8cpp_source.html#l00401">CFLGraphBuilder.cpp:401</a></div></div>
+<div class="ttc" id="aclassSVF_1_1VFCFLGraphBuilder_html_acd5ade19c0e058bfb41a1a8dd84748e1"><div class="ttname"><a href="classSVF_1_1VFCFLGraphBuilder.html#acd5ade19c0e058bfb41a1a8dd84748e1">SVF::VFCFLGraphBuilder::buildBigraph</a></div><div class="ttdeci">CFLGraph * buildBigraph(SVFG *graph, Kind startKind, GrammarBase *grammar)</div><div class="ttdoc">Builds a bidirectional CFL graph by copying nodes and edges from a const graph that inherits from SVF...</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraphBuilder_8cpp_source.html#l00452">CFLGraphBuilder.cpp:452</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CFLSolver_html"><div class="ttname"><a href="classSVF_1_1CFLSolver.html">SVF::CFLSolver</a></div><div class="ttdef"><b>Definition:</b> <a href="CFLSolver_8h_source.html#l00043">CFLSolver.h:43</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Options_html_a9ff12bf51a475c90c35e3351c5501f0f"><div class="ttname"><a href="classSVF_1_1Options.html#a9ff12bf51a475c90c35e3351c5501f0f">SVF::Options::PrintCFL</a></div><div class="ttdeci">static const Option&lt; bool &gt; PrintCFL</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00264">Options.h:264</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CFLGramGraphChecker_html"><div class="ttname"><a href="classSVF_1_1CFLGramGraphChecker.html">SVF::CFLGramGraphChecker</a></div><div class="ttdef"><b>Definition:</b> <a href="CFLGramGraphChecker_8h_source.html#l00037">CFLGramGraphChecker.h:37</a></div></div>
@@ -185,7 +186,6 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1CFLVF_html_a6047084ea0cfe2827130facdd54e4806"><div class="ttname"><a href="classSVF_1_1CFLVF.html#a6047084ea0cfe2827130facdd54e4806">SVF::CFLVF::finalize</a></div><div class="ttdeci">virtual void finalize()</div><div class="ttdoc">Print grammar and graph.</div><div class="ttdef"><b>Definition:</b> <a href="CFLVF_8cpp_source.html#l00089">CFLVF.cpp:89</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CFLVF_html_a852ed935576ca426287cf4afa6a585e3"><div class="ttname"><a href="classSVF_1_1CFLVF.html#a852ed935576ca426287cf4afa6a585e3">SVF::CFLVF::initialize</a></div><div class="ttdeci">virtual void initialize()</div><div class="ttdoc">Initialize the grammar, graph, solver.</div><div class="ttdef"><b>Definition:</b> <a href="CFLVF_8cpp_source.html#l00056">CFLVF.cpp:56</a></div></div>
 <div class="ttc" id="aCFLVF_8h_html"><div class="ttname"><a href="CFLVF_8h.html">CFLVF.h</a></div></div>
-<div class="ttc" id="aclassSVF_1_1CFLGraphBuilder_html_a6c9fa25204550dc5bea1cae52a61472b"><div class="ttname"><a href="classSVF_1_1CFLGraphBuilder.html#a6c9fa25204550dc5bea1cae52a61472b">SVF::CFLGraphBuilder::buildFromDot</a></div><div class="ttdeci">CFLGraph * buildFromDot(std::string filename, GrammarBase *grammar)</div><div class="ttdoc">Method to build a CFL graph from a Dot file.</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraphBuilder_8cpp_source.html#l00153">CFLGraphBuilder.cpp:153</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CFLVF_html_a20c6a97e620239c72f402ddf470852bf"><div class="ttname"><a href="classSVF_1_1CFLVF.html#a20c6a97e620239c72f402ddf470852bf">SVF::CFLVF::checkParameter</a></div><div class="ttdeci">virtual void checkParameter()</div><div class="ttdoc">Parameter Checking.</div><div class="ttdef"><b>Definition:</b> <a href="CFLVF_8cpp_source.html#l00074">CFLVF.cpp:74</a></div></div>
 <div class="ttc" id="aclassSVF_1_1AndersenWaveDiff_html_a48ff6fc4badc79ad3204ae9bd95cc540"><div class="ttname"><a href="classSVF_1_1AndersenWaveDiff.html#a48ff6fc4badc79ad3204ae9bd95cc540">SVF::AndersenWaveDiff::createAndersenWaveDiff</a></div><div class="ttdeci">static AndersenWaveDiff * createAndersenWaveDiff(SVFIR *_pag)</div><div class="ttdoc">Create an singleton instance directly instead of invoking llvm pass manager.</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00389">Andersen.h:389</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Options_html_ad09017ae2e1010fbba5c086a4772750f"><div class="ttname"><a href="classSVF_1_1Options.html#ad09017ae2e1010fbba5c086a4772750f">SVF::Options::GrammarFilename</a></div><div class="ttdeci">static const Option&lt; std::string &gt; GrammarFilename</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00262">Options.h:262</a></div></div>

package/SVF-doxygen/html/html/ConsExeState_8cpp_source.html

@@ -636,7 +636,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1ConsExeState_html_a990f50ae338a2e332d333bb3fc04c520"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#a990f50ae338a2e332d333bb3fc04c520">SVF::ConsExeState::getVarToVal</a></div><div class="ttdeci">const VarToValMap &amp; getVarToVal() const</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8h_source.html#l00339">ConsExeState.h:339</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ConsExeState_html_ac3ea5c4d65fac8934276a1ad12c97d06"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#ac3ea5c4d65fac8934276a1ad12c97d06">SVF::ConsExeState::globalConsES</a></div><div class="ttdeci">static ConsExeState globalConsES</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8h_source.html#l00055">ConsExeState.h:55</a></div></div>
 <div class="ttc" id="acJSON_8h_html_ad4c68ea99a26b0a98ad9a79982960458"><div class="ttname"><a href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">string</a></div><div class="ttdeci">const char *const string</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00172">cJSON.h:172</a></div></div>
-<div class="ttc" id="aclassSVF_1_1BoundedZ3Expr_html_ae1a0bc98b18563c87136dea2a60f67be"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html#ae1a0bc98b18563c87136dea2a60f67be">SVF::BoundedZ3Expr::is_zero</a></div><div class="ttdeci">bool is_zero() const</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#l00113">BoundedZ3Expr.h:113</a></div></div>
+<div class="ttc" id="aclassSVF_1_1BoundedZ3Expr_html_ae1a0bc98b18563c87136dea2a60f67be"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html#ae1a0bc98b18563c87136dea2a60f67be">SVF::BoundedZ3Expr::is_zero</a></div><div class="ttdeci">bool is_zero() const</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#l00114">BoundedZ3Expr.h:114</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ConsExeState_html_a4878ea0f5c2cc014ac2f5ecbc6534466"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#a4878ea0f5c2cc014ac2f5ecbc6534466">SVF::ConsExeState::lessThanVarToValMap</a></div><div class="ttdeci">static bool lessThanVarToValMap(const VarToValMap &amp;lhs, const VarToValMap &amp;rhs)</div><div class="ttdoc">Whether lhs is less than rhs.</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8cpp_source.html#l00559">ConsExeState.cpp:559</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ConsExeState_html_adbf80e78f27a30f257fa8790f1cb78f5"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#adbf80e78f27a30f257fa8790f1cb78f5">SVF::ConsExeState::store</a></div><div class="ttdeci">bool store(const SingleAbsValue &amp;loc, const SingleAbsValue &amp;value)</div><div class="ttdoc">Store value to location.</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8cpp_source.html#l00508">ConsExeState.cpp:508</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Z3Expr_html_aa6c7fee4f418817dfa7458d830303f6e"><div class="ttname"><a href="classSVF_1_1Z3Expr.html#aa6c7fee4f418817dfa7458d830303f6e">SVF::Z3Expr::get_numeral_int</a></div><div class="ttdeci">int get_numeral_int() const</div><div class="ttdef"><b>Definition:</b> <a href="Z3Expr_8h_source.html#l00140">Z3Expr.h:140</a></div></div>

package/SVF-doxygen/html/html/ConsG_8cpp_source.html

@@ -594,10 +594,10 @@ $(function() {
 <div class="line"><a name="l00591"></a><span class="lineno">  591</span>&#160;            <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">outs</a>() &lt;&lt; ngep-&gt;getSrcID() &lt;&lt; <span class="stringliteral">&quot; -- NormalGep (&quot;</span> &lt;&lt; ngep-&gt;getConstantFieldIdx()</div>
 <div class="line"><a name="l00592"></a><span class="lineno">  592</span>&#160;                   &lt;&lt; <span class="stringliteral">&quot;) --&gt; &quot;</span> &lt;&lt; ngep-&gt;getDstID() &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div>
 <div class="line"><a name="l00593"></a><span class="lineno">  593</span>&#160;        }</div>
-<div class="line"><a name="l00594"></a><span class="lineno">  594</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1VariantGepCGEdge.html">VariantGepCGEdge</a>* <a class="code" href="CFLGrammar_8txt.html#a1181f56ceed612b4d77df931fa4dfaa9">vgep</a> = SVFUtil::dyn_cast&lt;VariantGepCGEdge&gt;(*iter))</div>
+<div class="line"><a name="l00594"></a><span class="lineno">  594</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1VariantGepCGEdge.html">VariantGepCGEdge</a>* <a class="code" href="PAGGrammar_8txt.html#a1181f56ceed612b4d77df931fa4dfaa9">vgep</a> = SVFUtil::dyn_cast&lt;VariantGepCGEdge&gt;(*iter))</div>
 <div class="line"><a name="l00595"></a><span class="lineno">  595</span>&#160;        {</div>
-<div class="line"><a name="l00596"></a><span class="lineno">  596</span>&#160;            <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">outs</a>() &lt;&lt; <a class="code" href="CFLGrammar_8txt.html#a1181f56ceed612b4d77df931fa4dfaa9">vgep</a>-&gt;getSrcID() &lt;&lt; <span class="stringliteral">&quot; -- VarintGep --&gt; &quot;</span></div>
-<div class="line"><a name="l00597"></a><span class="lineno">  597</span>&#160;                   &lt;&lt; <a class="code" href="CFLGrammar_8txt.html#a1181f56ceed612b4d77df931fa4dfaa9">vgep</a>-&gt;getDstID() &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div>
+<div class="line"><a name="l00596"></a><span class="lineno">  596</span>&#160;            <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">outs</a>() &lt;&lt; <a class="code" href="PAGGrammar_8txt.html#a1181f56ceed612b4d77df931fa4dfaa9">vgep</a>-&gt;getSrcID() &lt;&lt; <span class="stringliteral">&quot; -- VarintGep --&gt; &quot;</span></div>
+<div class="line"><a name="l00597"></a><span class="lineno">  597</span>&#160;                   &lt;&lt; <a class="code" href="PAGGrammar_8txt.html#a1181f56ceed612b4d77df931fa4dfaa9">vgep</a>-&gt;getDstID() &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div>
 <div class="line"><a name="l00598"></a><span class="lineno">  598</span>&#160;        }</div>
 <div class="line"><a name="l00599"></a><span class="lineno">  599</span>&#160;        <span class="keywordflow">else</span></div>
 <div class="line"><a name="l00600"></a><span class="lineno">  600</span>&#160;            assert(<span class="keyword">false</span> &amp;&amp; <span class="stringliteral">&quot;wrong constraint edge kind!&quot;</span>);</div>
@@ -875,7 +875,6 @@ $(function() {
 <div class="ttc" id="anamespaceSVF_html_a4582a7d33a5631a5a38973f50035327e"><div class="ttname"><a href="namespaceSVF.html#a4582a7d33a5631a5a38973f50035327e">SVF::ViewGraph</a></div><div class="ttdeci">void ViewGraph(const GraphType &amp;G, const std::string &amp;name, bool ShortNames=false, GraphProgram::Name Program=GraphProgram::DOT)</div><div class="ttdef"><b>Definition:</b> <a href="GraphWriter_8h_source.html#l00371">GraphWriter.h:371</a></div></div>
 <div class="ttc" id="aOptions_8h_html"><div class="ttname"><a href="Options_8h.html">Options.h</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ConstraintNode_html_abc56843c51c00a9018473f415f73e9f6"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#abc56843c51c00a9018473f415f73e9f6">SVF::ConstraintNode::addOutgoingGepEdge</a></div><div class="ttdeci">void addOutgoingGepEdge(GepCGEdge *outEdge)</div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00242">ConsGNode.h:242</a></div></div>
-<div class="ttc" id="aCFLGrammar_8txt_html_a1181f56ceed612b4d77df931fa4dfaa9"><div class="ttname"><a href="CFLGrammar_8txt.html#a1181f56ceed612b4d77df931fa4dfaa9">vgep</a></div><div class="ttdeci">copy vgep</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8txt_source.html#l00009">CFLGrammar.txt:9</a></div></div>
 <div class="ttc" id="aclassSVF_1_1AssignStmt_html_a4cec89489e82c60c287cae3327f3f01d"><div class="ttname"><a href="classSVF_1_1AssignStmt.html#a4cec89489e82c60c287cae3327f3f01d">SVF::AssignStmt::getRHSVarID</a></div><div class="ttdeci">NodeID getRHSVarID() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00298">SVFStatements.h:298</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CopyCGEdge_html"><div class="ttname"><a href="classSVF_1_1CopyCGEdge.html">SVF::CopyCGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="ConsGEdge_8h_source.html#l00124">ConsGEdge.h:124</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ConstraintGraph_html_af790af4146197682dd4f9abfad1434f6"><div class="ttname"><a href="classSVF_1_1ConstraintGraph.html#af790af4146197682dd4f9abfad1434f6">SVF::ConstraintGraph::isZeroOffsettedGepCGEdge</a></div><div class="ttdeci">bool isZeroOffsettedGepCGEdge(ConstraintEdge *edge) const</div><div class="ttdoc">Check if a given edge is a NormalGepCGEdge with 0 offset.</div><div class="ttdef"><b>Definition:</b> <a href="ConsG_8h_source.html#l00292">ConsG.h:292</a></div></div>
@@ -889,6 +888,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1SVFIR_html_a37cfa2aa4e7b98ef9dc8179f581a2362"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a37cfa2aa4e7b98ef9dc8179f581a2362">SVF::SVFIR::getPAG</a></div><div class="ttdeci">static SVFIR * getPAG(bool buildFromFile=false)</div><div class="ttdoc">Singleton design here to make sure we only have one instance during any analysis.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00113">SVFIR.h:113</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ConstraintGraph_html_a1cb9124b29720e7a5b39d83419f9cc17"><div class="ttname"><a href="classSVF_1_1ConstraintGraph.html#a1cb9124b29720e7a5b39d83419f9cc17">SVF::ConstraintGraph::LoadCGEdgeSet</a></div><div class="ttdeci">ConstraintEdge::ConstraintEdgeSetTy LoadCGEdgeSet</div><div class="ttdef"><b>Definition:</b> <a href="ConsG_8h_source.html#l00063">ConsG.h:63</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ConstraintNode_html_a73b8c0967cde518a2ea7dfea2a7dc32f"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#a73b8c0967cde518a2ea7dfea2a7dc32f">SVF::ConstraintNode::removeOutgoingDirectEdge</a></div><div class="ttdeci">bool removeOutgoingDirectEdge(ConstraintEdge *outEdge)</div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00323">ConsGNode.h:323</a></div></div>
+<div class="ttc" id="aPAGGrammar_8txt_html_a1181f56ceed612b4d77df931fa4dfaa9"><div class="ttname"><a href="PAGGrammar_8txt.html#a1181f56ceed612b4d77df931fa4dfaa9">vgep</a></div><div class="ttdeci">copy vgep</div><div class="ttdef"><b>Definition:</b> <a href="PAGGrammar_8txt_source.html#l00009">PAGGrammar.txt:9</a></div></div>
 <div class="ttc" id="aclassSVF_1_1AccessPath_html"><div class="ttname"><a href="classSVF_1_1AccessPath.html">SVF::AccessPath</a></div><div class="ttdef"><b>Definition:</b> <a href="AccessPath_8h_source.html#l00052">AccessPath.h:52</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ConstraintGraph_html_af9fc8308845628fe8900528573e30462"><div class="ttname"><a href="classSVF_1_1ConstraintGraph.html#af9fc8308845628fe8900528573e30462">SVF::ConstraintGraph::dump</a></div><div class="ttdeci">void dump(std::string name)</div><div class="ttdoc">Dump graph into dot file.</div><div class="ttdef"><b>Definition:</b> <a href="ConsG_8cpp_source.html#l00559">ConsG.cpp:559</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ConstraintGraph_html_a26722666cc8f2fce61bed73f086a0e87"><div class="ttname"><a href="classSVF_1_1ConstraintGraph.html#a26722666cc8f2fce61bed73f086a0e87">SVF::ConstraintGraph::getConstraintNode</a></div><div class="ttdeci">ConstraintNode * getConstraintNode(NodeID id) const</div><div class="ttdoc">Get/add/remove constraint node.</div><div class="ttdef"><b>Definition:</b> <a href="ConsG_8h_source.html#l00107">ConsG.h:107</a></div></div>

package/SVF-doxygen/html/html/GrammarBuilder_8cpp_source.html

@@ -221,21 +221,21 @@ $(function() {
 <div class="line"><a name="l00151"></a><span class="lineno">  151</span>&#160; </div>
 <div class="line"><a name="l00152"></a><span class="lineno">  152</span>&#160;}</div>
 </div><!-- fragment --></div><!-- contents -->
-<div class="ttc" id="aclassSVF_1_1GrammarBase_html_a4561438149716c91178ea013686f66ae"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a4561438149716c91178ea013686f66ae">SVF::GrammarBase::getRawProductions</a></div><div class="ttdeci">SymbolMap&lt; Symbol, Productions &gt; &amp; getRawProductions()</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00190">CFLGrammar.h:190</a></div></div>
-<div class="ttc" id="astructSVF_1_1GrammarBase_1_1Symbol_html"><div class="ttname"><a href="structSVF_1_1GrammarBase_1_1Symbol.html">SVF::GrammarBase::Symbol</a></div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00042">CFLGrammar.h:42</a></div></div>
-<div class="ttc" id="aclassSVF_1_1GrammarBase_html_a3c16f37c05de31fbd2be1ae9c0961e84"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a3c16f37c05de31fbd2be1ae9c0961e84">SVF::GrammarBase::insertSymbol</a></div><div class="ttdeci">Symbol insertSymbol(std::string strLit)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8cpp_source.html#l00231">CFLGrammar.cpp:231</a></div></div>
-<div class="ttc" id="aclassSVF_1_1GrammarBase_html_ad2f1a578ba72a2b600014b21b6f2d542"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#ad2f1a578ba72a2b600014b21b6f2d542">SVF::GrammarBase::insertTerminalKind</a></div><div class="ttdeci">Kind insertTerminalKind(std::string strLit)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8cpp_source.html#l00177">CFLGrammar.cpp:177</a></div></div>
+<div class="ttc" id="aclassSVF_1_1GrammarBase_html_a4561438149716c91178ea013686f66ae"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a4561438149716c91178ea013686f66ae">SVF::GrammarBase::getRawProductions</a></div><div class="ttdeci">SymbolMap&lt; Symbol, Productions &gt; &amp; getRawProductions()</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00190">CFGrammar.h:190</a></div></div>
+<div class="ttc" id="astructSVF_1_1GrammarBase_1_1Symbol_html"><div class="ttname"><a href="structSVF_1_1GrammarBase_1_1Symbol.html">SVF::GrammarBase::Symbol</a></div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00042">CFGrammar.h:42</a></div></div>
+<div class="ttc" id="aclassSVF_1_1GrammarBase_html_a3c16f37c05de31fbd2be1ae9c0961e84"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a3c16f37c05de31fbd2be1ae9c0961e84">SVF::GrammarBase::insertSymbol</a></div><div class="ttdeci">Symbol insertSymbol(std::string strLit)</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8cpp_source.html#l00231">CFGrammar.cpp:231</a></div></div>
+<div class="ttc" id="aclassSVF_1_1GrammarBase_html_ad2f1a578ba72a2b600014b21b6f2d542"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#ad2f1a578ba72a2b600014b21b6f2d542">SVF::GrammarBase::insertTerminalKind</a></div><div class="ttdeci">Kind insertTerminalKind(std::string strLit)</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8cpp_source.html#l00177">CFGrammar.cpp:177</a></div></div>
 <div class="ttc" id="anamespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00065">BasicTypes.h:65</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GrammarBuilder_html_a6de372fbe80d33a5688cada0adca0bb8"><div class="ttname"><a href="classSVF_1_1GrammarBuilder.html#a6de372fbe80d33a5688cada0adca0bb8">SVF::GrammarBuilder::stripSpace</a></div><div class="ttdeci">const std::string stripSpace(std::string s) const</div><div class="ttdoc">Strip front and tail space.</div><div class="ttdef"><b>Definition:</b> <a href="GrammarBuilder_8cpp_source.html#l00105">GrammarBuilder.cpp:105</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GrammarBuilder_html_a5a34166b4b1ce1dcc985f4619f4a2bbc"><div class="ttname"><a href="classSVF_1_1GrammarBuilder.html#a5a34166b4b1ce1dcc985f4619f4a2bbc">SVF::GrammarBuilder::parseProductionsString</a></div><div class="ttdeci">const std::string parseProductionsString() const</div><div class="ttdoc">Parse start symbol and production from file string.</div><div class="ttdef"><b>Definition:</b> <a href="GrammarBuilder_8cpp_source.html#l00039">GrammarBuilder.cpp:39</a></div></div>
 <div class="ttc" id="acJSON_8h_html_ad4c68ea99a26b0a98ad9a79982960458"><div class="ttname"><a href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">string</a></div><div class="ttdeci">const char *const string</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00172">cJSON.h:172</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GrammarBuilder_html_a7b81810150ce896801e4e6a831ab98aa"><div class="ttname"><a href="classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa">SVF::GrammarBuilder::grammar</a></div><div class="ttdeci">GrammarBase * grammar</div><div class="ttdef"><b>Definition:</b> <a href="GrammarBuilder_8h_source.html#l00074">GrammarBuilder.h:74</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GrammarBuilder_html_a23d03b2cd348d85bda1ee582dded6505"><div class="ttname"><a href="classSVF_1_1GrammarBuilder.html#a23d03b2cd348d85bda1ee582dded6505">SVF::GrammarBuilder::build</a></div><div class="ttdeci">GrammarBase * build() const</div><div class="ttdoc">Build grammarBase from fileName.</div><div class="ttdef"><b>Definition:</b> <a href="GrammarBuilder_8cpp_source.html#l00115">GrammarBuilder.cpp:115</a></div></div>
-<div class="ttc" id="aclassSVF_1_1GrammarBase_html_a1de2b9f6c39936afa8f821ca262deadd"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a1de2b9f6c39936afa8f821ca262deadd">SVF::GrammarBase::setStartKind</a></div><div class="ttdeci">void setStartKind(Kind startKind)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00210">CFLGrammar.h:210</a></div></div>
+<div class="ttc" id="aclassSVF_1_1GrammarBase_html_a1de2b9f6c39936afa8f821ca262deadd"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a1de2b9f6c39936afa8f821ca262deadd">SVF::GrammarBase::setStartKind</a></div><div class="ttdeci">void setStartKind(Kind startKind)</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00210">CFGrammar.h:210</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GrammarBuilder_html_aa0f5135a232adc1ca42d4f51a3c70704"><div class="ttname"><a href="classSVF_1_1GrammarBuilder.html#aa0f5135a232adc1ca42d4f51a3c70704">SVF::GrammarBuilder::fileName</a></div><div class="ttdeci">std::string fileName</div><div class="ttdef"><b>Definition:</b> <a href="GrammarBuilder_8h_source.html#l00073">GrammarBuilder.h:73</a></div></div>
 <div class="ttc" id="aGrammarBuilder_8h_html"><div class="ttname"><a href="GrammarBuilder_8h.html">GrammarBuilder.h</a></div></div>
-<div class="ttc" id="aclassSVF_1_1GrammarBase_html"><div class="ttname"><a href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00036">CFLGrammar.h:36</a></div></div>
-<div class="ttc" id="aclassSVF_1_1GrammarBase_html_af384c960a5edc576cbfb60a869e346ec"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">SVF::GrammarBase::Production</a></div><div class="ttdeci">std::vector&lt; Symbol &gt; Production</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00156">CFLGrammar.h:156</a></div></div>
+<div class="ttc" id="aclassSVF_1_1GrammarBase_html"><div class="ttname"><a href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00036">CFGrammar.h:36</a></div></div>
+<div class="ttc" id="aclassSVF_1_1GrammarBase_html_af384c960a5edc576cbfb60a869e346ec"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec">SVF::GrammarBase::Production</a></div><div class="ttdeci">std::vector&lt; Symbol &gt; Production</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00156">CFGrammar.h:156</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GrammarBuilder_html_abad6b574d9f88e2b4ebb6372dc903f62"><div class="ttname"><a href="classSVF_1_1GrammarBuilder.html#abad6b574d9f88e2b4ebb6372dc903f62">SVF::GrammarBuilder::loadWordProductions</a></div><div class="ttdeci">const std::vector&lt; std::string &gt; loadWordProductions() const</div><div class="ttdoc">Parse whole production string to production vector.</div><div class="ttdef"><b>Definition:</b> <a href="GrammarBuilder_8cpp_source.html#l00089">GrammarBuilder.cpp:89</a></div></div>
 <!-- start footer part -->
 <hr class="footer"/><address class="footer"><small>

package/SVF-doxygen/html/html/GrammarBuilder_8h.html

@@ -72,7 +72,7 @@ $(function() {
 <div class="title">GrammarBuilder.h File Reference</div>  </div>
 </div><!--header-->
 <div class="contents">
-<div class="textblock"><code>#include &quot;<a class="el" href="CFLGrammar_8h_source.html">CFL/CFLGrammar.h</a>&quot;</code><br />
+<div class="textblock"><code>#include &quot;<a class="el" href="CFGrammar_8h_source.html">CFL/CFGrammar.h</a>&quot;</code><br />
 </div>
 <p><a href="GrammarBuilder_8h_source.html">Go to the source code of this file.</a></p>
 <table class="memberdecls">

package/SVF-doxygen/html/html/GrammarBuilder_8h_source.html

@@ -101,7 +101,7 @@ $(function() {
 <div class="line"><a name="l00030"></a><span class="lineno">   30</span>&#160;<span class="preprocessor">#ifndef INCLUDE_CFL_GRAMMARBUILDER_H_</span></div>
 <div class="line"><a name="l00031"></a><span class="lineno">   31</span>&#160;<span class="preprocessor">#define INCLUDE_CFL_GRAMMARBUILDER_H_</span></div>
 <div class="line"><a name="l00032"></a><span class="lineno">   32</span>&#160; </div>
-<div class="line"><a name="l00033"></a><span class="lineno">   33</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="CFLGrammar_8h.html">CFL/CFLGrammar.h</a>&quot;</span></div>
+<div class="line"><a name="l00033"></a><span class="lineno">   33</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="CFGrammar_8h.html">CFL/CFGrammar.h</a>&quot;</span></div>
 <div class="line"><a name="l00034"></a><span class="lineno">   34</span>&#160; </div>
 <div class="line"><a name="l00035"></a><span class="lineno">   35</span>&#160;<span class="keyword">namespace </span><a class="code" href="namespaceSVF.html">SVF</a></div>
 <div class="line"><a name="l00036"></a><span class="lineno">   36</span>&#160;{</div>
@@ -133,8 +133,8 @@ $(function() {
 <div class="line"><a name="l00099"></a><span class="lineno">   99</span>&#160; </div>
 <div class="line"><a name="l00100"></a><span class="lineno">  100</span>&#160;<span class="preprocessor">#endif </span><span class="comment">/* INCLUDE_CFL_GRAMMARBUILDER_H_ */</span><span class="preprocessor"></span></div>
 </div><!-- fragment --></div><!-- contents -->
+<div class="ttc" id="aCFGrammar_8h_html"><div class="ttname"><a href="CFGrammar_8h.html">CFGrammar.h</a></div></div>
 <div class="ttc" id="anamespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00065">BasicTypes.h:65</a></div></div>
-<div class="ttc" id="aCFLGrammar_8h_html"><div class="ttname"><a href="CFLGrammar_8h.html">CFLGrammar.h</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GrammarBuilder_html_a423310118382fa2d5afe169a290a355b"><div class="ttname"><a href="classSVF_1_1GrammarBuilder.html#a423310118382fa2d5afe169a290a355b">SVF::GrammarBuilder::GrammarBuilder</a></div><div class="ttdeci">GrammarBuilder(std::string fileName)</div><div class="ttdef"><b>Definition:</b> <a href="GrammarBuilder_8h_source.html#l00086">GrammarBuilder.h:86</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GrammarBuilder_html"><div class="ttname"><a href="classSVF_1_1GrammarBuilder.html">SVF::GrammarBuilder</a></div><div class="ttdef"><b>Definition:</b> <a href="GrammarBuilder_8h_source.html#l00070">GrammarBuilder.h:70</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GrammarBuilder_html_a6de372fbe80d33a5688cada0adca0bb8"><div class="ttname"><a href="classSVF_1_1GrammarBuilder.html#a6de372fbe80d33a5688cada0adca0bb8">SVF::GrammarBuilder::stripSpace</a></div><div class="ttdeci">const std::string stripSpace(std::string s) const</div><div class="ttdoc">Strip front and tail space.</div><div class="ttdef"><b>Definition:</b> <a href="GrammarBuilder_8cpp_source.html#l00105">GrammarBuilder.cpp:105</a></div></div>
@@ -143,7 +143,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1GrammarBuilder_html_a7b81810150ce896801e4e6a831ab98aa"><div class="ttname"><a href="classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa">SVF::GrammarBuilder::grammar</a></div><div class="ttdeci">GrammarBase * grammar</div><div class="ttdef"><b>Definition:</b> <a href="GrammarBuilder_8h_source.html#l00074">GrammarBuilder.h:74</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GrammarBuilder_html_a23d03b2cd348d85bda1ee582dded6505"><div class="ttname"><a href="classSVF_1_1GrammarBuilder.html#a23d03b2cd348d85bda1ee582dded6505">SVF::GrammarBuilder::build</a></div><div class="ttdeci">GrammarBase * build() const</div><div class="ttdoc">Build grammarBase from fileName.</div><div class="ttdef"><b>Definition:</b> <a href="GrammarBuilder_8cpp_source.html#l00115">GrammarBuilder.cpp:115</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GrammarBuilder_html_aa0f5135a232adc1ca42d4f51a3c70704"><div class="ttname"><a href="classSVF_1_1GrammarBuilder.html#aa0f5135a232adc1ca42d4f51a3c70704">SVF::GrammarBuilder::fileName</a></div><div class="ttdeci">std::string fileName</div><div class="ttdef"><b>Definition:</b> <a href="GrammarBuilder_8h_source.html#l00073">GrammarBuilder.h:73</a></div></div>
-<div class="ttc" id="aclassSVF_1_1GrammarBase_html"><div class="ttname"><a href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00036">CFLGrammar.h:36</a></div></div>
+<div class="ttc" id="aclassSVF_1_1GrammarBase_html"><div class="ttname"><a href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00036">CFGrammar.h:36</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GrammarBuilder_html_abad6b574d9f88e2b4ebb6372dc903f62"><div class="ttname"><a href="classSVF_1_1GrammarBuilder.html#abad6b574d9f88e2b4ebb6372dc903f62">SVF::GrammarBuilder::loadWordProductions</a></div><div class="ttdeci">const std::vector&lt; std::string &gt; loadWordProductions() const</div><div class="ttdoc">Parse whole production string to production vector.</div><div class="ttdef"><b>Definition:</b> <a href="GrammarBuilder_8cpp_source.html#l00089">GrammarBuilder.cpp:89</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00102">SVFType.h:102</a></div></div>
 <!-- start footer part -->

package/SVF-doxygen/html/html/GraphWriter_8cpp_source.html

@@ -124,7 +124,7 @@ $(function() {
 <div class="line"><a name="l00053"></a><span class="lineno">   53</span>&#160;}</div>
 </div><!-- fragment --></div><!-- contents -->
 <div class="ttc" id="anamespaceSVF_1_1DOT_html_a9e3127c2bbedaec1f20d4437bea9e2f7"><div class="ttname"><a href="namespaceSVF_1_1DOT.html#a9e3127c2bbedaec1f20d4437bea9e2f7">SVF::DOT::EscapeStr</a></div><div class="ttdeci">std::string EscapeStr(const std::string &amp;Label)</div><div class="ttdef"><b>Definition:</b> <a href="GraphWriter_8cpp_source.html#l00012">GraphWriter.cpp:12</a></div></div>
-<div class="ttc" id="astructSVF_1_1GrammarBase_1_1Symbol_html"><div class="ttname"><a href="structSVF_1_1GrammarBase_1_1Symbol.html">SVF::GrammarBase::Symbol</a></div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00042">CFLGrammar.h:42</a></div></div>
+<div class="ttc" id="astructSVF_1_1GrammarBase_1_1Symbol_html"><div class="ttname"><a href="structSVF_1_1GrammarBase_1_1Symbol.html">SVF::GrammarBase::Symbol</a></div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00042">CFGrammar.h:42</a></div></div>
 <div class="ttc" id="acJSON_8h_html_ad4c68ea99a26b0a98ad9a79982960458"><div class="ttname"><a href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">string</a></div><div class="ttdeci">const char *const string</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00172">cJSON.h:172</a></div></div>
 <div class="ttc" id="aGraphWriter_8h_html"><div class="ttname"><a href="GraphWriter_8h.html">GraphWriter.h</a></div></div>
 <!-- start footer part -->

package/SVF-doxygen/html/html/GraphWriter_8h_source.html

@@ -443,7 +443,7 @@ $(function() {
 <div class="ttc" id="astructSVF_1_1DefaultDOTGraphTraits_html_ad84c95525cf15f90848c2558fd28f43b"><div class="ttname"><a href="structSVF_1_1DefaultDOTGraphTraits.html#ad84c95525cf15f90848c2558fd28f43b">SVF::DefaultDOTGraphTraits::getEdgeAttributes</a></div><div class="ttdeci">static std::string getEdgeAttributes(const void *, EdgeIter, const GraphType &amp;)</div><div class="ttdef"><b>Definition:</b> <a href="DOTGraphTraits_8h_source.html#l00112">DOTGraphTraits.h:112</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GraphWriter_html_a2e882c9af39ffd3c4a4bac9212e0e82d"><div class="ttname"><a href="classSVF_1_1GraphWriter.html#a2e882c9af39ffd3c4a4bac9212e0e82d">SVF::GraphWriter::O</a></div><div class="ttdeci">std::ofstream &amp; O</div><div class="ttdef"><b>Definition:</b> <a href="GraphWriter_8h_source.html#l00064">GraphWriter.h:64</a></div></div>
 <div class="ttc" id="astructSVF_1_1DefaultDOTGraphTraits_html_aeb5908ad6424c0636b698e5ea0a587c0"><div class="ttname"><a href="structSVF_1_1DefaultDOTGraphTraits.html#aeb5908ad6424c0636b698e5ea0a587c0">SVF::DefaultDOTGraphTraits::renderGraphFromBottomUp</a></div><div class="ttdeci">static bool renderGraphFromBottomUp()</div><div class="ttdef"><b>Definition:</b> <a href="DOTGraphTraits_8h_source.html#l00064">DOTGraphTraits.h:64</a></div></div>
-<div class="ttc" id="astructSVF_1_1GrammarBase_1_1Symbol_html"><div class="ttname"><a href="structSVF_1_1GrammarBase_1_1Symbol.html">SVF::GrammarBase::Symbol</a></div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00042">CFLGrammar.h:42</a></div></div>
+<div class="ttc" id="astructSVF_1_1GrammarBase_1_1Symbol_html"><div class="ttname"><a href="structSVF_1_1GrammarBase_1_1Symbol.html">SVF::GrammarBase::Symbol</a></div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00042">CFGrammar.h:42</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GraphWriter_html_a8b1d80caf226c3a619c5fb03f8724f74"><div class="ttname"><a href="classSVF_1_1GraphWriter.html#a8b1d80caf226c3a619c5fb03f8724f74">SVF::GraphWriter::isNodeHidden</a></div><div class="ttdeci">bool isNodeHidden(NodeRef Node)</div><div class="ttdef"><b>Definition:</b> <a href="GraphWriter_8h_source.html#l00165">GraphWriter.h:165</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GraphWriter_html_ae414407f483b60c9fa49e2f3ae62de30"><div class="ttname"><a href="classSVF_1_1GraphWriter.html#ae414407f483b60c9fa49e2f3ae62de30">SVF::GraphWriter::writeGraph</a></div><div class="ttdeci">void writeGraph(const std::string &amp;Title=&quot;&quot;)</div><div class="ttdef"><b>Definition:</b> <a href="GraphWriter_8h_source.html#l00114">GraphWriter.h:114</a></div></div>
 <div class="ttc" id="anamespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00065">BasicTypes.h:65</a></div></div>