svf-tools 1.0.874 → 1.0.875

package/SVF-doxygen/html/classSVF_1_1SVFStructType.html

@@ -171,7 +171,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="SVFType_8h_source.html#l00430">430</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00344">344</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
 </div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
 <a id="a92ee752b62e49b7427d3ef51bcb6a6ba"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#a92ee752b62e49b7427d3ef51bcb6a6ba">&#9670;&nbsp;</a></span>SVFStructType()</h2>
@@ -197,8 +197,8 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00440">440</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00440"></a><span class="lineno">  440</span>&#160;: <a class="code" href="classSVF_1_1SVFType.html#aaaa5452f32227f5e44ac7665f2945202">SVFType</a>(<span class="keyword">false</span>, <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca77e52ad9bebff282f40383f468fe856d">SVFStructTy</a>, <a class="code" href="classSVF_1_1SVFType.html#a517f8bb64d3a2eb9d697e77191f718b6">byteSize</a>) {}</div>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00354">354</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00354"></a><span class="lineno">  354</span>&#160;: <a class="code" href="classSVF_1_1SVFType.html#aaaa5452f32227f5e44ac7665f2945202">SVFType</a>(<span class="keyword">false</span>, <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca77e52ad9bebff282f40383f468fe856d">SVFStructTy</a>, <a class="code" href="classSVF_1_1SVFType.html#a517f8bb64d3a2eb9d697e77191f718b6">byteSize</a>) {}</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -227,10 +227,10 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00442">442</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00443"></a><span class="lineno">  443</span>&#160;    {</div>
-<div class="line"><a name="l00444"></a><span class="lineno">  444</span>&#160;        <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca77e52ad9bebff282f40383f468fe856d">SVFStructTy</a>;</div>
-<div class="line"><a name="l00445"></a><span class="lineno">  445</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00356">356</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00357"></a><span class="lineno">  357</span>&#160;    {</div>
+<div class="line"><a name="l00358"></a><span class="lineno">  358</span>&#160;        <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca77e52ad9bebff282f40383f468fe856d">SVFStructTy</a>;</div>
+<div class="line"><a name="l00359"></a><span class="lineno">  359</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -257,10 +257,10 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00449">449</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00450"></a><span class="lineno">  450</span>&#160;    {</div>
-<div class="line"><a name="l00451"></a><span class="lineno">  451</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFStructType.html#a21782d68a616fb955d4988382eea61cf">name</a>;</div>
-<div class="line"><a name="l00452"></a><span class="lineno">  452</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00363">363</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00364"></a><span class="lineno">  364</span>&#160;    {</div>
+<div class="line"><a name="l00365"></a><span class="lineno">  365</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFStructType.html#a21782d68a616fb955d4988382eea61cf">name</a>;</div>
+<div class="line"><a name="l00366"></a><span class="lineno">  366</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -321,10 +321,10 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00453">453</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00454"></a><span class="lineno">  454</span>&#160;    {</div>
-<div class="line"><a name="l00455"></a><span class="lineno">  455</span>&#160;        <a class="code" href="classSVF_1_1SVFStructType.html#a21782d68a616fb955d4988382eea61cf">name</a> = <a class="code" href="CppUtil_8cpp.html#a61c158146c07e77234eb4a2f9b940821">structName</a>;</div>
-<div class="line"><a name="l00456"></a><span class="lineno">  456</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00367">367</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00368"></a><span class="lineno">  368</span>&#160;    {</div>
+<div class="line"><a name="l00369"></a><span class="lineno">  369</span>&#160;        <a class="code" href="classSVF_1_1SVFStructType.html#a21782d68a616fb955d4988382eea61cf">name</a> = <a class="code" href="CppUtil_8cpp.html#a61c158146c07e77234eb4a2f9b940821">structName</a>;</div>
+<div class="line"><a name="l00370"></a><span class="lineno">  370</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -352,10 +352,10 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00457">457</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00458"></a><span class="lineno">  458</span>&#160;    {</div>
-<div class="line"><a name="l00459"></a><span class="lineno">  459</span>&#160;        <a class="code" href="classSVF_1_1SVFStructType.html#a21782d68a616fb955d4988382eea61cf">name</a> = <a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">std::move</a>(<a class="code" href="CppUtil_8cpp.html#a61c158146c07e77234eb4a2f9b940821">structName</a>);</div>
-<div class="line"><a name="l00460"></a><span class="lineno">  460</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00371">371</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00372"></a><span class="lineno">  372</span>&#160;    {</div>
+<div class="line"><a name="l00373"></a><span class="lineno">  373</span>&#160;        <a class="code" href="classSVF_1_1SVFStructType.html#a21782d68a616fb955d4988382eea61cf">name</a> = <a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">std::move</a>(<a class="code" href="CppUtil_8cpp.html#a61c158146c07e77234eb4a2f9b940821">structName</a>);</div>
+<div class="line"><a name="l00374"></a><span class="lineno">  374</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -380,7 +380,7 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00433">433</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00347">347</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
 
 </div>
 </div>
@@ -404,7 +404,7 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00432">432</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00346">346</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
 
 </div>
 </div>
@@ -431,7 +431,7 @@ Additional Inherited Members</h2></td></tr>
 
 <p>Field for printing &amp; debugging. </p>
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00437">437</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00351">351</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
 
 </div>
 </div>
@@ -441,11 +441,11 @@ Additional Inherited Members</h2></td></tr>
 </ul>
 </div><!-- contents -->
 <div class="ttc" id="aclassSVF_1_1SVFType_html_aaaa5452f32227f5e44ac7665f2945202"><div class="ttname"><a href="classSVF_1_1SVFType.html#aaaa5452f32227f5e44ac7665f2945202">SVF::SVFType::SVFType</a></div><div class="ttdeci">SVFType(void)=delete</div></div>
-<div class="ttc" id="aclassSVF_1_1SVFType_html_a517f8bb64d3a2eb9d697e77191f718b6"><div class="ttname"><a href="classSVF_1_1SVFType.html#a517f8bb64d3a2eb9d697e77191f718b6">SVF::SVFType::byteSize</a></div><div class="ttdeci">u32_t byteSize</div><div class="ttdoc">array</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00285">SVFType.h:285</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFType_html_a517f8bb64d3a2eb9d697e77191f718b6"><div class="ttname"><a href="classSVF_1_1SVFType.html#a517f8bb64d3a2eb9d697e77191f718b6">SVF::SVFType::byteSize</a></div><div class="ttdeci">u32_t byteSize</div><div class="ttdoc">array</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00199">SVFType.h:199</a></div></div>
 <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a72502f7f536418621485e90ab98c2016"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">SVF::SVFUtil::move</a></div><div class="ttdeci">constexpr std::remove_reference&lt; T &gt;::type &amp;&amp; move(T &amp;&amp;t) noexcept</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00621">SVFUtil.h:621</a></div></div>
 <div class="ttc" id="aCppUtil_8cpp_html_a61c158146c07e77234eb4a2f9b940821"><div class="ttname"><a href="CppUtil_8cpp.html#a61c158146c07e77234eb4a2f9b940821">structName</a></div><div class="ttdeci">const std::string structName</div><div class="ttdef"><b>Definition:</b> <a href="CppUtil_8cpp_source.html#l00054">CppUtil.cpp:54</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFStructType_html_a21782d68a616fb955d4988382eea61cf"><div class="ttname"><a href="classSVF_1_1SVFStructType.html#a21782d68a616fb955d4988382eea61cf">SVF::SVFStructType::name</a></div><div class="ttdeci">std::string name</div><div class="ttdoc">Field for printing &amp; debugging.</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00437">SVFType.h:437</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFType_html_a333e01a9c431c8f53bd2fc597bd5c40ca77e52ad9bebff282f40383f468fe856d"><div class="ttname"><a href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca77e52ad9bebff282f40383f468fe856d">SVF::SVFType::SVFStructTy</a></div><div class="ttdeci">@ SVFStructTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00257">SVFType.h:257</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFStructType_html_a21782d68a616fb955d4988382eea61cf"><div class="ttname"><a href="classSVF_1_1SVFStructType.html#a21782d68a616fb955d4988382eea61cf">SVF::SVFStructType::name</a></div><div class="ttdeci">std::string name</div><div class="ttdoc">Field for printing &amp; debugging.</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00351">SVFType.h:351</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFType_html_a333e01a9c431c8f53bd2fc597bd5c40ca77e52ad9bebff282f40383f468fe856d"><div class="ttname"><a href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca77e52ad9bebff282f40383f468fe856d">SVF::SVFType::SVFStructTy</a></div><div class="ttdeci">@ SVFStructTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00171">SVFType.h:171</a></div></div>
 <!-- start footer part -->
 <hr class="footer"/><address class="footer"><small>
 Generated by &#160;<a href="http://www.doxygen.org/index.html">

package/SVF-doxygen/html/classSVF_1_1SVFType.html

@@ -188,7 +188,7 @@ Friends</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="SVFType_8h_source.html#l00242">242</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00156">156</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
 </div><h2 class="groupheader">Member Typedef Documentation</h2>
 <a id="a503a35534b72dbea065816f42ebfa9f0"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#a503a35534b72dbea065816f42ebfa9f0">&#9670;&nbsp;</a></span>GNodeK</h2>
@@ -202,7 +202,7 @@ Friends</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00249">249</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00163">163</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
 
 </div>
 </div>
@@ -228,16 +228,16 @@ Friends</h2></td></tr>
 <tr><td class="fieldname"><a id="a333e01a9c431c8f53bd2fc597bd5c40cac7de365c24c89f86bc6f6ab5ecafd8ef"></a>SVFOtherTy&#160;</td><td class="fielddoc"></td></tr>
 </table>
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00251">251</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00252"></a><span class="lineno">  252</span>&#160;    {</div>
-<div class="line"><a name="l00253"></a><span class="lineno">  253</span>&#160;        <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca2862d2a6ef2e31bf7fa1cc2f72d65725">SVFTy</a>,</div>
-<div class="line"><a name="l00254"></a><span class="lineno">  254</span>&#160;        <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae8c18603570fa65fa5a9aabdf2f5d0a1">SVFPointerTy</a>,</div>
-<div class="line"><a name="l00255"></a><span class="lineno">  255</span>&#160;        <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae2025d3e9d7943027c74ae6bba3fff22">SVFIntegerTy</a>,</div>
-<div class="line"><a name="l00256"></a><span class="lineno">  256</span>&#160;        <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca01274de074f51be05f2ad6b2d0ca9dd6">SVFFunctionTy</a>,</div>
-<div class="line"><a name="l00257"></a><span class="lineno">  257</span>&#160;        <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca77e52ad9bebff282f40383f468fe856d">SVFStructTy</a>,</div>
-<div class="line"><a name="l00258"></a><span class="lineno">  258</span>&#160;        <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cac8c846ff3208d07a4a39c7a21433c6a5">SVFArrayTy</a>,</div>
-<div class="line"><a name="l00259"></a><span class="lineno">  259</span>&#160;        <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cac7de365c24c89f86bc6f6ab5ecafd8ef">SVFOtherTy</a>,</div>
-<div class="line"><a name="l00260"></a><span class="lineno">  260</span>&#160;    };</div>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00165">165</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<div class="fragment"><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_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca2862d2a6ef2e31bf7fa1cc2f72d65725">SVFTy</a>,</div>
+<div class="line"><a name="l00168"></a><span class="lineno">  168</span>&#160;        <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae8c18603570fa65fa5a9aabdf2f5d0a1">SVFPointerTy</a>,</div>
+<div class="line"><a name="l00169"></a><span class="lineno">  169</span>&#160;        <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae2025d3e9d7943027c74ae6bba3fff22">SVFIntegerTy</a>,</div>
+<div class="line"><a name="l00170"></a><span class="lineno">  170</span>&#160;        <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca01274de074f51be05f2ad6b2d0ca9dd6">SVFFunctionTy</a>,</div>
+<div class="line"><a name="l00171"></a><span class="lineno">  171</span>&#160;        <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca77e52ad9bebff282f40383f468fe856d">SVFStructTy</a>,</div>
+<div class="line"><a name="l00172"></a><span class="lineno">  172</span>&#160;        <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cac8c846ff3208d07a4a39c7a21433c6a5">SVFArrayTy</a>,</div>
+<div class="line"><a name="l00173"></a><span class="lineno">  173</span>&#160;        <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cac7de365c24c89f86bc6f6ab5ecafd8ef">SVFOtherTy</a>,</div>
+<div class="line"><a name="l00174"></a><span class="lineno">  174</span>&#160;    };</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -282,11 +282,11 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00289">289</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00290"></a><span class="lineno">  290</span>&#160;        : <a class="code" href="classSVF_1_1SVFType.html#a428617a1e7addda6094ddd80bdbb62c8">kind</a>(k), <a class="code" href="classSVF_1_1SVFType.html#a86ea48a882823de2e3e906220dc0111e">typeinfo</a>(<span class="keyword">nullptr</span>),</div>
-<div class="line"><a name="l00291"></a><span class="lineno">  291</span>&#160;          <a class="code" href="classSVF_1_1SVFType.html#ac26ba9052149b5b792aa8e8c3ccfd350">isSingleValTy</a>(svt), <a class="code" href="classSVF_1_1SVFType.html#a517f8bb64d3a2eb9d697e77191f718b6">byteSize</a>(Sz)</div>
-<div class="line"><a name="l00292"></a><span class="lineno">  292</span>&#160;    {</div>
-<div class="line"><a name="l00293"></a><span class="lineno">  293</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00203">203</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00204"></a><span class="lineno">  204</span>&#160;        : <a class="code" href="classSVF_1_1SVFType.html#a428617a1e7addda6094ddd80bdbb62c8">kind</a>(k), <a class="code" href="classSVF_1_1SVFType.html#a86ea48a882823de2e3e906220dc0111e">typeinfo</a>(<span class="keyword">nullptr</span>),</div>
+<div class="line"><a name="l00205"></a><span class="lineno">  205</span>&#160;          <a class="code" href="classSVF_1_1SVFType.html#ac26ba9052149b5b792aa8e8c3ccfd350">isSingleValTy</a>(svt), <a class="code" href="classSVF_1_1SVFType.html#a517f8bb64d3a2eb9d697e77191f718b6">byteSize</a>(Sz)</div>
+<div class="line"><a name="l00206"></a><span class="lineno">  206</span>&#160;    {</div>
+<div class="line"><a name="l00207"></a><span class="lineno">  207</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -339,8 +339,8 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00297">297</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00297"></a><span class="lineno">  297</span>&#160;{}</div>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00211">211</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00211"></a><span class="lineno">  211</span>&#160;{}</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -369,10 +369,10 @@ Friends</h2></td></tr>
 </div><div class="memdoc">
 <p>if Type is not sized, byteSize is 0 if Type is sized, byteSize is the LLVM Byte Size. </p>
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00330">330</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00331"></a><span class="lineno">  331</span>&#160;    {</div>
-<div class="line"><a name="l00332"></a><span class="lineno">  332</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFType.html#a517f8bb64d3a2eb9d697e77191f718b6">byteSize</a>;</div>
-<div class="line"><a name="l00333"></a><span class="lineno">  333</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00244">244</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00245"></a><span class="lineno">  245</span>&#160;    {</div>
+<div class="line"><a name="l00246"></a><span class="lineno">  246</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFType.html#a517f8bb64d3a2eb9d697e77191f718b6">byteSize</a>;</div>
+<div class="line"><a name="l00247"></a><span class="lineno">  247</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -399,10 +399,10 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00299">299</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00300"></a><span class="lineno">  300</span>&#160;    {</div>
-<div class="line"><a name="l00301"></a><span class="lineno">  301</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFType.html#a428617a1e7addda6094ddd80bdbb62c8">kind</a>;</div>
-<div class="line"><a name="l00302"></a><span class="lineno">  302</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00213">213</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<div class="fragment"><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="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFType.html#a428617a1e7addda6094ddd80bdbb62c8">kind</a>;</div>
+<div class="line"><a name="l00216"></a><span class="lineno">  216</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -429,11 +429,11 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00270">270</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00271"></a><span class="lineno">  271</span>&#160;    {</div>
-<div class="line"><a name="l00272"></a><span class="lineno">  272</span>&#160;        assert(<a class="code" href="classSVF_1_1SVFType.html#aab96e07d337363b3517b0dea1b527d1c">svfI8Ty</a> &amp;&amp; <span class="stringliteral">&quot;int8 type not set?&quot;</span>);</div>
-<div class="line"><a name="l00273"></a><span class="lineno">  273</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFType.html#aab96e07d337363b3517b0dea1b527d1c">svfI8Ty</a>;</div>
-<div class="line"><a name="l00274"></a><span class="lineno">  274</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00184">184</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00185"></a><span class="lineno">  185</span>&#160;    {</div>
+<div class="line"><a name="l00186"></a><span class="lineno">  186</span>&#160;        assert(<a class="code" href="classSVF_1_1SVFType.html#aab96e07d337363b3517b0dea1b527d1c">svfI8Ty</a> &amp;&amp; <span class="stringliteral">&quot;int8 type not set?&quot;</span>);</div>
+<div class="line"><a name="l00187"></a><span class="lineno">  187</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFType.html#aab96e07d337363b3517b0dea1b527d1c">svfI8Ty</a>;</div>
+<div class="line"><a name="l00188"></a><span class="lineno">  188</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -460,11 +460,11 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00264">264</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00265"></a><span class="lineno">  265</span>&#160;    {</div>
-<div class="line"><a name="l00266"></a><span class="lineno">  266</span>&#160;        assert(<a class="code" href="classSVF_1_1SVFType.html#a6474965ec2cbc5173e313449c4868f81">svfPtrTy</a> &amp;&amp; <span class="stringliteral">&quot;ptr type not set?&quot;</span>);</div>
-<div class="line"><a name="l00267"></a><span class="lineno">  267</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFType.html#a6474965ec2cbc5173e313449c4868f81">svfPtrTy</a>;</div>
-<div class="line"><a name="l00268"></a><span class="lineno">  268</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00178">178</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00179"></a><span class="lineno">  179</span>&#160;    {</div>
+<div class="line"><a name="l00180"></a><span class="lineno">  180</span>&#160;        assert(<a class="code" href="classSVF_1_1SVFType.html#a6474965ec2cbc5173e313449c4868f81">svfPtrTy</a> &amp;&amp; <span class="stringliteral">&quot;ptr type not set?&quot;</span>);</div>
+<div class="line"><a name="l00181"></a><span class="lineno">  181</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFType.html#a6474965ec2cbc5173e313449c4868f81">svfPtrTy</a>;</div>
+<div class="line"><a name="l00182"></a><span class="lineno">  182</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -491,11 +491,11 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00316">316</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00317"></a><span class="lineno">  317</span>&#160;    {</div>
-<div class="line"><a name="l00318"></a><span class="lineno">  318</span>&#160;        assert(<a class="code" href="classSVF_1_1SVFType.html#a86ea48a882823de2e3e906220dc0111e">typeinfo</a> &amp;&amp; <span class="stringliteral">&quot;set the type info first&quot;</span>);</div>
-<div class="line"><a name="l00319"></a><span class="lineno">  319</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFType.html#a86ea48a882823de2e3e906220dc0111e">typeinfo</a>;</div>
-<div class="line"><a name="l00320"></a><span class="lineno">  320</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00230">230</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00231"></a><span class="lineno">  231</span>&#160;    {</div>
+<div class="line"><a name="l00232"></a><span class="lineno">  232</span>&#160;        assert(<a class="code" href="classSVF_1_1SVFType.html#a86ea48a882823de2e3e906220dc0111e">typeinfo</a> &amp;&amp; <span class="stringliteral">&quot;set the type info first&quot;</span>);</div>
+<div class="line"><a name="l00233"></a><span class="lineno">  233</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFType.html#a86ea48a882823de2e3e906220dc0111e">typeinfo</a>;</div>
+<div class="line"><a name="l00234"></a><span class="lineno">  234</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -522,11 +522,11 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00322">322</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00323"></a><span class="lineno">  323</span>&#160;    {</div>
-<div class="line"><a name="l00324"></a><span class="lineno">  324</span>&#160;        assert(<a class="code" href="classSVF_1_1SVFType.html#a86ea48a882823de2e3e906220dc0111e">typeinfo</a> &amp;&amp; <span class="stringliteral">&quot;set the type info first&quot;</span>);</div>
-<div class="line"><a name="l00325"></a><span class="lineno">  325</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFType.html#a86ea48a882823de2e3e906220dc0111e">typeinfo</a>;</div>
-<div class="line"><a name="l00326"></a><span class="lineno">  326</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00236">236</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00237"></a><span class="lineno">  237</span>&#160;    {</div>
+<div class="line"><a name="l00238"></a><span class="lineno">  238</span>&#160;        assert(<a class="code" href="classSVF_1_1SVFType.html#a86ea48a882823de2e3e906220dc0111e">typeinfo</a> &amp;&amp; <span class="stringliteral">&quot;set the type info first&quot;</span>);</div>
+<div class="line"><a name="l00239"></a><span class="lineno">  239</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFType.html#a86ea48a882823de2e3e906220dc0111e">typeinfo</a>;</div>
+<div class="line"><a name="l00240"></a><span class="lineno">  240</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -553,10 +553,10 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00340">340</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00341"></a><span class="lineno">  341</span>&#160;    {</div>
-<div class="line"><a name="l00342"></a><span class="lineno">  342</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFType.html#a428617a1e7addda6094ddd80bdbb62c8">kind</a> == <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cac8c846ff3208d07a4a39c7a21433c6a5">SVFArrayTy</a>;</div>
-<div class="line"><a name="l00343"></a><span class="lineno">  343</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00254">254</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00255"></a><span class="lineno">  255</span>&#160;    {</div>
+<div class="line"><a name="l00256"></a><span class="lineno">  256</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFType.html#a428617a1e7addda6094ddd80bdbb62c8">kind</a> == <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cac8c846ff3208d07a4a39c7a21433c6a5">SVFArrayTy</a>;</div>
+<div class="line"><a name="l00257"></a><span class="lineno">  257</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -583,10 +583,10 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00335">335</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00336"></a><span class="lineno">  336</span>&#160;    {</div>
-<div class="line"><a name="l00337"></a><span class="lineno">  337</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFType.html#a428617a1e7addda6094ddd80bdbb62c8">kind</a> == <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae8c18603570fa65fa5a9aabdf2f5d0a1">SVFPointerTy</a>;</div>
-<div class="line"><a name="l00338"></a><span class="lineno">  338</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00249">249</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00250"></a><span class="lineno">  250</span>&#160;    {</div>
+<div class="line"><a name="l00251"></a><span class="lineno">  251</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFType.html#a428617a1e7addda6094ddd80bdbb62c8">kind</a> == <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae8c18603570fa65fa5a9aabdf2f5d0a1">SVFPointerTy</a>;</div>
+<div class="line"><a name="l00252"></a><span class="lineno">  252</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -613,10 +613,10 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00350">350</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00351"></a><span class="lineno">  351</span>&#160;    {</div>
-<div class="line"><a name="l00352"></a><span class="lineno">  352</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFType.html#ac26ba9052149b5b792aa8e8c3ccfd350">isSingleValTy</a>;</div>
-<div class="line"><a name="l00353"></a><span class="lineno">  353</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00264">264</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00265"></a><span class="lineno">  265</span>&#160;    {</div>
+<div class="line"><a name="l00266"></a><span class="lineno">  266</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFType.html#ac26ba9052149b5b792aa8e8c3ccfd350">isSingleValTy</a>;</div>
+<div class="line"><a name="l00267"></a><span class="lineno">  267</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -643,10 +643,10 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00345">345</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00346"></a><span class="lineno">  346</span>&#160;    {</div>
-<div class="line"><a name="l00347"></a><span class="lineno">  347</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFType.html#a428617a1e7addda6094ddd80bdbb62c8">kind</a> == <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca77e52ad9bebff282f40383f468fe856d">SVFStructTy</a>;</div>
-<div class="line"><a name="l00348"></a><span class="lineno">  348</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00259">259</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00260"></a><span class="lineno">  260</span>&#160;    {</div>
+<div class="line"><a name="l00261"></a><span class="lineno">  261</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFType.html#a428617a1e7addda6094ddd80bdbb62c8">kind</a> == <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca77e52ad9bebff282f40383f468fe856d">SVFStructTy</a>;</div>
+<div class="line"><a name="l00262"></a><span class="lineno">  262</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -702,10 +702,10 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00311">311</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00312"></a><span class="lineno">  312</span>&#160;    {</div>
-<div class="line"><a name="l00313"></a><span class="lineno">  313</span>&#160;        <a class="code" href="classSVF_1_1SVFType.html#a86ea48a882823de2e3e906220dc0111e">typeinfo</a> = ti;</div>
-<div class="line"><a name="l00314"></a><span class="lineno">  314</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00225">225</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00226"></a><span class="lineno">  226</span>&#160;    {</div>
+<div class="line"><a name="l00227"></a><span class="lineno">  227</span>&#160;        <a class="code" href="classSVF_1_1SVFType.html#a86ea48a882823de2e3e906220dc0111e">typeinfo</a> = ti;</div>
+<div class="line"><a name="l00228"></a><span class="lineno">  228</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -748,7 +748,7 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00246">246</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00160">160</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
 
 </div>
 </div>
@@ -772,7 +772,7 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00245">245</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00159">159</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
 
 </div>
 </div>
@@ -796,7 +796,7 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00244">244</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00158">158</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
 
 </div>
 </div>
@@ -824,7 +824,7 @@ Friends</h2></td></tr>
 <p>array </p>
 <p>LLVM Byte Size </p>
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00285">285</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00199">199</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
 
 </div>
 </div>
@@ -850,7 +850,7 @@ Friends</h2></td></tr>
 
 <p>The type represents a single value, not struct or. </p>
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00284">284</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00198">198</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
 
 </div>
 </div>
@@ -876,7 +876,7 @@ Friends</h2></td></tr>
 
 <p>used for classof </p>
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00282">282</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00196">196</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
 
 </div>
 </div>
@@ -902,7 +902,7 @@ Friends</h2></td></tr>
 
 <p>8-bit int type </p>
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00279">279</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00193">193</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
 
 </div>
 </div>
@@ -928,7 +928,7 @@ Friends</h2></td></tr>
 
 <p>ptr type </p>
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00278">278</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00192">192</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
 
 </div>
 </div>
@@ -954,7 +954,7 @@ Friends</h2></td></tr>
 
 <p><a class="el" href="namespaceSVF.html" title="for isBitcode">SVF</a>'s TypeInfo. </p>
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00283">283</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00197">197</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
 
 </div>
 </div>
@@ -963,19 +963,19 @@ Friends</h2></td></tr>
 <li>/home/runner/work/SVF/SVF/svf/lib/SVFIR/<a class="el" href="SVFType_8cpp_source.html">SVFType.cpp</a></li>
 </ul>
 </div><!-- contents -->
-<div class="ttc" id="aclassSVF_1_1SVFType_html_a333e01a9c431c8f53bd2fc597bd5c40cac8c846ff3208d07a4a39c7a21433c6a5"><div class="ttname"><a href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cac8c846ff3208d07a4a39c7a21433c6a5">SVF::SVFType::SVFArrayTy</a></div><div class="ttdeci">@ SVFArrayTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00258">SVFType.h:258</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFType_html_a6474965ec2cbc5173e313449c4868f81"><div class="ttname"><a href="classSVF_1_1SVFType.html#a6474965ec2cbc5173e313449c4868f81">SVF::SVFType::svfPtrTy</a></div><div class="ttdeci">static SVFType * svfPtrTy</div><div class="ttdoc">ptr type</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00278">SVFType.h:278</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFType_html_a333e01a9c431c8f53bd2fc597bd5c40cae2025d3e9d7943027c74ae6bba3fff22"><div class="ttname"><a href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae2025d3e9d7943027c74ae6bba3fff22">SVF::SVFType::SVFIntegerTy</a></div><div class="ttdeci">@ SVFIntegerTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00255">SVFType.h:255</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFType_html_ac26ba9052149b5b792aa8e8c3ccfd350"><div class="ttname"><a href="classSVF_1_1SVFType.html#ac26ba9052149b5b792aa8e8c3ccfd350">SVF::SVFType::isSingleValTy</a></div><div class="ttdeci">bool isSingleValTy</div><div class="ttdoc">The type represents a single value, not struct or.</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00284">SVFType.h:284</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFType_html_a86ea48a882823de2e3e906220dc0111e"><div class="ttname"><a href="classSVF_1_1SVFType.html#a86ea48a882823de2e3e906220dc0111e">SVF::SVFType::typeinfo</a></div><div class="ttdeci">StInfo * typeinfo</div><div class="ttdoc">SVF's TypeInfo.</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00283">SVFType.h:283</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFType_html_a517f8bb64d3a2eb9d697e77191f718b6"><div class="ttname"><a href="classSVF_1_1SVFType.html#a517f8bb64d3a2eb9d697e77191f718b6">SVF::SVFType::byteSize</a></div><div class="ttdeci">u32_t byteSize</div><div class="ttdoc">array</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00285">SVFType.h:285</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFType_html_a333e01a9c431c8f53bd2fc597bd5c40ca01274de074f51be05f2ad6b2d0ca9dd6"><div class="ttname"><a href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca01274de074f51be05f2ad6b2d0ca9dd6">SVF::SVFType::SVFFunctionTy</a></div><div class="ttdeci">@ SVFFunctionTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00256">SVFType.h:256</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFType_html_a428617a1e7addda6094ddd80bdbb62c8"><div class="ttname"><a href="classSVF_1_1SVFType.html#a428617a1e7addda6094ddd80bdbb62c8">SVF::SVFType::kind</a></div><div class="ttdeci">GNodeK kind</div><div class="ttdoc">used for classof</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00282">SVFType.h:282</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFType_html_a333e01a9c431c8f53bd2fc597bd5c40cae8c18603570fa65fa5a9aabdf2f5d0a1"><div class="ttname"><a href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae8c18603570fa65fa5a9aabdf2f5d0a1">SVF::SVFType::SVFPointerTy</a></div><div class="ttdeci">@ SVFPointerTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00254">SVFType.h:254</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFType_html_aab96e07d337363b3517b0dea1b527d1c"><div class="ttname"><a href="classSVF_1_1SVFType.html#aab96e07d337363b3517b0dea1b527d1c">SVF::SVFType::svfI8Ty</a></div><div class="ttdeci">static SVFType * svfI8Ty</div><div class="ttdoc">8-bit int type</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00279">SVFType.h:279</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFType_html_a333e01a9c431c8f53bd2fc597bd5c40ca2862d2a6ef2e31bf7fa1cc2f72d65725"><div class="ttname"><a href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca2862d2a6ef2e31bf7fa1cc2f72d65725">SVF::SVFType::SVFTy</a></div><div class="ttdeci">@ SVFTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00253">SVFType.h:253</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFType_html_a333e01a9c431c8f53bd2fc597bd5c40cac7de365c24c89f86bc6f6ab5ecafd8ef"><div class="ttname"><a href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cac7de365c24c89f86bc6f6ab5ecafd8ef">SVF::SVFType::SVFOtherTy</a></div><div class="ttdeci">@ SVFOtherTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00259">SVFType.h:259</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFType_html_a333e01a9c431c8f53bd2fc597bd5c40ca77e52ad9bebff282f40383f468fe856d"><div class="ttname"><a href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca77e52ad9bebff282f40383f468fe856d">SVF::SVFType::SVFStructTy</a></div><div class="ttdeci">@ SVFStructTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00257">SVFType.h:257</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFType_html_a333e01a9c431c8f53bd2fc597bd5c40cac8c846ff3208d07a4a39c7a21433c6a5"><div class="ttname"><a href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cac8c846ff3208d07a4a39c7a21433c6a5">SVF::SVFType::SVFArrayTy</a></div><div class="ttdeci">@ SVFArrayTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00172">SVFType.h:172</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFType_html_a6474965ec2cbc5173e313449c4868f81"><div class="ttname"><a href="classSVF_1_1SVFType.html#a6474965ec2cbc5173e313449c4868f81">SVF::SVFType::svfPtrTy</a></div><div class="ttdeci">static SVFType * svfPtrTy</div><div class="ttdoc">ptr type</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00192">SVFType.h:192</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFType_html_a333e01a9c431c8f53bd2fc597bd5c40cae2025d3e9d7943027c74ae6bba3fff22"><div class="ttname"><a href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae2025d3e9d7943027c74ae6bba3fff22">SVF::SVFType::SVFIntegerTy</a></div><div class="ttdeci">@ SVFIntegerTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00169">SVFType.h:169</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFType_html_ac26ba9052149b5b792aa8e8c3ccfd350"><div class="ttname"><a href="classSVF_1_1SVFType.html#ac26ba9052149b5b792aa8e8c3ccfd350">SVF::SVFType::isSingleValTy</a></div><div class="ttdeci">bool isSingleValTy</div><div class="ttdoc">The type represents a single value, not struct or.</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00198">SVFType.h:198</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFType_html_a86ea48a882823de2e3e906220dc0111e"><div class="ttname"><a href="classSVF_1_1SVFType.html#a86ea48a882823de2e3e906220dc0111e">SVF::SVFType::typeinfo</a></div><div class="ttdeci">StInfo * typeinfo</div><div class="ttdoc">SVF's TypeInfo.</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00197">SVFType.h:197</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFType_html_a517f8bb64d3a2eb9d697e77191f718b6"><div class="ttname"><a href="classSVF_1_1SVFType.html#a517f8bb64d3a2eb9d697e77191f718b6">SVF::SVFType::byteSize</a></div><div class="ttdeci">u32_t byteSize</div><div class="ttdoc">array</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00199">SVFType.h:199</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFType_html_a333e01a9c431c8f53bd2fc597bd5c40ca01274de074f51be05f2ad6b2d0ca9dd6"><div class="ttname"><a href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca01274de074f51be05f2ad6b2d0ca9dd6">SVF::SVFType::SVFFunctionTy</a></div><div class="ttdeci">@ SVFFunctionTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00170">SVFType.h:170</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFType_html_a428617a1e7addda6094ddd80bdbb62c8"><div class="ttname"><a href="classSVF_1_1SVFType.html#a428617a1e7addda6094ddd80bdbb62c8">SVF::SVFType::kind</a></div><div class="ttdeci">GNodeK kind</div><div class="ttdoc">used for classof</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00196">SVFType.h:196</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFType_html_a333e01a9c431c8f53bd2fc597bd5c40cae8c18603570fa65fa5a9aabdf2f5d0a1"><div class="ttname"><a href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae8c18603570fa65fa5a9aabdf2f5d0a1">SVF::SVFType::SVFPointerTy</a></div><div class="ttdeci">@ SVFPointerTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00168">SVFType.h:168</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFType_html_aab96e07d337363b3517b0dea1b527d1c"><div class="ttname"><a href="classSVF_1_1SVFType.html#aab96e07d337363b3517b0dea1b527d1c">SVF::SVFType::svfI8Ty</a></div><div class="ttdeci">static SVFType * svfI8Ty</div><div class="ttdoc">8-bit int type</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00193">SVFType.h:193</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFType_html_a333e01a9c431c8f53bd2fc597bd5c40ca2862d2a6ef2e31bf7fa1cc2f72d65725"><div class="ttname"><a href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca2862d2a6ef2e31bf7fa1cc2f72d65725">SVF::SVFType::SVFTy</a></div><div class="ttdeci">@ SVFTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00167">SVFType.h:167</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFType_html_a333e01a9c431c8f53bd2fc597bd5c40cac7de365c24c89f86bc6f6ab5ecafd8ef"><div class="ttname"><a href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cac7de365c24c89f86bc6f6ab5ecafd8ef">SVF::SVFType::SVFOtherTy</a></div><div class="ttdeci">@ SVFOtherTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00173">SVFType.h:173</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFType_html_a333e01a9c431c8f53bd2fc597bd5c40ca77e52ad9bebff282f40383f468fe856d"><div class="ttname"><a href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca77e52ad9bebff282f40383f468fe856d">SVF::SVFType::SVFStructTy</a></div><div class="ttdeci">@ SVFStructTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00171">SVFType.h:171</a></div></div>
 <!-- start footer part -->
 <hr class="footer"/><address class="footer"><small>
 Generated by &#160;<a href="http://www.doxygen.org/index.html">

package/SVF-doxygen/html/classSVF_1_1SVFVar.html

@@ -1503,7 +1503,7 @@ Friends</h2></td></tr>
 <div class="ttc" id="anamespaceSVF_html_a3a6d9f46c74be099070cf858ded43796"><div class="ttname"><a href="namespaceSVF.html#a3a6d9f46c74be099070cf858ded43796">SVF::GenericPAGNodeTy</a></div><div class="ttdeci">GenericNode&lt; SVFVar, SVFStmt &gt; GenericPAGNodeTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00040">SVFVariables.h:40</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFVar_html_aa72b0f34a0b646751a7b2003d6b9f11e"><div class="ttname"><a href="classSVF_1_1SVFVar.html#aa72b0f34a0b646751a7b2003d6b9f11e">SVF::SVFVar::value</a></div><div class="ttdeci">const SVFValue * value</div><div class="ttdoc">value of this SVFIR node</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00078">SVFVariables.h:78</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFVar_html_a1ace69053c2c4436fd78d5624bd0086a"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a1ace69053c2c4436fd78d5624bd0086a">SVF::SVFVar::hasValue</a></div><div class="ttdeci">bool hasValue() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00112">SVFVariables.h:112</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFType_html_a870b63af2bf9fe43cdf1df3d56b20f6c"><div class="ttname"><a href="classSVF_1_1SVFType.html#a870b63af2bf9fe43cdf1df3d56b20f6c">SVF::SVFType::isPointerTy</a></div><div class="ttdeci">bool isPointerTy() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00335">SVFType.h:335</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFType_html_a870b63af2bf9fe43cdf1df3d56b20f6c"><div class="ttname"><a href="classSVF_1_1SVFType.html#a870b63af2bf9fe43cdf1df3d56b20f6c">SVF::SVFType::isPointerTy</a></div><div class="ttdeci">bool isPointerTy() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00249">SVFType.h:249</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFVar_html_a091ef22d4fc428985d604b03f287a941"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a091ef22d4fc428985d604b03f287a941">SVF::SVFVar::isConstDataOrAggDataButNotNullPtr</a></div><div class="ttdeci">bool isConstDataOrAggDataButNotNullPtr() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8cpp_source.html#l00204">SVFVariables.cpp:204</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericNode_html_a2d9cd758d6f8c5189d9b90b74f43e009"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a2d9cd758d6f8c5189d9b90b74f43e009">SVF::GenericNode::getOutEdges</a></div><div class="ttdeci">const GEdgeSetTy &amp; getOutEdges() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00193">GenericGraph.h:193</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9a20d960c19118d1ed319e0dbea94405e8"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a20d960c19118d1ed319e0dbea94405e8">SVF::SVFStmt::Gep</a></div><div class="ttdeci">@ Gep</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00069">SVFStatements.h:69</a></div></div>