svf-tools 1.0.613 → 1.0.614

package/SVF-doxygen/html/html/classSVF_1_1SVFType.html

@@ -153,7 +153,7 @@ Private Attributes</h2></td></tr>
 </table>
 <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
 <div class="textblock">
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00235">235</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00233">233</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
 </div><h2 class="groupheader">Member Typedef Documentation</h2>
 <a id="a503a35534b72dbea065816f42ebfa9f0"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#a503a35534b72dbea065816f42ebfa9f0">&#9670;&nbsp;</a></span>GNodeK</h2>
@@ -167,7 +167,7 @@ Private Attributes</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00239">239</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00237">237</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
 
 </div>
 </div>
@@ -193,14 +193,14 @@ Private Attributes</h2></td></tr>
 <tr><td class="fieldname"><a id="a333e01a9c431c8f53bd2fc597bd5c40cac7de365c24c89f86bc6f6ab5ecafd8ef"></a>SVFOtherTy&#160;</td><td class="fielddoc"></td></tr>
 </table>
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00241">241</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00242"></a><span class="lineno">  242</span>&#160;    {</div><div class="line"><a name="l00243"></a><span class="lineno">  243</span>&#160;        <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca2862d2a6ef2e31bf7fa1cc2f72d65725">SVFTy</a>,</div><div class="line"><a name="l00244"></a><span class="lineno">  244</span>&#160;        <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae8c18603570fa65fa5a9aabdf2f5d0a1">SVFPointerTy</a>,</div><div class="line"><a name="l00245"></a><span class="lineno">  245</span>&#160;        <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca880833d3b6778a897bc24d15e58cf021">SVFIntergerTy</a>,</div><div class="line"><a name="l00246"></a><span class="lineno">  246</span>&#160;        <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca01274de074f51be05f2ad6b2d0ca9dd6">SVFFunctionTy</a>,</div><div class="line"><a name="l00247"></a><span class="lineno">  247</span>&#160;        <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca77e52ad9bebff282f40383f468fe856d">SVFStructTy</a>,</div><div class="line"><a name="l00248"></a><span class="lineno">  248</span>&#160;        <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cac8c846ff3208d07a4a39c7a21433c6a5">SVFArrayTy</a>,</div><div class="line"><a name="l00249"></a><span class="lineno">  249</span>&#160;        <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cac7de365c24c89f86bc6f6ab5ecafd8ef">SVFOtherTy</a>,</div><div class="line"><a name="l00250"></a><span class="lineno">  250</span>&#160;    };</div><div class="ttc" id="classSVF_1_1SVFType_html_a333e01a9c431c8f53bd2fc597bd5c40ca880833d3b6778a897bc24d15e58cf021"><div class="ttname"><a href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca880833d3b6778a897bc24d15e58cf021">SVF::SVFType::SVFIntergerTy</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00245">SVFType.h:245</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFType_html_a333e01a9c431c8f53bd2fc597bd5c40cae8c18603570fa65fa5a9aabdf2f5d0a1"><div class="ttname"><a href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae8c18603570fa65fa5a9aabdf2f5d0a1">SVF::SVFType::SVFPointerTy</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00244">SVFType.h:244</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFType_html_a333e01a9c431c8f53bd2fc597bd5c40ca77e52ad9bebff282f40383f468fe856d"><div class="ttname"><a href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca77e52ad9bebff282f40383f468fe856d">SVF::SVFType::SVFStructTy</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00247">SVFType.h:247</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFType_html_a333e01a9c431c8f53bd2fc597bd5c40cac7de365c24c89f86bc6f6ab5ecafd8ef"><div class="ttname"><a href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cac7de365c24c89f86bc6f6ab5ecafd8ef">SVF::SVFType::SVFOtherTy</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00249">SVFType.h:249</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFType_html_a333e01a9c431c8f53bd2fc597bd5c40ca01274de074f51be05f2ad6b2d0ca9dd6"><div class="ttname"><a href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca01274de074f51be05f2ad6b2d0ca9dd6">SVF::SVFType::SVFFunctionTy</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00246">SVFType.h:246</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFType_html_a333e01a9c431c8f53bd2fc597bd5c40ca2862d2a6ef2e31bf7fa1cc2f72d65725"><div class="ttname"><a href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca2862d2a6ef2e31bf7fa1cc2f72d65725">SVF::SVFType::SVFTy</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00243">SVFType.h:243</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFType_html_a333e01a9c431c8f53bd2fc597bd5c40cac8c846ff3208d07a4a39c7a21433c6a5"><div class="ttname"><a href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cac8c846ff3208d07a4a39c7a21433c6a5">SVF::SVFType::SVFArrayTy</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00248">SVFType.h:248</a></div></div>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00239">239</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00240"></a><span class="lineno">  240</span>&#160;    {</div><div class="line"><a name="l00241"></a><span class="lineno">  241</span>&#160;        <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca2862d2a6ef2e31bf7fa1cc2f72d65725">SVFTy</a>,</div><div class="line"><a name="l00242"></a><span class="lineno">  242</span>&#160;        <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae8c18603570fa65fa5a9aabdf2f5d0a1">SVFPointerTy</a>,</div><div class="line"><a name="l00243"></a><span class="lineno">  243</span>&#160;        <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca880833d3b6778a897bc24d15e58cf021">SVFIntergerTy</a>,</div><div class="line"><a name="l00244"></a><span class="lineno">  244</span>&#160;        <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca01274de074f51be05f2ad6b2d0ca9dd6">SVFFunctionTy</a>,</div><div class="line"><a name="l00245"></a><span class="lineno">  245</span>&#160;        <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca77e52ad9bebff282f40383f468fe856d">SVFStructTy</a>,</div><div class="line"><a name="l00246"></a><span class="lineno">  246</span>&#160;        <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cac8c846ff3208d07a4a39c7a21433c6a5">SVFArrayTy</a>,</div><div class="line"><a name="l00247"></a><span class="lineno">  247</span>&#160;        <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cac7de365c24c89f86bc6f6ab5ecafd8ef">SVFOtherTy</a>,</div><div class="line"><a name="l00248"></a><span class="lineno">  248</span>&#160;    };</div><div class="ttc" id="classSVF_1_1SVFType_html_a333e01a9c431c8f53bd2fc597bd5c40ca880833d3b6778a897bc24d15e58cf021"><div class="ttname"><a href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca880833d3b6778a897bc24d15e58cf021">SVF::SVFType::SVFIntergerTy</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00243">SVFType.h:243</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFType_html_a333e01a9c431c8f53bd2fc597bd5c40cae8c18603570fa65fa5a9aabdf2f5d0a1"><div class="ttname"><a href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae8c18603570fa65fa5a9aabdf2f5d0a1">SVF::SVFType::SVFPointerTy</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00242">SVFType.h:242</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFType_html_a333e01a9c431c8f53bd2fc597bd5c40ca77e52ad9bebff282f40383f468fe856d"><div class="ttname"><a href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca77e52ad9bebff282f40383f468fe856d">SVF::SVFType::SVFStructTy</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00245">SVFType.h:245</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFType_html_a333e01a9c431c8f53bd2fc597bd5c40cac7de365c24c89f86bc6f6ab5ecafd8ef"><div class="ttname"><a href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cac7de365c24c89f86bc6f6ab5ecafd8ef">SVF::SVFType::SVFOtherTy</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00247">SVFType.h:247</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFType_html_a333e01a9c431c8f53bd2fc597bd5c40ca01274de074f51be05f2ad6b2d0ca9dd6"><div class="ttname"><a href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca01274de074f51be05f2ad6b2d0ca9dd6">SVF::SVFType::SVFFunctionTy</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00244">SVFType.h:244</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFType_html_a333e01a9c431c8f53bd2fc597bd5c40ca2862d2a6ef2e31bf7fa1cc2f72d65725"><div class="ttname"><a href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca2862d2a6ef2e31bf7fa1cc2f72d65725">SVF::SVFType::SVFTy</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00241">SVFType.h:241</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFType_html_a333e01a9c431c8f53bd2fc597bd5c40cac8c846ff3208d07a4a39c7a21433c6a5"><div class="ttname"><a href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cac8c846ff3208d07a4a39c7a21433c6a5">SVF::SVFType::SVFArrayTy</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00246">SVFType.h:246</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -239,11 +239,11 @@ Private Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00258">258</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00258"></a><span class="lineno">  258</span>&#160;                                   : <a class="code" href="classSVF_1_1SVFType.html#a428617a1e7addda6094ddd80bdbb62c8">kind</a>(k), <a class="code" href="classSVF_1_1SVFType.html#a25faa037b356801c8c678f8c00dada33">getPointerToTy</a>(<span class="keyword">nullptr</span>), <a class="code" href="classSVF_1_1SVFType.html#a86ea48a882823de2e3e906220dc0111e">typeinfo</a>(<span class="keyword">nullptr</span>), <a class="code" href="classSVF_1_1SVFType.html#ac26ba9052149b5b792aa8e8c3ccfd350">isSingleValTy</a>(svt)</div><div class="line"><a name="l00259"></a><span class="lineno">  259</span>&#160;    {</div><div class="line"><a name="l00260"></a><span class="lineno">  260</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFType_html_ac26ba9052149b5b792aa8e8c3ccfd350"><div class="ttname"><a href="classSVF_1_1SVFType.html#ac26ba9052149b5b792aa8e8c3ccfd350">SVF::SVFType::isSingleValTy</a></div><div class="ttdeci">bool isSingleValTy</div><div class="ttdoc">&lt; SVF&amp;#39;s TypeInfo </div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00256">SVFType.h:256</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFType_html_a428617a1e7addda6094ddd80bdbb62c8"><div class="ttname"><a href="classSVF_1_1SVFType.html#a428617a1e7addda6094ddd80bdbb62c8">SVF::SVFType::kind</a></div><div class="ttdeci">GNodeK kind</div><div class="ttdoc">used for classof </div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00253">SVFType.h:253</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFType_html_a86ea48a882823de2e3e906220dc0111e"><div class="ttname"><a href="classSVF_1_1SVFType.html#a86ea48a882823de2e3e906220dc0111e">SVF::SVFType::typeinfo</a></div><div class="ttdeci">StInfo * typeinfo</div><div class="ttdoc">Return a pointer to the current type. </div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00255">SVFType.h:255</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFType_html_a25faa037b356801c8c678f8c00dada33"><div class="ttname"><a href="classSVF_1_1SVFType.html#a25faa037b356801c8c678f8c00dada33">SVF::SVFType::getPointerToTy</a></div><div class="ttdeci">const SVFPointerType * getPointerToTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00254">SVFType.h:254</a></div></div>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00256">256</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00256"></a><span class="lineno">  256</span>&#160;                                   : <a class="code" href="classSVF_1_1SVFType.html#a428617a1e7addda6094ddd80bdbb62c8">kind</a>(k), <a class="code" href="classSVF_1_1SVFType.html#a25faa037b356801c8c678f8c00dada33">getPointerToTy</a>(<span class="keyword">nullptr</span>), <a class="code" href="classSVF_1_1SVFType.html#a86ea48a882823de2e3e906220dc0111e">typeinfo</a>(<span class="keyword">nullptr</span>), <a class="code" href="classSVF_1_1SVFType.html#ac26ba9052149b5b792aa8e8c3ccfd350">isSingleValTy</a>(svt)</div><div class="line"><a name="l00257"></a><span class="lineno">  257</span>&#160;    {</div><div class="line"><a name="l00258"></a><span class="lineno">  258</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFType_html_ac26ba9052149b5b792aa8e8c3ccfd350"><div class="ttname"><a href="classSVF_1_1SVFType.html#ac26ba9052149b5b792aa8e8c3ccfd350">SVF::SVFType::isSingleValTy</a></div><div class="ttdeci">bool isSingleValTy</div><div class="ttdoc">&lt; SVF&amp;#39;s TypeInfo </div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00254">SVFType.h:254</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFType_html_a428617a1e7addda6094ddd80bdbb62c8"><div class="ttname"><a href="classSVF_1_1SVFType.html#a428617a1e7addda6094ddd80bdbb62c8">SVF::SVFType::kind</a></div><div class="ttdeci">GNodeK kind</div><div class="ttdoc">used for classof </div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00251">SVFType.h:251</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFType_html_a86ea48a882823de2e3e906220dc0111e"><div class="ttname"><a href="classSVF_1_1SVFType.html#a86ea48a882823de2e3e906220dc0111e">SVF::SVFType::typeinfo</a></div><div class="ttdeci">StInfo * typeinfo</div><div class="ttdoc">Return a pointer to the current type. </div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00253">SVFType.h:253</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFType_html_a25faa037b356801c8c678f8c00dada33"><div class="ttname"><a href="classSVF_1_1SVFType.html#a25faa037b356801c8c678f8c00dada33">SVF::SVFType::getPointerToTy</a></div><div class="ttdeci">const SVFPointerType * getPointerToTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00252">SVFType.h:252</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -296,8 +296,8 @@ Private Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00264">264</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00265"></a><span class="lineno">  265</span>&#160;    {</div><div class="line"><a name="l00266"></a><span class="lineno">  266</span>&#160;    }</div></div><!-- fragment -->
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00262">262</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.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;    }</div></div><!-- fragment -->
 </div>
 </div>
 <h2 class="groupheader">Member Function Documentation</h2>
@@ -325,8 +325,8 @@ Private Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00268">268</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00269"></a><span class="lineno">  269</span>&#160;    {</div><div class="line"><a name="l00270"></a><span class="lineno">  270</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFType.html#a428617a1e7addda6094ddd80bdbb62c8">kind</a>;</div><div class="line"><a name="l00271"></a><span class="lineno">  271</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFType_html_a428617a1e7addda6094ddd80bdbb62c8"><div class="ttname"><a href="classSVF_1_1SVFType.html#a428617a1e7addda6094ddd80bdbb62c8">SVF::SVFType::kind</a></div><div class="ttdeci">GNodeK kind</div><div class="ttdoc">used for classof </div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00253">SVFType.h:253</a></div></div>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00266">266</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00267"></a><span class="lineno">  267</span>&#160;    {</div><div class="line"><a name="l00268"></a><span class="lineno">  268</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFType.html#a428617a1e7addda6094ddd80bdbb62c8">kind</a>;</div><div class="line"><a name="l00269"></a><span class="lineno">  269</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFType_html_a428617a1e7addda6094ddd80bdbb62c8"><div class="ttname"><a href="classSVF_1_1SVFType.html#a428617a1e7addda6094ddd80bdbb62c8">SVF::SVFType::kind</a></div><div class="ttdeci">GNodeK kind</div><div class="ttdoc">used for classof </div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00251">SVFType.h:251</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -353,8 +353,8 @@ Private Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00281">281</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00282"></a><span class="lineno">  282</span>&#160;    {</div><div class="line"><a name="l00283"></a><span class="lineno">  283</span>&#160;        assert(<a class="code" href="classSVF_1_1SVFType.html#a25faa037b356801c8c678f8c00dada33">getPointerToTy</a> &amp;&amp; <span class="stringliteral">&quot;set the getPointerToTy first&quot;</span>);</div><div class="line"><a name="l00284"></a><span class="lineno">  284</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFType.html#a25faa037b356801c8c678f8c00dada33">getPointerToTy</a>;</div><div class="line"><a name="l00285"></a><span class="lineno">  285</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFType_html_a25faa037b356801c8c678f8c00dada33"><div class="ttname"><a href="classSVF_1_1SVFType.html#a25faa037b356801c8c678f8c00dada33">SVF::SVFType::getPointerToTy</a></div><div class="ttdeci">const SVFPointerType * getPointerToTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00254">SVFType.h:254</a></div></div>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00279">279</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00280"></a><span class="lineno">  280</span>&#160;    {</div><div class="line"><a name="l00281"></a><span class="lineno">  281</span>&#160;        assert(<a class="code" href="classSVF_1_1SVFType.html#a25faa037b356801c8c678f8c00dada33">getPointerToTy</a> &amp;&amp; <span class="stringliteral">&quot;set the getPointerToTy first&quot;</span>);</div><div class="line"><a name="l00282"></a><span class="lineno">  282</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFType.html#a25faa037b356801c8c678f8c00dada33">getPointerToTy</a>;</div><div class="line"><a name="l00283"></a><span class="lineno">  283</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFType_html_a25faa037b356801c8c678f8c00dada33"><div class="ttname"><a href="classSVF_1_1SVFType.html#a25faa037b356801c8c678f8c00dada33">SVF::SVFType::getPointerToTy</a></div><div class="ttdeci">const SVFPointerType * getPointerToTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00252">SVFType.h:252</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -381,8 +381,8 @@ Private Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00292">292</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00293"></a><span class="lineno">  293</span>&#160;    {</div><div class="line"><a name="l00294"></a><span class="lineno">  294</span>&#160;        assert(<a class="code" href="classSVF_1_1SVFType.html#a86ea48a882823de2e3e906220dc0111e">typeinfo</a> &amp;&amp; <span class="stringliteral">&quot;set the type info first&quot;</span>);</div><div class="line"><a name="l00295"></a><span class="lineno">  295</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFType.html#a86ea48a882823de2e3e906220dc0111e">typeinfo</a>;</div><div class="line"><a name="l00296"></a><span class="lineno">  296</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFType_html_a86ea48a882823de2e3e906220dc0111e"><div class="ttname"><a href="classSVF_1_1SVFType.html#a86ea48a882823de2e3e906220dc0111e">SVF::SVFType::typeinfo</a></div><div class="ttdeci">StInfo * typeinfo</div><div class="ttdoc">Return a pointer to the current type. </div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00255">SVFType.h:255</a></div></div>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00290">290</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00291"></a><span class="lineno">  291</span>&#160;    {</div><div class="line"><a name="l00292"></a><span class="lineno">  292</span>&#160;        assert(<a class="code" href="classSVF_1_1SVFType.html#a86ea48a882823de2e3e906220dc0111e">typeinfo</a> &amp;&amp; <span class="stringliteral">&quot;set the type info first&quot;</span>);</div><div class="line"><a name="l00293"></a><span class="lineno">  293</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFType.html#a86ea48a882823de2e3e906220dc0111e">typeinfo</a>;</div><div class="line"><a name="l00294"></a><span class="lineno">  294</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFType_html_a86ea48a882823de2e3e906220dc0111e"><div class="ttname"><a href="classSVF_1_1SVFType.html#a86ea48a882823de2e3e906220dc0111e">SVF::SVFType::typeinfo</a></div><div class="ttdeci">StInfo * typeinfo</div><div class="ttdoc">Return a pointer to the current type. </div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00253">SVFType.h:253</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -409,8 +409,8 @@ Private Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00298">298</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00299"></a><span class="lineno">  299</span>&#160;    {</div><div class="line"><a name="l00300"></a><span class="lineno">  300</span>&#160;        assert(<a class="code" href="classSVF_1_1SVFType.html#a86ea48a882823de2e3e906220dc0111e">typeinfo</a> &amp;&amp; <span class="stringliteral">&quot;set the type info first&quot;</span>);</div><div class="line"><a name="l00301"></a><span class="lineno">  301</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFType.html#a86ea48a882823de2e3e906220dc0111e">typeinfo</a>;</div><div class="line"><a name="l00302"></a><span class="lineno">  302</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFType_html_a86ea48a882823de2e3e906220dc0111e"><div class="ttname"><a href="classSVF_1_1SVFType.html#a86ea48a882823de2e3e906220dc0111e">SVF::SVFType::typeinfo</a></div><div class="ttdeci">StInfo * typeinfo</div><div class="ttdoc">Return a pointer to the current type. </div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00255">SVFType.h:255</a></div></div>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00296">296</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00297"></a><span class="lineno">  297</span>&#160;    {</div><div class="line"><a name="l00298"></a><span class="lineno">  298</span>&#160;        assert(<a class="code" href="classSVF_1_1SVFType.html#a86ea48a882823de2e3e906220dc0111e">typeinfo</a> &amp;&amp; <span class="stringliteral">&quot;set the type info first&quot;</span>);</div><div class="line"><a name="l00299"></a><span class="lineno">  299</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFType.html#a86ea48a882823de2e3e906220dc0111e">typeinfo</a>;</div><div class="line"><a name="l00300"></a><span class="lineno">  300</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFType_html_a86ea48a882823de2e3e906220dc0111e"><div class="ttname"><a href="classSVF_1_1SVFType.html#a86ea48a882823de2e3e906220dc0111e">SVF::SVFType::typeinfo</a></div><div class="ttdeci">StInfo * typeinfo</div><div class="ttdoc">Return a pointer to the current type. </div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00253">SVFType.h:253</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -437,9 +437,9 @@ Private Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00304">304</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00305"></a><span class="lineno">  305</span>&#160;    {</div><div class="line"><a name="l00306"></a><span class="lineno">  306</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFType.html#a428617a1e7addda6094ddd80bdbb62c8">kind</a>==<a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae8c18603570fa65fa5a9aabdf2f5d0a1">SVFPointerTy</a>;</div><div class="line"><a name="l00307"></a><span class="lineno">  307</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFType_html_a333e01a9c431c8f53bd2fc597bd5c40cae8c18603570fa65fa5a9aabdf2f5d0a1"><div class="ttname"><a href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae8c18603570fa65fa5a9aabdf2f5d0a1">SVF::SVFType::SVFPointerTy</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00244">SVFType.h:244</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFType_html_a428617a1e7addda6094ddd80bdbb62c8"><div class="ttname"><a href="classSVF_1_1SVFType.html#a428617a1e7addda6094ddd80bdbb62c8">SVF::SVFType::kind</a></div><div class="ttdeci">GNodeK kind</div><div class="ttdoc">used for classof </div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00253">SVFType.h:253</a></div></div>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00302">302</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00303"></a><span class="lineno">  303</span>&#160;    {</div><div class="line"><a name="l00304"></a><span class="lineno">  304</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFType.html#a428617a1e7addda6094ddd80bdbb62c8">kind</a>==<a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae8c18603570fa65fa5a9aabdf2f5d0a1">SVFPointerTy</a>;</div><div class="line"><a name="l00305"></a><span class="lineno">  305</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFType_html_a333e01a9c431c8f53bd2fc597bd5c40cae8c18603570fa65fa5a9aabdf2f5d0a1"><div class="ttname"><a href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae8c18603570fa65fa5a9aabdf2f5d0a1">SVF::SVFType::SVFPointerTy</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00242">SVFType.h:242</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFType_html_a428617a1e7addda6094ddd80bdbb62c8"><div class="ttname"><a href="classSVF_1_1SVFType.html#a428617a1e7addda6094ddd80bdbb62c8">SVF::SVFType::kind</a></div><div class="ttdeci">GNodeK kind</div><div class="ttdoc">used for classof </div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00251">SVFType.h:251</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -466,8 +466,8 @@ Private Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00309">309</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00310"></a><span class="lineno">  310</span>&#160;    {</div><div class="line"><a name="l00311"></a><span class="lineno">  311</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFType.html#ac26ba9052149b5b792aa8e8c3ccfd350">isSingleValTy</a>;</div><div class="line"><a name="l00312"></a><span class="lineno">  312</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFType_html_ac26ba9052149b5b792aa8e8c3ccfd350"><div class="ttname"><a href="classSVF_1_1SVFType.html#ac26ba9052149b5b792aa8e8c3ccfd350">SVF::SVFType::isSingleValTy</a></div><div class="ttdeci">bool isSingleValTy</div><div class="ttdoc">&lt; SVF&amp;#39;s TypeInfo </div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00256">SVFType.h:256</a></div></div>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00307">307</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00308"></a><span class="lineno">  308</span>&#160;    {</div><div class="line"><a name="l00309"></a><span class="lineno">  309</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFType.html#ac26ba9052149b5b792aa8e8c3ccfd350">isSingleValTy</a>;</div><div class="line"><a name="l00310"></a><span class="lineno">  310</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFType_html_ac26ba9052149b5b792aa8e8c3ccfd350"><div class="ttname"><a href="classSVF_1_1SVFType.html#ac26ba9052149b5b792aa8e8c3ccfd350">SVF::SVFType::isSingleValTy</a></div><div class="ttdeci">bool isSingleValTy</div><div class="ttdoc">&lt; SVF&amp;#39;s TypeInfo </div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00254">SVFType.h:254</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -495,8 +495,8 @@ Private Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00276">276</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00277"></a><span class="lineno">  277</span>&#160;    {</div><div class="line"><a name="l00278"></a><span class="lineno">  278</span>&#160;        <a class="code" href="classSVF_1_1SVFType.html#a25faa037b356801c8c678f8c00dada33">getPointerToTy</a> = ty;</div><div class="line"><a name="l00279"></a><span class="lineno">  279</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFType_html_a25faa037b356801c8c678f8c00dada33"><div class="ttname"><a href="classSVF_1_1SVFType.html#a25faa037b356801c8c678f8c00dada33">SVF::SVFType::getPointerToTy</a></div><div class="ttdeci">const SVFPointerType * getPointerToTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00254">SVFType.h:254</a></div></div>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00274">274</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.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;        <a class="code" href="classSVF_1_1SVFType.html#a25faa037b356801c8c678f8c00dada33">getPointerToTy</a> = ty;</div><div class="line"><a name="l00277"></a><span class="lineno">  277</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFType_html_a25faa037b356801c8c678f8c00dada33"><div class="ttname"><a href="classSVF_1_1SVFType.html#a25faa037b356801c8c678f8c00dada33">SVF::SVFType::getPointerToTy</a></div><div class="ttdeci">const SVFPointerType * getPointerToTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00252">SVFType.h:252</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -524,8 +524,8 @@ Private Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00287">287</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00288"></a><span class="lineno">  288</span>&#160;    {</div><div class="line"><a name="l00289"></a><span class="lineno">  289</span>&#160;        <a class="code" href="classSVF_1_1SVFType.html#a86ea48a882823de2e3e906220dc0111e">typeinfo</a> = ti;</div><div class="line"><a name="l00290"></a><span class="lineno">  290</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFType_html_a86ea48a882823de2e3e906220dc0111e"><div class="ttname"><a href="classSVF_1_1SVFType.html#a86ea48a882823de2e3e906220dc0111e">SVF::SVFType::typeinfo</a></div><div class="ttdeci">StInfo * typeinfo</div><div class="ttdoc">Return a pointer to the current type. </div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00255">SVFType.h:255</a></div></div>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00285">285</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00286"></a><span class="lineno">  286</span>&#160;    {</div><div class="line"><a name="l00287"></a><span class="lineno">  287</span>&#160;        <a class="code" href="classSVF_1_1SVFType.html#a86ea48a882823de2e3e906220dc0111e">typeinfo</a> = ti;</div><div class="line"><a name="l00288"></a><span class="lineno">  288</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFType_html_a86ea48a882823de2e3e906220dc0111e"><div class="ttname"><a href="classSVF_1_1SVFType.html#a86ea48a882823de2e3e906220dc0111e">SVF::SVFType::typeinfo</a></div><div class="ttdeci">StInfo * typeinfo</div><div class="ttdoc">Return a pointer to the current type. </div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00253">SVFType.h:253</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -583,7 +583,7 @@ Private Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00254">254</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00252">252</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
 
 </div>
 </div>
@@ -610,7 +610,7 @@ Private Attributes</h2></td></tr>
 <p>&lt; <a class="el" href="namespaceSVF.html" title="for isBitcode ">SVF</a>'s TypeInfo </p>
 <p>The type represents a single value, not struct or array </p>
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00256">256</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00254">254</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
 
 </div>
 </div>
@@ -636,7 +636,7 @@ Private Attributes</h2></td></tr>
 
 <p>used for classof </p>
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00253">253</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00251">251</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
 
 </div>
 </div>
@@ -662,7 +662,7 @@ Private Attributes</h2></td></tr>
 
 <p>Return a pointer to the current type. </p>
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00255">255</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00253">253</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
 
 </div>
 </div>

package/SVF-doxygen/html/html/classSVF_1_1SVFValue-members.html

@@ -105,7 +105,7 @@ $(function() {
   <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea51746c2f6b368f5d9a7ec4625cb6559e">SVFVal</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860e">SVFValKind</a> enum name</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#a1265c0a8df08e03cc4c2f48ee6e338ee">SVFValue</a>(const std::string &amp;val, const SVFType *ty, SVFValKind k)</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#a2be7a19ba121affa81c29a91cd9ecad9">SVFValue</a>(void)=delete</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#af38497e11745949a8a1eeead143efd58">SVFValue</a>()=delete</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea240c99d161081b7400deddde71ca6914">SVFVCall</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#aa678ca4616a3e69b53726b33d0b9c5a2">toString</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afcbdd027f9e6e35a7269f04f5fc77a78">type</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>

package/SVF-doxygen/html/html/classSVF_1_1SVFValue.html

@@ -130,8 +130,8 @@ Public Types</h2></td></tr>
 </table><table class="memberdecls">
 <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-methods"></a>
 Public Member Functions</h2></td></tr>
-<tr class="memitem:a2be7a19ba121affa81c29a91cd9ecad9"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFValue.html#a2be7a19ba121affa81c29a91cd9ecad9">SVFValue</a> (void)=delete</td></tr>
-<tr class="separator:a2be7a19ba121affa81c29a91cd9ecad9"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:af38497e11745949a8a1eeead143efd58"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFValue.html#af38497e11745949a8a1eeead143efd58">SVFValue</a> ()=delete</td></tr>
+<tr class="separator:af38497e11745949a8a1eeead143efd58"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:ab600c439681d99bf59aaea2a9360ee2e"><td class="memItemLeft" align="right" valign="top">virtual&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFValue.html#ab600c439681d99bf59aaea2a9360ee2e">~SVFValue</a> ()=default</td></tr>
 <tr class="separator:ab600c439681d99bf59aaea2a9360ee2e"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a2ba3206a8461ef82713264e235128826"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1SVFValue.html#a96b29b0f3f0048278b3ec9aa6b6540c4">GNodeK</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFValue.html#a2ba3206a8461ef82713264e235128826">getKind</a> () const</td></tr>
@@ -326,8 +326,8 @@ Friends</h2></td></tr>
 </div><!-- fragment -->
 </div>
 </div>
-<a id="a2be7a19ba121affa81c29a91cd9ecad9"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a2be7a19ba121affa81c29a91cd9ecad9">&#9670;&nbsp;</a></span>SVFValue() <span class="overload">[2/2]</span></h2>
+<a id="af38497e11745949a8a1eeead143efd58"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#af38497e11745949a8a1eeead143efd58">&#9670;&nbsp;</a></span>SVFValue() <span class="overload">[2/2]</span></h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -338,7 +338,6 @@ Friends</h2></td></tr>
         <tr>
           <td class="memname">SVF::SVFValue::SVFValue </td>
           <td>(</td>
-          <td class="paramtype">void&#160;</td>
           <td class="paramname"></td><td>)</td>
           <td></td>
         </tr>

package/SVF-doxygen/html/html/classSVF_1_1SVFVar.html

@@ -374,7 +374,7 @@ Friends</h2></td></tr>
 <div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffa8299ae0d09f1b19411cb07cd79a2bae8"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa8299ae0d09f1b19411cb07cd79a2bae8">SVF::SVFVar::DummyValNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00070">SVFVariables.h:70</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffaf3364b22f497146f06d1f4175a839f4f"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffaf3364b22f497146f06d1f4175a839f4f">SVF::SVFVar::GepObjNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00068">SVFVariables.h:68</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFVar_html_aa72b0f34a0b646751a7b2003d6b9f11e"><div class="ttname"><a href="classSVF_1_1SVFVar.html#aa72b0f34a0b646751a7b2003d6b9f11e">SVF::SVFVar::value</a></div><div class="ttdeci">const SVFValue * value</div><div class="ttdoc">value of this SVFIR node </div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00076">SVFVariables.h:76</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFType_html_a870b63af2bf9fe43cdf1df3d56b20f6c"><div class="ttname"><a href="classSVF_1_1SVFType.html#a870b63af2bf9fe43cdf1df3d56b20f6c">SVF::SVFType::isPointerTy</a></div><div class="ttdeci">bool isPointerTy() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00304">SVFType.h:304</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFType_html_a870b63af2bf9fe43cdf1df3d56b20f6c"><div class="ttname"><a href="classSVF_1_1SVFType.html#a870b63af2bf9fe43cdf1df3d56b20f6c">SVF::SVFType::isPointerTy</a></div><div class="ttdeci">bool isPointerTy() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00302">SVFType.h:302</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffa1ab625ecaf51446246dcc2944d6559af"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa1ab625ecaf51446246dcc2944d6559af">SVF::SVFVar::DummyObjNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00071">SVFVariables.h:71</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffae21504009be26916ccdfcb5de42e3e11"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffae21504009be26916ccdfcb5de42e3e11">SVF::SVFVar::ObjNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00064">SVFVariables.h:64</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFVar_html_a7c8ffadedbf53d30694feeb7771990af"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a7c8ffadedbf53d30694feeb7771990af">SVF::SVFVar::isPtr</a></div><div class="ttdeci">bool isPtr</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00079">SVFVariables.h:79</a></div></div>

package/SVF-doxygen/html/html/classSVF_1_1SVFVirtualCallInst-members.html

@@ -136,7 +136,7 @@ $(function() {
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea51746c2f6b368f5d9a7ec4625cb6559e">SVFVal</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860e">SVFValKind</a> enum name</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#a1265c0a8df08e03cc4c2f48ee6e338ee">SVFValue</a>(const std::string &amp;val, const SVFType *ty, SVFValKind k)</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#a2be7a19ba121affa81c29a91cd9ecad9">SVFValue</a>(void)=delete</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#af38497e11745949a8a1eeead143efd58">SVFValue</a>()=delete</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea240c99d161081b7400deddde71ca6914">SVFVCall</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1SVFVirtualCallInst.html#a4c6a46662ed4ad7513be9703ad5595c9">SVFVirtualCallInst</a>(const std::string &amp;i, const SVFType *ty, const SVFBasicBlock *b, bool vararg, bool tm)</td><td class="entry"><a class="el" href="classSVF_1_1SVFVirtualCallInst.html">SVF::SVFVirtualCallInst</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#aa678ca4616a3e69b53726b33d0b9c5a2">toString</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>

package/SVF-doxygen/html/html/classSVF_1_1SVFVirtualCallInst.html

@@ -145,8 +145,8 @@ Public Member Functions</h2></td></tr>
 <tr class="memitem:a454f676881eecf4b7399649a81180b5d inherit pub_methods_classSVF_1_1SVFInstruction"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFInstruction.html#a454f676881eecf4b7399649a81180b5d">isRetInst</a> () const</td></tr>
 <tr class="separator:a454f676881eecf4b7399649a81180b5d inherit pub_methods_classSVF_1_1SVFInstruction"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="inherit_header pub_methods_classSVF_1_1SVFValue"><td colspan="2" onclick="javascript:toggleInherit('pub_methods_classSVF_1_1SVFValue')"><img src="closed.png" alt="-"/>&#160;Public Member Functions inherited from <a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td></tr>
-<tr class="memitem:a2be7a19ba121affa81c29a91cd9ecad9 inherit pub_methods_classSVF_1_1SVFValue"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFValue.html#a2be7a19ba121affa81c29a91cd9ecad9">SVFValue</a> (void)=delete</td></tr>
-<tr class="separator:a2be7a19ba121affa81c29a91cd9ecad9 inherit pub_methods_classSVF_1_1SVFValue"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:af38497e11745949a8a1eeead143efd58 inherit pub_methods_classSVF_1_1SVFValue"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFValue.html#af38497e11745949a8a1eeead143efd58">SVFValue</a> ()=delete</td></tr>
+<tr class="separator:af38497e11745949a8a1eeead143efd58 inherit pub_methods_classSVF_1_1SVFValue"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:ab600c439681d99bf59aaea2a9360ee2e inherit pub_methods_classSVF_1_1SVFValue"><td class="memItemLeft" align="right" valign="top">virtual&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFValue.html#ab600c439681d99bf59aaea2a9360ee2e">~SVFValue</a> ()=default</td></tr>
 <tr class="separator:ab600c439681d99bf59aaea2a9360ee2e inherit pub_methods_classSVF_1_1SVFValue"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a2ba3206a8461ef82713264e235128826 inherit pub_methods_classSVF_1_1SVFValue"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1SVFValue.html#a96b29b0f3f0048278b3ec9aa6b6540c4">GNodeK</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFValue.html#a2ba3206a8461ef82713264e235128826">getKind</a> () const</td></tr>

package/SVF-doxygen/html/html/classSVF_1_1SaberCondAllocator.html

@@ -501,14 +501,14 @@ Static Private Attributes</h2></td></tr>
 <div class="fragment"><div class="line"><a name="l00057"></a><span class="lineno">   57</span>&#160;{</div><div class="line"><a name="l00058"></a><span class="lineno">   58</span>&#160;    <a class="code" href="SVFType_8h.html#a173ce1b9b505fdadf5613b663749d3b0">DBOUT</a>(<a class="code" href="SVFType_8h.html#a2c64190a065f342897573a3ef4973adb">DGENERAL</a>, <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">outs</a>() &lt;&lt; <a class="code" href="namespaceSVF_1_1SVFUtil.html#a609eea630a8f88fe9eaba15ce7e48738">pasMsg</a>(<span class="stringliteral">&quot;path condition allocation starts\n&quot;</span>));</div><div class="line"><a name="l00059"></a><span class="lineno">   59</span>&#160;</div><div class="line"><a name="l00060"></a><span class="lineno">   60</span>&#160;    <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &amp;func: *M)</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">   62</span>&#160;        <span class="keywordflow">if</span> (!<a class="code" href="namespaceSVF_1_1SVFUtil.html#a22ef185e767ff76c098e75126c885400">SVFUtil::isExtCall</a>(func))</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">   64</span>&#160;            <span class="comment">// Allocate conditions for a program.</span></div><div class="line"><a name="l00065"></a><span class="lineno">   65</span>&#160;            <span class="keywordflow">for</span> (<a class="code" href="classSVF_1_1SVFFunction.html#aaec097379a345ab0e80b6a9c50508f48">SVFFunction::const_iterator</a> bit = func-&gt;begin(), ebit = func-&gt;end();</div><div class="line"><a name="l00066"></a><span class="lineno">   66</span>&#160;                    bit != ebit; ++bit)</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">   68</span>&#160;                <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFBasicBlock.html">SVFBasicBlock</a>* bb = *bit;</div><div class="line"><a name="l00069"></a><span class="lineno">   69</span>&#160;                <a class="code" href="classSVF_1_1SaberCondAllocator.html#a9c55829ba737d6100a0a39c32929a56a">collectBBCallingProgExit</a>(*bb);</div><div class="line"><a name="l00070"></a><span class="lineno">   70</span>&#160;                <a class="code" href="classSVF_1_1SaberCondAllocator.html#a060bb514ec1e8c3d80858d6a7d2ab8dc">allocateForBB</a>(*bb);</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">   72</span>&#160;        }</div><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;</div><div class="line"><a name="l00075"></a><span class="lineno">   75</span>&#160;    <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1Options.html#ae6b763ff293381ed5da9b07c2e8ae496">Options::PrintPathCond</a>)</div><div class="line"><a name="l00076"></a><span class="lineno">   76</span>&#160;        <a class="code" href="classSVF_1_1SaberCondAllocator.html#a389fd522c1de5b4feed34f29b9709d03">printPathCond</a>();</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;    <a class="code" href="SVFType_8h.html#a173ce1b9b505fdadf5613b663749d3b0">DBOUT</a>(<a class="code" href="SVFType_8h.html#a2c64190a065f342897573a3ef4973adb">DGENERAL</a>, <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">outs</a>() &lt;&lt; <a class="code" href="namespaceSVF_1_1SVFUtil.html#a609eea630a8f88fe9eaba15ce7e48738">pasMsg</a>(<span class="stringliteral">&quot;path condition allocation ends\n&quot;</span>));</div><div class="line"><a name="l00079"></a><span class="lineno">   79</span>&#160;}</div><div class="ttc" id="classSVF_1_1SVFFunction_html_aaec097379a345ab0e80b6a9c50508f48"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#aaec097379a345ab0e80b6a9c50508f48">SVF::SVFFunction::const_iterator</a></div><div class="ttdeci">std::vector&lt; const SVFBasicBlock * &gt;::const_iterator const_iterator</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00262">SVFValue.h:262</a></div></div>
 <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a609eea630a8f88fe9eaba15ce7e48738"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a609eea630a8f88fe9eaba15ce7e48738">SVF::SVFUtil::pasMsg</a></div><div class="ttdeci">std::string pasMsg(std::string 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#l00098">SVFUtil.cpp:98</a></div></div>
 <div class="ttc" id="classSVF_1_1SaberCondAllocator_html_a389fd522c1de5b4feed34f29b9709d03"><div class="ttname"><a href="classSVF_1_1SaberCondAllocator.html#a389fd522c1de5b4feed34f29b9709d03">SVF::SaberCondAllocator::printPathCond</a></div><div class="ttdeci">void printPathCond()</div><div class="ttdoc">Print out the path condition information. </div><div class="ttdef"><b>Definition:</b> <a href="SaberCondAllocator_8cpp_source.html#l00565">SaberCondAllocator.cpp:565</a></div></div>
-<div class="ttc" id="SVFType_8h_html_a2c64190a065f342897573a3ef4973adb"><div class="ttname"><a href="SVFType_8h.html#a2c64190a065f342897573a3ef4973adb">DGENERAL</a></div><div class="ttdeci">#define DGENERAL</div><div class="ttdoc">General debug flag is for each phase of a pass, it is often in a colorful output format. </div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00424">SVFType.h:424</a></div></div>
+<div class="ttc" id="SVFType_8h_html_a2c64190a065f342897573a3ef4973adb"><div class="ttname"><a href="SVFType_8h.html#a2c64190a065f342897573a3ef4973adb">DGENERAL</a></div><div class="ttdeci">#define DGENERAL</div><div class="ttdoc">General debug flag is for each phase of a pass, it is often in a colorful output format. </div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00422">SVFType.h:422</a></div></div>
 <div class="ttc" id="classSVF_1_1SaberCondAllocator_html_a9c55829ba737d6100a0a39c32929a56a"><div class="ttname"><a href="classSVF_1_1SaberCondAllocator.html#a9c55829ba737d6100a0a39c32929a56a">SVF::SaberCondAllocator::collectBBCallingProgExit</a></div><div class="ttdeci">void collectBBCallingProgExit(const SVFBasicBlock &amp;bb)</div><div class="ttdoc">Collect basic block contains program exit function call. </div><div class="ttdef"><b>Definition:</b> <a href="SaberCondAllocator_8cpp_source.html#l00420">SaberCondAllocator.cpp:420</a></div></div>
 <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_aed0b0b9f035057552a6a82154fd88e61"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVF::SVFUtil::outs</a></div><div class="ttdeci">std::ostream &amp; outs()</div><div class="ttdoc">Overwrite llvm::outs() </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00049">SVFUtil.h:49</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFBasicBlock_html"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html">SVF::SVFBasicBlock</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00471">SVFValue.h:471</a></div></div>
 <div class="ttc" id="classSVF_1_1SaberCondAllocator_html_a060bb514ec1e8c3d80858d6a7d2ab8dc"><div class="ttname"><a href="classSVF_1_1SaberCondAllocator.html#a060bb514ec1e8c3d80858d6a7d2ab8dc">SVF::SaberCondAllocator::allocateForBB</a></div><div class="ttdeci">virtual void allocateForBB(const SVFBasicBlock &amp;bb)</div><div class="ttdoc">Allocate path condition for every basic block. </div><div class="ttdef"><b>Definition:</b> <a href="SaberCondAllocator_8cpp_source.html#l00084">SaberCondAllocator.cpp:84</a></div></div>
-<div class="ttc" id="SVFType_8h_html_a173ce1b9b505fdadf5613b663749d3b0"><div class="ttname"><a href="SVFType_8h.html#a173ce1b9b505fdadf5613b663749d3b0">DBOUT</a></div><div class="ttdeci">#define DBOUT(TYPE, X)</div><div class="ttdoc">LLVM debug macros, define type of your DEBUG model of each pass. </div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00419">SVFType.h:419</a></div></div>
+<div class="ttc" id="SVFType_8h_html_a173ce1b9b505fdadf5613b663749d3b0"><div class="ttname"><a href="SVFType_8h.html#a173ce1b9b505fdadf5613b663749d3b0">DBOUT</a></div><div class="ttdeci">#define DBOUT(TYPE, X)</div><div class="ttdoc">LLVM debug macros, define type of your DEBUG model of each pass. </div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00417">SVFType.h:417</a></div></div>
 <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a22ef185e767ff76c098e75126c885400"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a22ef185e767ff76c098e75126c885400">SVF::SVFUtil::isExtCall</a></div><div class="ttdeci">bool isExtCall(const SVFFunction *fun)</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00295">SVFUtil.h:295</a></div></div>
-<div class="ttc" id="classSVF_1_1Options_html_ae6b763ff293381ed5da9b07c2e8ae496"><div class="ttname"><a href="classSVF_1_1Options.html#ae6b763ff293381ed5da9b07c2e8ae496">SVF::Options::PrintPathCond</a></div><div class="ttdeci">static const llvm::cl::opt&lt; bool &gt; PrintPathCond</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00225">Options.h:225</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_ae6b763ff293381ed5da9b07c2e8ae496"><div class="ttname"><a href="classSVF_1_1Options.html#ae6b763ff293381ed5da9b07c2e8ae496">SVF::Options::PrintPathCond</a></div><div class="ttdeci">static const llvm::cl::opt&lt; bool &gt; PrintPathCond</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00224">Options.h:224</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -778,7 +778,7 @@ Static Private Attributes</h2></td></tr>
 <div class="ttc" id="classSVF_1_1SaberCondAllocator_html_ab4eba98cf7306c89e40975c766d5bf65"><div class="ttname"><a href="classSVF_1_1SaberCondAllocator.html#ab4eba98cf7306c89e40975c766d5bf65">SVF::SaberCondAllocator::Condition</a></div><div class="ttdeci">Z3Expr Condition</div><div class="ttdef"><b>Definition:</b> <a href="SaberCondAllocator_8h_source.html#l00051">SaberCondAllocator.h:51</a></div></div>
 <div class="ttc" id="classSVF_1_1SaberCondAllocator_html_ab61767b4608efbd2fc4139bb6781b824"><div class="ttname"><a href="classSVF_1_1SaberCondAllocator.html#ab61767b4608efbd2fc4139bb6781b824">SVF::SaberCondAllocator::evaluateLoopExitBranch</a></div><div class="ttdeci">Condition evaluateLoopExitBranch(const SVFBasicBlock *bb, const SVFBasicBlock *succ)</div><div class="ttdoc">Evaluate loop exit branch. </div><div class="ttdef"><b>Definition:</b> <a href="SaberCondAllocator_8cpp_source.html#l00255">SaberCondAllocator.cpp:255</a></div></div>
 <div class="ttc" id="classSVF_1_1SaberCondAllocator_html_ace1ef8c6e9bc369a6828e7220979e40b"><div class="ttname"><a href="classSVF_1_1SaberCondAllocator.html#ace1ef8c6e9bc369a6828e7220979e40b">SVF::SaberCondAllocator::getCFCond</a></div><div class="ttdeci">Condition getCFCond(const SVFBasicBlock *bb) const</div><div class="ttdef"><b>Definition:</b> <a href="SaberCondAllocator_8h_source.html#l00224">SaberCondAllocator.h:224</a></div></div>
-<div class="ttc" id="SVFType_8h_html_a817abc424f7cfcdec5954c7807970f36"><div class="ttname"><a href="SVFType_8h.html#a817abc424f7cfcdec5954c7807970f36">DSaber</a></div><div class="ttdeci">#define DSaber</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00438">SVFType.h:438</a></div></div>
+<div class="ttc" id="SVFType_8h_html_a817abc424f7cfcdec5954c7807970f36"><div class="ttname"><a href="SVFType_8h.html#a817abc424f7cfcdec5954c7807970f36">DSaber</a></div><div class="ttdeci">#define DSaber</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00436">SVFType.h:436</a></div></div>
 <div class="ttc" id="classSVF_1_1SaberCondAllocator_html_a2e4c3f5149a5085a5c8bb7547eae8161"><div class="ttname"><a href="classSVF_1_1SaberCondAllocator.html#a2e4c3f5149a5085a5c8bb7547eae8161">SVF::SaberCondAllocator::condOr</a></div><div class="ttdeci">Condition condOr(const Condition &amp;lhs, const Condition &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="SaberCondAllocator_8h_source.html#l00090">SaberCondAllocator.h:90</a></div></div>
 <div class="ttc" id="classSVF_1_1SaberCondAllocator_html_a79682a4e4da23d0eaf0066a91c2f7bd4"><div class="ttname"><a href="classSVF_1_1SaberCondAllocator.html#a79682a4e4da23d0eaf0066a91c2f7bd4">SVF::SaberCondAllocator::condAnd</a></div><div class="ttdeci">Condition condAnd(const Condition &amp;lhs, const Condition &amp;rhs)</div><div class="ttdoc">Condition operations. </div><div class="ttdef"><b>Definition:</b> <a href="SaberCondAllocator_8h_source.html#l00086">SaberCondAllocator.h:86</a></div></div>
 <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_aed0b0b9f035057552a6a82154fd88e61"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVF::SVFUtil::outs</a></div><div class="ttdeci">std::ostream &amp; outs()</div><div class="ttdoc">Overwrite llvm::outs() </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00049">SVFUtil.h:49</a></div></div>
@@ -789,7 +789,7 @@ Static Private Attributes</h2></td></tr>
 <div class="ttc" id="classSVF_1_1SVFBasicBlock_html"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html">SVF::SVFBasicBlock</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00471">SVFValue.h:471</a></div></div>
 <div class="ttc" id="classSVF_1_1SaberCondAllocator_html_aba5226558dcb5c52b12b02ad37b03f34"><div class="ttname"><a href="classSVF_1_1SaberCondAllocator.html#aba5226558dcb5c52b12b02ad37b03f34">SVF::SaberCondAllocator::CFWorkList</a></div><div class="ttdeci">FIFOWorkList&lt; const SVFBasicBlock * &gt; CFWorkList</div><div class="ttdoc">worklist for control-flow guard computation </div><div class="ttdef"><b>Definition:</b> <a href="SaberCondAllocator_8h_source.html#l00058">SaberCondAllocator.h:58</a></div></div>
 <div class="ttc" id="classSVF_1_1SaberCondAllocator_html_a3eb0a564ba8047dc5512b2e79ba64313"><div class="ttname"><a href="classSVF_1_1SaberCondAllocator.html#a3eb0a564ba8047dc5512b2e79ba64313">SVF::SaberCondAllocator::postDominate</a></div><div class="ttdeci">bool postDominate(const SVFBasicBlock *bbKey, const SVFBasicBlock *bbValue) const</div><div class="ttdef"><b>Definition:</b> <a href="SaberCondAllocator_8h_source.html#l00146">SaberCondAllocator.h:146</a></div></div>
-<div class="ttc" id="SVFType_8h_html_a173ce1b9b505fdadf5613b663749d3b0"><div class="ttname"><a href="SVFType_8h.html#a173ce1b9b505fdadf5613b663749d3b0">DBOUT</a></div><div class="ttdeci">#define DBOUT(TYPE, X)</div><div class="ttdoc">LLVM debug macros, define type of your DEBUG model of each pass. </div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00419">SVFType.h:419</a></div></div>
+<div class="ttc" id="SVFType_8h_html_a173ce1b9b505fdadf5613b663749d3b0"><div class="ttname"><a href="SVFType_8h.html#a173ce1b9b505fdadf5613b663749d3b0">DBOUT</a></div><div class="ttdeci">#define DBOUT(TYPE, X)</div><div class="ttdoc">LLVM debug macros, define type of your DEBUG model of each pass. </div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00417">SVFType.h:417</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFBasicBlock_html_a66f51cd41e93ad055c4a0c2874e73fae"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html#a66f51cd41e93ad055c4a0c2874e73fae">SVF::SVFBasicBlock::getSuccessors</a></div><div class="ttdeci">const std::vector&lt; const SVFBasicBlock * &gt; &amp; getSuccessors() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00551">SVFValue.h:551</a></div></div>
 </div><!-- fragment -->
 </div>
@@ -1284,7 +1284,7 @@ Static Private Attributes</h2></td></tr>
 <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="SVFType_8h_source.html#l00050">SVFType.h:50</a></div></div>
 <div class="ttc" id="classSVF_1_1SaberCondAllocator_html_a9f43fe1cacf419f03276d66c3a54fe77"><div class="ttname"><a href="classSVF_1_1SaberCondAllocator.html#a9f43fe1cacf419f03276d66c3a54fe77">SVF::SaberCondAllocator::extractSubConds</a></div><div class="ttdeci">void extractSubConds(const Condition &amp;condition, NodeBS &amp;support) const</div><div class="ttdoc">extract subexpression from a Z3 expression </div><div class="ttdef"><b>Definition:</b> <a href="SaberCondAllocator_8cpp_source.html#l00628">SaberCondAllocator.cpp:628</a></div></div>
 <div class="ttc" id="classSVF_1_1Z3Expr_html_a57c199ba2c3c6a6d44a86e0b1429be55"><div class="ttname"><a href="classSVF_1_1Z3Expr.html#a57c199ba2c3c6a6d44a86e0b1429be55">SVF::Z3Expr::getExpr</a></div><div class="ttdeci">const z3::expr &amp; getExpr() const</div><div class="ttdef"><b>Definition:</b> <a href="Z3Expr_8h_source.html#l00079">Z3Expr.h:79</a></div></div>
-<div class="ttc" id="classSVF_1_1SparseBitVector_html_a61bd86909a141f9de873d92c0f904832"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html#a61bd86909a141f9de873d92c0f904832">SVF::SparseBitVector::set</a></div><div class="ttdeci">void set(unsigned Idx)</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00747">SparseBitVector.h:747</a></div></div>
+<div class="ttc" id="classSVF_1_1SparseBitVector_html_a61bd86909a141f9de873d92c0f904832"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html#a61bd86909a141f9de873d92c0f904832">SVF::SparseBitVector::set</a></div><div class="ttdeci">void set(unsigned Idx)</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00739">SparseBitVector.h:739</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -1549,7 +1549,7 @@ Static Private Attributes</h2></td></tr>
 
 <p class="definition">Definition at line <a class="el" href="SaberCondAllocator_8h_source.html#l00207">207</a> of file <a class="el" href="SaberCondAllocator_8h_source.html">SaberCondAllocator.h</a>.</p>
 <div class="fragment"><div class="line"><a name="l00208"></a><span class="lineno">  208</span>&#160;    {</div><div class="line"><a name="l00209"></a><span class="lineno">  209</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFIR.html#a37cfa2aa4e7b98ef9dc8179f581a2362">PAG::getPAG</a>()-&gt;<a class="code" href="classSVF_1_1SVFIR.html#aa1943d53e75aef9b014953143c6894da">getICFG</a>();</div><div class="line"><a name="l00210"></a><span class="lineno">  210</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFIR_html_a37cfa2aa4e7b98ef9dc8179f581a2362"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a37cfa2aa4e7b98ef9dc8179f581a2362">SVF::SVFIR::getPAG</a></div><div class="ttdeci">static SVFIR * getPAG(bool buildFromFile=false)</div><div class="ttdoc">Singleton design here to make sure we only have one instance during any analysis. ...</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00107">SVFIR.h:107</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFIR_html_aa1943d53e75aef9b014953143c6894da"><div class="ttname"><a href="classSVF_1_1SVFIR.html#aa1943d53e75aef9b014953143c6894da">SVF::SVFIR::getICFG</a></div><div class="ttdeci">ICFG * getICFG()</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00165">SVFIR.h:165</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFIR_html_aa1943d53e75aef9b014953143c6894da"><div class="ttname"><a href="classSVF_1_1SVFIR.html#aa1943d53e75aef9b014953143c6894da">SVF::SVFIR::getICFG</a></div><div class="ttdeci">ICFG * getICFG()</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00163">SVFIR.h:163</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -1852,7 +1852,7 @@ Static Private Attributes</h2></td></tr>
 
 <p class="definition">Definition at line <a class="el" href="SaberCondAllocator_8h_source.html#l00141">141</a> of file <a class="el" href="SaberCondAllocator_8h_source.html">SaberCondAllocator.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="keywordflow">return</span> <a class="code" href="classSVF_1_1SaberCondAllocator.html#a4267ed81d5100d49581a4216f46e660c">negConds</a>.<a class="code" href="classSVF_1_1SparseBitVector.html#a112f2ede1240c95f9fe810f2882fab80">test</a>(<span class="keywordtype">id</span>);</div><div class="line"><a name="l00144"></a><span class="lineno">  144</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SaberCondAllocator_html_a4267ed81d5100d49581a4216f46e660c"><div class="ttname"><a href="classSVF_1_1SaberCondAllocator.html#a4267ed81d5100d49581a4216f46e660c">SVF::SaberCondAllocator::negConds</a></div><div class="ttdeci">NodeBS negConds</div><div class="ttdoc">key: z3 expression id, value: instruction </div><div class="ttdef"><b>Definition:</b> <a href="SaberCondAllocator_8h_source.html#l00299">SaberCondAllocator.h:299</a></div></div>
-<div class="ttc" id="classSVF_1_1SparseBitVector_html_a112f2ede1240c95f9fe810f2882fab80"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html#a112f2ede1240c95f9fe810f2882fab80">SVF::SparseBitVector::test</a></div><div class="ttdeci">bool test(unsigned Idx) const</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00708">SparseBitVector.h:708</a></div></div>
+<div class="ttc" id="classSVF_1_1SparseBitVector_html_a112f2ede1240c95f9fe810f2882fab80"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html#a112f2ede1240c95f9fe810f2882fab80">SVF::SparseBitVector::test</a></div><div class="ttdeci">bool test(unsigned Idx) const</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00700">SparseBitVector.h:700</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -2297,7 +2297,7 @@ Static Private Attributes</h2></td></tr>
 <p class="definition">Definition at line <a class="el" href="SaberCondAllocator_8h_source.html#l00237">237</a> of file <a class="el" href="SaberCondAllocator_8h_source.html">SaberCondAllocator.h</a>.</p>
 <div class="fragment"><div class="line"><a name="l00238"></a><span class="lineno">  238</span>&#160;    {</div><div class="line"><a name="l00239"></a><span class="lineno">  239</span>&#160;        <a class="code" href="classSVF_1_1SaberCondAllocator.html#a97d540340f9039b3f8bd1527fc7d7ebb">setCondInst</a>(condition, inst);</div><div class="line"><a name="l00240"></a><span class="lineno">  240</span>&#160;        <a class="code" href="classSVF_1_1SaberCondAllocator.html#a4267ed81d5100d49581a4216f46e660c">negConds</a>.<a class="code" href="classSVF_1_1SparseBitVector.html#a61bd86909a141f9de873d92c0f904832">set</a>(condition.id());</div><div class="line"><a name="l00241"></a><span class="lineno">  241</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SaberCondAllocator_html_a4267ed81d5100d49581a4216f46e660c"><div class="ttname"><a href="classSVF_1_1SaberCondAllocator.html#a4267ed81d5100d49581a4216f46e660c">SVF::SaberCondAllocator::negConds</a></div><div class="ttdeci">NodeBS negConds</div><div class="ttdoc">key: z3 expression id, value: instruction </div><div class="ttdef"><b>Definition:</b> <a href="SaberCondAllocator_8h_source.html#l00299">SaberCondAllocator.h:299</a></div></div>
 <div class="ttc" id="classSVF_1_1SaberCondAllocator_html_a97d540340f9039b3f8bd1527fc7d7ebb"><div class="ttname"><a href="classSVF_1_1SaberCondAllocator.html#a97d540340f9039b3f8bd1527fc7d7ebb">SVF::SaberCondAllocator::setCondInst</a></div><div class="ttdeci">void setCondInst(const Condition &amp;condition, const SVFInstruction *inst)</div><div class="ttdef"><b>Definition:</b> <a href="SaberCondAllocator_8h_source.html#l00134">SaberCondAllocator.h:134</a></div></div>
-<div class="ttc" id="classSVF_1_1SparseBitVector_html_a61bd86909a141f9de873d92c0f904832"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html#a61bd86909a141f9de873d92c0f904832">SVF::SparseBitVector::set</a></div><div class="ttdeci">void set(unsigned Idx)</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00747">SparseBitVector.h:747</a></div></div>
+<div class="ttc" id="classSVF_1_1SparseBitVector_html_a61bd86909a141f9de873d92c0f904832"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html#a61bd86909a141f9de873d92c0f904832">SVF::SparseBitVector::set</a></div><div class="ttdeci">void set(unsigned Idx)</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00739">SparseBitVector.h:739</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>