svf-tools 1.0.573 → 1.0.574

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

@@ -838,6 +838,13 @@ Typedefs</h2></td></tr>
 <tr class="separator:ab34383ee87cd45eb485fa29db482ffef"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a2f60343a6839b9cc893bbf77e8a19915"><td class="memItemLeft" align="right" valign="top">typedef llvm::DominanceFrontierBase&lt; llvm::BasicBlock, <a class="el" href="cJSON_8cpp.html#a65e9886d74aaee76545e83dd09011727">false</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a2f60343a6839b9cc893bbf77e8a19915">DominanceFrontierBase</a></td></tr>
 <tr class="separator:a2f60343a6839b9cc893bbf77e8a19915"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:abf85e29310b2e4df8925d00a5c081314"><td class="memItemLeft" align="right" valign="top">typedef llvm::Loop&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#abf85e29310b2e4df8925d00a5c081314">Loop</a></td></tr>
+<tr class="memdesc:abf85e29310b2e4df8925d00a5c081314"><td class="mdescLeft">&#160;</td><td class="mdescRight">LLVM Loop.  <a href="#abf85e29310b2e4df8925d00a5c081314">More...</a><br /></td></tr>
+<tr class="separator:abf85e29310b2e4df8925d00a5c081314"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a77e088bfe47c0b0ddcbbe0693dec6fe5"><td class="memItemLeft" align="right" valign="top">typedef llvm::LoopInfo&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a77e088bfe47c0b0ddcbbe0693dec6fe5">LoopInfo</a></td></tr>
+<tr class="separator:a77e088bfe47c0b0ddcbbe0693dec6fe5"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:afc1b50355821e7299df03b026e36f1df"><td class="memItemLeft" align="right" valign="top">typedef llvm::User&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#afc1b50355821e7299df03b026e36f1df">User</a></td></tr>
+<tr class="separator:afc1b50355821e7299df03b026e36f1df"><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="separator:a3bacb4f95c73e6d794901d01c6b65a83"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a582e3736a2bbb0540364c1693d831b49"><td class="memItemLeft" align="right" valign="top">typedef llvm::AtomicCmpXchgInst&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a582e3736a2bbb0540364c1693d831b49">AtomicCmpXchgInst</a></td></tr>
@@ -961,12 +968,6 @@ Typedefs</h2></td></tr>
 <tr class="separator:a67f3f86344f028cacfbeb08caaf7bb0f"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a09f5fa3bc44bf53612a085e3a611cc4e"><td class="memItemLeft" align="right" valign="top">typedef llvm::GlobalVariable&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a09f5fa3bc44bf53612a085e3a611cc4e">GlobalVariable</a></td></tr>
 <tr class="separator:a09f5fa3bc44bf53612a085e3a611cc4e"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:afc1b50355821e7299df03b026e36f1df"><td class="memItemLeft" align="right" valign="top">typedef llvm::User&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#afc1b50355821e7299df03b026e36f1df">User</a></td></tr>
-<tr class="separator:afc1b50355821e7299df03b026e36f1df"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:abf85e29310b2e4df8925d00a5c081314"><td class="memItemLeft" align="right" valign="top">typedef llvm::Loop&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#abf85e29310b2e4df8925d00a5c081314">Loop</a></td></tr>
-<tr class="separator:abf85e29310b2e4df8925d00a5c081314"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a77e088bfe47c0b0ddcbbe0693dec6fe5"><td class="memItemLeft" align="right" valign="top">typedef llvm::LoopInfo&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a77e088bfe47c0b0ddcbbe0693dec6fe5">LoopInfo</a></td></tr>
-<tr class="separator:a77e088bfe47c0b0ddcbbe0693dec6fe5"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a726981481ac082dcda3e4921416b65a0"><td class="memItemLeft" align="right" valign="top">typedef llvm::raw_string_ostream&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a></td></tr>
 <tr class="memdesc:a726981481ac082dcda3e4921416b65a0"><td class="mdescLeft">&#160;</td><td class="mdescRight">LLVM outputs.  <a href="#a726981481ac082dcda3e4921416b65a0">More...</a><br /></td></tr>
 <tr class="separator:a726981481ac082dcda3e4921416b65a0"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -1253,7 +1254,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00077">77</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00084">84</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1271,7 +1272,7 @@ Functions</h2></td></tr>
 
 <p>LLVM Aliases and constants. </p>
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00092">92</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#l00088">88</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1287,7 +1288,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#l00087">87</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#l00083">83</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1303,7 +1304,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00078">78</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00085">85</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1319,7 +1320,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00079">79</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00086">86</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1335,7 +1336,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#l00071">71</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#l00070">70</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1351,7 +1352,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00106">106</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00113">113</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1367,7 +1368,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00080">80</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00087">87</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1383,7 +1384,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00047">47</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00049">49</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1399,7 +1400,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00081">81</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00088">88</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1415,7 +1416,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00173">173</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00180">180</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1431,7 +1432,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#l00074">74</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#l00073">73</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1447,7 +1448,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00083">83</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00090">90</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1465,7 +1466,7 @@ Functions</h2></td></tr>
 
 <p>LLVM Instructions. </p>
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00102">102</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#l00098">98</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1513,7 +1514,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00085">85</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00092">92</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1561,7 +1562,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00086">86</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00093">93</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1577,7 +1578,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00174">174</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00181">181</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1593,7 +1594,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00175">175</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00182">182</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1609,7 +1610,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00067">67</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00069">69</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1625,7 +1626,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00060">60</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00062">62</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1641,7 +1642,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00061">61</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00063">63</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1657,7 +1658,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00066">66</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00068">68</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1673,7 +1674,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00065">65</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00067">67</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1689,7 +1690,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00064">64</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00066">66</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1705,7 +1706,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00062">62</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00064">64</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1721,7 +1722,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00063">63</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00065">65</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1737,7 +1738,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#l00093">93</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#l00089">89</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1753,7 +1754,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#l00094">94</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#l00090">90</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1769,7 +1770,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00055">55</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00057">57</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1851,7 +1852,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00057">57</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00059">59</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1867,7 +1868,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00161">161</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00168">168</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1883,7 +1884,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00163">163</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00170">170</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1899,7 +1900,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00159">159</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00166">166</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1915,7 +1916,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00160">160</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00167">167</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1931,7 +1932,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00165">165</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00172">172</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1947,7 +1948,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00166">166</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00173">173</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1963,7 +1964,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#l00117">117</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#l00113">113</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1979,7 +1980,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00164">164</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00171">171</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -1995,7 +1996,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00162">162</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00169">169</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -2011,7 +2012,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00158">158</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00165">165</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -2027,7 +2028,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00167">167</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00174">174</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -2043,7 +2044,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00072">72</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00074">74</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -2059,7 +2060,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00074">74</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00076">76</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -2077,7 +2078,7 @@ Functions</h2></td></tr>
 
 <p>LLVM Dominators. </p>
 
-<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00070">70</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00072">72</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -2093,7 +2094,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00071">71</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00073">73</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -2157,7 +2158,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00088">88</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00095">95</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -2173,7 +2174,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00087">87</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00094">94</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -2189,7 +2190,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00095">95</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00102">102</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -2237,7 +2238,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00096">96</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00103">103</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -2253,7 +2254,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#l00070">70</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#l00069">69</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -2269,7 +2270,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#l00089">89</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#l00085">85</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -2651,7 +2652,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00172">172</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00179">179</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -2683,7 +2684,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00089">89</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00096">96</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -2699,7 +2700,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#l00095">95</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#l00091">91</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -2715,7 +2716,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00033">33</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00035">35</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -2731,7 +2732,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#l00075">75</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#l00074">74</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -2747,7 +2748,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#l00076">76</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#l00075">75</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -2763,7 +2764,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#l00113">113</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#l00109">109</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -2779,7 +2780,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00098">98</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00105">105</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -2795,7 +2796,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00094">94</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00101">101</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -2811,7 +2812,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00171">171</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00178">178</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -2827,7 +2828,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#l00073">73</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#l00072">72</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -2843,7 +2844,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#l00114">114</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#l00110">110</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -2891,7 +2892,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00093">93</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00100">100</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -2907,7 +2908,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00090">90</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00097">97</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -2923,7 +2924,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00036">36</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00038">38</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -2939,7 +2940,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00099">99</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00106">106</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -2955,7 +2956,7 @@ Functions</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00032">32</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00034">34</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -2971,7 +2972,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#l00104">104</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#l00100">100</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3019,7 +3020,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#l00078">78</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p>LLVM Loop. </p>
+
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00079">79</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3035,7 +3038,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#l00079">79</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="SVF-FE_2BasicTypes_8h_source.html#l00080">80</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3069,7 +3072,7 @@ template&lt;typename Key , typename Value , typename Hash  = Hash&lt;Key&gt;, ty
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00099">99</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#l00095">95</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3085,7 +3088,7 @@ template&lt;typename Key , typename Value , typename Hash  = Hash&lt;Key&gt;, ty
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00050">50</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00052">52</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3101,7 +3104,7 @@ template&lt;typename Key , typename Value , typename Hash  = Hash&lt;Key&gt;, ty
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00056">56</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00058">58</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3117,7 +3120,7 @@ template&lt;typename Key , typename Value , typename Hash  = Hash&lt;Key&gt;, ty
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00051">51</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00053">53</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3133,7 +3136,7 @@ template&lt;typename Key , typename Value , typename Hash  = Hash&lt;Key&gt;, ty
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00043">43</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00045">45</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3149,7 +3152,7 @@ template&lt;typename Key , typename Value , typename Hash  = Hash&lt;Key&gt;, ty
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00035">35</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00037">37</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3215,7 +3218,7 @@ template&lt;typename Key , typename Value , typename Hash  = Hash&lt;Key&gt;, ty
 
 <p>LLVM metadata. </p>
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00098">98</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#l00094">94</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3523,7 +3526,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="SVF-FE_2BasicTypes_8h_source.html#l00092">92</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00099">99</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3555,7 +3558,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#l00088">88</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#l00084">84</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3587,7 +3590,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="SVF-FE_2BasicTypes_8h_source.html#l00073">73</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00075">75</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3603,7 +3606,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#l00083">83</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#l00079">79</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3621,7 +3624,7 @@ template&lt;typename Key , typename Compare  = std::less&lt;Key&gt;, typename Al
 
 <p>LLVM outputs. </p>
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00082">82</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#l00078">78</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3637,7 +3640,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="SVF-FE_2BasicTypes_8h_source.html#l00100">100</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00107">107</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3653,7 +3656,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="SVF-FE_2BasicTypes_8h_source.html#l00084">84</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00091">91</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3701,7 +3704,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="SVF-FE_2BasicTypes_8h_source.html#l00181">181</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00188">188</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3717,7 +3720,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="SVF-FE_2BasicTypes_8h_source.html#l00178">178</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00185">185</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3733,7 +3736,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="SVF-FE_2BasicTypes_8h_source.html#l00182">182</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00189">189</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3749,7 +3752,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="SVF-FE_2BasicTypes_8h_source.html#l00179">179</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00186">186</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3765,7 +3768,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="SVF-FE_2BasicTypes_8h_source.html#l00180">180</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00187">187</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3781,7 +3784,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="SVF-FE_2BasicTypes_8h_source.html#l00101">101</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00108">108</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3815,7 +3818,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="SVF-FE_2BasicTypes_8h_source.html#l00091">91</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00098">98</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3847,7 +3850,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="SVF-FE_2BasicTypes_8h_source.html#l00045">45</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00047">47</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3879,7 +3882,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#l00103">103</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#l00099">99</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3911,7 +3914,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="SVF-FE_2BasicTypes_8h_source.html#l00054">54</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00056">56</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3929,7 +3932,7 @@ template&lt;typename Key , typename Hash  = Hash&lt;Key&gt;, typename KeyEqual
 
 <p>LLVM types. </p>
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00086">86</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#l00082">82</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3947,7 +3950,7 @@ template&lt;typename Key , typename Hash  = Hash&lt;Key&gt;, typename KeyEqual
 
 <p>LLVM Iterators. </p>
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00111">111</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#l00107">107</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -3995,7 +3998,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="SVF-FE_2BasicTypes_8h_source.html#l00082">82</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00089">89</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -4045,7 +4048,7 @@ template&lt;typename Key , typename Hash  = Hash&lt;Key&gt;, typename KeyEqual
 
 <p>LLVM Basic classes. </p>
 
-<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00065">65</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#l00064">64</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -4093,7 +4096,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="SVF-FE_2BasicTypes_8h_source.html#l00107">107</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00114">114</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -4109,7 +4112,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="SVF-FE_2BasicTypes_8h_source.html#l00108">108</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00115">115</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -4125,7 +4128,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="SVF-FE_2BasicTypes_8h_source.html#l00040">40</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00042">42</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -4141,7 +4144,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="SVF-FE_2BasicTypes_8h_source.html#l00097">97</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00104">104</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -4157,7 +4160,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="SVF-FE_2BasicTypes_8h_source.html#l00034">34</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00036">36</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -4173,7 +4176,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#l00077">77</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="SVF-FE_2BasicTypes_8h_source.html#l00081">81</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -4189,7 +4192,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="SVF-FE_2BasicTypes_8h_source.html#l00102">102</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00109">109</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -4205,7 +4208,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="SVF-FE_2BasicTypes_8h_source.html#l00103">103</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00110">110</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -4221,7 +4224,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="SVF-FE_2BasicTypes_8h_source.html#l00104">104</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00111">111</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -4237,7 +4240,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#l00072">72</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#l00071">71</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -4253,7 +4256,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="SVF-FE_2BasicTypes_8h_source.html#l00105">105</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00112">112</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -4269,7 +4272,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="SVF-FE_2BasicTypes_8h_source.html#l00185">185</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVF-FE_2BasicTypes_8h_source.html#l00192">192</a> of file <a class="el" href="SVF-FE_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
 
 </div>
 </div>
@@ -4557,7 +4560,7 @@ template&lt;typename T &gt; </div>
 
 <p class="definition">Definition at line <a class="el" href="SparseBitVector_8h_source.html#l00197">197</a> of file <a class="el" href="SparseBitVector_8h_source.html">SparseBitVector.h</a>.</p>
 <div class="fragment"><div class="line"><a name="l00198"></a><span class="lineno">  198</span>&#160;{</div><div class="line"><a name="l00199"></a><span class="lineno">  199</span>&#160;    static_assert(std::numeric_limits&lt;T&gt;::is_integer &amp;&amp;</div><div class="line"><a name="l00200"></a><span class="lineno">  200</span>&#160;                  !std::numeric_limits&lt;T&gt;::is_signed,</div><div class="line"><a name="l00201"></a><span class="lineno">  201</span>&#160;                  <span class="stringliteral">&quot;Only unsigned integral types are allowed.&quot;</span>);</div><div class="line"><a name="l00202"></a><span class="lineno">  202</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="cJSON_8h.html#ad43c3812e6d13e0518d9f8b8f463ffcf">PopulationCounter&lt;T, sizeof(T)&gt;::count</a>(<a class="code" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a>);</div><div class="line"><a name="l00203"></a><span class="lineno">  203</span>&#160;}</div><div class="ttc" id="cJSON_8h_html_ad43c3812e6d13e0518d9f8b8f463ffcf"><div class="ttname"><a href="cJSON_8h.html#ad43c3812e6d13e0518d9f8b8f463ffcf">count</a></div><div class="ttdeci">int count</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00216">cJSON.h:216</a></div></div>
-<div class="ttc" id="namespaceSVF_html_a90b263fd2f541eca78135078114cabda"><div class="ttname"><a href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">SVF::Value</a></div><div class="ttdeci">llvm::Value Value</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00072">BasicTypes.h:72</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a90b263fd2f541eca78135078114cabda"><div class="ttname"><a href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">SVF::Value</a></div><div class="ttdeci">llvm::Value Value</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00071">BasicTypes.h:71</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -4918,8 +4921,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#l00425">425</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00426"></a><span class="lineno">  426</span>&#160;{</div><div class="line"><a name="l00427"></a><span class="lineno">  427</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="l00428"></a><span class="lineno">  428</span>&#160;    <span class="keywordflow">return</span> o;</div><div class="line"><a name="l00429"></a><span class="lineno">  429</span>&#160;}</div></div><!-- fragment -->
+<p class="definition">Definition at line <a class="el" href="Util_2BasicTypes_8h_source.html#l00460">460</a> of file <a class="el" href="Util_2BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00461"></a><span class="lineno">  461</span>&#160;{</div><div class="line"><a name="l00462"></a><span class="lineno">  462</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="l00463"></a><span class="lineno">  463</span>&#160;    <span class="keywordflow">return</span> o;</div><div class="line"><a name="l00464"></a><span class="lineno">  464</span>&#160;}</div></div><!-- fragment -->
 </div>
 </div>
 <a id="aec4534b227e8f43b9077e708b74817fa"></a>