svf-tools 1.0.427 → 1.0.430

package/SVF-doxygen/html/html/namespaceSVF.html

@@ -832,23 +832,13 @@ Typedefs</h2></td></tr>
 <tr class="separator:a28eec26ec8edaa5e96aecfeb01f6c0d4"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:ad3d3cec1813411f039211c86236f7adb"><td class="memItemLeft" align="right" valign="top">typedef llvm::MDNode&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#ad3d3cec1813411f039211c86236f7adb">MDNode</a></td></tr>
 <tr class="separator:ad3d3cec1813411f039211c86236f7adb"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a3bacb4f95c73e6d794901d01c6b65a83"><td class="memItemLeft" align="right" valign="top">typedef llvm::AllocaInst&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a3bacb4f95c73e6d794901d01c6b65a83">AllocaInst</a></td></tr>
-<tr class="memdesc:a3bacb4f95c73e6d794901d01c6b65a83"><td class="mdescLeft">&#160;</td><td class="mdescRight">LLVM Instructions.  <a href="#a3bacb4f95c73e6d794901d01c6b65a83">More...</a><br /></td></tr>
-<tr class="separator:a3bacb4f95c73e6d794901d01c6b65a83"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:adc8b60ca7d60cf6c81feae20e4a04c63"><td class="memItemLeft" align="right" valign="top">typedef llvm::CallInst&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#adc8b60ca7d60cf6c81feae20e4a04c63">CallInst</a></td></tr>
+<tr class="memdesc:adc8b60ca7d60cf6c81feae20e4a04c63"><td class="mdescLeft">&#160;</td><td class="mdescRight">LLVM Instructions.  <a href="#adc8b60ca7d60cf6c81feae20e4a04c63">More...</a><br /></td></tr>
 <tr class="separator:adc8b60ca7d60cf6c81feae20e4a04c63"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:ab696aab940eb187dc81217efe8649af5"><td class="memItemLeft" align="right" valign="top">typedef llvm::StoreInst&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#ab696aab940eb187dc81217efe8649af5">StoreInst</a></td></tr>
 <tr class="separator:ab696aab940eb187dc81217efe8649af5"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a5a6e8ab900d5cd17ef72661006a7fbe0"><td class="memItemLeft" align="right" valign="top">typedef llvm::LoadInst&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a5a6e8ab900d5cd17ef72661006a7fbe0">LoadInst</a></td></tr>
 <tr class="separator:a5a6e8ab900d5cd17ef72661006a7fbe0"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ac7dcc6103dee3a0bbc2fd2e02716a154"><td class="memItemLeft" align="right" valign="top">typedef llvm::ReturnInst&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#ac7dcc6103dee3a0bbc2fd2e02716a154">ReturnInst</a></td></tr>
-<tr class="separator:ac7dcc6103dee3a0bbc2fd2e02716a154"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ac9a05dd7ab16e998625037aa242cd30f"><td class="memItemLeft" align="right" valign="top">typedef llvm::BranchInst&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#ac9a05dd7ab16e998625037aa242cd30f">BranchInst</a></td></tr>
-<tr class="separator:ac9a05dd7ab16e998625037aa242cd30f"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a412280b134578905248ce0122c5db7c9"><td class="memItemLeft" align="right" valign="top">typedef llvm::SwitchInst&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a412280b134578905248ce0122c5db7c9">SwitchInst</a></td></tr>
-<tr class="separator:a412280b134578905248ce0122c5db7c9"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:af4912ad47e19060e53b665f73e0ee6ec"><td class="memItemLeft" align="right" valign="top">typedef llvm::UndefValue&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#af4912ad47e19060e53b665f73e0ee6ec">UndefValue</a></td></tr>
-<tr class="separator:af4912ad47e19060e53b665f73e0ee6ec"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a9f1aca0384166e42d14e2608009ebc01"><td class="memItemLeft" align="right" valign="top">typedef llvm::ScalarEvolutionWrapperPass&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a9f1aca0384166e42d14e2608009ebc01">ScalarEvolutionWrapperPass</a></td></tr>
 <tr class="memdesc:a9f1aca0384166e42d14e2608009ebc01"><td class="mdescLeft">&#160;</td><td class="mdescRight">LLVM scalar evolution.  <a href="#a9f1aca0384166e42d14e2608009ebc01">More...</a><br /></td></tr>
 <tr class="separator:a9f1aca0384166e42d14e2608009ebc01"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -1112,24 +1102,6 @@ Functions</h2></td></tr>
 
 <p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00095">95</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 
-</div>
-</div>
-<a id="a3bacb4f95c73e6d794901d01c6b65a83"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a3bacb4f95c73e6d794901d01c6b65a83">&#9670;&nbsp;</a></span>AllocaInst</h2>
-
-<div class="memitem">
-<div class="memproto">
-      <table class="memname">
-        <tr>
-          <td class="memname">typedef llvm::AllocaInst <a class="el" href="namespaceSVF.html#a3bacb4f95c73e6d794901d01c6b65a83">SVF::AllocaInst</a></td>
-        </tr>
-      </table>
-</div><div class="memdoc">
-
-<p>LLVM Instructions. </p>
-
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00126">126</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-
 </div>
 </div>
 <a id="a58cdfbc4160cae08745b67844ac29801"></a>
@@ -1180,22 +1152,6 @@ Functions</h2></td></tr>
 
 <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00074">74</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
-</div>
-</div>
-<a id="ac9a05dd7ab16e998625037aa242cd30f"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#ac9a05dd7ab16e998625037aa242cd30f">&#9670;&nbsp;</a></span>BranchInst</h2>
-
-<div class="memitem">
-<div class="memproto">
-      <table class="memname">
-        <tr>
-          <td class="memname">typedef llvm::BranchInst <a class="el" href="namespaceSVF.html#ac9a05dd7ab16e998625037aa242cd30f">SVF::BranchInst</a></td>
-        </tr>
-      </table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00131">131</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-
 </div>
 </div>
 <a id="a3b6e84470681a9f731a81e8cf54680cc"></a>
@@ -1210,7 +1166,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00165">165</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00160">160</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1242,7 +1198,9 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00127">127</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p>LLVM Instructions. </p>
+
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00126">126</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1322,7 +1280,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00162">162</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00157">157</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1338,7 +1296,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00163">163</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00158">158</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1536,7 +1494,7 @@ Functions</h2></td></tr>
 
 <p>LLVM debug information. </p>
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00171">171</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00166">166</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1552,7 +1510,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00173">173</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00168">168</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1568,7 +1526,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00174">174</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00169">169</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1584,7 +1542,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00175">175</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00170">170</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1600,7 +1558,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00179">179</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00174">174</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1616,7 +1574,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00180">180</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00175">175</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1632,7 +1590,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00177">177</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00172">172</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1648,7 +1606,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00178">178</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00173">173</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1664,7 +1622,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00176">176</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00171">171</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1680,7 +1638,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00172">172</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00167">167</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1696,7 +1654,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00181">181</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00176">176</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1714,7 +1672,7 @@ Functions</h2></td></tr>
 
 <p>LLVM Dominators. </p>
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00147">147</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00142">142</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1730,7 +1688,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00151">151</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00146">146</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1746,7 +1704,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00148">148</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00143">143</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1762,7 +1720,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00150">150</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00145">145</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -2206,7 +2164,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00164">164</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00159">159</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -2302,7 +2260,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00166">166</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00161">161</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -2320,7 +2278,7 @@ Functions</h2></td></tr>
 
 <p>LLVM Iterators. </p>
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00156">156</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00151">151</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -2352,7 +2310,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00168">168</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00163">163</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -2400,7 +2358,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00167">167</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00162">162</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -2434,7 +2392,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00129">129</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00128">128</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -2514,7 +2472,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00153">153</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00148">148</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3018,7 +2976,7 @@ template&lt;typename Key , typename Compare  = std::less&lt;Key&gt;, typename Al
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00149">149</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00144">144</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3034,7 +2992,7 @@ template&lt;typename Key , typename Compare  = std::less&lt;Key&gt;, typename Al
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00152">152</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00147">147</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3070,22 +3028,6 @@ template&lt;typename Key , typename Compare  = std::less&lt;Key&gt;, typename Al
 
 <p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00094">94</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
-</div>
-</div>
-<a id="ac7dcc6103dee3a0bbc2fd2e02716a154"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#ac7dcc6103dee3a0bbc2fd2e02716a154">&#9670;&nbsp;</a></span>ReturnInst</h2>
-
-<div class="memitem">
-<div class="memproto">
-      <table class="memname">
-        <tr>
-          <td class="memname">typedef llvm::ReturnInst <a class="el" href="namespaceSVF.html#ac7dcc6103dee3a0bbc2fd2e02716a154">SVF::ReturnInst</a></td>
-        </tr>
-      </table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00130">130</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-
 </div>
 </div>
 <a id="a9b707002523ece2ac54ca893ee9a2d4e"></a>
@@ -3132,7 +3074,7 @@ template&lt;typename Key , typename Compare  = std::less&lt;Key&gt;, typename Al
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00141">141</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00136">136</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3150,7 +3092,7 @@ template&lt;typename Key , typename Compare  = std::less&lt;Key&gt;, typename Al
 
 <p>LLVM scalar evolution. </p>
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00140">140</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00135">135</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3166,7 +3108,7 @@ template&lt;typename Key , typename Compare  = std::less&lt;Key&gt;, typename Al
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00144">144</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00139">139</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3182,7 +3124,7 @@ template&lt;typename Key , typename Compare  = std::less&lt;Key&gt;, typename Al
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00142">142</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00137">137</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3198,7 +3140,7 @@ template&lt;typename Key , typename Compare  = std::less&lt;Key&gt;, typename Al
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00143">143</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00138">138</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3280,7 +3222,7 @@ template&lt;typename Key , typename Hash  = Hash&lt;Key&gt;, typename KeyEqual
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00128">128</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00127">127</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3362,7 +3304,7 @@ template&lt;typename Key , typename Hash  = Hash&lt;Key&gt;, typename KeyEqual
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00160">160</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00155">155</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3396,22 +3338,6 @@ template&lt;typename Key , typename Hash  = Hash&lt;Key&gt;, typename KeyEqual
 
 <p class="definition">Definition at line <a class="el" href="SVFG_8h_source.html#l00043">43</a> of file <a class="el" href="SVFG_8h_source.html">SVFG.h</a>.</p>
 
-</div>
-</div>
-<a id="a412280b134578905248ce0122c5db7c9"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a412280b134578905248ce0122c5db7c9">&#9670;&nbsp;</a></span>SwitchInst</h2>
-
-<div class="memitem">
-<div class="memproto">
-      <table class="memname">
-        <tr>
-          <td class="memname">typedef llvm::SwitchInst <a class="el" href="namespaceSVF.html#a412280b134578905248ce0122c5db7c9">SVF::SwitchInst</a></td>
-        </tr>
-      </table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00132">132</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-
 </div>
 </div>
 <a id="ad11fe2412b2182365a662ff0e4639b48"></a>
@@ -3508,22 +3434,6 @@ template&lt;typename Key , typename Hash  = Hash&lt;Key&gt;, typename KeyEqual
 
 <p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00083">83</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 
-</div>
-</div>
-<a id="af4912ad47e19060e53b665f73e0ee6ec"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#af4912ad47e19060e53b665f73e0ee6ec">&#9670;&nbsp;</a></span>UndefValue</h2>
-
-<div class="memitem">
-<div class="memproto">
-      <table class="memname">
-        <tr>
-          <td class="memname">typedef llvm::UndefValue <a class="el" href="namespaceSVF.html#af4912ad47e19060e53b665f73e0ee6ec">SVF::UndefValue</a></td>
-        </tr>
-      </table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00133">133</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-
 </div>
 </div>
 <a id="ae5853f7df76735b195ff93949ca4256b"></a>
@@ -3951,8 +3861,8 @@ template&lt;typename F , typename S &gt; </div>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00291">291</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-<div class="fragment"><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;    o &lt;&lt; <span class="stringliteral">&quot;&lt;&quot;</span> &lt;&lt; var.first &lt;&lt; <span class="stringliteral">&quot;, &quot;</span> &lt;&lt; var.second &lt;&lt; <span class="stringliteral">&quot;&gt;&quot;</span>;</div><div class="line"><a name="l00294"></a><span class="lineno">  294</span>&#160;    <span class="keywordflow">return</span> o;</div><div class="line"><a name="l00295"></a><span class="lineno">  295</span>&#160;}</div></div><!-- fragment -->
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00286">286</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00287"></a><span class="lineno">  287</span>&#160;{</div><div class="line"><a name="l00288"></a><span class="lineno">  288</span>&#160;    o &lt;&lt; <span class="stringliteral">&quot;&lt;&quot;</span> &lt;&lt; var.first &lt;&lt; <span class="stringliteral">&quot;, &quot;</span> &lt;&lt; var.second &lt;&lt; <span class="stringliteral">&quot;&gt;&quot;</span>;</div><div class="line"><a name="l00289"></a><span class="lineno">  289</span>&#160;    <span class="keywordflow">return</span> o;</div><div class="line"><a name="l00290"></a><span class="lineno">  290</span>&#160;}</div></div><!-- fragment -->
 </div>
 </div>
 <a id="aa01b96d5bc6c3930b0bfca789acf75c4"></a>