svf-tools 1.0.896 → 1.0.898

package/SVF-doxygen/html/GeneralType_8h_source.html

@@ -118,120 +118,128 @@ $(function() {
 <div class="line"><a name="l00047"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">   47</a></span>&#160;<span class="keyword">typedef</span> <span class="keywordtype">signed</span> <a class="code" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a>;</div>
 <div class="line"><a name="l00048"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a366625858f450a1ea5f985a3c83e0f14">   48</a></span>&#160;<span class="keyword">typedef</span> <span class="keywordtype">unsigned</span> <span class="keywordtype">long</span> <span class="keywordtype">long</span> <a class="code" href="namespaceSVF.html#a366625858f450a1ea5f985a3c83e0f14">u64_t</a>;</div>
 <div class="line"><a name="l00049"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">   49</a></span>&#160;<span class="keyword">typedef</span> <span class="keywordtype">signed</span> <span class="keywordtype">long</span> <span class="keywordtype">long</span> <a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a>;</div>
-<div class="line"><a name="l00050"></a><span class="lineno">   50</span>&#160; </div>
-<div class="line"><a name="l00051"></a><span class="lineno">   51</span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a>;</div>
-<div class="line"><a name="l00052"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ae71551d6a1fc300e0403297aa25ddf94">   52</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <a class="code" href="namespaceSVF.html#ae71551d6a1fc300e0403297aa25ddf94">EdgeID</a>;</div>
-<div class="line"><a name="l00053"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ad11fe2412b2182365a662ff0e4639b48">   53</a></span>&#160;<span class="keyword">typedef</span> <span class="keywordtype">unsigned</span> <a class="code" href="namespaceSVF.html#ad11fe2412b2182365a662ff0e4639b48">SymID</a>;</div>
-<div class="line"><a name="l00054"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a03d88a0302bcd253387690f13f693f64">   54</a></span>&#160;<span class="keyword">typedef</span> <span class="keywordtype">unsigned</span> <a class="code" href="namespaceSVF.html#a03d88a0302bcd253387690f13f693f64">CallSiteID</a>;</div>
-<div class="line"><a name="l00055"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a10cddb090690c82a2aab31a480253d35">   55</a></span>&#160;<span class="keyword">typedef</span> <span class="keywordtype">unsigned</span> <a class="code" href="namespaceSVF.html#a10cddb090690c82a2aab31a480253d35">ThreadID</a>;</div>
-<div class="line"><a name="l00056"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a5c4820681ef340339ddded756eb82ae1">   56</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a> <a class="code" href="namespaceSVF.html#a5c4820681ef340339ddded756eb82ae1">APOffset</a>;</div>
-<div class="line"><a name="l00057"></a><span class="lineno">   57</span>&#160; </div>
-<div class="line"><a name="l00058"></a><span class="lineno"><a class="line" href="namespaceSVF.html#aa7b6a13e52671de8524b130738aeb564">   58</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="classSVF_1_1SparseBitVector.html">SparseBitVector&lt;&gt;</a> <a class="code" href="namespaceSVF.html#aa7b6a13e52671de8524b130738aeb564">NodeBS</a>;</div>
-<div class="line"><a name="l00059"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ae545a88267bd2246de827cf590675aca">   59</a></span>&#160;<span class="keyword">typedef</span> <span class="keywordtype">unsigned</span> <a class="code" href="namespaceSVF.html#ae545a88267bd2246de827cf590675aca">PointsToID</a>;</div>
-<div class="line"><a name="l00060"></a><span class="lineno">   60</span>&#160; </div>
-<div class="line"><a name="l00062"></a><span class="lineno"><a class="line" href="structSVF_1_1Hash.html">   62</a></span>&#160;<span class="keyword">template</span> &lt;<span class="keyword">class</span> T&gt; <span class="keyword">struct </span><a class="code" href="structSVF_1_1Hash.html">Hash</a>;</div>
-<div class="line"><a name="l00063"></a><span class="lineno">   63</span>&#160; </div>
-<div class="line"><a name="l00064"></a><span class="lineno"><a class="line" href="structSVF_1_1Hash_3_01std_1_1pair_3_01S_00_01T_01_4_01_4.html">   64</a></span>&#160;<span class="keyword">template</span> &lt;<span class="keyword">class</span> S, <span class="keyword">class</span> T&gt; <span class="keyword">struct </span><a class="code" href="structSVF_1_1Hash.html">Hash</a>&lt;std::pair&lt;S, T&gt;&gt;</div>
-<div class="line"><a name="l00065"></a><span class="lineno">   65</span>&#160;{</div>
-<div class="line"><a name="l00066"></a><span class="lineno">   66</span>&#160;    <span class="comment">// Pairing function from: http://szudzik.com/ElegantPairing.pdf</span></div>
-<div class="line"><a name="l00067"></a><span class="lineno"><a class="line" href="structSVF_1_1Hash_3_01std_1_1pair_3_01S_00_01T_01_4_01_4.html#adf5f19b1b32c117571fe74035cdcdbe2">   67</a></span>&#160;    <span class="keyword">static</span> <span class="keywordtype">size_t</span> <a class="code" href="structSVF_1_1Hash_3_01std_1_1pair_3_01S_00_01T_01_4_01_4.html#adf5f19b1b32c117571fe74035cdcdbe2">szudzik</a>(<span class="keywordtype">size_t</span> <a class="code" href="cJSON_8cpp.html#a8a1a0a26c50cc4becfc754bb68d1dc6b">a</a>, <span class="keywordtype">size_t</span> <a class="code" href="cJSON_8h.html#a1a175e87536301df98c805ac0636ad7c">b</a>)</div>
-<div class="line"><a name="l00068"></a><span class="lineno">   68</span>&#160;    {</div>
-<div class="line"><a name="l00069"></a><span class="lineno">   69</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="cJSON_8cpp.html#a8a1a0a26c50cc4becfc754bb68d1dc6b">a</a> &gt; <a class="code" href="cJSON_8h.html#a1a175e87536301df98c805ac0636ad7c">b</a> ? <a class="code" href="cJSON_8h.html#a1a175e87536301df98c805ac0636ad7c">b</a> * <a class="code" href="cJSON_8h.html#a1a175e87536301df98c805ac0636ad7c">b</a> + <a class="code" href="cJSON_8cpp.html#a8a1a0a26c50cc4becfc754bb68d1dc6b">a</a> : <a class="code" href="cJSON_8cpp.html#a8a1a0a26c50cc4becfc754bb68d1dc6b">a</a> * <a class="code" href="cJSON_8cpp.html#a8a1a0a26c50cc4becfc754bb68d1dc6b">a</a> + <a class="code" href="cJSON_8cpp.html#a8a1a0a26c50cc4becfc754bb68d1dc6b">a</a> + <a class="code" href="cJSON_8h.html#a1a175e87536301df98c805ac0636ad7c">b</a>;</div>
-<div class="line"><a name="l00070"></a><span class="lineno">   70</span>&#160;    }</div>
-<div class="line"><a name="l00071"></a><span class="lineno">   71</span>&#160; </div>
-<div class="line"><a name="l00072"></a><span class="lineno"><a class="line" href="structSVF_1_1Hash_3_01std_1_1pair_3_01S_00_01T_01_4_01_4.html#a8bc94a83d93639b91f9e02dfdd93d8be">   72</a></span>&#160;    <span class="keywordtype">size_t</span> <a class="code" href="structSVF_1_1Hash_3_01std_1_1pair_3_01S_00_01T_01_4_01_4.html#a8bc94a83d93639b91f9e02dfdd93d8be">operator()</a>(<span class="keyword">const</span> std::pair&lt;S, T&gt;&amp; t)<span class="keyword"> const</span></div>
-<div class="line"><a name="l00073"></a><span class="lineno">   73</span>&#160;<span class="keyword">    </span>{</div>
-<div class="line"><a name="l00074"></a><span class="lineno">   74</span>&#160;        <a class="code" href="structSVF_1_1Hash.html">Hash</a>&lt;decltype(t.first)&gt; first;</div>
-<div class="line"><a name="l00075"></a><span class="lineno">   75</span>&#160;        <a class="code" href="structSVF_1_1Hash.html">Hash</a>&lt;decltype(t.second)&gt; second;</div>
-<div class="line"><a name="l00076"></a><span class="lineno">   76</span>&#160;        <span class="keywordflow">return</span> szudzik(first(t.first), second(t.second));</div>
-<div class="line"><a name="l00077"></a><span class="lineno">   77</span>&#160;    }</div>
-<div class="line"><a name="l00078"></a><span class="lineno">   78</span>&#160;};</div>
-<div class="line"><a name="l00079"></a><span class="lineno">   79</span>&#160; </div>
-<div class="line"><a name="l00080"></a><span class="lineno">   80</span>&#160;<span class="keyword">template</span> &lt;<span class="keyword">class</span> T&gt; <span class="keyword">struct </span>Hash</div>
-<div class="line"><a name="l00081"></a><span class="lineno">   81</span>&#160;{</div>
-<div class="line"><a name="l00082"></a><span class="lineno"><a class="line" href="structSVF_1_1Hash.html#aad49eec16cfdd4d3423f27666d5f28ff">   82</a></span>&#160;    <span class="keywordtype">size_t</span> <a class="code" href="structSVF_1_1Hash.html#aad49eec16cfdd4d3423f27666d5f28ff">operator()</a>(<span class="keyword">const</span> T&amp; t)<span class="keyword"> const</span></div>
-<div class="line"><a name="l00083"></a><span class="lineno">   83</span>&#160;<span class="keyword">    </span>{</div>
-<div class="line"><a name="l00084"></a><span class="lineno">   84</span>&#160;        std::hash&lt;T&gt; h;</div>
-<div class="line"><a name="l00085"></a><span class="lineno">   85</span>&#160;        <span class="keywordflow">return</span> h(t);</div>
-<div class="line"><a name="l00086"></a><span class="lineno">   86</span>&#160;    }</div>
-<div class="line"><a name="l00087"></a><span class="lineno">   87</span>&#160;};</div>
-<div class="line"><a name="l00088"></a><span class="lineno">   88</span>&#160; </div>
-<div class="line"><a name="l00089"></a><span class="lineno">   89</span>&#160;<span class="keyword">template</span> &lt;<span class="keyword">typename</span> Key, <span class="keyword">typename</span> Hash = Hash&lt;Key&gt;,</div>
-<div class="line"><a name="l00090"></a><span class="lineno">   90</span>&#160;          <span class="keyword">typename</span> KeyEqual = std::equal_to&lt;Key&gt;,</div>
-<div class="line"><a name="l00091"></a><span class="lineno">   91</span>&#160;          <span class="keyword">typename</span> Allocator = std::allocator&lt;Key&gt;&gt;</div>
-<div class="line"><a name="l00092"></a><span class="lineno"><a class="line" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">   92</a></span>&#160;<span class="keyword">using</span> <a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set</a> = std::unordered_set&lt;Key, Hash, KeyEqual, Allocator&gt;;</div>
-<div class="line"><a name="l00093"></a><span class="lineno">   93</span>&#160; </div>
-<div class="line"><a name="l00094"></a><span class="lineno">   94</span>&#160;<span class="keyword">template</span> &lt;<span class="keyword">typename</span> Key, <span class="keyword">typename</span> Value, <span class="keyword">typename</span> Hash = Hash&lt;Key&gt;,</div>
-<div class="line"><a name="l00095"></a><span class="lineno">   95</span>&#160;          <span class="keyword">typename</span> KeyEqual = std::equal_to&lt;Key&gt;,</div>
-<div class="line"><a name="l00096"></a><span class="lineno">   96</span>&#160;          <span class="keyword">typename</span> Allocator = std::allocator&lt;std::pair&lt;const Key, Value&gt;&gt;&gt;</div>
-<div class="line"><a name="l00097"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">   97</a></span>&#160;                  <span class="keyword">using</span> <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a> = std::unordered_map&lt;Key, Value, Hash, KeyEqual, Allocator&gt;;</div>
-<div class="line"><a name="l00098"></a><span class="lineno">   98</span>&#160; </div>
-<div class="line"><a name="l00099"></a><span class="lineno">   99</span>&#160;          <span class="keyword">template</span> &lt;<span class="keyword">typename</span> Key, <span class="keyword">typename</span> Compare = std::less&lt;Key&gt;,</div>
-<div class="line"><a name="l00100"></a><span class="lineno">  100</span>&#160;                    <span class="keyword">typename</span> Allocator = std::allocator&lt;Key&gt;&gt;</div>
-<div class="line"><a name="l00101"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a4f21e91ff8eaea5207afe5c60dbd78d7">  101</a></span>&#160;          <span class="keyword">using</span> <a class="code" href="namespaceSVF.html#a4f21e91ff8eaea5207afe5c60dbd78d7">OrderedSet</a> = std::set&lt;Key, Compare, Allocator&gt;;</div>
+<div class="line"><a name="l00050"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a9e83fb2225082782d168f5c7bfc79ba7">   50</a></span>&#160;<span class="keyword">typedef</span> <span class="keywordtype">unsigned</span> <span class="keywordtype">char</span> <a class="code" href="namespaceSVF.html#a9e83fb2225082782d168f5c7bfc79ba7">u8_t</a>;</div>
+<div class="line"><a name="l00051"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a64e9b1c8c4f095e5b50ba05229c2e1ba">   51</a></span>&#160;<span class="keyword">typedef</span> <span class="keywordtype">signed</span> <span class="keywordtype">char</span> <a class="code" href="namespaceSVF.html#a64e9b1c8c4f095e5b50ba05229c2e1ba">s8_t</a>;</div>
+<div class="line"><a name="l00052"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a7c3a917e8b1d3253982e0a1a37b74d93">   52</a></span>&#160;<span class="keyword">typedef</span> <span class="keywordtype">unsigned</span> <span class="keywordtype">short</span> <a class="code" href="namespaceSVF.html#a7c3a917e8b1d3253982e0a1a37b74d93">u16_t</a>;</div>
+<div class="line"><a name="l00053"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a6ce4cf67f8622443c888737d7366a3e9">   53</a></span>&#160;<span class="keyword">typedef</span> <span class="keywordtype">signed</span> <span class="keywordtype">short</span> <a class="code" href="namespaceSVF.html#a6ce4cf67f8622443c888737d7366a3e9">s16_t</a>;</div>
+<div class="line"><a name="l00054"></a><span class="lineno">   54</span>&#160; </div>
+<div class="line"><a name="l00055"></a><span class="lineno">   55</span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a>;</div>
+<div class="line"><a name="l00056"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ae71551d6a1fc300e0403297aa25ddf94">   56</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <a class="code" href="namespaceSVF.html#ae71551d6a1fc300e0403297aa25ddf94">EdgeID</a>;</div>
+<div class="line"><a name="l00057"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ad11fe2412b2182365a662ff0e4639b48">   57</a></span>&#160;<span class="keyword">typedef</span> <span class="keywordtype">unsigned</span> <a class="code" href="namespaceSVF.html#ad11fe2412b2182365a662ff0e4639b48">SymID</a>;</div>
+<div class="line"><a name="l00058"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a03d88a0302bcd253387690f13f693f64">   58</a></span>&#160;<span class="keyword">typedef</span> <span class="keywordtype">unsigned</span> <a class="code" href="namespaceSVF.html#a03d88a0302bcd253387690f13f693f64">CallSiteID</a>;</div>
+<div class="line"><a name="l00059"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a10cddb090690c82a2aab31a480253d35">   59</a></span>&#160;<span class="keyword">typedef</span> <span class="keywordtype">unsigned</span> <a class="code" href="namespaceSVF.html#a10cddb090690c82a2aab31a480253d35">ThreadID</a>;</div>
+<div class="line"><a name="l00060"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a5c4820681ef340339ddded756eb82ae1">   60</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a> <a class="code" href="namespaceSVF.html#a5c4820681ef340339ddded756eb82ae1">APOffset</a>;</div>
+<div class="line"><a name="l00061"></a><span class="lineno">   61</span>&#160; </div>
+<div class="line"><a name="l00062"></a><span class="lineno"><a class="line" href="namespaceSVF.html#aa7b6a13e52671de8524b130738aeb564">   62</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="classSVF_1_1SparseBitVector.html">SparseBitVector&lt;&gt;</a> <a class="code" href="namespaceSVF.html#aa7b6a13e52671de8524b130738aeb564">NodeBS</a>;</div>
+<div class="line"><a name="l00063"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ae545a88267bd2246de827cf590675aca">   63</a></span>&#160;<span class="keyword">typedef</span> <span class="keywordtype">unsigned</span> <a class="code" href="namespaceSVF.html#ae545a88267bd2246de827cf590675aca">PointsToID</a>;</div>
+<div class="line"><a name="l00064"></a><span class="lineno">   64</span>&#160; </div>
+<div class="line"><a name="l00066"></a><span class="lineno"><a class="line" href="structSVF_1_1Hash.html">   66</a></span>&#160;<span class="keyword">template</span> &lt;<span class="keyword">class</span> T&gt; <span class="keyword">struct </span><a class="code" href="structSVF_1_1Hash.html">Hash</a>;</div>
+<div class="line"><a name="l00067"></a><span class="lineno">   67</span>&#160; </div>
+<div class="line"><a name="l00068"></a><span class="lineno"><a class="line" href="structSVF_1_1Hash_3_01std_1_1pair_3_01S_00_01T_01_4_01_4.html">   68</a></span>&#160;<span class="keyword">template</span> &lt;<span class="keyword">class</span> S, <span class="keyword">class</span> T&gt; <span class="keyword">struct </span><a class="code" href="structSVF_1_1Hash.html">Hash</a>&lt;std::pair&lt;S, T&gt;&gt;</div>
+<div class="line"><a name="l00069"></a><span class="lineno">   69</span>&#160;{</div>
+<div class="line"><a name="l00070"></a><span class="lineno">   70</span>&#160;    <span class="comment">// Pairing function from: http://szudzik.com/ElegantPairing.pdf</span></div>
+<div class="line"><a name="l00071"></a><span class="lineno"><a class="line" href="structSVF_1_1Hash_3_01std_1_1pair_3_01S_00_01T_01_4_01_4.html#adf5f19b1b32c117571fe74035cdcdbe2">   71</a></span>&#160;    <span class="keyword">static</span> <span class="keywordtype">size_t</span> <a class="code" href="structSVF_1_1Hash_3_01std_1_1pair_3_01S_00_01T_01_4_01_4.html#adf5f19b1b32c117571fe74035cdcdbe2">szudzik</a>(<span class="keywordtype">size_t</span> <a class="code" href="cJSON_8cpp.html#a8a1a0a26c50cc4becfc754bb68d1dc6b">a</a>, <span class="keywordtype">size_t</span> <a class="code" href="cJSON_8h.html#a1a175e87536301df98c805ac0636ad7c">b</a>)</div>
+<div class="line"><a name="l00072"></a><span class="lineno">   72</span>&#160;    {</div>
+<div class="line"><a name="l00073"></a><span class="lineno">   73</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="cJSON_8cpp.html#a8a1a0a26c50cc4becfc754bb68d1dc6b">a</a> &gt; <a class="code" href="cJSON_8h.html#a1a175e87536301df98c805ac0636ad7c">b</a> ? <a class="code" href="cJSON_8h.html#a1a175e87536301df98c805ac0636ad7c">b</a> * <a class="code" href="cJSON_8h.html#a1a175e87536301df98c805ac0636ad7c">b</a> + <a class="code" href="cJSON_8cpp.html#a8a1a0a26c50cc4becfc754bb68d1dc6b">a</a> : <a class="code" href="cJSON_8cpp.html#a8a1a0a26c50cc4becfc754bb68d1dc6b">a</a> * <a class="code" href="cJSON_8cpp.html#a8a1a0a26c50cc4becfc754bb68d1dc6b">a</a> + <a class="code" href="cJSON_8cpp.html#a8a1a0a26c50cc4becfc754bb68d1dc6b">a</a> + <a class="code" href="cJSON_8h.html#a1a175e87536301df98c805ac0636ad7c">b</a>;</div>
+<div class="line"><a name="l00074"></a><span class="lineno">   74</span>&#160;    }</div>
+<div class="line"><a name="l00075"></a><span class="lineno">   75</span>&#160; </div>
+<div class="line"><a name="l00076"></a><span class="lineno"><a class="line" href="structSVF_1_1Hash_3_01std_1_1pair_3_01S_00_01T_01_4_01_4.html#a8bc94a83d93639b91f9e02dfdd93d8be">   76</a></span>&#160;    <span class="keywordtype">size_t</span> <a class="code" href="structSVF_1_1Hash_3_01std_1_1pair_3_01S_00_01T_01_4_01_4.html#a8bc94a83d93639b91f9e02dfdd93d8be">operator()</a>(<span class="keyword">const</span> std::pair&lt;S, T&gt;&amp; t)<span class="keyword"> const</span></div>
+<div class="line"><a name="l00077"></a><span class="lineno">   77</span>&#160;<span class="keyword">    </span>{</div>
+<div class="line"><a name="l00078"></a><span class="lineno">   78</span>&#160;        <a class="code" href="structSVF_1_1Hash.html">Hash</a>&lt;decltype(t.first)&gt; first;</div>
+<div class="line"><a name="l00079"></a><span class="lineno">   79</span>&#160;        <a class="code" href="structSVF_1_1Hash.html">Hash</a>&lt;decltype(t.second)&gt; second;</div>
+<div class="line"><a name="l00080"></a><span class="lineno">   80</span>&#160;        <span class="keywordflow">return</span> szudzik(first(t.first), second(t.second));</div>
+<div class="line"><a name="l00081"></a><span class="lineno">   81</span>&#160;    }</div>
+<div class="line"><a name="l00082"></a><span class="lineno">   82</span>&#160;};</div>
+<div class="line"><a name="l00083"></a><span class="lineno">   83</span>&#160; </div>
+<div class="line"><a name="l00084"></a><span class="lineno">   84</span>&#160;<span class="keyword">template</span> &lt;<span class="keyword">class</span> T&gt; <span class="keyword">struct </span>Hash</div>
+<div class="line"><a name="l00085"></a><span class="lineno">   85</span>&#160;{</div>
+<div class="line"><a name="l00086"></a><span class="lineno"><a class="line" href="structSVF_1_1Hash.html#aad49eec16cfdd4d3423f27666d5f28ff">   86</a></span>&#160;    <span class="keywordtype">size_t</span> <a class="code" href="structSVF_1_1Hash.html#aad49eec16cfdd4d3423f27666d5f28ff">operator()</a>(<span class="keyword">const</span> T&amp; t)<span class="keyword"> const</span></div>
+<div class="line"><a name="l00087"></a><span class="lineno">   87</span>&#160;<span class="keyword">    </span>{</div>
+<div class="line"><a name="l00088"></a><span class="lineno">   88</span>&#160;        std::hash&lt;T&gt; h;</div>
+<div class="line"><a name="l00089"></a><span class="lineno">   89</span>&#160;        <span class="keywordflow">return</span> h(t);</div>
+<div class="line"><a name="l00090"></a><span class="lineno">   90</span>&#160;    }</div>
+<div class="line"><a name="l00091"></a><span class="lineno">   91</span>&#160;};</div>
+<div class="line"><a name="l00092"></a><span class="lineno">   92</span>&#160; </div>
+<div class="line"><a name="l00093"></a><span class="lineno">   93</span>&#160;<span class="keyword">template</span> &lt;<span class="keyword">typename</span> Key, <span class="keyword">typename</span> Hash = Hash&lt;Key&gt;,</div>
+<div class="line"><a name="l00094"></a><span class="lineno">   94</span>&#160;          <span class="keyword">typename</span> KeyEqual = std::equal_to&lt;Key&gt;,</div>
+<div class="line"><a name="l00095"></a><span class="lineno">   95</span>&#160;          <span class="keyword">typename</span> Allocator = std::allocator&lt;Key&gt;&gt;</div>
+<div class="line"><a name="l00096"></a><span class="lineno"><a class="line" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">   96</a></span>&#160;<span class="keyword">using</span> <a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set</a> = std::unordered_set&lt;Key, Hash, KeyEqual, Allocator&gt;;</div>
+<div class="line"><a name="l00097"></a><span class="lineno">   97</span>&#160; </div>
+<div class="line"><a name="l00098"></a><span class="lineno">   98</span>&#160;<span class="keyword">template</span> &lt;<span class="keyword">typename</span> Key, <span class="keyword">typename</span> Value, <span class="keyword">typename</span> Hash = Hash&lt;Key&gt;,</div>
+<div class="line"><a name="l00099"></a><span class="lineno">   99</span>&#160;          <span class="keyword">typename</span> KeyEqual = std::equal_to&lt;Key&gt;,</div>
+<div class="line"><a name="l00100"></a><span class="lineno">  100</span>&#160;          <span class="keyword">typename</span> Allocator = std::allocator&lt;std::pair&lt;const Key, Value&gt;&gt;&gt;</div>
+<div class="line"><a name="l00101"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">  101</a></span>&#160;                  <span class="keyword">using</span> <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a> = std::unordered_map&lt;Key, Value, Hash, KeyEqual, Allocator&gt;;</div>
 <div class="line"><a name="l00102"></a><span class="lineno">  102</span>&#160; </div>
-<div class="line"><a name="l00103"></a><span class="lineno">  103</span>&#160;          <span class="keyword">template</span> &lt;<span class="keyword">typename</span> Key, <span class="keyword">typename</span> Value, <span class="keyword">typename</span> Compare = std::less&lt;Key&gt;,</div>
-<div class="line"><a name="l00104"></a><span class="lineno">  104</span>&#160;                    <span class="keyword">typename</span> Allocator = std::allocator&lt;std::pair&lt;const Key, Value&gt;&gt;&gt;</div>
-<div class="line"><a name="l00105"></a><span class="lineno"><a class="line" href="namespaceSVF.html#aedf0d6718ca176e0b9e17ab4b30729c6">  105</a></span>&#160;                            <span class="keyword">using</span> <a class="code" href="namespaceSVF.html#aedf0d6718ca176e0b9e17ab4b30729c6">OrderedMap</a> = std::map&lt;Key, Value, Compare, Allocator&gt;;</div>
+<div class="line"><a name="l00103"></a><span class="lineno">  103</span>&#160;          <span class="keyword">template</span> &lt;<span class="keyword">typename</span> Key, <span class="keyword">typename</span> Compare = std::less&lt;Key&gt;,</div>
+<div class="line"><a name="l00104"></a><span class="lineno">  104</span>&#160;                    <span class="keyword">typename</span> Allocator = std::allocator&lt;Key&gt;&gt;</div>
+<div class="line"><a name="l00105"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a4f21e91ff8eaea5207afe5c60dbd78d7">  105</a></span>&#160;          <span class="keyword">using</span> <a class="code" href="namespaceSVF.html#a4f21e91ff8eaea5207afe5c60dbd78d7">OrderedSet</a> = std::set&lt;Key, Compare, Allocator&gt;;</div>
 <div class="line"><a name="l00106"></a><span class="lineno">  106</span>&#160; </div>
-<div class="line"><a name="l00107"></a><span class="lineno"><a class="line" href="namespaceSVF.html#af15e78ec0ab5bf5328d0f8e90c74fe4b">  107</a></span>&#160;                    <span class="keyword">typedef</span> std::pair&lt;NodeID, NodeID&gt; <a class="code" href="namespaceSVF.html#af15e78ec0ab5bf5328d0f8e90c74fe4b">NodePair</a>;</div>
-<div class="line"><a name="l00108"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a3c2bd95727ec0d9c55c631b6617026c8">  108</a></span>&#160;                    <span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a4f21e91ff8eaea5207afe5c60dbd78d7">OrderedSet&lt;NodeID&gt;</a> <a class="code" href="namespaceSVF.html#a3c2bd95727ec0d9c55c631b6617026c8">OrderedNodeSet</a>;</div>
-<div class="line"><a name="l00109"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a212231734fa43d5c7414137deaac7df3">  109</a></span>&#160;                    <span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set&lt;NodeID&gt;</a> <a class="code" href="namespaceSVF.html#a212231734fa43d5c7414137deaac7df3">NodeSet</a>;</div>
-<div class="line"><a name="l00110"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ac82022f3f81965c3ce9b26c299f537a7">  110</a></span>&#160;                    <span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set&lt;NodePair&gt;</a> <a class="code" href="namespaceSVF.html#ac82022f3f81965c3ce9b26c299f537a7">NodePairSet</a>;</div>
-<div class="line"><a name="l00111"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a5aaae6def1049304d855101a0d4b0b1c">  111</a></span>&#160;                    <span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map&lt;NodePair, NodeID&gt;</a> <a class="code" href="namespaceSVF.html#a5aaae6def1049304d855101a0d4b0b1c">NodePairMap</a>;</div>
-<div class="line"><a name="l00112"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a39d27055a14d9d6363c668ee215a4676">  112</a></span>&#160;                    <span class="keyword">typedef</span> std::vector&lt;NodeID&gt; <a class="code" href="namespaceSVF.html#a39d27055a14d9d6363c668ee215a4676">NodeVector</a>;</div>
-<div class="line"><a name="l00113"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a4831992588252dc51c102e9e3f7d5e2e">  113</a></span>&#160;                    <span class="keyword">typedef</span> std::vector&lt;EdgeID&gt; <a class="code" href="namespaceSVF.html#a4831992588252dc51c102e9e3f7d5e2e">EdgeVector</a>;</div>
-<div class="line"><a name="l00114"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a1811127aebdb9c926e39d155e20b3dc0">  114</a></span>&#160;                    <span class="keyword">typedef</span> std::stack&lt;NodeID&gt; <a class="code" href="namespaceSVF.html#a1811127aebdb9c926e39d155e20b3dc0">NodeStack</a>;</div>
-<div class="line"><a name="l00115"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ab80cc7e84367e8c5a6a5a617880890f5">  115</a></span>&#160;                    <span class="keyword">typedef</span> std::list&lt;NodeID&gt; <a class="code" href="namespaceSVF.html#ab80cc7e84367e8c5a6a5a617880890f5">NodeList</a>;</div>
-<div class="line"><a name="l00116"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a35068c3650567d5051416db4aeb48e74">  116</a></span>&#160;                    <span class="keyword">typedef</span> std::deque&lt;NodeID&gt; <a class="code" href="namespaceSVF.html#a35068c3650567d5051416db4aeb48e74">NodeDeque</a>;</div>
-<div class="line"><a name="l00117"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a0d2e17d5b07a50ed95e8f407cd6dd0be">  117</a></span>&#160;                    <span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a212231734fa43d5c7414137deaac7df3">NodeSet</a> <a class="code" href="namespaceSVF.html#a0d2e17d5b07a50ed95e8f407cd6dd0be">EdgeSet</a>;</div>
-<div class="line"><a name="l00118"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ab700523619b089b952498f39a7f5b6b1">  118</a></span>&#160;                    <span class="keyword">typedef</span> std::vector&lt;u32_t&gt; <a class="code" href="namespaceSVF.html#ab700523619b089b952498f39a7f5b6b1">CallStrCxt</a>;</div>
-<div class="line"><a name="l00119"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a9ec7a8dc63411ee3724a25a59191be0c">  119</a></span>&#160;                    <span class="keyword">typedef</span> <span class="keywordtype">unsigned</span> <a class="code" href="namespaceSVF.html#a9ec7a8dc63411ee3724a25a59191be0c">Version</a>;</div>
-<div class="line"><a name="l00120"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a046466b2ed3618072fee227b569da6eb">  120</a></span>&#160;                    <span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set&lt;Version&gt;</a> <a class="code" href="namespaceSVF.html#a046466b2ed3618072fee227b569da6eb">VersionSet</a>;</div>
-<div class="line"><a name="l00121"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a32489632f53dce062ca2e8bff42c65cf">  121</a></span>&#160;                    <span class="keyword">typedef</span> std::pair&lt;NodeID, Version&gt; <a class="code" href="namespaceSVF.html#a32489632f53dce062ca2e8bff42c65cf">VersionedVar</a>;</div>
-<div class="line"><a name="l00122"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a544021f3075a89ff634b215a0efe3385">  122</a></span>&#160;                    <span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set&lt;VersionedVar&gt;</a> <a class="code" href="namespaceSVF.html#a544021f3075a89ff634b215a0efe3385">VersionedVarSet</a>;</div>
-<div class="line"><a name="l00123"></a><span class="lineno">  123</span>&#160;}</div>
+<div class="line"><a name="l00107"></a><span class="lineno">  107</span>&#160;          <span class="keyword">template</span> &lt;<span class="keyword">typename</span> Key, <span class="keyword">typename</span> Value, <span class="keyword">typename</span> Compare = std::less&lt;Key&gt;,</div>
+<div class="line"><a name="l00108"></a><span class="lineno">  108</span>&#160;                    <span class="keyword">typename</span> Allocator = std::allocator&lt;std::pair&lt;const Key, Value&gt;&gt;&gt;</div>
+<div class="line"><a name="l00109"></a><span class="lineno"><a class="line" href="namespaceSVF.html#aedf0d6718ca176e0b9e17ab4b30729c6">  109</a></span>&#160;                            <span class="keyword">using</span> <a class="code" href="namespaceSVF.html#aedf0d6718ca176e0b9e17ab4b30729c6">OrderedMap</a> = std::map&lt;Key, Value, Compare, Allocator&gt;;</div>
+<div class="line"><a name="l00110"></a><span class="lineno">  110</span>&#160; </div>
+<div class="line"><a name="l00111"></a><span class="lineno"><a class="line" href="namespaceSVF.html#af15e78ec0ab5bf5328d0f8e90c74fe4b">  111</a></span>&#160;                    <span class="keyword">typedef</span> std::pair&lt;NodeID, NodeID&gt; <a class="code" href="namespaceSVF.html#af15e78ec0ab5bf5328d0f8e90c74fe4b">NodePair</a>;</div>
+<div class="line"><a name="l00112"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a3c2bd95727ec0d9c55c631b6617026c8">  112</a></span>&#160;                    <span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a4f21e91ff8eaea5207afe5c60dbd78d7">OrderedSet&lt;NodeID&gt;</a> <a class="code" href="namespaceSVF.html#a3c2bd95727ec0d9c55c631b6617026c8">OrderedNodeSet</a>;</div>
+<div class="line"><a name="l00113"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a212231734fa43d5c7414137deaac7df3">  113</a></span>&#160;                    <span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set&lt;NodeID&gt;</a> <a class="code" href="namespaceSVF.html#a212231734fa43d5c7414137deaac7df3">NodeSet</a>;</div>
+<div class="line"><a name="l00114"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ac82022f3f81965c3ce9b26c299f537a7">  114</a></span>&#160;                    <span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set&lt;NodePair&gt;</a> <a class="code" href="namespaceSVF.html#ac82022f3f81965c3ce9b26c299f537a7">NodePairSet</a>;</div>
+<div class="line"><a name="l00115"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a5aaae6def1049304d855101a0d4b0b1c">  115</a></span>&#160;                    <span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map&lt;NodePair, NodeID&gt;</a> <a class="code" href="namespaceSVF.html#a5aaae6def1049304d855101a0d4b0b1c">NodePairMap</a>;</div>
+<div class="line"><a name="l00116"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a39d27055a14d9d6363c668ee215a4676">  116</a></span>&#160;                    <span class="keyword">typedef</span> std::vector&lt;NodeID&gt; <a class="code" href="namespaceSVF.html#a39d27055a14d9d6363c668ee215a4676">NodeVector</a>;</div>
+<div class="line"><a name="l00117"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a4831992588252dc51c102e9e3f7d5e2e">  117</a></span>&#160;                    <span class="keyword">typedef</span> std::vector&lt;EdgeID&gt; <a class="code" href="namespaceSVF.html#a4831992588252dc51c102e9e3f7d5e2e">EdgeVector</a>;</div>
+<div class="line"><a name="l00118"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a1811127aebdb9c926e39d155e20b3dc0">  118</a></span>&#160;                    <span class="keyword">typedef</span> std::stack&lt;NodeID&gt; <a class="code" href="namespaceSVF.html#a1811127aebdb9c926e39d155e20b3dc0">NodeStack</a>;</div>
+<div class="line"><a name="l00119"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ab80cc7e84367e8c5a6a5a617880890f5">  119</a></span>&#160;                    <span class="keyword">typedef</span> std::list&lt;NodeID&gt; <a class="code" href="namespaceSVF.html#ab80cc7e84367e8c5a6a5a617880890f5">NodeList</a>;</div>
+<div class="line"><a name="l00120"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a35068c3650567d5051416db4aeb48e74">  120</a></span>&#160;                    <span class="keyword">typedef</span> std::deque&lt;NodeID&gt; <a class="code" href="namespaceSVF.html#a35068c3650567d5051416db4aeb48e74">NodeDeque</a>;</div>
+<div class="line"><a name="l00121"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a0d2e17d5b07a50ed95e8f407cd6dd0be">  121</a></span>&#160;                    <span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#a212231734fa43d5c7414137deaac7df3">NodeSet</a> <a class="code" href="namespaceSVF.html#a0d2e17d5b07a50ed95e8f407cd6dd0be">EdgeSet</a>;</div>
+<div class="line"><a name="l00122"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ab700523619b089b952498f39a7f5b6b1">  122</a></span>&#160;                    <span class="keyword">typedef</span> std::vector&lt;u32_t&gt; <a class="code" href="namespaceSVF.html#ab700523619b089b952498f39a7f5b6b1">CallStrCxt</a>;</div>
+<div class="line"><a name="l00123"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a9ec7a8dc63411ee3724a25a59191be0c">  123</a></span>&#160;                    <span class="keyword">typedef</span> <span class="keywordtype">unsigned</span> <a class="code" href="namespaceSVF.html#a9ec7a8dc63411ee3724a25a59191be0c">Version</a>;</div>
+<div class="line"><a name="l00124"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a046466b2ed3618072fee227b569da6eb">  124</a></span>&#160;                    <span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set&lt;Version&gt;</a> <a class="code" href="namespaceSVF.html#a046466b2ed3618072fee227b569da6eb">VersionSet</a>;</div>
+<div class="line"><a name="l00125"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a32489632f53dce062ca2e8bff42c65cf">  125</a></span>&#160;                    <span class="keyword">typedef</span> std::pair&lt;NodeID, Version&gt; <a class="code" href="namespaceSVF.html#a32489632f53dce062ca2e8bff42c65cf">VersionedVar</a>;</div>
+<div class="line"><a name="l00126"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a544021f3075a89ff634b215a0efe3385">  126</a></span>&#160;                    <span class="keyword">typedef</span> <a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set&lt;VersionedVar&gt;</a> <a class="code" href="namespaceSVF.html#a544021f3075a89ff634b215a0efe3385">VersionedVarSet</a>;</div>
+<div class="line"><a name="l00127"></a><span class="lineno">  127</span>&#160;}</div>
 </div><!-- fragment --></div><!-- contents -->
-<div class="ttc" id="anamespaceSVF_html_a5c4820681ef340339ddded756eb82ae1"><div class="ttname"><a href="namespaceSVF.html#a5c4820681ef340339ddded756eb82ae1">SVF::APOffset</a></div><div class="ttdeci">s64_t APOffset</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00056">GeneralType.h:56</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_aa7b6a13e52671de8524b130738aeb564"><div class="ttname"><a href="namespaceSVF.html#aa7b6a13e52671de8524b130738aeb564">SVF::NodeBS</a></div><div class="ttdeci">SparseBitVector NodeBS</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00058">GeneralType.h:58</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a35068c3650567d5051416db4aeb48e74"><div class="ttname"><a href="namespaceSVF.html#a35068c3650567d5051416db4aeb48e74">SVF::NodeDeque</a></div><div class="ttdeci">std::deque&lt; NodeID &gt; NodeDeque</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00116">GeneralType.h:116</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a39d27055a14d9d6363c668ee215a4676"><div class="ttname"><a href="namespaceSVF.html#a39d27055a14d9d6363c668ee215a4676">SVF::NodeVector</a></div><div class="ttdeci">std::vector&lt; NodeID &gt; NodeVector</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00112">GeneralType.h:112</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a3c2bd95727ec0d9c55c631b6617026c8"><div class="ttname"><a href="namespaceSVF.html#a3c2bd95727ec0d9c55c631b6617026c8">SVF::OrderedNodeSet</a></div><div class="ttdeci">OrderedSet&lt; NodeID &gt; OrderedNodeSet</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00108">GeneralType.h:108</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_aedf0d6718ca176e0b9e17ab4b30729c6"><div class="ttname"><a href="namespaceSVF.html#aedf0d6718ca176e0b9e17ab4b30729c6">SVF::OrderedMap</a></div><div class="ttdeci">std::map&lt; Key, Value, Compare, Allocator &gt; OrderedMap</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00105">GeneralType.h:105</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_ae545a88267bd2246de827cf590675aca"><div class="ttname"><a href="namespaceSVF.html#ae545a88267bd2246de827cf590675aca">SVF::PointsToID</a></div><div class="ttdeci">unsigned PointsToID</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00059">GeneralType.h:59</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set&lt; Key, Hash, KeyEqual, Allocator &gt; Set</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00092">GeneralType.h:92</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a5c4820681ef340339ddded756eb82ae1"><div class="ttname"><a href="namespaceSVF.html#a5c4820681ef340339ddded756eb82ae1">SVF::APOffset</a></div><div class="ttdeci">s64_t APOffset</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00060">GeneralType.h:60</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_aa7b6a13e52671de8524b130738aeb564"><div class="ttname"><a href="namespaceSVF.html#aa7b6a13e52671de8524b130738aeb564">SVF::NodeBS</a></div><div class="ttdeci">SparseBitVector NodeBS</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00062">GeneralType.h:62</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a35068c3650567d5051416db4aeb48e74"><div class="ttname"><a href="namespaceSVF.html#a35068c3650567d5051416db4aeb48e74">SVF::NodeDeque</a></div><div class="ttdeci">std::deque&lt; NodeID &gt; NodeDeque</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00120">GeneralType.h:120</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a39d27055a14d9d6363c668ee215a4676"><div class="ttname"><a href="namespaceSVF.html#a39d27055a14d9d6363c668ee215a4676">SVF::NodeVector</a></div><div class="ttdeci">std::vector&lt; NodeID &gt; NodeVector</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00116">GeneralType.h:116</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a3c2bd95727ec0d9c55c631b6617026c8"><div class="ttname"><a href="namespaceSVF.html#a3c2bd95727ec0d9c55c631b6617026c8">SVF::OrderedNodeSet</a></div><div class="ttdeci">OrderedSet&lt; NodeID &gt; OrderedNodeSet</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00112">GeneralType.h:112</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_aedf0d6718ca176e0b9e17ab4b30729c6"><div class="ttname"><a href="namespaceSVF.html#aedf0d6718ca176e0b9e17ab4b30729c6">SVF::OrderedMap</a></div><div class="ttdeci">std::map&lt; Key, Value, Compare, Allocator &gt; OrderedMap</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00109">GeneralType.h:109</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_ae545a88267bd2246de827cf590675aca"><div class="ttname"><a href="namespaceSVF.html#ae545a88267bd2246de827cf590675aca">SVF::PointsToID</a></div><div class="ttdeci">unsigned PointsToID</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00063">GeneralType.h:63</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a7c3a917e8b1d3253982e0a1a37b74d93"><div class="ttname"><a href="namespaceSVF.html#a7c3a917e8b1d3253982e0a1a37b74d93">SVF::u16_t</a></div><div class="ttdeci">unsigned short u16_t</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00052">GeneralType.h:52</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set&lt; Key, Hash, KeyEqual, Allocator &gt; Set</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00096">GeneralType.h:96</a></div></div>
 <div class="ttc" id="anamespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00067">BasicTypes.h:67</a></div></div>
-<div class="ttc" id="astructSVF_1_1Hash_3_01std_1_1pair_3_01S_00_01T_01_4_01_4_html_a8bc94a83d93639b91f9e02dfdd93d8be"><div class="ttname"><a href="structSVF_1_1Hash_3_01std_1_1pair_3_01S_00_01T_01_4_01_4.html#a8bc94a83d93639b91f9e02dfdd93d8be">SVF::Hash&lt; std::pair&lt; S, T &gt; &gt;::operator()</a></div><div class="ttdeci">size_t operator()(const std::pair&lt; S, T &gt; &amp;t) const</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00072">GeneralType.h:72</a></div></div>
-<div class="ttc" id="astructSVF_1_1Hash_html"><div class="ttname"><a href="structSVF_1_1Hash.html">SVF::Hash</a></div><div class="ttdoc">provide extra hash function for std::pair handling</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00062">GeneralType.h:62</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a4831992588252dc51c102e9e3f7d5e2e"><div class="ttname"><a href="namespaceSVF.html#a4831992588252dc51c102e9e3f7d5e2e">SVF::EdgeVector</a></div><div class="ttdeci">std::vector&lt; EdgeID &gt; EdgeVector</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00113">GeneralType.h:113</a></div></div>
+<div class="ttc" id="astructSVF_1_1Hash_3_01std_1_1pair_3_01S_00_01T_01_4_01_4_html_a8bc94a83d93639b91f9e02dfdd93d8be"><div class="ttname"><a href="structSVF_1_1Hash_3_01std_1_1pair_3_01S_00_01T_01_4_01_4.html#a8bc94a83d93639b91f9e02dfdd93d8be">SVF::Hash&lt; std::pair&lt; S, T &gt; &gt;::operator()</a></div><div class="ttdeci">size_t operator()(const std::pair&lt; S, T &gt; &amp;t) const</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00076">GeneralType.h:76</a></div></div>
+<div class="ttc" id="astructSVF_1_1Hash_html"><div class="ttname"><a href="structSVF_1_1Hash.html">SVF::Hash</a></div><div class="ttdoc">provide extra hash function for std::pair handling</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00066">GeneralType.h:66</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a4831992588252dc51c102e9e3f7d5e2e"><div class="ttname"><a href="namespaceSVF.html#a4831992588252dc51c102e9e3f7d5e2e">SVF::EdgeVector</a></div><div class="ttdeci">std::vector&lt; EdgeID &gt; EdgeVector</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00117">GeneralType.h:117</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a366625858f450a1ea5f985a3c83e0f14"><div class="ttname"><a href="namespaceSVF.html#a366625858f450a1ea5f985a3c83e0f14">SVF::u64_t</a></div><div class="ttdeci">unsigned long long u64_t</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00048">GeneralType.h:48</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SparseBitVector_html"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html">SVF::SparseBitVector</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00459">SparseBitVector.h:459</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a544021f3075a89ff634b215a0efe3385"><div class="ttname"><a href="namespaceSVF.html#a544021f3075a89ff634b215a0efe3385">SVF::VersionedVarSet</a></div><div class="ttdeci">Set&lt; VersionedVar &gt; VersionedVarSet</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00122">GeneralType.h:122</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a544021f3075a89ff634b215a0efe3385"><div class="ttname"><a href="namespaceSVF.html#a544021f3075a89ff634b215a0efe3385">SVF::VersionedVarSet</a></div><div class="ttdeci">Set&lt; VersionedVar &gt; VersionedVarSet</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00126">GeneralType.h:126</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a9e83fb2225082782d168f5c7bfc79ba7"><div class="ttname"><a href="namespaceSVF.html#a9e83fb2225082782d168f5c7bfc79ba7">SVF::u8_t</a></div><div class="ttdeci">unsigned char u8_t</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00050">GeneralType.h:50</a></div></div>
 <div class="ttc" id="aSparseBitVector_8h_html"><div class="ttname"><a href="SparseBitVector_8h.html">SparseBitVector.h</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a1811127aebdb9c926e39d155e20b3dc0"><div class="ttname"><a href="namespaceSVF.html#a1811127aebdb9c926e39d155e20b3dc0">SVF::NodeStack</a></div><div class="ttdeci">std::stack&lt; NodeID &gt; NodeStack</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00114">GeneralType.h:114</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a046466b2ed3618072fee227b569da6eb"><div class="ttname"><a href="namespaceSVF.html#a046466b2ed3618072fee227b569da6eb">SVF::VersionSet</a></div><div class="ttdeci">Set&lt; Version &gt; VersionSet</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00120">GeneralType.h:120</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_ab80cc7e84367e8c5a6a5a617880890f5"><div class="ttname"><a href="namespaceSVF.html#ab80cc7e84367e8c5a6a5a617880890f5">SVF::NodeList</a></div><div class="ttdeci">std::list&lt; NodeID &gt; NodeList</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00115">GeneralType.h:115</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_ae71551d6a1fc300e0403297aa25ddf94"><div class="ttname"><a href="namespaceSVF.html#ae71551d6a1fc300e0403297aa25ddf94">SVF::EdgeID</a></div><div class="ttdeci">u32_t EdgeID</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00052">GeneralType.h:52</a></div></div>
-<div class="ttc" id="astructSVF_1_1Hash_html_aad49eec16cfdd4d3423f27666d5f28ff"><div class="ttname"><a href="structSVF_1_1Hash.html#aad49eec16cfdd4d3423f27666d5f28ff">SVF::Hash::operator()</a></div><div class="ttdeci">size_t operator()(const T &amp;t) const</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00082">GeneralType.h:82</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a0d2e17d5b07a50ed95e8f407cd6dd0be"><div class="ttname"><a href="namespaceSVF.html#a0d2e17d5b07a50ed95e8f407cd6dd0be">SVF::EdgeSet</a></div><div class="ttdeci">NodeSet EdgeSet</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00117">GeneralType.h:117</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a9ec7a8dc63411ee3724a25a59191be0c"><div class="ttname"><a href="namespaceSVF.html#a9ec7a8dc63411ee3724a25a59191be0c">SVF::Version</a></div><div class="ttdeci">unsigned Version</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00119">GeneralType.h:119</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a1811127aebdb9c926e39d155e20b3dc0"><div class="ttname"><a href="namespaceSVF.html#a1811127aebdb9c926e39d155e20b3dc0">SVF::NodeStack</a></div><div class="ttdeci">std::stack&lt; NodeID &gt; NodeStack</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00118">GeneralType.h:118</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a6ce4cf67f8622443c888737d7366a3e9"><div class="ttname"><a href="namespaceSVF.html#a6ce4cf67f8622443c888737d7366a3e9">SVF::s16_t</a></div><div class="ttdeci">signed short s16_t</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00053">GeneralType.h:53</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a046466b2ed3618072fee227b569da6eb"><div class="ttname"><a href="namespaceSVF.html#a046466b2ed3618072fee227b569da6eb">SVF::VersionSet</a></div><div class="ttdeci">Set&lt; Version &gt; VersionSet</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00124">GeneralType.h:124</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_ab80cc7e84367e8c5a6a5a617880890f5"><div class="ttname"><a href="namespaceSVF.html#ab80cc7e84367e8c5a6a5a617880890f5">SVF::NodeList</a></div><div class="ttdeci">std::list&lt; NodeID &gt; NodeList</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00119">GeneralType.h:119</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_ae71551d6a1fc300e0403297aa25ddf94"><div class="ttname"><a href="namespaceSVF.html#ae71551d6a1fc300e0403297aa25ddf94">SVF::EdgeID</a></div><div class="ttdeci">u32_t EdgeID</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00056">GeneralType.h:56</a></div></div>
+<div class="ttc" id="astructSVF_1_1Hash_html_aad49eec16cfdd4d3423f27666d5f28ff"><div class="ttname"><a href="structSVF_1_1Hash.html#aad49eec16cfdd4d3423f27666d5f28ff">SVF::Hash::operator()</a></div><div class="ttdeci">size_t operator()(const T &amp;t) const</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00086">GeneralType.h:86</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a0d2e17d5b07a50ed95e8f407cd6dd0be"><div class="ttname"><a href="namespaceSVF.html#a0d2e17d5b07a50ed95e8f407cd6dd0be">SVF::EdgeSet</a></div><div class="ttdeci">NodeSet EdgeSet</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00121">GeneralType.h:121</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a64e9b1c8c4f095e5b50ba05229c2e1ba"><div class="ttname"><a href="namespaceSVF.html#a64e9b1c8c4f095e5b50ba05229c2e1ba">SVF::s8_t</a></div><div class="ttdeci">signed char s8_t</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00051">GeneralType.h:51</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a9ec7a8dc63411ee3724a25a59191be0c"><div class="ttname"><a href="namespaceSVF.html#a9ec7a8dc63411ee3724a25a59191be0c">SVF::Version</a></div><div class="ttdeci">unsigned Version</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00123">GeneralType.h:123</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a9b707002523ece2ac54ca893ee9a2d4e"><div class="ttname"><a href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">SVF::s32_t</a></div><div class="ttdeci">signed s32_t</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00047">GeneralType.h:47</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_ac82022f3f81965c3ce9b26c299f537a7"><div class="ttname"><a href="namespaceSVF.html#ac82022f3f81965c3ce9b26c299f537a7">SVF::NodePairSet</a></div><div class="ttdeci">Set&lt; NodePair &gt; NodePairSet</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00110">GeneralType.h:110</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a32489632f53dce062ca2e8bff42c65cf"><div class="ttname"><a href="namespaceSVF.html#a32489632f53dce062ca2e8bff42c65cf">SVF::VersionedVar</a></div><div class="ttdeci">std::pair&lt; NodeID, Version &gt; VersionedVar</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00121">GeneralType.h:121</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_af15e78ec0ab5bf5328d0f8e90c74fe4b"><div class="ttname"><a href="namespaceSVF.html#af15e78ec0ab5bf5328d0f8e90c74fe4b">SVF::NodePair</a></div><div class="ttdeci">std::pair&lt; NodeID, NodeID &gt; NodePair</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00107">GeneralType.h:107</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_ac82022f3f81965c3ce9b26c299f537a7"><div class="ttname"><a href="namespaceSVF.html#ac82022f3f81965c3ce9b26c299f537a7">SVF::NodePairSet</a></div><div class="ttdeci">Set&lt; NodePair &gt; NodePairSet</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00114">GeneralType.h:114</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a32489632f53dce062ca2e8bff42c65cf"><div class="ttname"><a href="namespaceSVF.html#a32489632f53dce062ca2e8bff42c65cf">SVF::VersionedVar</a></div><div class="ttdeci">std::pair&lt; NodeID, Version &gt; VersionedVar</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00125">GeneralType.h:125</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_af15e78ec0ab5bf5328d0f8e90c74fe4b"><div class="ttname"><a href="namespaceSVF.html#af15e78ec0ab5bf5328d0f8e90c74fe4b">SVF::NodePair</a></div><div class="ttdeci">std::pair&lt; NodeID, NodeID &gt; NodePair</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00111">GeneralType.h:111</a></div></div>
 <div class="ttc" id="acJSON_8cpp_html_a8a1a0a26c50cc4becfc754bb68d1dc6b"><div class="ttname"><a href="cJSON_8cpp.html#a8a1a0a26c50cc4becfc754bb68d1dc6b">a</a></div><div class="ttdeci">cJSON * a</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l02560">cJSON.cpp:2560</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a4f21e91ff8eaea5207afe5c60dbd78d7"><div class="ttname"><a href="namespaceSVF.html#a4f21e91ff8eaea5207afe5c60dbd78d7">SVF::OrderedSet</a></div><div class="ttdeci">std::set&lt; Key, Compare, Allocator &gt; OrderedSet</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00101">GeneralType.h:101</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_ab700523619b089b952498f39a7f5b6b1"><div class="ttname"><a href="namespaceSVF.html#ab700523619b089b952498f39a7f5b6b1">SVF::CallStrCxt</a></div><div class="ttdeci">std::vector&lt; u32_t &gt; CallStrCxt</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00118">GeneralType.h:118</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_ad11fe2412b2182365a662ff0e4639b48"><div class="ttname"><a href="namespaceSVF.html#ad11fe2412b2182365a662ff0e4639b48">SVF::SymID</a></div><div class="ttdeci">unsigned SymID</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00053">GeneralType.h:53</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a03d88a0302bcd253387690f13f693f64"><div class="ttname"><a href="namespaceSVF.html#a03d88a0302bcd253387690f13f693f64">SVF::CallSiteID</a></div><div class="ttdeci">unsigned CallSiteID</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00054">GeneralType.h:54</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a212231734fa43d5c7414137deaac7df3"><div class="ttname"><a href="namespaceSVF.html#a212231734fa43d5c7414137deaac7df3">SVF::NodeSet</a></div><div class="ttdeci">Set&lt; NodeID &gt; NodeSet</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00109">GeneralType.h:109</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a5aaae6def1049304d855101a0d4b0b1c"><div class="ttname"><a href="namespaceSVF.html#a5aaae6def1049304d855101a0d4b0b1c">SVF::NodePairMap</a></div><div class="ttdeci">Map&lt; NodePair, NodeID &gt; NodePairMap</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00111">GeneralType.h:111</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a4f21e91ff8eaea5207afe5c60dbd78d7"><div class="ttname"><a href="namespaceSVF.html#a4f21e91ff8eaea5207afe5c60dbd78d7">SVF::OrderedSet</a></div><div class="ttdeci">std::set&lt; Key, Compare, Allocator &gt; OrderedSet</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00105">GeneralType.h:105</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_ab700523619b089b952498f39a7f5b6b1"><div class="ttname"><a href="namespaceSVF.html#ab700523619b089b952498f39a7f5b6b1">SVF::CallStrCxt</a></div><div class="ttdeci">std::vector&lt; u32_t &gt; CallStrCxt</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00122">GeneralType.h:122</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_ad11fe2412b2182365a662ff0e4639b48"><div class="ttname"><a href="namespaceSVF.html#ad11fe2412b2182365a662ff0e4639b48">SVF::SymID</a></div><div class="ttdeci">unsigned SymID</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00057">GeneralType.h:57</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a03d88a0302bcd253387690f13f693f64"><div class="ttname"><a href="namespaceSVF.html#a03d88a0302bcd253387690f13f693f64">SVF::CallSiteID</a></div><div class="ttdeci">unsigned CallSiteID</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00058">GeneralType.h:58</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a212231734fa43d5c7414137deaac7df3"><div class="ttname"><a href="namespaceSVF.html#a212231734fa43d5c7414137deaac7df3">SVF::NodeSet</a></div><div class="ttdeci">Set&lt; NodeID &gt; NodeSet</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00113">GeneralType.h:113</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a5aaae6def1049304d855101a0d4b0b1c"><div class="ttname"><a href="namespaceSVF.html#a5aaae6def1049304d855101a0d4b0b1c">SVF::NodePairMap</a></div><div class="ttdeci">Map&lt; NodePair, NodeID &gt; NodePairMap</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00115">GeneralType.h:115</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a43a65e0d33af3c743294f7a1139d2301"><div class="ttname"><a href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">SVF::NodeID</a></div><div class="ttdeci">unsigned NodeID</div><div class="ttdef"><b>Definition:</b> <a href="svf-llvm_2tools_2MTA_2MTAResultValidator_8h_source.html#l00020">MTAResultValidator.h:20</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a10cddb090690c82a2aab31a480253d35"><div class="ttname"><a href="namespaceSVF.html#a10cddb090690c82a2aab31a480253d35">SVF::ThreadID</a></div><div class="ttdeci">unsigned ThreadID</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00055">GeneralType.h:55</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a10cddb090690c82a2aab31a480253d35"><div class="ttname"><a href="namespaceSVF.html#a10cddb090690c82a2aab31a480253d35">SVF::ThreadID</a></div><div class="ttdeci">unsigned ThreadID</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00059">GeneralType.h:59</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_ad781b0b14e89773e774072b280658ef3"><div class="ttname"><a href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">SVF::s64_t</a></div><div class="ttdeci">signed long long s64_t</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00049">GeneralType.h:49</a></div></div>
-<div class="ttc" id="astructSVF_1_1Hash_3_01std_1_1pair_3_01S_00_01T_01_4_01_4_html_adf5f19b1b32c117571fe74035cdcdbe2"><div class="ttname"><a href="structSVF_1_1Hash_3_01std_1_1pair_3_01S_00_01T_01_4_01_4.html#adf5f19b1b32c117571fe74035cdcdbe2">SVF::Hash&lt; std::pair&lt; S, T &gt; &gt;::szudzik</a></div><div class="ttdeci">static size_t szudzik(size_t a, size_t b)</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00067">GeneralType.h:67</a></div></div>
+<div class="ttc" id="astructSVF_1_1Hash_3_01std_1_1pair_3_01S_00_01T_01_4_01_4_html_adf5f19b1b32c117571fe74035cdcdbe2"><div class="ttname"><a href="structSVF_1_1Hash_3_01std_1_1pair_3_01S_00_01T_01_4_01_4.html#adf5f19b1b32c117571fe74035cdcdbe2">SVF::Hash&lt; std::pair&lt; S, T &gt; &gt;::szudzik</a></div><div class="ttdeci">static size_t szudzik(size_t a, size_t b)</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00071">GeneralType.h:71</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a8bd74fdcb0e58d0249003df9c3fb8b31"><div class="ttname"><a href="namespaceSVF.html#a8bd74fdcb0e58d0249003df9c3fb8b31">SVF::OutStream</a></div><div class="ttdeci">std::ostream OutStream</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00045">GeneralType.h:45</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00097">GeneralType.h:97</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00101">GeneralType.h:101</a></div></div>
 <div class="ttc" id="acJSON_8h_html_a1a175e87536301df98c805ac0636ad7c"><div class="ttname"><a href="cJSON_8h.html#a1a175e87536301df98c805ac0636ad7c">b</a></div><div class="ttdeci">const cJSON *const b</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00255">cJSON.h:255</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_ad42bff8d0a7d60a085aa32d10f4955af"><div class="ttname"><a href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF::u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00046">GeneralType.h:46</a></div></div>
 <!-- start footer part -->

package/SVF-doxygen/html/GenericGraph_8h_source.html

@@ -644,7 +644,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1GenericNode_html_a0931220d7a38e03f206cbdc6465d32ad"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a0931220d7a38e03f206cbdc6465d32ad">SVF::GenericNode::hasOutgoingEdge</a></div><div class="ttdeci">bool hasOutgoingEdge() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00209">GenericGraph.h:209</a></div></div>
 <div class="ttc" id="astructSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4_html_a309cc7faf9df46d2c9bfeaa2bdcd4601"><div class="ttname"><a href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#a309cc7faf9df46d2c9bfeaa2bdcd4601">SVF::GenericGraphTraits&lt; SVF::GenericGraph&lt; NodeTy, EdgeTy &gt; * &gt;::graphSize</a></div><div class="ttdeci">static unsigned graphSize(GenericGraphTy *G)</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00614">GenericGraph.h:614</a></div></div>
 <div class="ttc" id="astructSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4_01_4_html_a4d5646121961284a0c378143058a5e98"><div class="ttname"><a href="structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4_01_4.html#a4d5646121961284a0c378143058a5e98">SVF::GenericGraphTraits&lt; Inverse&lt; SVF::GenericNode&lt; NodeTy, EdgeTy &gt; * &gt; &gt;::child_begin</a></div><div class="ttdeci">static ChildIteratorType child_begin(const NodeType *N)</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00567">GenericGraph.h:567</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_aedf0d6718ca176e0b9e17ab4b30729c6"><div class="ttname"><a href="namespaceSVF.html#aedf0d6718ca176e0b9e17ab4b30729c6">SVF::OrderedMap</a></div><div class="ttdeci">std::map&lt; Key, Value, Compare, Allocator &gt; OrderedMap</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00105">GeneralType.h:105</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_aedf0d6718ca176e0b9e17ab4b30729c6"><div class="ttname"><a href="namespaceSVF.html#aedf0d6718ca176e0b9e17ab4b30729c6">SVF::OrderedMap</a></div><div class="ttdeci">std::map&lt; Key, Value, Compare, Allocator &gt; OrderedMap</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00109">GeneralType.h:109</a></div></div>
 <div class="ttc" id="aclassSVF_1_1DCHNode_html"><div class="ttname"><a href="classSVF_1_1DCHNode.html">SVF::DCHNode</a></div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8h_source.html#l00063">DCHG.h:63</a></div></div>
 <div class="ttc" id="astructSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4_01_4_html_a938d240530e9f6d28c32a1445f451626"><div class="ttname"><a href="structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4_01_4.html#a938d240530e9f6d28c32a1445f451626">SVF::GenericGraphTraits&lt; Inverse&lt; SVF::GenericNode&lt; NodeTy, EdgeTy &gt; * &gt; &gt;::EdgeType</a></div><div class="ttdeci">EdgeTy EdgeType</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00552">GenericGraph.h:552</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericNode_html_a391e996d695b114530120723da1d003e"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a391e996d695b114530120723da1d003e">SVF::GenericNode::getNodeKind</a></div><div class="ttdeci">GNodeK getNodeKind() const</div><div class="ttdoc">Get node kind.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00186">GenericGraph.h:186</a></div></div>
@@ -739,7 +739,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1iter__adaptor__base_html_a1c80cc24530dbc29b03bf58500e0d636"><div class="ttname"><a href="classSVF_1_1iter__adaptor__base.html#a1c80cc24530dbc29b03bf58500e0d636">SVF::iter_adaptor_base&lt; mapped_iter&lt; ItTy, FuncTy &gt;, ItTy, std::iterator_traits&lt; ItTy &gt;::iterator_category, std::remove_reference&lt; decltype(std::declval&lt; FuncTy &gt;()(*std::declval&lt; ItTy &gt;())) &gt;::type &gt;::I</a></div><div class="ttdeci">ItTy I</div><div class="ttdef"><b>Definition:</b> <a href="iterator_8h_source.html#l00242">iterator.h:242</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ConstraintNode_html"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00040">ConsGNode.h:40</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericGraph_html_a2fbc96de5f066469c2739229307bcc0c"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a2fbc96de5f066469c2739229307bcc0c">SVF::GenericGraph::edgeNum</a></div><div class="ttdeci">u32_t edgeNum</div><div class="ttdoc">total num of node</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00455">GenericGraph.h:455</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a4f21e91ff8eaea5207afe5c60dbd78d7"><div class="ttname"><a href="namespaceSVF.html#a4f21e91ff8eaea5207afe5c60dbd78d7">SVF::OrderedSet</a></div><div class="ttdeci">std::set&lt; Key, Compare, Allocator &gt; OrderedSet</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00101">GeneralType.h:101</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a4f21e91ff8eaea5207afe5c60dbd78d7"><div class="ttname"><a href="namespaceSVF.html#a4f21e91ff8eaea5207afe5c60dbd78d7">SVF::OrderedSet</a></div><div class="ttdeci">std::set&lt; Key, Compare, Allocator &gt; OrderedSet</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00105">GeneralType.h:105</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericGraph_html_a0d9744b1b0e7a09a6f7af29188e243b7"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a0d9744b1b0e7a09a6f7af29188e243b7">SVF::GenericGraph::begin</a></div><div class="ttdeci">iterator begin()</div><div class="ttdoc">Iterators.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00380">GenericGraph.h:380</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericEdge_html_a0e461644bf9a4e50099b38f09222e858"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#a0e461644bf9a4e50099b38f09222e858">SVF::GenericEdge::operator==</a></div><div class="ttdeci">virtual bool operator==(const GenericEdge&lt; NodeType &gt; *rhs) const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00123">GenericGraph.h:123</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericGraph_html_adf0a205f4f62f33c5fa8f2d544aac633"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#adf0a205f4f62f33c5fa8f2d544aac633">SVF::GenericGraph::destroy</a></div><div class="ttdeci">void destroy()</div><div class="ttdoc">Release memory.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00373">GenericGraph.h:373</a></div></div>

package/SVF-doxygen/html/GrammarBuilder_8h_source.html

@@ -145,7 +145,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1GrammarBuilder_html_aa0f5135a232adc1ca42d4f51a3c70704"><div class="ttname"><a href="classSVF_1_1GrammarBuilder.html#aa0f5135a232adc1ca42d4f51a3c70704">SVF::GrammarBuilder::fileName</a></div><div class="ttdeci">std::string fileName</div><div class="ttdef"><b>Definition:</b> <a href="GrammarBuilder_8h_source.html#l00073">GrammarBuilder.h:73</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GrammarBase_html"><div class="ttname"><a href="classSVF_1_1GrammarBase.html">SVF::GrammarBase</a></div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00036">CFGrammar.h:36</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GrammarBuilder_html_abad6b574d9f88e2b4ebb6372dc903f62"><div class="ttname"><a href="classSVF_1_1GrammarBuilder.html#abad6b574d9f88e2b4ebb6372dc903f62">SVF::GrammarBuilder::loadWordProductions</a></div><div class="ttdeci">const std::vector&lt; std::string &gt; loadWordProductions() const</div><div class="ttdoc">Parse whole production string to production vector.</div><div class="ttdef"><b>Definition:</b> <a href="GrammarBuilder_8cpp_source.html#l00089">GrammarBuilder.cpp:89</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00097">GeneralType.h:97</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00101">GeneralType.h:101</a></div></div>
 <!-- start footer part -->
 <hr class="footer"/><address class="footer"><small>
 Generated by &#160;<a href="http://www.doxygen.org/index.html">

package/SVF-doxygen/html/ICFGBuilder_8cpp_source.html

@@ -323,7 +323,7 @@ $(function() {
 <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a4550f2fb815882edfb666ac818792064"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a4550f2fb815882edfb666ac818792064">SVF::SVFUtil::pasMsg</a></div><div class="ttdeci">std::string pasMsg(const std::string &amp;msg)</div><div class="ttdoc">Print each pass/phase message by converting a string into blue string output.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00099">SVFUtil.cpp:99</a></div></div>
 <div class="ttc" id="aclassSVF_1_1FIFOWorkList_html"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html">SVF::FIFOWorkList</a></div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00137">WorkList.h:137</a></div></div>
 <div class="ttc" id="aSVFFileSystem_8cpp_html_ab25baccb41e3b67ef0bfdaa1336c9649"><div class="ttname"><a href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a></div><div class="ttdeci">#define F(f)</div></div>
-<div class="ttc" id="aclassSVF_1_1LLVMModuleSet_html_afdd77bc1fca91f70b2ec362f1dacd392"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#afdd77bc1fca91f70b2ec362f1dacd392">SVF::LLVMModuleSet::getSVFValue</a></div><div class="ttdeci">SVFValue * getSVFValue(const Value *value)</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8cpp_source.html#l01321">LLVMModule.cpp:1321</a></div></div>
+<div class="ttc" id="aclassSVF_1_1LLVMModuleSet_html_afdd77bc1fca91f70b2ec362f1dacd392"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#afdd77bc1fca91f70b2ec362f1dacd392">SVF::LLVMModuleSet::getSVFValue</a></div><div class="ttdeci">SVFValue * getSVFValue(const Value *value)</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8cpp_source.html#l01340">LLVMModule.cpp:1340</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ICFGBuilder_html_af46638008b796fdb491624f32b31d8a3"><div class="ttname"><a href="classSVF_1_1ICFGBuilder.html#af46638008b796fdb491624f32b31d8a3">SVF::ICFGBuilder::processFunExit</a></div><div class="ttdeci">void processFunExit(const Function *fun)</div><div class="ttdef"><b>Definition:</b> <a href="ICFGBuilder_8cpp_source.html#l00156">ICFGBuilder.cpp:156</a></div></div>
 <div class="ttc" id="anamespaceSVF_1_1LLVMUtil_html_afbd60d5443c7fa1448813d00bb5d0fa7"><div class="ttname"><a href="namespaceSVF_1_1LLVMUtil.html#afbd60d5443c7fa1448813d00bb5d0fa7">SVF::LLVMUtil::getNextInsts</a></div><div class="ttdeci">void getNextInsts(const Instruction *curInst, std::vector&lt; const SVFInstruction * &gt; &amp;instList)</div><div class="ttdoc">Get the next instructions following control flow.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l00302">LLVMUtil.cpp:302</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ICFGBuilder_html_ae66565ee32fff4ef5f0157e867333250"><div class="ttname"><a href="classSVF_1_1ICFGBuilder.html#ae66565ee32fff4ef5f0157e867333250">SVF::ICFGBuilder::build</a></div><div class="ttdeci">void build(SVFModule *svfModule)</div><div class="ttdef"><b>Definition:</b> <a href="ICFGBuilder_8cpp_source.html#l00041">ICFGBuilder.cpp:41</a></div></div>

package/SVF-doxygen/html/ICFGBuilder_8h_source.html

@@ -172,7 +172,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1ICFGBuilder_html_acb5253395384d36767173aa4aa39576b"><div class="ttname"><a href="classSVF_1_1ICFGBuilder.html#acb5253395384d36767173aa4aa39576b">SVF::ICFGBuilder::processFunEntry</a></div><div class="ttdeci">void processFunEntry(const Function *fun, WorkList &amp;worklist)</div><div class="ttdef"><b>Definition:</b> <a href="ICFGBuilder_8cpp_source.html#l00067">ICFGBuilder.cpp:67</a></div></div>
 <div class="ttc" id="aclassSVF_1_1RetICFGNode_html"><div class="ttname"><a href="classSVF_1_1RetICFGNode.html">SVF::RetICFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00487">ICFGNode.h:487</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ICFGBuilder_html"><div class="ttname"><a href="classSVF_1_1ICFGBuilder.html">SVF::ICFGBuilder</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGBuilder_8h_source.html#l00040">ICFGBuilder.h:40</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set&lt; Key, Hash, KeyEqual, Allocator &gt; Set</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00092">GeneralType.h:92</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set&lt; Key, Hash, KeyEqual, Allocator &gt; Set</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00096">GeneralType.h:96</a></div></div>
 <div class="ttc" id="anamespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00067">BasicTypes.h:67</a></div></div>
 <div class="ttc" id="aclassSVF_1_1InterICFGNode_html"><div class="ttname"><a href="classSVF_1_1InterICFGNode.html">SVF::InterICFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00223">ICFGNode.h:223</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ICFGBuilder_html_ae832950bae16346dd25f9e47ee13c34c"><div class="ttname"><a href="classSVF_1_1ICFGBuilder.html#ae832950bae16346dd25f9e47ee13c34c">SVF::ICFGBuilder::getOrAddBlockICFGNode</a></div><div class="ttdeci">ICFGNode * getOrAddBlockICFGNode(const SVFInstruction *inst)</div><div class="ttdoc">Add/Get a basic block ICFGNode.</div><div class="ttdef"><b>Definition:</b> <a href="ICFGBuilder_8h_source.html#l00076">ICFGBuilder.h:76</a></div></div>

package/SVF-doxygen/html/ICFGEdge_8h_source.html

@@ -312,14 +312,14 @@ $(function() {
 <div class="ttc" id="anamespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00067">BasicTypes.h:67</a></div></div>
 <div class="ttc" id="aclassSVF_1_1RetCFGEdge_html_a9a683c1be6cfede369b44bd608693315"><div class="ttname"><a href="classSVF_1_1RetCFGEdge.html#a9a683c1be6cfede369b44bd608693315">SVF::RetCFGEdge::getCallSite</a></div><div class="ttdeci">const SVFInstruction * getCallSite() const</div><div class="ttdoc">Return callsite ID.</div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00243">ICFGEdge.h:243</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ICFGEdge_html_a85a07d5b3c293e684a12fafbd4e579a3"><div class="ttname"><a href="classSVF_1_1ICFGEdge.html#a85a07d5b3c293e684a12fafbd4e579a3">SVF::ICFGEdge::ICFGEdgeSetTy</a></div><div class="ttdeci">GenericNode&lt; ICFGNode, ICFGEdge &gt;::GEdgeSetTy ICFGEdgeSetTy</div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00090">ICFGEdge.h:90</a></div></div>
-<div class="ttc" id="aclassSVF_1_1RetPE_html"><div class="ttname"><a href="classSVF_1_1RetPE.html">SVF::RetPE</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00618">SVFStatements.h:618</a></div></div>
+<div class="ttc" id="aclassSVF_1_1RetPE_html"><div class="ttname"><a href="classSVF_1_1RetPE.html">SVF::RetPE</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00628">SVFStatements.h:628</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericEdge_html_a5aceeb48929f54264807b36569019a8a"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#a5aceeb48929f54264807b36569019a8a">SVF::GenericEdge::GEdgeKind</a></div><div class="ttdeci">s64_t GEdgeKind</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00062">GenericGraph.h:62</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ICFGNode_html"><div class="ttname"><a href="classSVF_1_1ICFGNode.html">SVF::ICFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00054">ICFGNode.h:54</a></div></div>
 <div class="ttc" id="aclassSVF_1_1RetCFGEdge_html"><div class="ttname"><a href="classSVF_1_1RetCFGEdge.html">SVF::RetCFGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00227">ICFGEdge.h:227</a></div></div>
 <div class="ttc" id="aclassSVF_1_1IntraCFGEdge_html_aea905f535696918ed63cd5ce04b7e0fb"><div class="ttname"><a href="classSVF_1_1IntraCFGEdge.html#aea905f535696918ed63cd5ce04b7e0fb">SVF::IntraCFGEdge::classof</a></div><div class="ttdeci">static bool classof(const ICFGEdge *edge)</div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00130">ICFGEdge.h:130</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericEdge_html_aab8892b73370c32b48621cd1d0cce614"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#aab8892b73370c32b48621cd1d0cce614">SVF::GenericEdge::GEdgeFlag</a></div><div class="ttdeci">u64_t GEdgeFlag</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00061">GenericGraph.h:61</a></div></div>
 <div class="ttc" id="aclassSVF_1_1RetCFGEdge_html_ad4bbb9881dff7b715c7a70b92baf376c"><div class="ttname"><a href="classSVF_1_1RetCFGEdge.html#ad4bbb9881dff7b715c7a70b92baf376c">SVF::RetCFGEdge::retPE</a></div><div class="ttdeci">const RetPE * retPE</div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00234">ICFGEdge.h:234</a></div></div>
-<div class="ttc" id="aclassSVF_1_1CallPE_html"><div class="ttname"><a href="classSVF_1_1CallPE.html">SVF::CallPE</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00558">SVFStatements.h:558</a></div></div>
+<div class="ttc" id="aclassSVF_1_1CallPE_html"><div class="ttname"><a href="classSVF_1_1CallPE.html">SVF::CallPE</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00568">SVFStatements.h:568</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ICFGEdge_html_a4e6d228dfc678618a423e8293877f04c"><div class="ttname"><a href="classSVF_1_1ICFGEdge.html#a4e6d228dfc678618a423e8293877f04c">SVF::ICFGEdge::isIntraCFGEdge</a></div><div class="ttdeci">bool isIntraCFGEdge() const</div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00085">ICFGEdge.h:85</a></div></div>
 <div class="ttc" id="aclassSVF_1_1RetCFGEdge_html_a5a461528da9eb46ca190fbd49b41d0d1"><div class="ttname"><a href="classSVF_1_1RetCFGEdge.html#a5a461528da9eb46ca190fbd49b41d0d1">SVF::RetCFGEdge::RetCFGEdge</a></div><div class="ttdeci">RetCFGEdge(ICFGNode *s, ICFGNode *d, const SVFInstruction *c)</div><div class="ttdoc">Constructor.</div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00238">ICFGEdge.h:238</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CallCFGEdge_html_a2d06b1b7913887fa0b147a5ec3098678"><div class="ttname"><a href="classSVF_1_1CallCFGEdge.html#a2d06b1b7913887fa0b147a5ec3098678">SVF::CallCFGEdge::classof</a></div><div class="ttdeci">static bool classof(const ICFGEdge *edge)</div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00212">ICFGEdge.h:212</a></div></div>
@@ -348,7 +348,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1CallCFGEdge_html_acea0923ca5c08f455af8ba3bcd738dd2"><div class="ttname"><a href="classSVF_1_1CallCFGEdge.html#acea0923ca5c08f455af8ba3bcd738dd2">SVF::CallCFGEdge::classof</a></div><div class="ttdeci">static bool classof(const GenericICFGEdgeTy *edge)</div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00216">ICFGEdge.h:216</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CallCFGEdge_html_a3f576a9648945907859dd5922f55bcb3"><div class="ttname"><a href="classSVF_1_1CallCFGEdge.html#a3f576a9648945907859dd5922f55bcb3">SVF::CallCFGEdge::cs</a></div><div class="ttdeci">const SVFInstruction * cs</div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00182">ICFGEdge.h:182</a></div></div>
 <div class="ttc" id="aclassSVF_1_1IntraCFGEdge_html_a8ba42f12f31c5f7ff633f60856f973b3"><div class="ttname"><a href="classSVF_1_1IntraCFGEdge.html#a8ba42f12f31c5f7ff633f60856f973b3">SVF::IntraCFGEdge::branchCondVal</a></div><div class="ttdeci">s64_t branchCondVal</div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00170">ICFGEdge.h:170</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a03d88a0302bcd253387690f13f693f64"><div class="ttname"><a href="namespaceSVF.html#a03d88a0302bcd253387690f13f693f64">SVF::CallSiteID</a></div><div class="ttdeci">unsigned CallSiteID</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00054">GeneralType.h:54</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a03d88a0302bcd253387690f13f693f64"><div class="ttname"><a href="namespaceSVF.html#a03d88a0302bcd253387690f13f693f64">SVF::CallSiteID</a></div><div class="ttdeci">unsigned CallSiteID</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00058">GeneralType.h:58</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CallCFGEdge_html_a38b56212fb58934ee50079b1e69ad5ff"><div class="ttname"><a href="classSVF_1_1CallCFGEdge.html#a38b56212fb58934ee50079b1e69ad5ff">SVF::CallCFGEdge::classof</a></div><div class="ttdeci">static bool classof(const CallCFGEdge *)</div><div class="ttdoc">Methods for support type inquiry through isa, cast, and dyn_cast:</div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00208">ICFGEdge.h:208</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ICFGEdge_html_a3d3813be0b873335b17bb590e130d173"><div class="ttname"><a href="classSVF_1_1ICFGEdge.html#a3d3813be0b873335b17bb590e130d173">SVF::ICFGEdge::isCFGEdge</a></div><div class="ttdeci">bool isCFGEdge() const</div><div class="ttdoc">Get methods of the components.</div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00072">ICFGEdge.h:72</a></div></div>
 <div class="ttc" id="aclassSVF_1_1IntraCFGEdge_html_a106513578790247f9d96e34c8385b3d8"><div class="ttname"><a href="classSVF_1_1IntraCFGEdge.html#a106513578790247f9d96e34c8385b3d8">SVF::IntraCFGEdge::getSuccessorCondValue</a></div><div class="ttdeci">s64_t getSuccessorCondValue() const</div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00145">ICFGEdge.h:145</a></div></div>