svf-tools 1.0.587 → 1.0.588

package/SVF-doxygen/html/html/structSVF_1_1GrammarBase_1_1Symbol.html

@@ -210,7 +210,7 @@ Public Attributes</h2></td></tr>
 <p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00055">55</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
 <div class="fragment"><div class="line"><a name="l00056"></a><span class="lineno">   56</span>&#160;        {</div><div class="line"><a name="l00057"></a><span class="lineno">   57</span>&#160;            static_assert(<span class="keyword">sizeof</span>(<span class="keyword">struct</span> <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#ad8268060892644d15b13f84124bc1eaf">Symbol</a>)==<span class="keyword">sizeof</span>(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>), <span class="stringliteral">&quot;sizeof(struct Symbol)!=sizeof(u32_t)&quot;</span>);</div><div class="line"><a name="l00058"></a><span class="lineno">   58</span>&#160;            <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> num = 0;</div><div class="line"><a name="l00059"></a><span class="lineno">   59</span>&#160;            num += this-&gt;<a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#af26cd32a0c3b88aec053bec17519f942">variableAttribute</a> &lt;&lt; 24;</div><div class="line"><a name="l00060"></a><span class="lineno">   60</span>&#160;            num += this-&gt;<a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#a756bed7c50c6d3251cc4832247c8691d">attribute</a> &lt;&lt; 8;</div><div class="line"><a name="l00061"></a><span class="lineno">   61</span>&#160;            num += this-&gt;<a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#aa60ddaabcb38b277d56b41bc9133ef71">kind</a>;</div><div class="line"><a name="l00062"></a><span class="lineno">   62</span>&#160;            <span class="keywordflow">return</span> num;</div><div class="line"><a name="l00063"></a><span class="lineno">   63</span>&#160;        }</div><div class="ttc" id="structSVF_1_1GrammarBase_1_1Symbol_html_ad8268060892644d15b13f84124bc1eaf"><div class="ttname"><a href="structSVF_1_1GrammarBase_1_1Symbol.html#ad8268060892644d15b13f84124bc1eaf">SVF::GrammarBase::Symbol::Symbol</a></div><div class="ttdeci">Symbol()</div><div class="ttdoc">Default Value for Symbol is 0. </div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00049">CFLGrammar.h:49</a></div></div>
 <div class="ttc" id="structSVF_1_1GrammarBase_1_1Symbol_html_af26cd32a0c3b88aec053bec17519f942"><div class="ttname"><a href="structSVF_1_1GrammarBase_1_1Symbol.html#af26cd32a0c3b88aec053bec17519f942">SVF::GrammarBase::Symbol::variableAttribute</a></div><div class="ttdeci">VariableAttribute variableAttribute</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00046">CFLGrammar.h:46</a></div></div>
-<div class="ttc" id="namespaceSVF_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="SVFBasicTypes_8h_source.html#l00085">SVFBasicTypes.h:85</a></div></div>
+<div class="ttc" id="namespaceSVF_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="SVFBasicTypes_8h_source.html#l00081">SVFBasicTypes.h:81</a></div></div>
 <div class="ttc" id="structSVF_1_1GrammarBase_1_1Symbol_html_a756bed7c50c6d3251cc4832247c8691d"><div class="ttname"><a href="structSVF_1_1GrammarBase_1_1Symbol.html#a756bed7c50c6d3251cc4832247c8691d">SVF::GrammarBase::Symbol::attribute</a></div><div class="ttdeci">Attribute attribute</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00045">CFLGrammar.h:45</a></div></div>
 <div class="ttc" id="structSVF_1_1GrammarBase_1_1Symbol_html_aa60ddaabcb38b277d56b41bc9133ef71"><div class="ttname"><a href="structSVF_1_1GrammarBase_1_1Symbol.html#aa60ddaabcb38b277d56b41bc9133ef71">SVF::GrammarBase::Symbol::kind</a></div><div class="ttdeci">Kind kind</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00044">CFLGrammar.h:44</a></div></div>
 </div><!-- fragment -->
@@ -242,7 +242,7 @@ Public Attributes</h2></td></tr>
 <p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00065">65</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
 <div class="fragment"><div class="line"><a name="l00066"></a><span class="lineno">   66</span>&#160;        {</div><div class="line"><a name="l00067"></a><span class="lineno">   67</span>&#160;            static_assert(<span class="keyword">sizeof</span>(<span class="keyword">struct</span> <a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#ad8268060892644d15b13f84124bc1eaf">Symbol</a>)==<span class="keyword">sizeof</span>(<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>), <span class="stringliteral">&quot;sizeof(struct Symbol)!=sizeof(u32_t)&quot;</span>);</div><div class="line"><a name="l00068"></a><span class="lineno">   68</span>&#160;            <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> num = 0;</div><div class="line"><a name="l00069"></a><span class="lineno">   69</span>&#160;            num += this-&gt;<a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#af26cd32a0c3b88aec053bec17519f942">variableAttribute</a> &lt;&lt; 24;</div><div class="line"><a name="l00070"></a><span class="lineno">   70</span>&#160;            num += this-&gt;<a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#a756bed7c50c6d3251cc4832247c8691d">attribute</a> &lt;&lt; 8;</div><div class="line"><a name="l00071"></a><span class="lineno">   71</span>&#160;            num += this-&gt;<a class="code" href="structSVF_1_1GrammarBase_1_1Symbol.html#aa60ddaabcb38b277d56b41bc9133ef71">kind</a>;</div><div class="line"><a name="l00072"></a><span class="lineno">   72</span>&#160;            <span class="keywordflow">return</span> num;</div><div class="line"><a name="l00073"></a><span class="lineno">   73</span>&#160;        }</div><div class="ttc" id="structSVF_1_1GrammarBase_1_1Symbol_html_ad8268060892644d15b13f84124bc1eaf"><div class="ttname"><a href="structSVF_1_1GrammarBase_1_1Symbol.html#ad8268060892644d15b13f84124bc1eaf">SVF::GrammarBase::Symbol::Symbol</a></div><div class="ttdeci">Symbol()</div><div class="ttdoc">Default Value for Symbol is 0. </div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00049">CFLGrammar.h:49</a></div></div>
 <div class="ttc" id="structSVF_1_1GrammarBase_1_1Symbol_html_af26cd32a0c3b88aec053bec17519f942"><div class="ttname"><a href="structSVF_1_1GrammarBase_1_1Symbol.html#af26cd32a0c3b88aec053bec17519f942">SVF::GrammarBase::Symbol::variableAttribute</a></div><div class="ttdeci">VariableAttribute variableAttribute</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00046">CFLGrammar.h:46</a></div></div>
-<div class="ttc" id="namespaceSVF_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="SVFBasicTypes_8h_source.html#l00085">SVFBasicTypes.h:85</a></div></div>
+<div class="ttc" id="namespaceSVF_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="SVFBasicTypes_8h_source.html#l00081">SVFBasicTypes.h:81</a></div></div>
 <div class="ttc" id="structSVF_1_1GrammarBase_1_1Symbol_html_a756bed7c50c6d3251cc4832247c8691d"><div class="ttname"><a href="structSVF_1_1GrammarBase_1_1Symbol.html#a756bed7c50c6d3251cc4832247c8691d">SVF::GrammarBase::Symbol::attribute</a></div><div class="ttdeci">Attribute attribute</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00045">CFLGrammar.h:45</a></div></div>
 <div class="ttc" id="structSVF_1_1GrammarBase_1_1Symbol_html_aa60ddaabcb38b277d56b41bc9133ef71"><div class="ttname"><a href="structSVF_1_1GrammarBase_1_1Symbol.html#aa60ddaabcb38b277d56b41bc9133ef71">SVF::GrammarBase::Symbol::kind</a></div><div class="ttdeci">Kind kind</div><div class="ttdef"><b>Definition:</b> <a href="CFLGrammar_8h_source.html#l00044">CFLGrammar.h:44</a></div></div>
 </div><!-- fragment -->
@@ -301,7 +301,7 @@ Public Attributes</h2></td></tr>
 </div><div class="memdoc">
 
 <p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00075">75</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00076"></a><span class="lineno">   76</span>&#160;        {</div><div class="line"><a name="l00077"></a><span class="lineno">   77</span>&#160;            <span class="keywordflow">return</span> <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>(*<span class="keyword">this</span>) &lt; <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>(rhs);</div><div class="line"><a name="l00078"></a><span class="lineno">   78</span>&#160;        }</div><div class="ttc" id="namespaceSVF_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="SVFBasicTypes_8h_source.html#l00085">SVFBasicTypes.h:85</a></div></div>
+<div class="fragment"><div class="line"><a name="l00076"></a><span class="lineno">   76</span>&#160;        {</div><div class="line"><a name="l00077"></a><span class="lineno">   77</span>&#160;            <span class="keywordflow">return</span> <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>(*<span class="keyword">this</span>) &lt; <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>(rhs);</div><div class="line"><a name="l00078"></a><span class="lineno">   78</span>&#160;        }</div><div class="ttc" id="namespaceSVF_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="SVFBasicTypes_8h_source.html#l00081">SVFBasicTypes.h:81</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -455,7 +455,7 @@ Public Attributes</h2></td></tr>
 </div><div class="memdoc">
 
 <p class="definition">Definition at line <a class="el" href="CFLGrammar_8h_source.html#l00109">109</a> of file <a class="el" href="CFLGrammar_8h_source.html">CFLGrammar.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00110"></a><span class="lineno">  110</span>&#160;        {</div><div class="line"><a name="l00111"></a><span class="lineno">  111</span>&#160;            <span class="keywordflow">return</span>  <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>(*<span class="keyword">this</span>) == <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>(i);</div><div class="line"><a name="l00112"></a><span class="lineno">  112</span>&#160;        }</div><div class="ttc" id="namespaceSVF_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="SVFBasicTypes_8h_source.html#l00085">SVFBasicTypes.h:85</a></div></div>
+<div class="fragment"><div class="line"><a name="l00110"></a><span class="lineno">  110</span>&#160;        {</div><div class="line"><a name="l00111"></a><span class="lineno">  111</span>&#160;            <span class="keywordflow">return</span>  <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>(*<span class="keyword">this</span>) == <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>(i);</div><div class="line"><a name="l00112"></a><span class="lineno">  112</span>&#160;        }</div><div class="ttc" id="namespaceSVF_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="SVFBasicTypes_8h_source.html#l00081">SVFBasicTypes.h:81</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>

package/SVF-doxygen/html/html/structSVF_1_1Hash.html

@@ -86,7 +86,7 @@ struct SVF::Hash&lt; T &gt;</h3>
 
 <p>provide extra hash function for std::pair handling </p>
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00056">56</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00052">52</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 </div><h2 class="groupheader">Member Function Documentation</h2>
 <a id="aad49eec16cfdd4d3423f27666d5f28ff"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#aad49eec16cfdd4d3423f27666d5f28ff">&#9670;&nbsp;</a></span>operator()()</h2>
@@ -114,8 +114,8 @@ template&lt;class T&gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00076">76</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
-<div class="fragment"><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;        std::hash&lt;T&gt; h;</div><div class="line"><a name="l00079"></a><span class="lineno">   79</span>&#160;        <span class="keywordflow">return</span> h(t);</div><div class="line"><a name="l00080"></a><span class="lineno">   80</span>&#160;    }</div></div><!-- fragment -->
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00072">72</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00073"></a><span class="lineno">   73</span>&#160;    {</div><div class="line"><a name="l00074"></a><span class="lineno">   74</span>&#160;        std::hash&lt;T&gt; h;</div><div class="line"><a name="l00075"></a><span class="lineno">   75</span>&#160;        <span class="keywordflow">return</span> h(t);</div><div class="line"><a name="l00076"></a><span class="lineno">   76</span>&#160;    }</div></div><!-- fragment -->
 </div>
 </div>
 <hr/>The documentation for this struct was generated from the following file:<ul>

package/SVF-doxygen/html/html/structSVF_1_1Hash_3_01NodePair_01_4.html

@@ -82,7 +82,7 @@ Public Member Functions</h2></td></tr>
 struct SVF::Hash&lt; NodePair &gt;</h3>
 
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00139">139</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00134">134</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 </div><h2 class="groupheader">Member Function Documentation</h2>
 <a id="a57f65bc02efb8b1d4905030ef437df3e"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#a57f65bc02efb8b1d4905030ef437df3e">&#9670;&nbsp;</a></span>operator()()</h2>
@@ -108,8 +108,8 @@ struct SVF::Hash&lt; NodePair &gt;</h3>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00141">141</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00142"></a><span class="lineno">  142</span>&#160;    {</div><div class="line"><a name="l00143"></a><span class="lineno">  143</span>&#160;        <span class="comment">// Make sure our assumptions are sound: use u32_t</span></div><div class="line"><a name="l00144"></a><span class="lineno">  144</span>&#160;        <span class="comment">// and u64_t. If NodeID is not actually u32_t or size_t</span></div><div class="line"><a name="l00145"></a><span class="lineno">  145</span>&#160;        <span class="comment">// is not u64_t we should be fine since we get a</span></div><div class="line"><a name="l00146"></a><span class="lineno">  146</span>&#160;        <span class="comment">// consistent result.</span></div><div class="line"><a name="l00147"></a><span class="lineno">  147</span>&#160;        uint32_t first = (uint32_t)(<a class="code" href="cJSON_8cpp.html#a009ef1d888ab6dbe77e6b42b0b39f1ae">p</a>.first);</div><div class="line"><a name="l00148"></a><span class="lineno">  148</span>&#160;        uint32_t second = (uint32_t)(<a class="code" href="cJSON_8cpp.html#a009ef1d888ab6dbe77e6b42b0b39f1ae">p</a>.second);</div><div class="line"><a name="l00149"></a><span class="lineno">  149</span>&#160;        <span class="keywordflow">return</span> ((uint64_t)(first) &lt;&lt; 32) | (uint64_t)(second);</div><div class="line"><a name="l00150"></a><span class="lineno">  150</span>&#160;    }</div><div class="ttc" id="cJSON_8cpp_html_a009ef1d888ab6dbe77e6b42b0b39f1ae"><div class="ttname"><a href="cJSON_8cpp.html#a009ef1d888ab6dbe77e6b42b0b39f1ae">p</a></div><div class="ttdeci">cJSON * p</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l02559">cJSON.cpp:2559</a></div></div>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00136">136</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00137"></a><span class="lineno">  137</span>&#160;    {</div><div class="line"><a name="l00138"></a><span class="lineno">  138</span>&#160;        <span class="comment">// Make sure our assumptions are sound: use u32_t</span></div><div class="line"><a name="l00139"></a><span class="lineno">  139</span>&#160;        <span class="comment">// and u64_t. If NodeID is not actually u32_t or size_t</span></div><div class="line"><a name="l00140"></a><span class="lineno">  140</span>&#160;        <span class="comment">// is not u64_t we should be fine since we get a</span></div><div class="line"><a name="l00141"></a><span class="lineno">  141</span>&#160;        <span class="comment">// consistent result.</span></div><div class="line"><a name="l00142"></a><span class="lineno">  142</span>&#160;        uint32_t first = (uint32_t)(<a class="code" href="cJSON_8cpp.html#a009ef1d888ab6dbe77e6b42b0b39f1ae">p</a>.first);</div><div class="line"><a name="l00143"></a><span class="lineno">  143</span>&#160;        uint32_t second = (uint32_t)(<a class="code" href="cJSON_8cpp.html#a009ef1d888ab6dbe77e6b42b0b39f1ae">p</a>.second);</div><div class="line"><a name="l00144"></a><span class="lineno">  144</span>&#160;        <span class="keywordflow">return</span> ((uint64_t)(first) &lt;&lt; 32) | (uint64_t)(second);</div><div class="line"><a name="l00145"></a><span class="lineno">  145</span>&#160;    }</div><div class="ttc" id="cJSON_8cpp_html_a009ef1d888ab6dbe77e6b42b0b39f1ae"><div class="ttname"><a href="cJSON_8cpp.html#a009ef1d888ab6dbe77e6b42b0b39f1ae">p</a></div><div class="ttdeci">cJSON * p</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l02559">cJSON.cpp:2559</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>

package/SVF-doxygen/html/html/structSVF_1_1Hash_3_01std_1_1pair_3_01S_00_01T_01_4_01_4.html

@@ -88,7 +88,7 @@ Static Public Member Functions</h2></td></tr>
 struct SVF::Hash&lt; std::pair&lt; S, T &gt; &gt;</h3>
 
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00058">58</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00054">54</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 </div><h2 class="groupheader">Member Function Documentation</h2>
 <a id="a8bc94a83d93639b91f9e02dfdd93d8be"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#a8bc94a83d93639b91f9e02dfdd93d8be">&#9670;&nbsp;</a></span>operator()()</h2>
@@ -116,8 +116,8 @@ template&lt;class S , class T &gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00066">66</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00067"></a><span class="lineno">   67</span>&#160;    {</div><div class="line"><a name="l00068"></a><span class="lineno">   68</span>&#160;        Hash&lt;decltype(t.first)&gt; first;</div><div class="line"><a name="l00069"></a><span class="lineno">   69</span>&#160;        Hash&lt;decltype(t.second)&gt; second;</div><div class="line"><a name="l00070"></a><span class="lineno">   70</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1Hash_3_01std_1_1pair_3_01S_00_01T_01_4_01_4.html#adf5f19b1b32c117571fe74035cdcdbe2">szudzik</a>(first(t.first), second(t.second));</div><div class="line"><a name="l00071"></a><span class="lineno">   71</span>&#160;    }</div><div class="ttc" id="structSVF_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="SVFBasicTypes_8h_source.html#l00061">SVFBasicTypes.h:61</a></div></div>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00062">62</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00063"></a><span class="lineno">   63</span>&#160;    {</div><div class="line"><a name="l00064"></a><span class="lineno">   64</span>&#160;        Hash&lt;decltype(t.first)&gt; first;</div><div class="line"><a name="l00065"></a><span class="lineno">   65</span>&#160;        Hash&lt;decltype(t.second)&gt; second;</div><div class="line"><a name="l00066"></a><span class="lineno">   66</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1Hash_3_01std_1_1pair_3_01S_00_01T_01_4_01_4.html#adf5f19b1b32c117571fe74035cdcdbe2">szudzik</a>(first(t.first), second(t.second));</div><div class="line"><a name="l00067"></a><span class="lineno">   67</span>&#160;    }</div><div class="ttc" id="structSVF_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="SVFBasicTypes_8h_source.html#l00057">SVFBasicTypes.h:57</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -157,8 +157,8 @@ template&lt;class S , class T &gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00061">61</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00062"></a><span class="lineno">   62</span>&#160;    {</div><div class="line"><a name="l00063"></a><span class="lineno">   63</span>&#160;        <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="l00064"></a><span class="lineno">   64</span>&#160;    }</div><div class="ttc" id="cJSON_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>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00057">57</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00058"></a><span class="lineno">   58</span>&#160;    {</div><div class="line"><a name="l00059"></a><span class="lineno">   59</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="l00060"></a><span class="lineno">   60</span>&#160;    }</div><div class="ttc" id="cJSON_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="cJSON_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><!-- fragment -->
 </div>

package/SVF-doxygen/html/html/structSVF_1_1PopulationCounter.html

@@ -111,7 +111,7 @@ template&lt;typename T , std::size_t SizeOfT&gt; </div>
 </div><div class="memdoc">
 
 <p class="definition">Definition at line <a class="el" href="SparseBitVector_8h_source.html#l00087">87</a> of file <a class="el" href="SparseBitVector_8h_source.html">SparseBitVector.h</a>.</p>
-<div class="fragment"><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="comment">// Generic version, forward to 32 bits.</span></div><div class="line"><a name="l00090"></a><span class="lineno">   90</span>&#160;        static_assert(SizeOfT &lt;= 4, <span class="stringliteral">&quot;Not implemented!&quot;</span>);</div><div class="line"><a name="l00091"></a><span class="lineno">   91</span>&#160;<span class="preprocessor">#if defined(__GNUC__)</span></div><div class="line"><a name="l00092"></a><span class="lineno">   92</span>&#160;        <span class="keywordflow">return</span> __builtin_popcount(<a class="code" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a>);</div><div class="line"><a name="l00093"></a><span class="lineno">   93</span>&#160;<span class="preprocessor">#else</span></div><div class="line"><a name="l00094"></a><span class="lineno">   94</span>&#160;        uint32_t v = <a class="code" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a>;</div><div class="line"><a name="l00095"></a><span class="lineno">   95</span>&#160;        v = v - ((v &gt;&gt; 1) &amp; 0x55555555);</div><div class="line"><a name="l00096"></a><span class="lineno">   96</span>&#160;        v = (v &amp; 0x33333333) + ((v &gt;&gt; 2) &amp; 0x33333333);</div><div class="line"><a name="l00097"></a><span class="lineno">   97</span>&#160;        <span class="keywordflow">return</span> ((v + (v &gt;&gt; 4) &amp; 0xF0F0F0F) * 0x1010101) &gt;&gt; 24;</div><div class="line"><a name="l00098"></a><span class="lineno">   98</span>&#160;<span class="preprocessor">#endif</span></div><div class="line"><a name="l00099"></a><span class="lineno">   99</span>&#160;    }</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 class="fragment"><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="comment">// Generic version, forward to 32 bits.</span></div><div class="line"><a name="l00090"></a><span class="lineno">   90</span>&#160;        static_assert(SizeOfT &lt;= 4, <span class="stringliteral">&quot;Not implemented!&quot;</span>);</div><div class="line"><a name="l00091"></a><span class="lineno">   91</span>&#160;<span class="preprocessor">#if defined(__GNUC__)</span></div><div class="line"><a name="l00092"></a><span class="lineno">   92</span>&#160;        <span class="keywordflow">return</span> __builtin_popcount(<a class="code" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a>);</div><div class="line"><a name="l00093"></a><span class="lineno">   93</span>&#160;<span class="preprocessor">#else</span></div><div class="line"><a name="l00094"></a><span class="lineno">   94</span>&#160;        uint32_t v = <a class="code" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a>;</div><div class="line"><a name="l00095"></a><span class="lineno">   95</span>&#160;        v = v - ((v &gt;&gt; 1) &amp; 0x55555555);</div><div class="line"><a name="l00096"></a><span class="lineno">   96</span>&#160;        v = (v &amp; 0x33333333) + ((v &gt;&gt; 2) &amp; 0x33333333);</div><div class="line"><a name="l00097"></a><span class="lineno">   97</span>&#160;        <span class="keywordflow">return</span> ((v + (v &gt;&gt; 4) &amp; 0xF0F0F0F) * 0x1010101) &gt;&gt; 24;</div><div class="line"><a name="l00098"></a><span class="lineno">   98</span>&#160;<span class="preprocessor">#endif</span></div><div class="line"><a name="l00099"></a><span class="lineno">   99</span>&#160;    }</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#l00050">BasicTypes.h:50</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>

package/SVF-doxygen/html/html/structSVF_1_1PopulationCounter_3_01T_00_018_01_4.html

@@ -111,7 +111,7 @@ template&lt;typename T &gt; </div>
 </div><div class="memdoc">
 
 <p class="definition">Definition at line <a class="el" href="SparseBitVector_8h_source.html#l00179">179</a> of file <a class="el" href="SparseBitVector_8h_source.html">SparseBitVector.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00180"></a><span class="lineno">  180</span>&#160;    {</div><div class="line"><a name="l00181"></a><span class="lineno">  181</span>&#160;<span class="preprocessor">#if defined(__GNUC__)</span></div><div class="line"><a name="l00182"></a><span class="lineno">  182</span>&#160;        <span class="keywordflow">return</span> __builtin_popcountll(<a class="code" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a>);</div><div class="line"><a name="l00183"></a><span class="lineno">  183</span>&#160;<span class="preprocessor">#else</span></div><div class="line"><a name="l00184"></a><span class="lineno">  184</span>&#160;        uint64_t v = <a class="code" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a>;</div><div class="line"><a name="l00185"></a><span class="lineno">  185</span>&#160;        v = v - ((v &gt;&gt; 1) &amp; 0x5555555555555555ULL);</div><div class="line"><a name="l00186"></a><span class="lineno">  186</span>&#160;        v = (v &amp; 0x3333333333333333ULL) + ((v &gt;&gt; 2) &amp; 0x3333333333333333ULL);</div><div class="line"><a name="l00187"></a><span class="lineno">  187</span>&#160;        v = (v + (v &gt;&gt; 4)) &amp; 0x0F0F0F0F0F0F0F0FULL;</div><div class="line"><a name="l00188"></a><span class="lineno">  188</span>&#160;        <span class="keywordflow">return</span> unsigned((uint64_t)(v * 0x0101010101010101ULL) &gt;&gt; 56);</div><div class="line"><a name="l00189"></a><span class="lineno">  189</span>&#160;<span class="preprocessor">#endif</span></div><div class="line"><a name="l00190"></a><span class="lineno">  190</span>&#160;    }</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 class="fragment"><div class="line"><a name="l00180"></a><span class="lineno">  180</span>&#160;    {</div><div class="line"><a name="l00181"></a><span class="lineno">  181</span>&#160;<span class="preprocessor">#if defined(__GNUC__)</span></div><div class="line"><a name="l00182"></a><span class="lineno">  182</span>&#160;        <span class="keywordflow">return</span> __builtin_popcountll(<a class="code" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a>);</div><div class="line"><a name="l00183"></a><span class="lineno">  183</span>&#160;<span class="preprocessor">#else</span></div><div class="line"><a name="l00184"></a><span class="lineno">  184</span>&#160;        uint64_t v = <a class="code" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a>;</div><div class="line"><a name="l00185"></a><span class="lineno">  185</span>&#160;        v = v - ((v &gt;&gt; 1) &amp; 0x5555555555555555ULL);</div><div class="line"><a name="l00186"></a><span class="lineno">  186</span>&#160;        v = (v &amp; 0x3333333333333333ULL) + ((v &gt;&gt; 2) &amp; 0x3333333333333333ULL);</div><div class="line"><a name="l00187"></a><span class="lineno">  187</span>&#160;        v = (v + (v &gt;&gt; 4)) &amp; 0x0F0F0F0F0F0F0F0FULL;</div><div class="line"><a name="l00188"></a><span class="lineno">  188</span>&#160;        <span class="keywordflow">return</span> unsigned((uint64_t)(v * 0x0101010101010101ULL) &gt;&gt; 56);</div><div class="line"><a name="l00189"></a><span class="lineno">  189</span>&#160;<span class="preprocessor">#endif</span></div><div class="line"><a name="l00190"></a><span class="lineno">  190</span>&#160;    }</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#l00050">BasicTypes.h:50</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>

package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1cast__convert__val.html

@@ -82,7 +82,7 @@ Static Public Member Functions</h2></td></tr>
 struct SVF::SVFUtil::cast_convert_val&lt; To, From, SimpleFrom &gt;</h3>
 
 
-<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00259">259</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00260">260</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
 </div><h2 class="groupheader">Member Function Documentation</h2>
 <a id="a42987ff69d76fef88044fe0b19743239"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#a42987ff69d76fef88044fe0b19743239">&#9670;&nbsp;</a></span>doit()</h2>
@@ -110,10 +110,10 @@ template&lt;class To , class From , class SimpleFrom &gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00262">262</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00263"></a><span class="lineno">  263</span>&#160;    {</div><div class="line"><a name="l00264"></a><span class="lineno">  264</span>&#160;        <span class="keywordflow">return</span> cast_convert_val&lt;To, SimpleFrom,</div><div class="line"><a name="l00265"></a><span class="lineno">  265</span>&#160;               <span class="keyword">typename</span> <a class="code" href="structSVF_1_1SVFUtil_1_1simplify__type.html#a40c0d9a74681d3eaa7172ba137d489e4">simplify_type&lt;SimpleFrom&gt;::SimpleType</a>&gt;<a class="code" href="structSVF_1_1SVFUtil_1_1cast__convert__val.html#a42987ff69d76fef88044fe0b19743239">::doit</a>(</div><div class="line"><a name="l00266"></a><span class="lineno">  266</span>&#160;                   <a class="code" href="structSVF_1_1SVFUtil_1_1simplify__type.html#a8046f044d895a5c9aee85de9705161f9">simplify_type&lt;From&gt;::getSimplifiedValue</a>(Val));</div><div class="line"><a name="l00267"></a><span class="lineno">  267</span>&#160;    }</div><div class="ttc" id="structSVF_1_1SVFUtil_1_1cast__convert__val_html_a42987ff69d76fef88044fe0b19743239"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1cast__convert__val.html#a42987ff69d76fef88044fe0b19743239">SVF::SVFUtil::cast_convert_val::doit</a></div><div class="ttdeci">static cast_retty&lt; To, From &gt;::ret_type doit(From &amp;Val)</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00262">Casting.h:262</a></div></div>
-<div class="ttc" id="structSVF_1_1SVFUtil_1_1simplify__type_html_a8046f044d895a5c9aee85de9705161f9"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1simplify__type.html#a8046f044d895a5c9aee85de9705161f9">SVF::SVFUtil::simplify_type::getSimplifiedValue</a></div><div class="ttdeci">static SimpleType &amp; getSimplifiedValue(From &amp;Val)</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00051">Casting.h:51</a></div></div>
-<div class="ttc" id="structSVF_1_1SVFUtil_1_1simplify__type_html_a40c0d9a74681d3eaa7172ba137d489e4"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1simplify__type.html#a40c0d9a74681d3eaa7172ba137d489e4">SVF::SVFUtil::simplify_type::SimpleType</a></div><div class="ttdeci">From SimpleType</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00048">Casting.h:48</a></div></div>
+<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00263">263</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00264"></a><span class="lineno">  264</span>&#160;    {</div><div class="line"><a name="l00265"></a><span class="lineno">  265</span>&#160;        <span class="keywordflow">return</span> cast_convert_val&lt;To, SimpleFrom,</div><div class="line"><a name="l00266"></a><span class="lineno">  266</span>&#160;               <span class="keyword">typename</span> <a class="code" href="structSVF_1_1SVFUtil_1_1simplify__type.html#a40c0d9a74681d3eaa7172ba137d489e4">simplify_type&lt;SimpleFrom&gt;::SimpleType</a>&gt;<a class="code" href="structSVF_1_1SVFUtil_1_1cast__convert__val.html#a42987ff69d76fef88044fe0b19743239">::doit</a>(</div><div class="line"><a name="l00267"></a><span class="lineno">  267</span>&#160;                   <a class="code" href="structSVF_1_1SVFUtil_1_1simplify__type.html#a8046f044d895a5c9aee85de9705161f9">simplify_type&lt;From&gt;::getSimplifiedValue</a>(Val));</div><div class="line"><a name="l00268"></a><span class="lineno">  268</span>&#160;    }</div><div class="ttc" id="structSVF_1_1SVFUtil_1_1cast__convert__val_html_a42987ff69d76fef88044fe0b19743239"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1cast__convert__val.html#a42987ff69d76fef88044fe0b19743239">SVF::SVFUtil::cast_convert_val::doit</a></div><div class="ttdeci">static cast_retty&lt; To, From &gt;::ret_type doit(From &amp;Val)</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00263">Casting.h:263</a></div></div>
+<div class="ttc" id="structSVF_1_1SVFUtil_1_1simplify__type_html_a8046f044d895a5c9aee85de9705161f9"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1simplify__type.html#a8046f044d895a5c9aee85de9705161f9">SVF::SVFUtil::simplify_type::getSimplifiedValue</a></div><div class="ttdeci">static SimpleType &amp; getSimplifiedValue(From &amp;Val)</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00052">Casting.h:52</a></div></div>
+<div class="ttc" id="structSVF_1_1SVFUtil_1_1simplify__type_html_a40c0d9a74681d3eaa7172ba137d489e4"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1simplify__type.html#a40c0d9a74681d3eaa7172ba137d489e4">SVF::SVFUtil::simplify_type::SimpleType</a></div><div class="ttdeci">From SimpleType</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00049">Casting.h:49</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>

package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1cast__convert__val_3_01To_00_01FromTy_00_01FromTy_01_4.html

@@ -82,7 +82,7 @@ Static Public Member Functions</h2></td></tr>
 struct SVF::SVFUtil::cast_convert_val&lt; To, FromTy, FromTy &gt;</h3>
 
 
-<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00270">270</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00271">271</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
 </div><h2 class="groupheader">Member Function Documentation</h2>
 <a id="a2dd56ef15d86f61c7fef34dc15173e4a"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#a2dd56ef15d86f61c7fef34dc15173e4a">&#9670;&nbsp;</a></span>doit()</h2>
@@ -110,8 +110,8 @@ template&lt;class To , class FromTy &gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00273">273</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00274"></a><span class="lineno">  274</span>&#160;    {</div><div class="line"><a name="l00275"></a><span class="lineno">  275</span>&#160;        <span class="keyword">typename</span> <a class="code" href="structSVF_1_1SVFUtil_1_1cast__retty.html#aea91708cabb8176b031f1c1fdb89a15b">cast_retty&lt;To, FromTy&gt;::ret_type</a> Res2</div><div class="line"><a name="l00276"></a><span class="lineno">  276</span>&#160;            = (<span class="keyword">typename</span> <a class="code" href="structSVF_1_1SVFUtil_1_1cast__retty.html#aea91708cabb8176b031f1c1fdb89a15b">cast_retty&lt;To, FromTy&gt;::ret_type</a>)const_cast&lt;FromTy&amp;&gt;(Val);</div><div class="line"><a name="l00277"></a><span class="lineno">  277</span>&#160;        <span class="keywordflow">return</span> Res2;</div><div class="line"><a name="l00278"></a><span class="lineno">  278</span>&#160;    }</div><div class="ttc" id="structSVF_1_1SVFUtil_1_1cast__retty_html_aea91708cabb8176b031f1c1fdb89a15b"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1cast__retty.html#aea91708cabb8176b031f1c1fdb89a15b">SVF::SVFUtil::cast_retty::ret_type</a></div><div class="ttdeci">typename cast_retty_wrap&lt; To, From, typename simplify_type&lt; From &gt;::SimpleType &gt;::ret_type ret_type</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00253">Casting.h:253</a></div></div>
+<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00274">274</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00275"></a><span class="lineno">  275</span>&#160;    {</div><div class="line"><a name="l00276"></a><span class="lineno">  276</span>&#160;        <span class="keyword">typename</span> <a class="code" href="structSVF_1_1SVFUtil_1_1cast__retty.html#aea91708cabb8176b031f1c1fdb89a15b">cast_retty&lt;To, FromTy&gt;::ret_type</a> Res2</div><div class="line"><a name="l00277"></a><span class="lineno">  277</span>&#160;            = (<span class="keyword">typename</span> <a class="code" href="structSVF_1_1SVFUtil_1_1cast__retty.html#aea91708cabb8176b031f1c1fdb89a15b">cast_retty&lt;To, FromTy&gt;::ret_type</a>)const_cast&lt;FromTy&amp;&gt;(Val);</div><div class="line"><a name="l00278"></a><span class="lineno">  278</span>&#160;        <span class="keywordflow">return</span> Res2;</div><div class="line"><a name="l00279"></a><span class="lineno">  279</span>&#160;    }</div><div class="ttc" id="structSVF_1_1SVFUtil_1_1cast__retty_html_aea91708cabb8176b031f1c1fdb89a15b"><div class="ttname"><a href="structSVF_1_1SVFUtil_1_1cast__retty.html#aea91708cabb8176b031f1c1fdb89a15b">SVF::SVFUtil::cast_retty::ret_type</a></div><div class="ttdeci">typename cast_retty_wrap&lt; To, From, typename simplify_type&lt; From &gt;::SimpleType &gt;::ret_type ret_type</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00254">Casting.h:254</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>

package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1cast__retty.html

@@ -82,7 +82,7 @@ Public Types</h2></td></tr>
 struct SVF::SVFUtil::cast_retty&lt; To, From &gt;</h3>
 
 
-<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00194">194</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00195">195</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
 </div><h2 class="groupheader">Member Typedef Documentation</h2>
 <a id="aea91708cabb8176b031f1c1fdb89a15b"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#aea91708cabb8176b031f1c1fdb89a15b">&#9670;&nbsp;</a></span>ret_type</h2>
@@ -98,7 +98,7 @@ template&lt;class To, class From&gt; </div>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00253">253</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00254">254</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
 
 </div>
 </div>

package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1cast__retty__impl.html

@@ -82,7 +82,7 @@ Public Types</h2></td></tr>
 struct SVF::SVFUtil::cast_retty_impl&lt; To, From &gt;</h3>
 
 
-<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00198">198</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00199">199</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
 </div><h2 class="groupheader">Member Typedef Documentation</h2>
 <a id="a5f8f6d651931eba7e0fa14c26a691a04"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#a5f8f6d651931eba7e0fa14c26a691a04">&#9670;&nbsp;</a></span>ret_type</h2>
@@ -98,7 +98,7 @@ template&lt;class To, class From&gt; </div>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00200">200</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00201">201</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
 
 </div>
 </div>

package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01From_01_5_01_4.html

@@ -82,7 +82,7 @@ Public Types</h2></td></tr>
 struct SVF::SVFUtil::cast_retty_impl&lt; To, From * &gt;</h3>
 
 
-<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00207">207</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00208">208</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
 </div><h2 class="groupheader">Member Typedef Documentation</h2>
 <a id="a86c02dc15b65d0c052ea4447b3fb6333"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#a86c02dc15b65d0c052ea4447b3fb6333">&#9670;&nbsp;</a></span>ret_type</h2>
@@ -98,7 +98,7 @@ template&lt;class To , class From &gt; </div>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00209">209</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00210">210</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
 
 </div>
 </div>

package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01const_01From_01_4.html

@@ -82,7 +82,7 @@ Public Types</h2></td></tr>
 struct SVF::SVFUtil::cast_retty_impl&lt; To, const From &gt;</h3>
 
 
-<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00202">202</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00203">203</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
 </div><h2 class="groupheader">Member Typedef Documentation</h2>
 <a id="ad0bc349135b60cc51fd040b615a979f7"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#ad0bc349135b60cc51fd040b615a979f7">&#9670;&nbsp;</a></span>ret_type</h2>
@@ -98,7 +98,7 @@ template&lt;class To , class From &gt; </div>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00204">204</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00205">205</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
 
 </div>
 </div>

package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01const_01From_01_5_01_4.html

@@ -82,7 +82,7 @@ Public Types</h2></td></tr>
 struct SVF::SVFUtil::cast_retty_impl&lt; To, const From * &gt;</h3>
 
 
-<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00212">212</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00213">213</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
 </div><h2 class="groupheader">Member Typedef Documentation</h2>
 <a id="a98a60de95a331a34dcbad6da9961a9b7"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#a98a60de95a331a34dcbad6da9961a9b7">&#9670;&nbsp;</a></span>ret_type</h2>
@@ -98,7 +98,7 @@ template&lt;class To , class From &gt; </div>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00214">214</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00215">215</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
 
 </div>
 </div>

package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01const_01From_01_5const_01_4.html

@@ -82,7 +82,7 @@ Public Types</h2></td></tr>
 struct SVF::SVFUtil::cast_retty_impl&lt; To, const From *const &gt;</h3>
 
 
-<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00217">217</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00218">218</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
 </div><h2 class="groupheader">Member Typedef Documentation</h2>
 <a id="add8668ca96bbf0808c146cc81c62267c"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#add8668ca96bbf0808c146cc81c62267c">&#9670;&nbsp;</a></span>ret_type</h2>
@@ -98,7 +98,7 @@ template&lt;class To , class From &gt; </div>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00219">219</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00220">220</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
 
 </div>
 </div>

package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01std_1_1unique__ptr_3_01From_01_4_01_4.html

@@ -90,7 +90,7 @@ Private Types</h2></td></tr>
 struct SVF::SVFUtil::cast_retty_impl&lt; To, std::unique_ptr&lt; From &gt; &gt;</h3>
 
 
-<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00223">223</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00224">224</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
 </div><h2 class="groupheader">Member Typedef Documentation</h2>
 <a id="a9d08abc346f3b77c487eba144f3cbd8d"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#a9d08abc346f3b77c487eba144f3cbd8d">&#9670;&nbsp;</a></span>PointerType</h2>
@@ -114,7 +114,7 @@ template&lt;class To , class From &gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00226">226</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00227">227</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
 
 </div>
 </div>
@@ -140,7 +140,7 @@ template&lt;class To , class From &gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00227">227</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00228">228</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
 
 </div>
 </div>
@@ -158,7 +158,7 @@ template&lt;class To , class From &gt; </div>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00230">230</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00231">231</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
 
 </div>
 </div>

package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1cast__retty__wrap.html

@@ -82,7 +82,7 @@ Public Types</h2></td></tr>
 struct SVF::SVFUtil::cast_retty_wrap&lt; To, From, SimpleFrom &gt;</h3>
 
 
-<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00234">234</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00235">235</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
 </div><h2 class="groupheader">Member Typedef Documentation</h2>
 <a id="af3d80ab43e47626f32c91a6c4454e82e"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#af3d80ab43e47626f32c91a6c4454e82e">&#9670;&nbsp;</a></span>ret_type</h2>
@@ -98,7 +98,7 @@ template&lt;class To , class From , class SimpleFrom &gt; </div>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00239">239</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00240">240</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
 
 </div>
 </div>

package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1cast__retty__wrap_3_01To_00_01FromTy_00_01FromTy_01_4.html

@@ -82,7 +82,7 @@ Public Types</h2></td></tr>
 struct SVF::SVFUtil::cast_retty_wrap&lt; To, FromTy, FromTy &gt;</h3>
 
 
-<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00243">243</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00244">244</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
 </div><h2 class="groupheader">Member Typedef Documentation</h2>
 <a id="ad989c130f2b6cd5a0f1ba0c7abd62b9a"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#ad989c130f2b6cd5a0f1ba0c7abd62b9a">&#9670;&nbsp;</a></span>ret_type</h2>
@@ -98,7 +98,7 @@ template&lt;class To , class FromTy &gt; </div>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00246">246</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00247">247</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
 
 </div>
 </div>

package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1is__simple__type.html

@@ -82,7 +82,7 @@ Static Public Attributes</h2></td></tr>
 struct SVF::SVFUtil::is_simple_type&lt; X &gt;</h3>
 
 
-<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00281">281</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00282">282</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
 </div><h2 class="groupheader">Member Data Documentation</h2>
 <a id="a700d43a1b318fb30fa9472da323cb34f"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#a700d43a1b318fb30fa9472da323cb34f">&#9670;&nbsp;</a></span>value</h2>
@@ -106,7 +106,7 @@ template&lt;class X &gt; </div>
 </table>
 </div><div class="memdoc">
 <b>Initial value:</b><div class="fragment"><div class="line">=</div><div class="line">        std::is_same&lt;X, typename simplify_type&lt;X&gt;::SimpleType&gt;<a class="code" href="structSVF_1_1SVFUtil_1_1is__simple__type.html#a700d43a1b318fb30fa9472da323cb34f">::value</a></div></div><!-- fragment -->
-<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00283">283</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00284">284</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
 
 </div>
 </div>

package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1isa__impl.html

@@ -82,7 +82,7 @@ Static Public Member Functions</h2></td></tr>
 struct SVF::SVFUtil::isa_impl&lt; To, From, Enabler &gt;</h3>
 
 
-<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00075">75</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00076">76</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
 </div><h2 class="groupheader">Member Function Documentation</h2>
 <a id="a150c6a99c45befa44a4cd2bcc8d06eee"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#a150c6a99c45befa44a4cd2bcc8d06eee">&#9670;&nbsp;</a></span>doit()</h2>
@@ -110,8 +110,8 @@ template&lt;typename To , typename From , typename Enabler  = void&gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00077">77</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
-<div class="fragment"><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;        <span class="keywordflow">return</span> To::classof(&amp;Val);</div><div class="line"><a name="l00080"></a><span class="lineno">   80</span>&#160;    }</div></div><!-- fragment -->
+<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00078">78</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
+<div class="fragment"><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="keywordflow">return</span> To::classof(&amp;Val);</div><div class="line"><a name="l00081"></a><span class="lineno">   81</span>&#160;    }</div></div><!-- fragment -->
 </div>
 </div>
 <hr/>The documentation for this struct was generated from the following file:<ul>

package/SVF-doxygen/html/html/structSVF_1_1SVFUtil_1_1isa__impl_3_01To_00_01From_00_01typename_01std_1_1enable__if_3_01std_1_1101a002941fb8432b76e90258f1ec6b7.html

@@ -86,7 +86,7 @@ struct SVF::SVFUtil::isa_impl< To, From, typename std::enable_if< std::is_
 
 <p>Always allow upcasts, and perform no dynamic check for them. </p>
 
-<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00085">85</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00086">86</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
 </div><h2 class="groupheader">Member Function Documentation</h2>
 <a id="a0da9525f6f39a3eb9ce9275731c2ad64"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#a0da9525f6f39a3eb9ce9275731c2ad64">&#9670;&nbsp;</a></span>doit()</h2>
@@ -114,8 +114,8 @@ template&lt;typename To , typename From &gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00088">88</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00089"></a><span class="lineno">   89</span>&#160;    {</div><div class="line"><a name="l00090"></a><span class="lineno">   90</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00091"></a><span class="lineno">   91</span>&#160;    }</div></div><!-- fragment -->
+<p class="definition">Definition at line <a class="el" href="Casting_8h_source.html#l00089">89</a> of file <a class="el" href="Casting_8h_source.html">Casting.h</a>.</p>
+<div class="fragment"><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;        <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00092"></a><span class="lineno">   92</span>&#160;    }</div></div><!-- fragment -->
 </div>
 </div>
 <hr/>The documentation for this struct was generated from the following file:<ul>