svf-tools 1.0.558 → 1.0.561

package/SVF-doxygen/html/html/classSVF_1_1TCTEdge.html

@@ -154,7 +154,7 @@ Additional Inherited Members</h2></td></tr>
 </table>
 <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
 <div class="textblock">
-<p class="definition">Definition at line <a class="el" href="TCT_8h_source.html#l00029">29</a> of file <a class="el" href="TCT_8h_source.html">TCT.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="TCT_8h_source.html#l00051">51</a> of file <a class="el" href="TCT_8h_source.html">TCT.h</a>.</p>
 </div><h2 class="groupheader">Member Typedef Documentation</h2>
 <a id="a7b3463c5a458ac6472f2a4e531b80a94"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#a7b3463c5a458ac6472f2a4e531b80a94">&#9670;&nbsp;</a></span>CallInstSet</h2>
@@ -168,7 +168,7 @@ Additional Inherited Members</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="TCT_8h_source.html#l00032">32</a> of file <a class="el" href="TCT_8h_source.html">TCT.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="TCT_8h_source.html#l00054">54</a> of file <a class="el" href="TCT_8h_source.html">TCT.h</a>.</p>
 
 </div>
 </div>
@@ -184,7 +184,7 @@ Additional Inherited Members</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="TCT_8h_source.html#l00057">57</a> of file <a class="el" href="TCT_8h_source.html">TCT.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="TCT_8h_source.html#l00079">79</a> of file <a class="el" href="TCT_8h_source.html">TCT.h</a>.</p>
 
 </div>
 </div>
@@ -204,8 +204,8 @@ Additional Inherited Members</h2></td></tr>
 <tr><th colspan="2">Enumerator</th></tr><tr><td class="fieldname"><a id="a18644ee9ae37b03254afb077dca5494fac7915e379517d9d17b770540adb577c8"></a>ThreadCreateEdge&#160;</td><td class="fielddoc"></td></tr>
 </table>
 
-<p class="definition">Definition at line <a class="el" href="TCT_8h_source.html#l00033">33</a> of file <a class="el" href="TCT_8h_source.html">TCT.h</a>.</p>
-<div class="fragment"><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;        <a class="code" href="classSVF_1_1TCTEdge.html#a18644ee9ae37b03254afb077dca5494fac7915e379517d9d17b770540adb577c8">ThreadCreateEdge</a></div><div class="line"><a name="l00036"></a><span class="lineno">   36</span>&#160;    };</div><div class="ttc" id="classSVF_1_1TCTEdge_html_a18644ee9ae37b03254afb077dca5494fac7915e379517d9d17b770540adb577c8"><div class="ttname"><a href="classSVF_1_1TCTEdge.html#a18644ee9ae37b03254afb077dca5494fac7915e379517d9d17b770540adb577c8">SVF::TCTEdge::ThreadCreateEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="TCT_8h_source.html#l00035">TCT.h:35</a></div></div>
+<p class="definition">Definition at line <a class="el" href="TCT_8h_source.html#l00055">55</a> of file <a class="el" href="TCT_8h_source.html">TCT.h</a>.</p>
+<div class="fragment"><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;        <a class="code" href="classSVF_1_1TCTEdge.html#a18644ee9ae37b03254afb077dca5494fac7915e379517d9d17b770540adb577c8">ThreadCreateEdge</a></div><div class="line"><a name="l00058"></a><span class="lineno">   58</span>&#160;    };</div><div class="ttc" id="classSVF_1_1TCTEdge_html_a18644ee9ae37b03254afb077dca5494fac7915e379517d9d17b770540adb577c8"><div class="ttname"><a href="classSVF_1_1TCTEdge.html#a18644ee9ae37b03254afb077dca5494fac7915e379517d9d17b770540adb577c8">SVF::TCTEdge::ThreadCreateEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="TCT_8h_source.html#l00057">TCT.h:57</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -252,8 +252,8 @@ Additional Inherited Members</h2></td></tr>
 
 <p>Constructor. </p>
 
-<p class="definition">Definition at line <a class="el" href="TCT_8h_source.html#l00038">38</a> of file <a class="el" href="TCT_8h_source.html">TCT.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00038"></a><span class="lineno">   38</span>&#160;                                                 :</div><div class="line"><a name="l00039"></a><span class="lineno">   39</span>&#160;        <a class="code" href="namespaceSVF.html#a07db688cc13384ddfddb1372612db205">GenericTCTEdgeTy</a>(s, d, kind)</div><div class="line"><a name="l00040"></a><span class="lineno">   40</span>&#160;    {</div><div class="line"><a name="l00041"></a><span class="lineno">   41</span>&#160;    }</div><div class="ttc" id="namespaceSVF_html_a07db688cc13384ddfddb1372612db205"><div class="ttname"><a href="namespaceSVF.html#a07db688cc13384ddfddb1372612db205">SVF::GenericTCTEdgeTy</a></div><div class="ttdeci">GenericEdge&lt; TCTNode &gt; GenericTCTEdgeTy</div><div class="ttdef"><b>Definition:</b> <a href="TCT_8h_source.html#l00022">TCT.h:22</a></div></div>
+<p class="definition">Definition at line <a class="el" href="TCT_8h_source.html#l00060">60</a> of file <a class="el" href="TCT_8h_source.html">TCT.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00060"></a><span class="lineno">   60</span>&#160;                                                 :</div><div class="line"><a name="l00061"></a><span class="lineno">   61</span>&#160;        <a class="code" href="namespaceSVF.html#a07db688cc13384ddfddb1372612db205">GenericTCTEdgeTy</a>(s, d, kind)</div><div class="line"><a name="l00062"></a><span class="lineno">   62</span>&#160;    {</div><div class="line"><a name="l00063"></a><span class="lineno">   63</span>&#160;    }</div><div class="ttc" id="namespaceSVF_html_a07db688cc13384ddfddb1372612db205"><div class="ttname"><a href="namespaceSVF.html#a07db688cc13384ddfddb1372612db205">SVF::GenericTCTEdgeTy</a></div><div class="ttdeci">GenericEdge&lt; TCTNode &gt; GenericTCTEdgeTy</div><div class="ttdef"><b>Definition:</b> <a href="TCT_8h_source.html#l00044">TCT.h:44</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -282,8 +282,8 @@ Additional Inherited Members</h2></td></tr>
 
 <p>Destructor. </p>
 
-<p class="definition">Definition at line <a class="el" href="TCT_8h_source.html#l00043">43</a> of file <a class="el" href="TCT_8h_source.html">TCT.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00044"></a><span class="lineno">   44</span>&#160;    {</div><div class="line"><a name="l00045"></a><span class="lineno">   45</span>&#160;    }</div></div><!-- fragment -->
+<p class="definition">Definition at line <a class="el" href="TCT_8h_source.html#l00065">65</a> of file <a class="el" href="TCT_8h_source.html">TCT.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00066"></a><span class="lineno">   66</span>&#160;    {</div><div class="line"><a name="l00067"></a><span class="lineno">   67</span>&#160;    }</div></div><!-- fragment -->
 </div>
 </div>
 <h2 class="groupheader">Member Function Documentation</h2>
@@ -313,8 +313,8 @@ Additional Inherited Members</h2></td></tr>
 
 <p>Classof. </p>
 
-<p class="definition">Definition at line <a class="el" href="TCT_8h_source.html#l00048">48</a> of file <a class="el" href="TCT_8h_source.html">TCT.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00049"></a><span class="lineno">   49</span>&#160;    {</div><div class="line"><a name="l00050"></a><span class="lineno">   50</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00051"></a><span class="lineno">   51</span>&#160;    }</div></div><!-- fragment -->
+<p class="definition">Definition at line <a class="el" href="TCT_8h_source.html#l00070">70</a> of file <a class="el" href="TCT_8h_source.html">TCT.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00071"></a><span class="lineno">   71</span>&#160;    {</div><div class="line"><a name="l00072"></a><span class="lineno">   72</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00073"></a><span class="lineno">   73</span>&#160;    }</div></div><!-- fragment -->
 </div>
 </div>
 <a id="a13088f28a806a095ede56240b9fa87a2"></a>
@@ -341,8 +341,8 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="TCT_8h_source.html#l00052">52</a> of file <a class="el" href="TCT_8h_source.html">TCT.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00053"></a><span class="lineno">   53</span>&#160;    {</div><div class="line"><a name="l00054"></a><span class="lineno">   54</span>&#160;        <span class="keywordflow">return</span> edge-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1TCTEdge.html#a18644ee9ae37b03254afb077dca5494fac7915e379517d9d17b770540adb577c8">TCTEdge::ThreadCreateEdge</a>;</div><div class="line"><a name="l00055"></a><span class="lineno">   55</span>&#160;    }</div><div class="ttc" id="classSVF_1_1TCTEdge_html_a18644ee9ae37b03254afb077dca5494fac7915e379517d9d17b770540adb577c8"><div class="ttname"><a href="classSVF_1_1TCTEdge.html#a18644ee9ae37b03254afb077dca5494fac7915e379517d9d17b770540adb577c8">SVF::TCTEdge::ThreadCreateEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="TCT_8h_source.html#l00035">TCT.h:35</a></div></div>
+<p class="definition">Definition at line <a class="el" href="TCT_8h_source.html#l00074">74</a> of file <a class="el" href="TCT_8h_source.html">TCT.h</a>.</p>
+<div class="fragment"><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="keywordflow">return</span> edge-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1TCTEdge.html#a18644ee9ae37b03254afb077dca5494fac7915e379517d9d17b770540adb577c8">TCTEdge::ThreadCreateEdge</a>;</div><div class="line"><a name="l00077"></a><span class="lineno">   77</span>&#160;    }</div><div class="ttc" id="classSVF_1_1TCTEdge_html_a18644ee9ae37b03254afb077dca5494fac7915e379517d9d17b770540adb577c8"><div class="ttname"><a href="classSVF_1_1TCTEdge.html#a18644ee9ae37b03254afb077dca5494fac7915e379517d9d17b770540adb577c8">SVF::TCTEdge::ThreadCreateEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="TCT_8h_source.html#l00057">TCT.h:57</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>

package/SVF-doxygen/html/html/classSVF_1_1TCTNode.html

@@ -199,7 +199,7 @@ Additional Inherited Members</h2></td></tr>
 </table>
 <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
 <div class="textblock">
-<p class="definition">Definition at line <a class="el" href="TCT_8h_source.html#l00065">65</a> of file <a class="el" href="TCT_8h_source.html">TCT.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="TCT_8h_source.html#l00087">87</a> of file <a class="el" href="TCT_8h_source.html">TCT.h</a>.</p>
 </div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
 <a id="afdb40d78890c84d47441ade941a6d8c6"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#afdb40d78890c84d47441ade941a6d8c6">&#9670;&nbsp;</a></span>TCTNode()</h2>
@@ -237,10 +237,10 @@ Additional Inherited Members</h2></td></tr>
 
 <p>Constructor. </p>
 
-<p class="definition">Definition at line <a class="el" href="TCT_8h_source.html#l00070">70</a> of file <a class="el" href="TCT_8h_source.html">TCT.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00070"></a><span class="lineno">   70</span>&#160;                                             :</div><div class="line"><a name="l00071"></a><span class="lineno">   71</span>&#160;        <a class="code" href="namespaceSVF.html#a115fc72b31d2ae72e60ebd9af1351e83">GenericTCTNodeTy</a>(i, 0), <a class="code" href="classSVF_1_1TCTNode.html#a8f2ef1020b45aada8b79ac3b8d27c2a6">ctx</a>(cctx), <a class="code" href="classSVF_1_1TCTNode.html#a414f4b98fb8fd36d2cb381ff56eb98d8">multiforked</a>(<span class="keyword">false</span>)</div><div class="line"><a name="l00072"></a><span class="lineno">   72</span>&#160;    {</div><div class="line"><a name="l00073"></a><span class="lineno">   73</span>&#160;    }</div><div class="ttc" id="classSVF_1_1TCTNode_html_a8f2ef1020b45aada8b79ac3b8d27c2a6"><div class="ttname"><a href="classSVF_1_1TCTNode.html#a8f2ef1020b45aada8b79ac3b8d27c2a6">SVF::TCTNode::ctx</a></div><div class="ttdeci">const CxtThread ctx</div><div class="ttdef"><b>Definition:</b> <a href="TCT_8h_source.html#l00107">TCT.h:107</a></div></div>
-<div class="ttc" id="classSVF_1_1TCTNode_html_a414f4b98fb8fd36d2cb381ff56eb98d8"><div class="ttname"><a href="classSVF_1_1TCTNode.html#a414f4b98fb8fd36d2cb381ff56eb98d8">SVF::TCTNode::multiforked</a></div><div class="ttdeci">bool multiforked</div><div class="ttdef"><b>Definition:</b> <a href="TCT_8h_source.html#l00108">TCT.h:108</a></div></div>
-<div class="ttc" id="namespaceSVF_html_a115fc72b31d2ae72e60ebd9af1351e83"><div class="ttname"><a href="namespaceSVF.html#a115fc72b31d2ae72e60ebd9af1351e83">SVF::GenericTCTNodeTy</a></div><div class="ttdeci">GenericNode&lt; TCTNode, TCTEdge &gt; GenericTCTNodeTy</div><div class="ttdef"><b>Definition:</b> <a href="TCT_8h_source.html#l00064">TCT.h:64</a></div></div>
+<p class="definition">Definition at line <a class="el" href="TCT_8h_source.html#l00092">92</a> of file <a class="el" href="TCT_8h_source.html">TCT.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00092"></a><span class="lineno">   92</span>&#160;                                             :</div><div class="line"><a name="l00093"></a><span class="lineno">   93</span>&#160;        <a class="code" href="namespaceSVF.html#a115fc72b31d2ae72e60ebd9af1351e83">GenericTCTNodeTy</a>(i, 0), <a class="code" href="classSVF_1_1TCTNode.html#a8f2ef1020b45aada8b79ac3b8d27c2a6">ctx</a>(cctx), <a class="code" href="classSVF_1_1TCTNode.html#a414f4b98fb8fd36d2cb381ff56eb98d8">multiforked</a>(<span class="keyword">false</span>)</div><div class="line"><a name="l00094"></a><span class="lineno">   94</span>&#160;    {</div><div class="line"><a name="l00095"></a><span class="lineno">   95</span>&#160;    }</div><div class="ttc" id="classSVF_1_1TCTNode_html_a8f2ef1020b45aada8b79ac3b8d27c2a6"><div class="ttname"><a href="classSVF_1_1TCTNode.html#a8f2ef1020b45aada8b79ac3b8d27c2a6">SVF::TCTNode::ctx</a></div><div class="ttdeci">const CxtThread ctx</div><div class="ttdef"><b>Definition:</b> <a href="TCT_8h_source.html#l00129">TCT.h:129</a></div></div>
+<div class="ttc" id="classSVF_1_1TCTNode_html_a414f4b98fb8fd36d2cb381ff56eb98d8"><div class="ttname"><a href="classSVF_1_1TCTNode.html#a414f4b98fb8fd36d2cb381ff56eb98d8">SVF::TCTNode::multiforked</a></div><div class="ttdeci">bool multiforked</div><div class="ttdef"><b>Definition:</b> <a href="TCT_8h_source.html#l00130">TCT.h:130</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a115fc72b31d2ae72e60ebd9af1351e83"><div class="ttname"><a href="namespaceSVF.html#a115fc72b31d2ae72e60ebd9af1351e83">SVF::GenericTCTNodeTy</a></div><div class="ttdeci">GenericNode&lt; TCTNode, TCTEdge &gt; GenericTCTNodeTy</div><div class="ttdef"><b>Definition:</b> <a href="TCT_8h_source.html#l00086">TCT.h:86</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -268,9 +268,9 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="TCT_8h_source.html#l00075">75</a> of file <a class="el" href="TCT_8h_source.html">TCT.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00076"></a><span class="lineno">   76</span>&#160;    {</div><div class="line"><a name="l00077"></a><span class="lineno">   77</span>&#160;        <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVFUtil::outs</a>() &lt;&lt; <span class="stringliteral">&quot;---\ntid: &quot;</span> &lt;&lt; this-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>() &lt;&lt; <span class="stringliteral">&quot;  inloop:&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1TCTNode.html#a8f2ef1020b45aada8b79ac3b8d27c2a6">ctx</a>.<a class="code" href="classSVF_1_1CxtThread.html#a39230596cd1c927353eaaee071eb16c6">isInloop</a>() &lt;&lt; <span class="stringliteral">&quot;  incycle:&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1TCTNode.html#a8f2ef1020b45aada8b79ac3b8d27c2a6">ctx</a>.<a class="code" href="classSVF_1_1CxtThread.html#a54c95794963cb5a478db7c49c1b8c428">isIncycle</a>() &lt;&lt; <span class="stringliteral">&quot; multiforked:&quot;</span>&lt;&lt; <a class="code" href="classSVF_1_1TCTNode.html#a5dd0cf88e381438d191b275314117561">isMultiforked</a>();</div><div class="line"><a name="l00078"></a><span class="lineno">   78</span>&#160;    }</div><div class="ttc" id="classSVF_1_1TCTNode_html_a5dd0cf88e381438d191b275314117561"><div class="ttname"><a href="classSVF_1_1TCTNode.html#a5dd0cf88e381438d191b275314117561">SVF::TCTNode::isMultiforked</a></div><div class="ttdeci">bool isMultiforked() const</div><div class="ttdef"><b>Definition:</b> <a href="TCT_8h_source.html#l00100">TCT.h:100</a></div></div>
-<div class="ttc" id="classSVF_1_1TCTNode_html_a8f2ef1020b45aada8b79ac3b8d27c2a6"><div class="ttname"><a href="classSVF_1_1TCTNode.html#a8f2ef1020b45aada8b79ac3b8d27c2a6">SVF::TCTNode::ctx</a></div><div class="ttdeci">const CxtThread ctx</div><div class="ttdef"><b>Definition:</b> <a href="TCT_8h_source.html#l00107">TCT.h:107</a></div></div>
+<p class="definition">Definition at line <a class="el" href="TCT_8h_source.html#l00097">97</a> of file <a class="el" href="TCT_8h_source.html">TCT.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00098"></a><span class="lineno">   98</span>&#160;    {</div><div class="line"><a name="l00099"></a><span class="lineno">   99</span>&#160;        <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVFUtil::outs</a>() &lt;&lt; <span class="stringliteral">&quot;---\ntid: &quot;</span> &lt;&lt; this-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>() &lt;&lt; <span class="stringliteral">&quot;  inloop:&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1TCTNode.html#a8f2ef1020b45aada8b79ac3b8d27c2a6">ctx</a>.<a class="code" href="classSVF_1_1CxtThread.html#a39230596cd1c927353eaaee071eb16c6">isInloop</a>() &lt;&lt; <span class="stringliteral">&quot;  incycle:&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1TCTNode.html#a8f2ef1020b45aada8b79ac3b8d27c2a6">ctx</a>.<a class="code" href="classSVF_1_1CxtThread.html#a54c95794963cb5a478db7c49c1b8c428">isIncycle</a>() &lt;&lt; <span class="stringliteral">&quot; multiforked:&quot;</span>&lt;&lt; <a class="code" href="classSVF_1_1TCTNode.html#a5dd0cf88e381438d191b275314117561">isMultiforked</a>();</div><div class="line"><a name="l00100"></a><span class="lineno">  100</span>&#160;    }</div><div class="ttc" id="classSVF_1_1TCTNode_html_a5dd0cf88e381438d191b275314117561"><div class="ttname"><a href="classSVF_1_1TCTNode.html#a5dd0cf88e381438d191b275314117561">SVF::TCTNode::isMultiforked</a></div><div class="ttdeci">bool isMultiforked() const</div><div class="ttdef"><b>Definition:</b> <a href="TCT_8h_source.html#l00122">TCT.h:122</a></div></div>
+<div class="ttc" id="classSVF_1_1TCTNode_html_a8f2ef1020b45aada8b79ac3b8d27c2a6"><div class="ttname"><a href="classSVF_1_1TCTNode.html#a8f2ef1020b45aada8b79ac3b8d27c2a6">SVF::TCTNode::ctx</a></div><div class="ttdeci">const CxtThread ctx</div><div class="ttdef"><b>Definition:</b> <a href="TCT_8h_source.html#l00129">TCT.h:129</a></div></div>
 <div class="ttc" id="classSVF_1_1CxtThread_html_a39230596cd1c927353eaaee071eb16c6"><div class="ttname"><a href="classSVF_1_1CxtThread.html#a39230596cd1c927353eaaee071eb16c6">SVF::CxtThread::isInloop</a></div><div class="ttdeci">bool isInloop() const</div><div class="ttdef"><b>Definition:</b> <a href="CxtStmt_8h_source.html#l00263">CxtStmt.h:263</a></div></div>
 <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_aed0b0b9f035057552a6a82154fd88e61"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVF::SVFUtil::outs</a></div><div class="ttdeci">std::ostream &amp; outs()</div><div class="ttdoc">Overwrite llvm::outs() </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00049">SVFUtil.h:49</a></div></div>
 <div class="ttc" id="classSVF_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#l00169">GenericGraph.h:169</a></div></div>
@@ -303,8 +303,8 @@ Additional Inherited Members</h2></td></tr>
 
 <p>Get <a class="el" href="classSVF_1_1CxtThread.html">CxtThread</a>. </p>
 
-<p class="definition">Definition at line <a class="el" href="TCT_8h_source.html#l00081">81</a> of file <a class="el" href="TCT_8h_source.html">TCT.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00082"></a><span class="lineno">   82</span>&#160;    {</div><div class="line"><a name="l00083"></a><span class="lineno">   83</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1TCTNode.html#a8f2ef1020b45aada8b79ac3b8d27c2a6">ctx</a>;</div><div class="line"><a name="l00084"></a><span class="lineno">   84</span>&#160;    }</div><div class="ttc" id="classSVF_1_1TCTNode_html_a8f2ef1020b45aada8b79ac3b8d27c2a6"><div class="ttname"><a href="classSVF_1_1TCTNode.html#a8f2ef1020b45aada8b79ac3b8d27c2a6">SVF::TCTNode::ctx</a></div><div class="ttdeci">const CxtThread ctx</div><div class="ttdef"><b>Definition:</b> <a href="TCT_8h_source.html#l00107">TCT.h:107</a></div></div>
+<p class="definition">Definition at line <a class="el" href="TCT_8h_source.html#l00103">103</a> of file <a class="el" href="TCT_8h_source.html">TCT.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00104"></a><span class="lineno">  104</span>&#160;    {</div><div class="line"><a name="l00105"></a><span class="lineno">  105</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1TCTNode.html#a8f2ef1020b45aada8b79ac3b8d27c2a6">ctx</a>;</div><div class="line"><a name="l00106"></a><span class="lineno">  106</span>&#160;    }</div><div class="ttc" id="classSVF_1_1TCTNode_html_a8f2ef1020b45aada8b79ac3b8d27c2a6"><div class="ttname"><a href="classSVF_1_1TCTNode.html#a8f2ef1020b45aada8b79ac3b8d27c2a6">SVF::TCTNode::ctx</a></div><div class="ttdeci">const CxtThread ctx</div><div class="ttdef"><b>Definition:</b> <a href="TCT_8h_source.html#l00129">TCT.h:129</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -331,8 +331,8 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="TCT_8h_source.html#l00092">92</a> of file <a class="el" href="TCT_8h_source.html">TCT.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00093"></a><span class="lineno">   93</span>&#160;    {</div><div class="line"><a name="l00094"></a><span class="lineno">   94</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1TCTNode.html#a8f2ef1020b45aada8b79ac3b8d27c2a6">ctx</a>.<a class="code" href="classSVF_1_1CxtThread.html#a54c95794963cb5a478db7c49c1b8c428">isIncycle</a>();</div><div class="line"><a name="l00095"></a><span class="lineno">   95</span>&#160;    }</div><div class="ttc" id="classSVF_1_1TCTNode_html_a8f2ef1020b45aada8b79ac3b8d27c2a6"><div class="ttname"><a href="classSVF_1_1TCTNode.html#a8f2ef1020b45aada8b79ac3b8d27c2a6">SVF::TCTNode::ctx</a></div><div class="ttdeci">const CxtThread ctx</div><div class="ttdef"><b>Definition:</b> <a href="TCT_8h_source.html#l00107">TCT.h:107</a></div></div>
+<p class="definition">Definition at line <a class="el" href="TCT_8h_source.html#l00114">114</a> of file <a class="el" href="TCT_8h_source.html">TCT.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00115"></a><span class="lineno">  115</span>&#160;    {</div><div class="line"><a name="l00116"></a><span class="lineno">  116</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1TCTNode.html#a8f2ef1020b45aada8b79ac3b8d27c2a6">ctx</a>.<a class="code" href="classSVF_1_1CxtThread.html#a54c95794963cb5a478db7c49c1b8c428">isIncycle</a>();</div><div class="line"><a name="l00117"></a><span class="lineno">  117</span>&#160;    }</div><div class="ttc" id="classSVF_1_1TCTNode_html_a8f2ef1020b45aada8b79ac3b8d27c2a6"><div class="ttname"><a href="classSVF_1_1TCTNode.html#a8f2ef1020b45aada8b79ac3b8d27c2a6">SVF::TCTNode::ctx</a></div><div class="ttdeci">const CxtThread ctx</div><div class="ttdef"><b>Definition:</b> <a href="TCT_8h_source.html#l00129">TCT.h:129</a></div></div>
 <div class="ttc" id="classSVF_1_1CxtThread_html_a54c95794963cb5a478db7c49c1b8c428"><div class="ttname"><a href="classSVF_1_1CxtThread.html#a54c95794963cb5a478db7c49c1b8c428">SVF::CxtThread::isIncycle</a></div><div class="ttdeci">bool isIncycle() const</div><div class="ttdef"><b>Definition:</b> <a href="CxtStmt_8h_source.html#l00271">CxtStmt.h:271</a></div></div>
 </div><!-- fragment -->
 </div>
@@ -362,8 +362,8 @@ Additional Inherited Members</h2></td></tr>
 
 <p>inloop, incycle attributes </p>
 
-<p class="definition">Definition at line <a class="el" href="TCT_8h_source.html#l00088">88</a> of file <a class="el" href="TCT_8h_source.html">TCT.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00089"></a><span class="lineno">   89</span>&#160;    {</div><div class="line"><a name="l00090"></a><span class="lineno">   90</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1TCTNode.html#a8f2ef1020b45aada8b79ac3b8d27c2a6">ctx</a>.<a class="code" href="classSVF_1_1CxtThread.html#a39230596cd1c927353eaaee071eb16c6">isInloop</a>();</div><div class="line"><a name="l00091"></a><span class="lineno">   91</span>&#160;    }</div><div class="ttc" id="classSVF_1_1TCTNode_html_a8f2ef1020b45aada8b79ac3b8d27c2a6"><div class="ttname"><a href="classSVF_1_1TCTNode.html#a8f2ef1020b45aada8b79ac3b8d27c2a6">SVF::TCTNode::ctx</a></div><div class="ttdeci">const CxtThread ctx</div><div class="ttdef"><b>Definition:</b> <a href="TCT_8h_source.html#l00107">TCT.h:107</a></div></div>
+<p class="definition">Definition at line <a class="el" href="TCT_8h_source.html#l00110">110</a> of file <a class="el" href="TCT_8h_source.html">TCT.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00111"></a><span class="lineno">  111</span>&#160;    {</div><div class="line"><a name="l00112"></a><span class="lineno">  112</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1TCTNode.html#a8f2ef1020b45aada8b79ac3b8d27c2a6">ctx</a>.<a class="code" href="classSVF_1_1CxtThread.html#a39230596cd1c927353eaaee071eb16c6">isInloop</a>();</div><div class="line"><a name="l00113"></a><span class="lineno">  113</span>&#160;    }</div><div class="ttc" id="classSVF_1_1TCTNode_html_a8f2ef1020b45aada8b79ac3b8d27c2a6"><div class="ttname"><a href="classSVF_1_1TCTNode.html#a8f2ef1020b45aada8b79ac3b8d27c2a6">SVF::TCTNode::ctx</a></div><div class="ttdeci">const CxtThread ctx</div><div class="ttdef"><b>Definition:</b> <a href="TCT_8h_source.html#l00129">TCT.h:129</a></div></div>
 <div class="ttc" id="classSVF_1_1CxtThread_html_a39230596cd1c927353eaaee071eb16c6"><div class="ttname"><a href="classSVF_1_1CxtThread.html#a39230596cd1c927353eaaee071eb16c6">SVF::CxtThread::isInloop</a></div><div class="ttdeci">bool isInloop() const</div><div class="ttdef"><b>Definition:</b> <a href="CxtStmt_8h_source.html#l00263">CxtStmt.h:263</a></div></div>
 </div><!-- fragment -->
 </div>
@@ -391,8 +391,8 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="TCT_8h_source.html#l00100">100</a> of file <a class="el" href="TCT_8h_source.html">TCT.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00101"></a><span class="lineno">  101</span>&#160;    {</div><div class="line"><a name="l00102"></a><span class="lineno">  102</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1TCTNode.html#a414f4b98fb8fd36d2cb381ff56eb98d8">multiforked</a>;</div><div class="line"><a name="l00103"></a><span class="lineno">  103</span>&#160;    }</div><div class="ttc" id="classSVF_1_1TCTNode_html_a414f4b98fb8fd36d2cb381ff56eb98d8"><div class="ttname"><a href="classSVF_1_1TCTNode.html#a414f4b98fb8fd36d2cb381ff56eb98d8">SVF::TCTNode::multiforked</a></div><div class="ttdeci">bool multiforked</div><div class="ttdef"><b>Definition:</b> <a href="TCT_8h_source.html#l00108">TCT.h:108</a></div></div>
+<p class="definition">Definition at line <a class="el" href="TCT_8h_source.html#l00122">122</a> of file <a class="el" href="TCT_8h_source.html">TCT.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00123"></a><span class="lineno">  123</span>&#160;    {</div><div class="line"><a name="l00124"></a><span class="lineno">  124</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1TCTNode.html#a414f4b98fb8fd36d2cb381ff56eb98d8">multiforked</a>;</div><div class="line"><a name="l00125"></a><span class="lineno">  125</span>&#160;    }</div><div class="ttc" id="classSVF_1_1TCTNode_html_a414f4b98fb8fd36d2cb381ff56eb98d8"><div class="ttname"><a href="classSVF_1_1TCTNode.html#a414f4b98fb8fd36d2cb381ff56eb98d8">SVF::TCTNode::multiforked</a></div><div class="ttdeci">bool multiforked</div><div class="ttdef"><b>Definition:</b> <a href="TCT_8h_source.html#l00130">TCT.h:130</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -420,8 +420,8 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="TCT_8h_source.html#l00096">96</a> of file <a class="el" href="TCT_8h_source.html">TCT.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00097"></a><span class="lineno">   97</span>&#160;    {</div><div class="line"><a name="l00098"></a><span class="lineno">   98</span>&#160;        <a class="code" href="classSVF_1_1TCTNode.html#a414f4b98fb8fd36d2cb381ff56eb98d8">multiforked</a> = value;</div><div class="line"><a name="l00099"></a><span class="lineno">   99</span>&#160;    }</div><div class="ttc" id="classSVF_1_1TCTNode_html_a414f4b98fb8fd36d2cb381ff56eb98d8"><div class="ttname"><a href="classSVF_1_1TCTNode.html#a414f4b98fb8fd36d2cb381ff56eb98d8">SVF::TCTNode::multiforked</a></div><div class="ttdeci">bool multiforked</div><div class="ttdef"><b>Definition:</b> <a href="TCT_8h_source.html#l00108">TCT.h:108</a></div></div>
+<p class="definition">Definition at line <a class="el" href="TCT_8h_source.html#l00118">118</a> of file <a class="el" href="TCT_8h_source.html">TCT.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00119"></a><span class="lineno">  119</span>&#160;    {</div><div class="line"><a name="l00120"></a><span class="lineno">  120</span>&#160;        <a class="code" href="classSVF_1_1TCTNode.html#a414f4b98fb8fd36d2cb381ff56eb98d8">multiforked</a> = value;</div><div class="line"><a name="l00121"></a><span class="lineno">  121</span>&#160;    }</div><div class="ttc" id="classSVF_1_1TCTNode_html_a414f4b98fb8fd36d2cb381ff56eb98d8"><div class="ttname"><a href="classSVF_1_1TCTNode.html#a414f4b98fb8fd36d2cb381ff56eb98d8">SVF::TCTNode::multiforked</a></div><div class="ttdeci">bool multiforked</div><div class="ttdef"><b>Definition:</b> <a href="TCT_8h_source.html#l00130">TCT.h:130</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -446,7 +446,7 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="TCT_8h_source.html#l00107">107</a> of file <a class="el" href="TCT_8h_source.html">TCT.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="TCT_8h_source.html#l00129">129</a> of file <a class="el" href="TCT_8h_source.html">TCT.h</a>.</p>
 
 </div>
 </div>
@@ -470,7 +470,7 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="TCT_8h_source.html#l00108">108</a> of file <a class="el" href="TCT_8h_source.html">TCT.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="TCT_8h_source.html#l00130">130</a> of file <a class="el" href="TCT_8h_source.html">TCT.h</a>.</p>
 
 </div>
 </div>

package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis.html

@@ -701,7 +701,7 @@ Additional Inherited Members</h2></td></tr>
 <p>Constructor. </p>
 
 <p class="definition">Definition at line <a class="el" href="TypeAnalysis_8h_source.html#l00043">43</a> of file <a class="el" href="TypeAnalysis_8h_source.html">TypeAnalysis.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00044"></a><span class="lineno">   44</span>&#160;        :  <a class="code" href="classSVF_1_1AndersenBase.html#af89bc974fda6bed754bb07b3b6ee8ffe">AndersenBase</a>(<a class="code" href="classSVF_1_1PointerAnalysis.html#adc7f5c71efb9cd1bec4f5ca9127654c3">pag</a>, <a class="code" href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85acc2e7cbdd04a614a3b6189d2f01042f3">TypeCPP_WPA</a>)</div><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;    }</div><div class="ttc" id="classSVF_1_1AndersenBase_html_af89bc974fda6bed754bb07b3b6ee8ffe"><div class="ttname"><a href="classSVF_1_1AndersenBase.html#af89bc974fda6bed754bb07b3b6ee8ffe">SVF::AndersenBase::AndersenBase</a></div><div class="ttdeci">AndersenBase(SVFIR *_pag, PTATY type=Andersen_BASE, bool alias_check=true)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00055">Andersen.h:55</a></div></div>
+<div class="fragment"><div class="line"><a name="l00044"></a><span class="lineno">   44</span>&#160;        :  <a class="code" href="classSVF_1_1AndersenBase.html#af89bc974fda6bed754bb07b3b6ee8ffe">AndersenBase</a>(<a class="code" href="classSVF_1_1PointerAnalysis.html#adc7f5c71efb9cd1bec4f5ca9127654c3">pag</a>, <a class="code" href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85acc2e7cbdd04a614a3b6189d2f01042f3">TypeCPP_WPA</a>)</div><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;    }</div><div class="ttc" id="classSVF_1_1AndersenBase_html_af89bc974fda6bed754bb07b3b6ee8ffe"><div class="ttname"><a href="classSVF_1_1AndersenBase.html#af89bc974fda6bed754bb07b3b6ee8ffe">SVF::AndersenBase::AndersenBase</a></div><div class="ttdeci">AndersenBase(SVFIR *_pag, PTATY type=Andersen_BASE, bool alias_check=true)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00060">Andersen.h:60</a></div></div>
 <div class="ttc" id="classSVF_1_1PointerAnalysis_html_adc7f5c71efb9cd1bec4f5ca9127654c3"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#adc7f5c71efb9cd1bec4f5ca9127654c3">SVF::PointerAnalysis::pag</a></div><div class="ttdeci">static SVFIR * pag</div><div class="ttdoc">SVFIR. </div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00142">PointerAnalysis.h:142</a></div></div>
 <div class="ttc" id="classSVF_1_1PointerAnalysis_html_a0b182ac680cce0547dbe7714c870ca85acc2e7cbdd04a614a3b6189d2f01042f3"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85acc2e7cbdd04a614a3b6189d2f01042f3">SVF::PointerAnalysis::TypeCPP_WPA</a></div><div class="ttdoc">Type-based analysis for C++. </div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00080">PointerAnalysis.h:80</a></div></div>
 </div><!-- fragment -->