svf-tools 1.0.752 → 1.0.754

package/SVF-doxygen/html/html/CFLGraph_8cpp_source.html

@@ -105,7 +105,7 @@ $(function() {
 <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">using 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>
-<div class="line"><a name="l00037"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGraph.html#a685fb852b2cd3767258225aa3b87caa4">   37</a></span>&#160;<a class="code" href="classSVF_1_1CFLGraph.html#a27444bf84135748d32291cf0aa78ff81">CFLGraph::Kind</a> <a class="code" href="classSVF_1_1CFLGraph.html#a685fb852b2cd3767258225aa3b87caa4">CFLGraph::getStartKind</a>()<span class="keyword"> const</span></div>
+<div class="line"><a name="l00037"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGraph.html#a685fb852b2cd3767258225aa3b87caa4">   37</a></span>&#160;<a class="code" href="classSVF_1_1CFLGraph.html#a59862d1df5b70861474915927c137c6b">CFLGraph::Kind</a> <a class="code" href="classSVF_1_1CFLGraph.html#a685fb852b2cd3767258225aa3b87caa4">CFLGraph::getStartKind</a>()<span class="keyword"> const</span></div>
 <div class="line"><a name="l00038"></a><span class="lineno">   38</span>&#160;<span class="keyword"></span>{</div>
 <div class="line"><a name="l00039"></a><span class="lineno">   39</span>&#160;    <span class="keywordflow">return</span> this-&gt;<a class="code" href="classSVF_1_1CFLGraph.html#a0723f25be2a163b21f478cddca5293d2">startKind</a>;</div>
 <div class="line"><a name="l00040"></a><span class="lineno">   40</span>&#160;}</div>
@@ -236,6 +236,7 @@ $(function() {
 <div class="line"><a name="l00170"></a><span class="lineno">  170</span>&#160; </div>
 <div class="line"><a name="l00171"></a><span class="lineno">  171</span>&#160;}</div>
 </div><!-- fragment --></div><!-- contents -->
+<div class="ttc" id="aclassSVF_1_1CFLGraph_html_a59862d1df5b70861474915927c137c6b"><div class="ttname"><a href="classSVF_1_1CFLGraph.html#a59862d1df5b70861474915927c137c6b">SVF::CFLGraph::Kind</a></div><div class="ttdeci">CFGrammar::Kind Kind</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00159">CFLGraph.h:159</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CFLGraph_html_a9eea8083dbeaf898948595b1d75cfee2"><div class="ttname"><a href="classSVF_1_1CFLGraph.html#a9eea8083dbeaf898948595b1d75cfee2">SVF::CFLGraph::addCFLEdge</a></div><div class="ttdeci">virtual const CFLEdge * addCFLEdge(CFLNode *src, CFLNode *dst, CFLEdge::GEdgeFlag label)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8cpp_source.html#l00047">CFLGraph.cpp:47</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CFLGraph_html_aca4c22dd10f65bcde5dadb7688544b50"><div class="ttname"><a href="classSVF_1_1CFLGraph.html#aca4c22dd10f65bcde5dadb7688544b50">SVF::CFLGraph::hasEdge</a></div><div class="ttdeci">virtual const CFLEdge * hasEdge(CFLNode *src, CFLNode *dst, CFLEdge::GEdgeFlag label)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8cpp_source.html#l00063">CFLGraph.cpp:63</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CFLEdge_html_acab367a1633d00afdafadf3f3a43e0c8"><div class="ttname"><a href="classSVF_1_1CFLEdge.html#acab367a1633d00afdafadf3f3a43e0c8">SVF::CFLEdge::getEdgeKind</a></div><div class="ttdeci">GEdgeKind getEdgeKind() const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00058">CFLGraph.h:58</a></div></div>
@@ -251,7 +252,6 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1GenericNode_html_ac3e55ef37aefb411ea4c87b1aa3b1895"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">SVF::GenericNode::getId</a></div><div class="ttdeci">NodeID getId() const</div><div class="ttdoc">Get ID.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00180">GenericGraph.h:180</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericGraph_html_a0a8831a5429005ff9d71adbd6bf3994f"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a0a8831a5429005ff9d71adbd6bf3994f">SVF::GenericGraph::addGNode</a></div><div class="ttdeci">void addGNode(NodeID id, NodeType *node)</div><div class="ttdoc">Add a Node.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00399">GenericGraph.h:399</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CFLGraph_html_a685fb852b2cd3767258225aa3b87caa4"><div class="ttname"><a href="classSVF_1_1CFLGraph.html#a685fb852b2cd3767258225aa3b87caa4">SVF::CFLGraph::getStartKind</a></div><div class="ttdeci">Kind getStartKind() const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8cpp_source.html#l00037">CFLGraph.cpp:37</a></div></div>
-<div class="ttc" id="aclassSVF_1_1CFLGraph_html_a27444bf84135748d32291cf0aa78ff81"><div class="ttname"><a href="classSVF_1_1CFLGraph.html#a27444bf84135748d32291cf0aa78ff81">SVF::CFLGraph::Kind</a></div><div class="ttdeci">CFLGrammar::Kind Kind</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00159">CFLGraph.h:159</a></div></div>
 <div class="ttc" id="aSVFUtil_8h_html"><div class="ttname"><a href="SVFUtil_8h.html">SVFUtil.h</a></div></div>
 <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>

package/SVF-doxygen/html/html/CFLGraph_8h.html

@@ -77,7 +77,7 @@ $(function() {
 <code>#include &lt;iostream&gt;</code><br />
 <code>#include &lt;string&gt;</code><br />
 <code>#include &lt;regex&gt;</code><br />
-<code>#include &quot;<a class="el" href="CFLGrammar_8h_source.html">CFL/CFLGrammar.h</a>&quot;</code><br />
+<code>#include &quot;<a class="el" href="CFGrammar_8h_source.html">CFL/CFGrammar.h</a>&quot;</code><br />
 <code>#include &quot;<a class="el" href="GenericGraph_8h_source.html">Graphs/GenericGraph.h</a>&quot;</code><br />
 <code>#include &quot;<a class="el" href="ConsG_8h_source.html">Graphs/ConsG.h</a>&quot;</code><br />
 </div>

package/SVF-doxygen/html/html/CFLGraph_8h_source.html

@@ -105,7 +105,7 @@ $(function() {
 <div class="line"><a name="l00034"></a><span class="lineno">   34</span>&#160;<span class="preprocessor">#include &lt;iostream&gt;</span></div>
 <div class="line"><a name="l00035"></a><span class="lineno">   35</span>&#160;<span class="preprocessor">#include &lt;string&gt;</span></div>
 <div class="line"><a name="l00036"></a><span class="lineno">   36</span>&#160;<span class="preprocessor">#include &lt;regex&gt;</span></div>
-<div class="line"><a name="l00037"></a><span class="lineno">   37</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="l00037"></a><span class="lineno">   37</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="l00038"></a><span class="lineno">   38</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="GenericGraph_8h.html">Graphs/GenericGraph.h</a>&quot;</span></div>
 <div class="line"><a name="l00039"></a><span class="lineno">   39</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="ConsG_8h.html">Graphs/ConsG.h</a>&quot;</span></div>
 <div class="line"><a name="l00040"></a><span class="lineno">   40</span>&#160; </div>
@@ -224,18 +224,18 @@ $(function() {
 <div class="line"><a name="l00155"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGraph.html">  155</a></span>&#160;<span class="keyword">class </span><a class="code" href="classSVF_1_1CFLGraph.html">CFLGraph</a>: <span class="keyword">public</span> <a class="code" href="classSVF_1_1GenericGraph.html">GenericCFLGraphTy</a></div>
 <div class="line"><a name="l00156"></a><span class="lineno">  156</span>&#160;{</div>
 <div class="line"><a name="l00157"></a><span class="lineno">  157</span>&#160;<span class="keyword">public</span>:</div>
-<div class="line"><a name="l00158"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGraph.html#a87671d8f952e7dd65dabe2d5ce6764e3">  158</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_1CFLGraph.html#a87671d8f952e7dd65dabe2d5ce6764e3">Symbol</a>;</div>
-<div class="line"><a name="l00159"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGraph.html#a27444bf84135748d32291cf0aa78ff81">  159</a></span>&#160;    <span class="keyword">typedef</span> <a class="code" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">CFLGrammar::Kind</a> <a class="code" href="classSVF_1_1CFLGraph.html#a27444bf84135748d32291cf0aa78ff81">Kind</a>;</div>
+<div class="line"><a name="l00158"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGraph.html#aef6b4499430812645aa92799cf61ab96">  158</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_1CFLGraph.html#aef6b4499430812645aa92799cf61ab96">Symbol</a>;</div>
+<div class="line"><a name="l00159"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGraph.html#a59862d1df5b70861474915927c137c6b">  159</a></span>&#160;    <span class="keyword">typedef</span> <a class="code" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">CFGrammar::Kind</a> <a class="code" href="classSVF_1_1CFLGraph.html#a59862d1df5b70861474915927c137c6b">Kind</a>;</div>
 <div class="line"><a name="l00160"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGraph.html#a09ba3a0e3878f8ac55596838ea958f14">  160</a></span>&#160;    <span class="keyword">typedef</span> <a class="code" href="classSVF_1_1GenericNode.html">GenericNode&lt;CFLNode,CFLEdge&gt;::GEdgeSetTy</a> <a class="code" href="classSVF_1_1CFLGraph.html#a09ba3a0e3878f8ac55596838ea958f14">CFLEdgeSet</a>;</div>
-<div class="line"><a name="l00161"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGraph.html#a0723f25be2a163b21f478cddca5293d2">  161</a></span>&#160;    <a class="code" href="classSVF_1_1CFLGraph.html#a27444bf84135748d32291cf0aa78ff81">Kind</a> <a class="code" href="classSVF_1_1CFLGraph.html#a0723f25be2a163b21f478cddca5293d2">startKind</a>;</div>
+<div class="line"><a name="l00161"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGraph.html#a0723f25be2a163b21f478cddca5293d2">  161</a></span>&#160;    <a class="code" href="classSVF_1_1CFLGraph.html#a59862d1df5b70861474915927c137c6b">Kind</a> <a class="code" href="classSVF_1_1CFLGraph.html#a0723f25be2a163b21f478cddca5293d2">startKind</a>;</div>
 <div class="line"><a name="l00162"></a><span class="lineno">  162</span>&#160; </div>
-<div class="line"><a name="l00163"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGraph.html#a3dddc713969a95943d1f9b1e31ec71bc">  163</a></span>&#160;    <a class="code" href="classSVF_1_1CFLGraph.html#a3dddc713969a95943d1f9b1e31ec71bc">CFLGraph</a>(<a class="code" href="classSVF_1_1CFLGraph.html#a27444bf84135748d32291cf0aa78ff81">Kind</a> kind)</div>
+<div class="line"><a name="l00163"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLGraph.html#a3dddc713969a95943d1f9b1e31ec71bc">  163</a></span>&#160;    <a class="code" href="classSVF_1_1CFLGraph.html#a3dddc713969a95943d1f9b1e31ec71bc">CFLGraph</a>(<a class="code" href="classSVF_1_1CFLGraph.html#a59862d1df5b70861474915927c137c6b">Kind</a> kind)</div>
 <div class="line"><a name="l00164"></a><span class="lineno">  164</span>&#160;    {</div>
 <div class="line"><a name="l00165"></a><span class="lineno">  165</span>&#160;        <a class="code" href="classSVF_1_1CFLGraph.html#a0723f25be2a163b21f478cddca5293d2">startKind</a> = kind;</div>
 <div class="line"><a name="l00166"></a><span class="lineno">  166</span>&#160;    }</div>
 <div class="line"><a name="l00167"></a><span class="lineno">  167</span>&#160;    <a class="code" href="classSVF_1_1CFLGraph.html#a887f27836a2fb5eca3c33fb95f3990d3">~CFLGraph</a>() <span class="keyword">override</span> = <span class="keywordflow">default</span>;</div>
 <div class="line"><a name="l00168"></a><span class="lineno">  168</span>&#160; </div>
-<div class="line"><a name="l00169"></a><span class="lineno">  169</span>&#160;    <a class="code" href="classSVF_1_1CFLGraph.html#a27444bf84135748d32291cf0aa78ff81">Kind</a> <a class="code" href="classSVF_1_1CFLGraph.html#a685fb852b2cd3767258225aa3b87caa4">getStartKind</a>() <span class="keyword">const</span>;</div>
+<div class="line"><a name="l00169"></a><span class="lineno">  169</span>&#160;    <a class="code" href="classSVF_1_1CFLGraph.html#a59862d1df5b70861474915927c137c6b">Kind</a> <a class="code" href="classSVF_1_1CFLGraph.html#a685fb852b2cd3767258225aa3b87caa4">getStartKind</a>() <span class="keyword">const</span>;</div>
 <div class="line"><a name="l00170"></a><span class="lineno">  170</span>&#160; </div>
 <div class="line"><a name="l00171"></a><span class="lineno">  171</span>&#160;    <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1CFLGraph.html#a58b944d0f2c11868e17223acdb35f82c">addCFLNode</a>(<a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> <span class="keywordtype">id</span>, <a class="code" href="classSVF_1_1CFLNode.html">CFLNode</a>* node);</div>
 <div class="line"><a name="l00172"></a><span class="lineno">  172</span>&#160; </div>
@@ -282,11 +282,12 @@ $(function() {
 <div class="line"><a name="l00214"></a><span class="lineno">  214</span>&#160; </div>
 <div class="line"><a name="l00215"></a><span class="lineno">  215</span>&#160;<span class="preprocessor">#endif </span><span class="comment">/* CFLG_H_ */</span><span class="preprocessor"></span></div>
 </div><!-- fragment --></div><!-- contents -->
+<div class="ttc" id="aclassSVF_1_1CFLGraph_html_a59862d1df5b70861474915927c137c6b"><div class="ttname"><a href="classSVF_1_1CFLGraph.html#a59862d1df5b70861474915927c137c6b">SVF::CFLGraph::Kind</a></div><div class="ttdeci">CFGrammar::Kind Kind</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00159">CFLGraph.h:159</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CFLNode_html_a22578acf04df6b655766f9a9d54f18d5"><div class="ttname"><a href="classSVF_1_1CFLNode.html#a22578acf04df6b655766f9a9d54f18d5">SVF::CFLNode::addOutEdgeWithKind</a></div><div class="ttdeci">bool addOutEdgeWithKind(CFLEdge *outEdge, GrammarBase::Symbol s)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00118">CFLGraph.h:118</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericNode_html_ae74283fbc788665296a69e56f334557b"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ae74283fbc788665296a69e56f334557b">SVF::GenericNode::addOutgoingEdge</a></div><div class="ttdeci">bool addOutgoingEdge(EdgeType *outEdge)</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00294">GenericGraph.h:294</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CFLNode_html_a0a1b7384a42cad855bddf881e0e09542"><div class="ttname"><a href="classSVF_1_1CFLNode.html#a0a1b7384a42cad855bddf881e0e09542">SVF::CFLNode::getOutEdgeWithTy</a></div><div class="ttdeci">const CFLEdge::CFLEdgeSetTy &amp; getOutEdgeWithTy(GrammarBase::Symbol s)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00099">CFLGraph.h:99</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericNode_html_a95415bebc5986e548f91169b201a5225"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a95415bebc5986e548f91169b201a5225">SVF::GenericNode::removeIncomingEdge</a></div><div class="ttdeci">u32_t removeIncomingEdge(EdgeType *edge)</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00302">GenericGraph.h:302</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="anamespaceSVF_html_a6b1d99f1ec47347364981e23a9d21e0a"><div class="ttname"><a href="namespaceSVF.html#a6b1d99f1ec47347364981e23a9d21e0a">SVF::GenericCFLGraphTy</a></div><div class="ttdeci">GenericGraph&lt; CFLNode, CFLEdge &gt; GenericCFLGraphTy</div><div class="ttdoc">Edge-labeled graph for CFL Reachability analysis.</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00154">CFLGraph.h:154</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericNode_html_a3f20339b5295e11beb0f9adb95c7aa5b"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a3f20339b5295e11beb0f9adb95c7aa5b">SVF::GenericNode::GNodeK</a></div><div class="ttdeci">s64_t GNodeK</div><div class="ttdoc">Edge kind.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00150">GenericGraph.h:150</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericNode_html_a93d217b0c9fd8008a2989ca2b4f3fbfb"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a93d217b0c9fd8008a2989ca2b4f3fbfb">SVF::GenericNode::addIncomingEdge</a></div><div class="ttdeci">bool addIncomingEdge(EdgeType *inEdge)</div><div class="ttdoc">Add incoming and outgoing edges.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00290">GenericGraph.h:290</a></div></div>
@@ -296,12 +297,12 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1CFLEdge_html_acab367a1633d00afdafadf3f3a43e0c8"><div class="ttname"><a href="classSVF_1_1CFLEdge.html#acab367a1633d00afdafadf3f3a43e0c8">SVF::CFLEdge::getEdgeKind</a></div><div class="ttdeci">GEdgeKind getEdgeKind() const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00058">CFLGraph.h:58</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericNode_html_a1880a691130279625e5be6af36e86fc1"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a1880a691130279625e5be6af36e86fc1">SVF::GenericNode::removeOutgoingEdge</a></div><div class="ttdeci">u32_t removeOutgoingEdge(EdgeType *edge)</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00309">GenericGraph.h:309</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CFLNode_html_a0d01ba68e875806fa24d7c1369924da5"><div class="ttname"><a href="classSVF_1_1CFLNode.html#a0d01ba68e875806fa24d7c1369924da5">SVF::CFLNode::addIngoingEdge</a></div><div class="ttdeci">bool addIngoingEdge(CFLEdge *inEdge)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00113">CFLGraph.h:113</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_1CFLGraph_html_a0f1b98e7cecc352a7fa7624b530efe49"><div class="ttname"><a href="classSVF_1_1CFLGraph.html#a0f1b98e7cecc352a7fa7624b530efe49">SVF::CFLGraph::view</a></div><div class="ttdeci">void view()</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8cpp_source.html#l00078">CFLGraph.cpp:78</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_1CFLGraph_html_a887f27836a2fb5eca3c33fb95f3990d3"><div class="ttname"><a href="classSVF_1_1CFLGraph.html#a887f27836a2fb5eca3c33fb95f3990d3">SVF::CFLGraph::~CFLGraph</a></div><div class="ttdeci">~CFLGraph() override=default</div></div>
 <div class="ttc" id="aclassSVF_1_1CFLNode_html_a60dfc3e421558eecee5065e8ae5f984a"><div class="ttname"><a href="classSVF_1_1CFLNode.html#a60dfc3e421558eecee5065e8ae5f984a">SVF::CFLNode::removeCFLInEdge</a></div><div class="ttdeci">bool removeCFLInEdge(CFLEdge *inEdge)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00132">CFLGraph.h:132</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericEdge_html_a5aceeb48929f54264807b36569019a8a"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#a5aceeb48929f54264807b36569019a8a">SVF::GenericEdge::GEdgeKind</a></div><div class="ttdeci">s64_t GEdgeKind</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00062">GenericGraph.h:62</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="anamespaceSVF_html_a1c5f28b91c7c1eeec6ae459b573b2889"><div class="ttname"><a href="namespaceSVF.html#a1c5f28b91c7c1eeec6ae459b573b2889">SVF::GenericCFLNodeTy</a></div><div class="ttdeci">GenericNode&lt; CFLNode, CFLEdge &gt; GenericCFLNodeTy</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00075">CFLGraph.h:75</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_1GenericEdge_html_aab8892b73370c32b48621cd1d0cce614"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#aab8892b73370c32b48621cd1d0cce614">SVF::GenericEdge::GEdgeFlag</a></div><div class="ttdeci">u64_t GEdgeFlag</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00061">GenericGraph.h:61</a></div></div>
@@ -309,7 +310,6 @@ $(function() {
 <div class="ttc" id="astructSVF_1_1GenericGraphTraits_html"><div class="ttname"><a href="structSVF_1_1GenericGraphTraits.html">SVF::GenericGraphTraits</a></div><div class="ttdef"><b>Definition:</b> <a href="GraphTraits_8h_source.html#l00036">GraphTraits.h:36</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericEdge_html_ad9edb45e74ae675d9da82f5acf02d56e"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#ad9edb45e74ae675d9da82f5acf02d56e">SVF::GenericEdge::getDstID</a></div><div class="ttdeci">NodeID getDstID() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00085">GenericGraph.h:85</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CFLGraph_html_a685fb852b2cd3767258225aa3b87caa4"><div class="ttname"><a href="classSVF_1_1CFLGraph.html#a685fb852b2cd3767258225aa3b87caa4">SVF::CFLGraph::getStartKind</a></div><div class="ttdeci">Kind getStartKind() const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8cpp_source.html#l00037">CFLGraph.cpp:37</a></div></div>
-<div class="ttc" id="aclassSVF_1_1CFLGraph_html_a27444bf84135748d32291cf0aa78ff81"><div class="ttname"><a href="classSVF_1_1CFLGraph.html#a27444bf84135748d32291cf0aa78ff81">SVF::CFLGraph::Kind</a></div><div class="ttdeci">CFLGrammar::Kind Kind</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00159">CFLGraph.h:159</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CFLNode_html_a47eba9df9dc664e56631ecc9b6146b33"><div class="ttname"><a href="classSVF_1_1CFLNode.html#a47eba9df9dc664e56631ecc9b6146b33">SVF::CFLNode::outCFLEdges</a></div><div class="ttdeci">CFLEdgeDataTy outCFLEdges</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00091">CFLGraph.h:91</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CFLNode_html_ade95ad99cb4d89e5eeb5ce7043e80852"><div class="ttname"><a href="classSVF_1_1CFLNode.html#ade95ad99cb4d89e5eeb5ce7043e80852">SVF::CFLNode::CFLEdgeDataTy</a></div><div class="ttdeci">std::map&lt; GrammarBase::Symbol, CFLEdge::CFLEdgeSetTy &gt; CFLEdgeDataTy</div><div class="ttdoc">Different Kind(label) associated edges set.</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00087">CFLGraph.h:87</a></div></div>
 <div class="ttc" id="astructSVF_1_1GenericGraphTraits_3_01SVF_1_1CFLGraph_01_5_01_4_html_a0a1dd90a8609a91115f17b78666d3674"><div class="ttname"><a href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFLGraph_01_5_01_4.html#a0a1dd90a8609a91115f17b78666d3674">SVF::GenericGraphTraits&lt; SVF::CFLGraph * &gt;::NodeRef</a></div><div class="ttdeci">SVF::CFLNode * NodeRef</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00210">CFLGraph.h:210</a></div></div>
@@ -319,6 +319,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1CFLNode_html_acdb5d04eae48b26bb21f8738c62cd3bf"><div class="ttname"><a href="classSVF_1_1CFLNode.html#acdb5d04eae48b26bb21f8738c62cd3bf">SVF::CFLNode::~CFLNode</a></div><div class="ttdeci">~CFLNode() override=default</div></div>
 <div class="ttc" id="aclassSVF_1_1CFLNode_html_a821078d812986c488932610063d7509f"><div class="ttname"><a href="classSVF_1_1CFLNode.html#a821078d812986c488932610063d7509f">SVF::CFLNode::removeCFLOutEdge</a></div><div class="ttdeci">bool removeCFLOutEdge(CFLEdge *outEdge)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00142">CFLGraph.h:142</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CFLNode_html_a2c4c59e6c12a2a0efb1d58702c7062c2"><div class="ttname"><a href="classSVF_1_1CFLNode.html#a2c4c59e6c12a2a0efb1d58702c7062c2">SVF::CFLNode::addInEdgeWithKind</a></div><div class="ttdeci">bool addInEdgeWithKind(CFLEdge *inEdge, GrammarBase::Symbol s)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00104">CFLGraph.h:104</a></div></div>
+<div class="ttc" id="aclassSVF_1_1CFLGraph_html_aef6b4499430812645aa92799cf61ab96"><div class="ttname"><a href="classSVF_1_1CFLGraph.html#aef6b4499430812645aa92799cf61ab96">SVF::CFLGraph::Symbol</a></div><div class="ttdeci">CFGrammar::Symbol Symbol</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00158">CFLGraph.h:158</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CFLEdge_html_ab9bf30450121917228deca8a83a64ac0"><div class="ttname"><a href="classSVF_1_1CFLEdge.html#ab9bf30450121917228deca8a83a64ac0">SVF::CFLEdge::CFLEdgeSetTy</a></div><div class="ttdeci">GenericNode&lt; CFLNode, CFLEdge &gt;::GEdgeSetTy CFLEdgeSetTy</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00050">CFLGraph.h:50</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericEdge_html_af1c2fd4b5ef1d7b7605572bf2489c298"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#af1c2fd4b5ef1d7b7605572bf2489c298">SVF::GenericEdge::EdgeKindMaskBits</a></div><div class="ttdeci">static constexpr unsigned char EdgeKindMaskBits</div><div class="ttdoc">We use the lower 8 bits to denote edge kind.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00132">GenericGraph.h:132</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CFLEdge_html_a808f0a3b6df73df41dcc2f0bfe944116"><div class="ttname"><a href="classSVF_1_1CFLEdge.html#a808f0a3b6df73df41dcc2f0bfe944116">SVF::CFLEdge::CFLEdge</a></div><div class="ttdeci">CFLEdge(CFLNode *s, CFLNode *d, GEdgeFlag k=0)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00052">CFLGraph.h:52</a></div></div>
@@ -330,9 +331,8 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1CFLGraph_html_a09ba3a0e3878f8ac55596838ea958f14"><div class="ttname"><a href="classSVF_1_1CFLGraph.html#a09ba3a0e3878f8ac55596838ea958f14">SVF::CFLGraph::CFLEdgeSet</a></div><div class="ttdeci">GenericNode&lt; CFLNode, CFLEdge &gt;::GEdgeSetTy CFLEdgeSet</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00160">CFLGraph.h:160</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CFLNode_html_a3a7d1ea890272e9905406638b12bdc30"><div class="ttname"><a href="classSVF_1_1CFLNode.html#a3a7d1ea890272e9905406638b12bdc30">SVF::CFLNode::inCFLEdges</a></div><div class="ttdeci">CFLEdgeDataTy inCFLEdges</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00090">CFLGraph.h:90</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericEdge_html_a93dec4c27088242a4b1b6aa82cea46b9"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#a93dec4c27088242a4b1b6aa82cea46b9">SVF::GenericEdge::EdgeKindMask</a></div><div class="ttdeci">static constexpr u64_t EdgeKindMask</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00133">GenericGraph.h:133</a></div></div>
-<div class="ttc" id="aclassSVF_1_1GrammarBase_html_a7aef5c42fbd8a62dd4a541cc0e8e8187"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">SVF::GrammarBase::Kind</a></div><div class="ttdeci">u32_t Kind</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00039">CFLGrammar.h:39</a></div></div>
+<div class="ttc" id="aclassSVF_1_1GrammarBase_html_a7aef5c42fbd8a62dd4a541cc0e8e8187"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">SVF::GrammarBase::Kind</a></div><div class="ttdeci">u32_t Kind</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00039">CFGrammar.h:39</a></div></div>
 <div class="ttc" id="aGenericGraph_8h_html"><div class="ttname"><a href="GenericGraph_8h.html">GenericGraph.h</a></div></div>
-<div class="ttc" id="aclassSVF_1_1CFLGraph_html_a87671d8f952e7dd65dabe2d5ce6764e3"><div class="ttname"><a href="classSVF_1_1CFLGraph.html#a87671d8f952e7dd65dabe2d5ce6764e3">SVF::CFLGraph::Symbol</a></div><div class="ttdeci">CFLGrammar::Symbol Symbol</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00158">CFLGraph.h:158</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CFLNode_html_a235dcc5d8115d8450230638ce68070d6"><div class="ttname"><a href="classSVF_1_1CFLNode.html#a235dcc5d8115d8450230638ce68070d6">SVF::CFLNode::CFLNode</a></div><div class="ttdeci">CFLNode(NodeID i=0, GNodeK k=0)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00079">CFLGraph.h:79</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CFLEdge_html_a5d11e42f5571287992362669fee9e159"><div class="ttname"><a href="classSVF_1_1CFLEdge.html#a5d11e42f5571287992362669fee9e159">SVF::CFLEdge::getEdgeKindWithMask</a></div><div class="ttdeci">GEdgeKind getEdgeKindWithMask() const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00063">CFLGraph.h:63</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CFLGraph_html_afcf910a94a3b081067f5a55599475a16"><div class="ttname"><a href="classSVF_1_1CFLGraph.html#afcf910a94a3b081067f5a55599475a16">SVF::CFLGraph::getCFLEdges</a></div><div class="ttdeci">const CFLEdgeSet &amp; getCFLEdges() const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00181">CFLGraph.h:181</a></div></div>