npm - svf-tools - Versions diffs - 1.0.596 → 1.0.597 - Mend

svf-tools 1.0.596 → 1.0.597

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (801) hide show

package/SVF-doxygen/html/html/structSVF_1_1pointee__iter.html ADDED Viewed

@@ -0,0 +1,279 @@
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<html xmlns="http://www.w3.org/1999/xhtml">
+<head>
+<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
+<meta http-equiv="X-UA-Compatible" content="IE=9"/>
+<meta name="generator" content="Doxygen 1.8.13"/>
+<meta name="viewport" content="width=device-width, initial-scale=1"/>
+<title>Static Value-Flow Analysis: SVF::pointee_iter&lt; WrappedIteratorT, T &gt; Struct Template Reference</title>
+<link href="tabs.css" rel="stylesheet" type="text/css"/>
+<script type="text/javascript" src="jquery.js"></script>
+<script type="text/javascript" src="dynsections.js"></script>
+<link href="search/search.css" rel="stylesheet" type="text/css"/>
+<script type="text/javascript" src="search/searchdata.js"></script>
+<script type="text/javascript" src="search/search.js"></script>
+<link href="doxygen.css" rel="stylesheet" type="text/css" />
+</head>
+<body>
+<div id="top"><!-- do not remove this div, it is closed by doxygen! -->
+<div id="titlearea">
+<table cellspacing="0" cellpadding="0">
+ <tbody>
+ <tr style="height: 56px;">
+  <td id="projectalign" style="padding-left: 0.5em;">
+   <div id="projectname">Static Value-Flow Analysis
+   </div>
+  </td>
+ </tr>
+ </tbody>
+</table>
+</div>
+<!-- end header part -->
+<!-- Generated by Doxygen 1.8.13 -->
+<script type="text/javascript">
+var searchBox = new SearchBox("searchBox", "search",false,'Search');
+</script>
+<script type="text/javascript" src="menudata.js"></script>
+<script type="text/javascript" src="menu.js"></script>
+<script type="text/javascript">
+$(function() {
+  initMenu('',true,false,'search.php','Search');
+  $(document).ready(function() { init_search(); });
+});
+</script>
+<div id="main-nav"></div>
+<!-- window showing the filter options -->
+<div id="MSearchSelectWindow"
+     onmouseover="return searchBox.OnSearchSelectShow()"
+     onmouseout="return searchBox.OnSearchSelectHide()"
+     onkeydown="return searchBox.OnSearchSelectKey(event)">
+</div>
+<!-- iframe showing the search results (closed by default) -->
+<div id="MSearchResultsWindow">
+<iframe src="javascript:void(0)" frameborder="0"
+        name="MSearchResults" id="MSearchResults">
+</iframe>
+</div>
+<div id="nav-path" class="navpath">
+  <ul>
+<li class="navelem"><a class="el" href="namespaceSVF.html">SVF</a></li><li class="navelem"><a class="el" href="structSVF_1_1pointee__iter.html">pointee_iter</a></li>  </ul>
+</div>
+</div><!-- top -->
+<div class="header">
+  <div class="summary">
+<a href="#pub-methods">Public Member Functions</a> &#124;
+<a href="structSVF_1_1pointee__iter-members.html">List of all members</a>  </div>
+  <div class="headertitle">
+<div class="title">SVF::pointee_iter&lt; WrappedIteratorT, T &gt; Struct Template Reference</div>  </div>
+</div><!--header-->
+<div class="contents">
+<p><code>#include &lt;<a class="el" href="iterator_8h_source.html">iterator.h</a>&gt;</code></p>
+<div class="dynheader">
+Inheritance diagram for SVF::pointee_iter&lt; WrappedIteratorT, T &gt;:</div>
+<div class="dyncontent">
+ <div class="center">
+  <img src="structSVF_1_1pointee__iter.png" usemap="#SVF::pointee_5Fiter_3C_20WrappedIteratorT_2C_20T_20_3E_map" alt=""/>
+  <map id="SVF::pointee_5Fiter_3C_20WrappedIteratorT_2C_20T_20_3E_map" name="SVF::pointee_5Fiter_3C_20WrappedIteratorT_2C_20T_20_3E_map">
+<area href="classSVF_1_1iter__adaptor__base.html" alt="SVF::iter_adaptor_base&lt; pointee_iter&lt; WrappedIteratorT, T &gt;, WrappedIteratorT, std::iterator_traits&lt; WrappedIteratorT &gt;::iterator_category, T &gt;" shape="rect" coords="0,56,3063,80"/>
+<area href="classSVF_1_1iter__facade__base.html" alt="SVF::iter_facade_base&lt; pointee_iter&lt; WrappedIteratorT, T &gt;, std::iterator_traits&lt; WrappedIteratorT &gt;::iterator_category, T, typename std::iterator_traits&lt; WrappedIteratorT &gt;::difference_type, std::conditional_t&lt; std::is_same&lt; T, typename std::iterator_traits&lt; WrappedIteratorT &gt;::value_type &gt;::value, typename std::iterator_traits&lt; WrappedIteratorT &gt;::pointer, T * &gt;, std::conditional_t&lt; std::is_same&lt; T, typename std::iterator_traits&lt; WrappedIteratorT &gt;::value_type &gt;::value, typename std::iterator_traits&lt; WrappedIteratorT &gt;::reference, T &amp; &gt; &gt;" shape="rect" coords="0,0,3063,24"/>
+</map>
+ </div></div>
+<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:a99d911b02890643ba8680b140999b59e"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1pointee__iter.html#a99d911b02890643ba8680b140999b59e">pointee_iter</a> ()=default</td></tr>
+<tr class="separator:a99d911b02890643ba8680b140999b59e"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a77dce78a5bd0330658dc75a38c3fc329"><td class="memTemplParams" colspan="2">template&lt;typename U &gt; </td></tr>
+<tr class="memitem:a77dce78a5bd0330658dc75a38c3fc329"><td class="memTemplItemLeft" align="right" valign="top">&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="structSVF_1_1pointee__iter.html#a77dce78a5bd0330658dc75a38c3fc329">pointee_iter</a> (U &amp;&amp;u)</td></tr>
+<tr class="separator:a77dce78a5bd0330658dc75a38c3fc329"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a3e5e7a02b9af71f37213d12f4f18ceb4"><td class="memItemLeft" align="right" valign="top">T &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1pointee__iter.html#a3e5e7a02b9af71f37213d12f4f18ceb4">operator*</a> () const</td></tr>
+<tr class="separator:a3e5e7a02b9af71f37213d12f4f18ceb4"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="inherit_header pub_methods_classSVF_1_1iter__adaptor__base"><td colspan="2" onclick="javascript:toggleInherit('pub_methods_classSVF_1_1iter__adaptor__base')"><img src="closed.png" alt="-"/>&#160;Public Member Functions inherited from <a class="el" href="classSVF_1_1iter__adaptor__base.html">SVF::iter_adaptor_base&lt; pointee_iter&lt; WrappedIteratorT, T &gt;, WrappedIteratorT, std::iterator_traits&lt; WrappedIteratorT &gt;::iterator_category, T &gt;</a></td></tr>
+<tr class="memitem:a086291a49b72cd4705eab444a356d340 inherit pub_methods_classSVF_1_1iter__adaptor__base"><td class="memItemLeft" align="right" valign="top"><a class="el" href="structSVF_1_1pointee__iter.html">pointee_iter</a>&lt; WrappedIteratorT, T &gt; &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1iter__adaptor__base.html#a086291a49b72cd4705eab444a356d340">operator+=</a> (<a class="el" href="classSVF_1_1iter__facade__base.html#a4850340b864a13fb78e52dfb46d0e8a3">difference_type</a> <a class="el" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>)</td></tr>
+<tr class="separator:a086291a49b72cd4705eab444a356d340 inherit pub_methods_classSVF_1_1iter__adaptor__base"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a6e0780ec078108f693b34c8ecf10d710 inherit pub_methods_classSVF_1_1iter__adaptor__base"><td class="memItemLeft" align="right" valign="top"><a class="el" href="structSVF_1_1pointee__iter.html">pointee_iter</a>&lt; WrappedIteratorT, T &gt; &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1iter__adaptor__base.html#a6e0780ec078108f693b34c8ecf10d710">operator-=</a> (<a class="el" href="classSVF_1_1iter__facade__base.html#a4850340b864a13fb78e52dfb46d0e8a3">difference_type</a> <a class="el" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>)</td></tr>
+<tr class="separator:a6e0780ec078108f693b34c8ecf10d710 inherit pub_methods_classSVF_1_1iter__adaptor__base"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:aa870b13f5304a62dfd9f5aa535df3e90 inherit pub_methods_classSVF_1_1iter__adaptor__base"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1iter__facade__base.html#a4850340b864a13fb78e52dfb46d0e8a3">difference_type</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1iter__adaptor__base.html#aa870b13f5304a62dfd9f5aa535df3e90">operator-</a> (const <a class="el" href="structSVF_1_1pointee__iter.html">pointee_iter</a>&lt; WrappedIteratorT, T &gt; &amp;RHS) const</td></tr>
+<tr class="separator:aa870b13f5304a62dfd9f5aa535df3e90 inherit pub_methods_classSVF_1_1iter__adaptor__base"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:aa7c90c34509467d719ee0d84fe19d764 inherit pub_methods_classSVF_1_1iter__adaptor__base"><td class="memItemLeft" align="right" valign="top"><a class="el" href="structSVF_1_1pointee__iter.html">pointee_iter</a>&lt; WrappedIteratorT, T &gt; &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1iter__adaptor__base.html#aa7c90c34509467d719ee0d84fe19d764">operator++</a> ()</td></tr>
+<tr class="separator:aa7c90c34509467d719ee0d84fe19d764 inherit pub_methods_classSVF_1_1iter__adaptor__base"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a1c035596091af80262b234384268e3bc inherit pub_methods_classSVF_1_1iter__adaptor__base"><td class="memItemLeft" align="right" valign="top"><a class="el" href="structSVF_1_1pointee__iter.html">pointee_iter</a>&lt; WrappedIteratorT, T &gt; &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1iter__adaptor__base.html#a1c035596091af80262b234384268e3bc">operator--</a> ()</td></tr>
+<tr class="separator:a1c035596091af80262b234384268e3bc inherit pub_methods_classSVF_1_1iter__adaptor__base"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:adcb4657aff726d8f7eb0dc3f1dd4ff47 inherit pub_methods_classSVF_1_1iter__adaptor__base"><td class="memItemLeft" align="right" valign="top">std::conditional_t&lt; std::is_same&lt; T, typename std::iterator_traits&lt; WrappedIteratorT &gt;::<a class="el" href="classSVF_1_1iter__facade__base.html#a8d2e47a4de7b98466255b4846bdde26c">value_type</a> &gt;::value, typename std::iterator_traits&lt; WrappedIteratorT &gt;::<a class="el" href="classSVF_1_1iter__facade__base.html#a3d501177aef770b02e7d2629b334e32a">reference</a>, T &amp; &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1iter__adaptor__base.html#adcb4657aff726d8f7eb0dc3f1dd4ff47">operator*</a> () const</td></tr>
+<tr class="separator:adcb4657aff726d8f7eb0dc3f1dd4ff47 inherit pub_methods_classSVF_1_1iter__adaptor__base"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="inherit_header pub_methods_classSVF_1_1iter__facade__base"><td colspan="2" onclick="javascript:toggleInherit('pub_methods_classSVF_1_1iter__facade__base')"><img src="closed.png" alt="-"/>&#160;Public Member Functions inherited from <a class="el" href="classSVF_1_1iter__facade__base.html">SVF::iter_facade_base&lt; pointee_iter&lt; WrappedIteratorT, T &gt;, std::iterator_traits&lt; WrappedIteratorT &gt;::iterator_category, T, typename std::iterator_traits&lt; WrappedIteratorT &gt;::difference_type, std::conditional_t&lt; std::is_same&lt; T, typename std::iterator_traits&lt; WrappedIteratorT &gt;::value_type &gt;::value, typename std::iterator_traits&lt; WrappedIteratorT &gt;::pointer, T * &gt;, std::conditional_t&lt; std::is_same&lt; T, typename std::iterator_traits&lt; WrappedIteratorT &gt;::value_type &gt;::value, typename std::iterator_traits&lt; WrappedIteratorT &gt;::reference, T &amp; &gt; &gt;</a></td></tr>
+<tr class="memitem:aa9d4c4b13e555b7979672c20d9a40a24 inherit pub_methods_classSVF_1_1iter__facade__base"><td class="memItemLeft" align="right" valign="top"><a class="el" href="structSVF_1_1pointee__iter.html">pointee_iter</a>&lt; WrappedIteratorT, T &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1iter__facade__base.html#aa9d4c4b13e555b7979672c20d9a40a24">operator+</a> (typename std::iterator_traits&lt; WrappedIteratorT &gt;::<a class="el" href="classSVF_1_1iter__facade__base.html#a4850340b864a13fb78e52dfb46d0e8a3">difference_type</a> <a class="el" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>) const</td></tr>
+<tr class="separator:aa9d4c4b13e555b7979672c20d9a40a24 inherit pub_methods_classSVF_1_1iter__facade__base"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:af12e184fc89401f62c079181ff981475 inherit pub_methods_classSVF_1_1iter__facade__base"><td class="memItemLeft" align="right" valign="top"><a class="el" href="structSVF_1_1pointee__iter.html">pointee_iter</a>&lt; WrappedIteratorT, T &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1iter__facade__base.html#af12e184fc89401f62c079181ff981475">operator-</a> (typename std::iterator_traits&lt; WrappedIteratorT &gt;::<a class="el" href="classSVF_1_1iter__facade__base.html#a4850340b864a13fb78e52dfb46d0e8a3">difference_type</a> <a class="el" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>) const</td></tr>
+<tr class="separator:af12e184fc89401f62c079181ff981475 inherit pub_methods_classSVF_1_1iter__facade__base"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:aabe92262cb9990f3c7d92bf2e9997417 inherit pub_methods_classSVF_1_1iter__facade__base"><td class="memItemLeft" align="right" valign="top"><a class="el" href="structSVF_1_1pointee__iter.html">pointee_iter</a>&lt; WrappedIteratorT, T &gt; &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1iter__facade__base.html#aabe92262cb9990f3c7d92bf2e9997417">operator++</a> ()</td></tr>
+<tr class="separator:aabe92262cb9990f3c7d92bf2e9997417 inherit pub_methods_classSVF_1_1iter__facade__base"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a0f03c8e373df19aa195f9aed2d95792b inherit pub_methods_classSVF_1_1iter__facade__base"><td class="memItemLeft" align="right" valign="top"><a class="el" href="structSVF_1_1pointee__iter.html">pointee_iter</a>&lt; WrappedIteratorT, T &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1iter__facade__base.html#a0f03c8e373df19aa195f9aed2d95792b">operator++</a> (int)</td></tr>
+<tr class="separator:a0f03c8e373df19aa195f9aed2d95792b inherit pub_methods_classSVF_1_1iter__facade__base"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:affa36a9a632684c92c334b52f764626d inherit pub_methods_classSVF_1_1iter__facade__base"><td class="memItemLeft" align="right" valign="top"><a class="el" href="structSVF_1_1pointee__iter.html">pointee_iter</a>&lt; WrappedIteratorT, T &gt; &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1iter__facade__base.html#affa36a9a632684c92c334b52f764626d">operator--</a> ()</td></tr>
+<tr class="separator:affa36a9a632684c92c334b52f764626d inherit pub_methods_classSVF_1_1iter__facade__base"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:aa23818fb642768d76bf3955bcaf29ab4 inherit pub_methods_classSVF_1_1iter__facade__base"><td class="memItemLeft" align="right" valign="top"><a class="el" href="structSVF_1_1pointee__iter.html">pointee_iter</a>&lt; WrappedIteratorT, T &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1iter__facade__base.html#aa23818fb642768d76bf3955bcaf29ab4">operator--</a> (int)</td></tr>
+<tr class="separator:aa23818fb642768d76bf3955bcaf29ab4 inherit pub_methods_classSVF_1_1iter__facade__base"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a84d45b0f8c02a1c892d5e7f5104696ed inherit pub_methods_classSVF_1_1iter__facade__base"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1iter__facade__base.html#a84d45b0f8c02a1c892d5e7f5104696ed">operator!=</a> (const <a class="el" href="structSVF_1_1pointee__iter.html">pointee_iter</a>&lt; WrappedIteratorT, T &gt; &amp;RHS) const</td></tr>
+<tr class="separator:a84d45b0f8c02a1c892d5e7f5104696ed inherit pub_methods_classSVF_1_1iter__facade__base"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a5358c586434e85a8d0989b7d319def2f inherit pub_methods_classSVF_1_1iter__facade__base"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1iter__facade__base.html#a5358c586434e85a8d0989b7d319def2f">operator&gt;</a> (const <a class="el" href="structSVF_1_1pointee__iter.html">pointee_iter</a>&lt; WrappedIteratorT, T &gt; &amp;RHS) const</td></tr>
+<tr class="separator:a5358c586434e85a8d0989b7d319def2f inherit pub_methods_classSVF_1_1iter__facade__base"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:adee425f22948da744f8aa100719c83cf inherit pub_methods_classSVF_1_1iter__facade__base"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1iter__facade__base.html#adee425f22948da744f8aa100719c83cf">operator&lt;=</a> (const <a class="el" href="structSVF_1_1pointee__iter.html">pointee_iter</a>&lt; WrappedIteratorT, T &gt; &amp;RHS) const</td></tr>
+<tr class="separator:adee425f22948da744f8aa100719c83cf inherit pub_methods_classSVF_1_1iter__facade__base"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ab5d48611f6ef4aac65614576ab17b2e6 inherit pub_methods_classSVF_1_1iter__facade__base"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1iter__facade__base.html#ab5d48611f6ef4aac65614576ab17b2e6">operator&gt;=</a> (const <a class="el" href="structSVF_1_1pointee__iter.html">pointee_iter</a>&lt; WrappedIteratorT, T &gt; &amp;RHS) const</td></tr>
+<tr class="separator:ab5d48611f6ef4aac65614576ab17b2e6 inherit pub_methods_classSVF_1_1iter__facade__base"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a7a44b9bf5f2a7c367baad3a3066c2b6b inherit pub_methods_classSVF_1_1iter__facade__base"><td class="memItemLeft" align="right" valign="top">std::conditional_t&lt; std::is_same&lt; T, typename std::iterator_traits&lt; WrappedIteratorT &gt;::<a class="el" href="classSVF_1_1iter__facade__base.html#a8d2e47a4de7b98466255b4846bdde26c">value_type</a> &gt;::value, typename std::iterator_traits&lt; WrappedIteratorT &gt;::<a class="el" href="classSVF_1_1iter__facade__base.html#a7883aae06037a1b966e33cced95da49b">pointer</a>, T *&gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1iter__facade__base.html#a7a44b9bf5f2a7c367baad3a3066c2b6b">operator-&gt;</a> ()</td></tr>
+<tr class="separator:a7a44b9bf5f2a7c367baad3a3066c2b6b inherit pub_methods_classSVF_1_1iter__facade__base"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:aa637a57840b1741e909c89946294fdd9 inherit pub_methods_classSVF_1_1iter__facade__base"><td class="memItemLeft" align="right" valign="top">std::conditional_t&lt; std::is_same&lt; T, typename std::iterator_traits&lt; WrappedIteratorT &gt;::<a class="el" href="classSVF_1_1iter__facade__base.html#a8d2e47a4de7b98466255b4846bdde26c">value_type</a> &gt;::value, typename std::iterator_traits&lt; WrappedIteratorT &gt;::<a class="el" href="classSVF_1_1iter__facade__base.html#a7883aae06037a1b966e33cced95da49b">pointer</a>, T *&gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1iter__facade__base.html#aa637a57840b1741e909c89946294fdd9">operator-&gt;</a> () const</td></tr>
+<tr class="separator:aa637a57840b1741e909c89946294fdd9 inherit pub_methods_classSVF_1_1iter__facade__base"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a0ebfb2b2165a04b53d6813badb14dc25 inherit pub_methods_classSVF_1_1iter__facade__base"><td class="memItemLeft" align="right" valign="top">ReferenceProxy&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1iter__facade__base.html#a0ebfb2b2165a04b53d6813badb14dc25">operator[]</a> (typename std::iterator_traits&lt; WrappedIteratorT &gt;::<a class="el" href="classSVF_1_1iter__facade__base.html#a4850340b864a13fb78e52dfb46d0e8a3">difference_type</a> <a class="el" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>)</td></tr>
+<tr class="separator:a0ebfb2b2165a04b53d6813badb14dc25 inherit pub_methods_classSVF_1_1iter__facade__base"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:aaf17d10058d2e8983e4e7d1559966b80 inherit pub_methods_classSVF_1_1iter__facade__base"><td class="memItemLeft" align="right" valign="top">ReferenceProxy&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1iter__facade__base.html#aaf17d10058d2e8983e4e7d1559966b80">operator[]</a> (typename std::iterator_traits&lt; WrappedIteratorT &gt;::<a class="el" href="classSVF_1_1iter__facade__base.html#a4850340b864a13fb78e52dfb46d0e8a3">difference_type</a> <a class="el" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>) const</td></tr>
+<tr class="separator:aaf17d10058d2e8983e4e7d1559966b80 inherit pub_methods_classSVF_1_1iter__facade__base"><td class="memSeparator" colspan="2">&#160;</td></tr>
+</table><table class="memberdecls">
+<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="inherited"></a>
+Additional Inherited Members</h2></td></tr>
+<tr class="inherit_header pub_types_classSVF_1_1iter__adaptor__base"><td colspan="2" onclick="javascript:toggleInherit('pub_types_classSVF_1_1iter__adaptor__base')"><img src="closed.png" alt="-"/>&#160;Public Types inherited from <a class="el" href="classSVF_1_1iter__adaptor__base.html">SVF::iter_adaptor_base&lt; pointee_iter&lt; WrappedIteratorT, T &gt;, WrappedIteratorT, std::iterator_traits&lt; WrappedIteratorT &gt;::iterator_category, T &gt;</a></td></tr>
+<tr class="memitem:a0dc562917692ec5e4880509444b66e9a inherit pub_types_classSVF_1_1iter__adaptor__base"><td class="memItemLeft" align="right" valign="top">using&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1iter__adaptor__base.html#a0dc562917692ec5e4880509444b66e9a">difference_type</a> = typename std::iterator_traits&lt; WrappedIteratorT &gt;::<a class="el" href="classSVF_1_1iter__facade__base.html#a4850340b864a13fb78e52dfb46d0e8a3">difference_type</a></td></tr>
+<tr class="separator:a0dc562917692ec5e4880509444b66e9a inherit pub_types_classSVF_1_1iter__adaptor__base"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="inherit_header pub_types_classSVF_1_1iter__facade__base"><td colspan="2" onclick="javascript:toggleInherit('pub_types_classSVF_1_1iter__facade__base')"><img src="closed.png" alt="-"/>&#160;Public Types inherited from <a class="el" href="classSVF_1_1iter__facade__base.html">SVF::iter_facade_base&lt; pointee_iter&lt; WrappedIteratorT, T &gt;, std::iterator_traits&lt; WrappedIteratorT &gt;::iterator_category, T, typename std::iterator_traits&lt; WrappedIteratorT &gt;::difference_type, std::conditional_t&lt; std::is_same&lt; T, typename std::iterator_traits&lt; WrappedIteratorT &gt;::value_type &gt;::value, typename std::iterator_traits&lt; WrappedIteratorT &gt;::pointer, T * &gt;, std::conditional_t&lt; std::is_same&lt; T, typename std::iterator_traits&lt; WrappedIteratorT &gt;::value_type &gt;::value, typename std::iterator_traits&lt; WrappedIteratorT &gt;::reference, T &amp; &gt; &gt;</a></td></tr>
+<tr class="memitem:a040de7bda3801ef9c8ba28de1209e0e6 inherit pub_types_classSVF_1_1iter__facade__base"><td class="memItemLeft" align="right" valign="top">using&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1iter__facade__base.html#a040de7bda3801ef9c8ba28de1209e0e6">iterator_category</a> = std::iterator_traits&lt; WrappedIteratorT &gt;::<a class="el" href="classSVF_1_1iter__facade__base.html#a040de7bda3801ef9c8ba28de1209e0e6">iterator_category</a></td></tr>
+<tr class="separator:a040de7bda3801ef9c8ba28de1209e0e6 inherit pub_types_classSVF_1_1iter__facade__base"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a8d2e47a4de7b98466255b4846bdde26c inherit pub_types_classSVF_1_1iter__facade__base"><td class="memItemLeft" align="right" valign="top">using&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1iter__facade__base.html#a8d2e47a4de7b98466255b4846bdde26c">value_type</a> = T</td></tr>
+<tr class="separator:a8d2e47a4de7b98466255b4846bdde26c inherit pub_types_classSVF_1_1iter__facade__base"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a4850340b864a13fb78e52dfb46d0e8a3 inherit pub_types_classSVF_1_1iter__facade__base"><td class="memItemLeft" align="right" valign="top">using&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1iter__facade__base.html#a4850340b864a13fb78e52dfb46d0e8a3">difference_type</a> = typename std::iterator_traits&lt; WrappedIteratorT &gt;::<a class="el" href="classSVF_1_1iter__facade__base.html#a4850340b864a13fb78e52dfb46d0e8a3">difference_type</a></td></tr>
+<tr class="separator:a4850340b864a13fb78e52dfb46d0e8a3 inherit pub_types_classSVF_1_1iter__facade__base"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a7883aae06037a1b966e33cced95da49b inherit pub_types_classSVF_1_1iter__facade__base"><td class="memItemLeft" align="right" valign="top">using&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1iter__facade__base.html#a7883aae06037a1b966e33cced95da49b">pointer</a> = std::conditional_t&lt; std::is_same&lt; T, typename std::iterator_traits&lt; WrappedIteratorT &gt;::<a class="el" href="classSVF_1_1iter__facade__base.html#a8d2e47a4de7b98466255b4846bdde26c">value_type</a> &gt;::value, typename std::iterator_traits&lt; WrappedIteratorT &gt;::<a class="el" href="classSVF_1_1iter__facade__base.html#a7883aae06037a1b966e33cced95da49b">pointer</a>, T *&gt;</td></tr>
+<tr class="separator:a7883aae06037a1b966e33cced95da49b inherit pub_types_classSVF_1_1iter__facade__base"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a3d501177aef770b02e7d2629b334e32a inherit pub_types_classSVF_1_1iter__facade__base"><td class="memItemLeft" align="right" valign="top">using&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1iter__facade__base.html#a3d501177aef770b02e7d2629b334e32a">reference</a> = std::conditional_t&lt; std::is_same&lt; T, typename std::iterator_traits&lt; WrappedIteratorT &gt;::<a class="el" href="classSVF_1_1iter__facade__base.html#a8d2e47a4de7b98466255b4846bdde26c">value_type</a> &gt;::value, typename std::iterator_traits&lt; WrappedIteratorT &gt;::<a class="el" href="classSVF_1_1iter__facade__base.html#a3d501177aef770b02e7d2629b334e32a">reference</a>, T &amp;&gt;</td></tr>
+<tr class="separator:a3d501177aef770b02e7d2629b334e32a inherit pub_types_classSVF_1_1iter__facade__base"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="inherit_header pro_types_classSVF_1_1iter__facade__base"><td colspan="2" onclick="javascript:toggleInherit('pro_types_classSVF_1_1iter__facade__base')"><img src="closed.png" alt="-"/>&#160;Protected Types inherited from <a class="el" href="classSVF_1_1iter__facade__base.html">SVF::iter_facade_base&lt; pointee_iter&lt; WrappedIteratorT, T &gt;, std::iterator_traits&lt; WrappedIteratorT &gt;::iterator_category, T, typename std::iterator_traits&lt; WrappedIteratorT &gt;::difference_type, std::conditional_t&lt; std::is_same&lt; T, typename std::iterator_traits&lt; WrappedIteratorT &gt;::value_type &gt;::value, typename std::iterator_traits&lt; WrappedIteratorT &gt;::pointer, T * &gt;, std::conditional_t&lt; std::is_same&lt; T, typename std::iterator_traits&lt; WrappedIteratorT &gt;::value_type &gt;::value, typename std::iterator_traits&lt; WrappedIteratorT &gt;::reference, T &amp; &gt; &gt;</a></td></tr>
+<tr class="memitem:a1935969a70a0312f809db166d65fec89 inherit pro_types_classSVF_1_1iter__facade__base"><td class="memItemLeft" align="right" valign="top">enum &#160;</td><td class="memItemRight" valign="bottom"></td></tr>
+<tr class="separator:a1935969a70a0312f809db166d65fec89 inherit pro_types_classSVF_1_1iter__facade__base"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="inherit_header pro_methods_classSVF_1_1iter__adaptor__base"><td colspan="2" onclick="javascript:toggleInherit('pro_methods_classSVF_1_1iter__adaptor__base')"><img src="closed.png" alt="-"/>&#160;Protected Member Functions inherited from <a class="el" href="classSVF_1_1iter__adaptor__base.html">SVF::iter_adaptor_base&lt; pointee_iter&lt; WrappedIteratorT, T &gt;, WrappedIteratorT, std::iterator_traits&lt; WrappedIteratorT &gt;::iterator_category, T &gt;</a></td></tr>
+<tr class="memitem:aae17978dbc68365513742c0ed6dd6e77 inherit pro_methods_classSVF_1_1iter__adaptor__base"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1iter__adaptor__base.html#aae17978dbc68365513742c0ed6dd6e77">iter_adaptor_base</a> ()=default</td></tr>
+<tr class="separator:aae17978dbc68365513742c0ed6dd6e77 inherit pro_methods_classSVF_1_1iter__adaptor__base"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ad3e91fd59221ddbdc889bc081159f611 inherit pro_methods_classSVF_1_1iter__adaptor__base"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1iter__adaptor__base.html#ad3e91fd59221ddbdc889bc081159f611">iter_adaptor_base</a> (WrappedIteratorT u)</td></tr>
+<tr class="separator:ad3e91fd59221ddbdc889bc081159f611 inherit pro_methods_classSVF_1_1iter__adaptor__base"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:afa1dc067ea97ae5db1e2618e47be1525 inherit pro_methods_classSVF_1_1iter__adaptor__base"><td class="memItemLeft" align="right" valign="top">const WrappedIteratorT &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1iter__adaptor__base.html#afa1dc067ea97ae5db1e2618e47be1525">wrapped</a> () const</td></tr>
+<tr class="separator:afa1dc067ea97ae5db1e2618e47be1525 inherit pro_methods_classSVF_1_1iter__adaptor__base"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="inherit_header pro_attribs_classSVF_1_1iter__adaptor__base"><td colspan="2" onclick="javascript:toggleInherit('pro_attribs_classSVF_1_1iter__adaptor__base')"><img src="closed.png" alt="-"/>&#160;Protected Attributes inherited from <a class="el" href="classSVF_1_1iter__adaptor__base.html">SVF::iter_adaptor_base&lt; pointee_iter&lt; WrappedIteratorT, T &gt;, WrappedIteratorT, std::iterator_traits&lt; WrappedIteratorT &gt;::iterator_category, T &gt;</a></td></tr>
+<tr class="memitem:a1c80cc24530dbc29b03bf58500e0d636 inherit pro_attribs_classSVF_1_1iter__adaptor__base"><td class="memItemLeft" align="right" valign="top">WrappedIteratorT&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1iter__adaptor__base.html#a1c80cc24530dbc29b03bf58500e0d636">I</a></td></tr>
+<tr class="separator:a1c80cc24530dbc29b03bf58500e0d636 inherit pro_attribs_classSVF_1_1iter__adaptor__base"><td class="memSeparator" colspan="2">&#160;</td></tr>
+</table>
+<a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
+<div class="textblock"><h3>template&lt;typename WrappedIteratorT, typename T = std::remove_reference_t&lt;decltype(                      **std::declval&lt;WrappedIteratorT&gt;())&gt;&gt;<br />
+struct SVF::pointee_iter&lt; WrappedIteratorT, T &gt;</h3>
+<p>An iterator type that allows iterating over the pointees via some other iterator.</p>
+<p>The typical usage of this is to expose a type that iterates over Ts, but which is implemented with some iterator over T*s:</p>
+<div class="fragment"><div class="line"><span class="keyword">using</span> iterator = pointee_iter&lt;SmallVectorImpl&lt;T *&gt;::iterator&gt;;</div></div><!-- fragment -->
+<p class="definition">Definition at line <a class="el" href="iterator_8h_source.html#l00335">335</a> of file <a class="el" href="iterator_8h_source.html">iterator.h</a>.</p>
+</div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
+<a id="a99d911b02890643ba8680b140999b59e"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a99d911b02890643ba8680b140999b59e">&#9670;&nbsp;</a></span>pointee_iter() <span class="overload">[1/2]</span></h2>
+<div class="memitem">
+<div class="memproto">
+<div class="memtemplate">
+template&lt;typename WrappedIteratorT , typename T  = std::remove_reference_t&lt;decltype(                      **std::declval&lt;WrappedIteratorT&gt;())&gt;&gt; </div>
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname"><a class="el" href="structSVF_1_1pointee__iter.html">SVF::pointee_iter</a>&lt; WrappedIteratorT, T &gt;::<a class="el" href="structSVF_1_1pointee__iter.html">pointee_iter</a> </td>
+          <td>(</td>
+          <td class="paramname"></td><td>)</td>
+          <td></td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">default</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+</div>
+</div>
+<a id="a77dce78a5bd0330658dc75a38c3fc329"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a77dce78a5bd0330658dc75a38c3fc329">&#9670;&nbsp;</a></span>pointee_iter() <span class="overload">[2/2]</span></h2>
+<div class="memitem">
+<div class="memproto">
+<div class="memtemplate">
+template&lt;typename WrappedIteratorT , typename T  = std::remove_reference_t&lt;decltype(                      **std::declval&lt;WrappedIteratorT&gt;())&gt;&gt; </div>
+<div class="memtemplate">
+template&lt;typename U &gt; </div>
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname"><a class="el" href="structSVF_1_1pointee__iter.html">SVF::pointee_iter</a>&lt; WrappedIteratorT, T &gt;::<a class="el" href="structSVF_1_1pointee__iter.html">pointee_iter</a> </td>
+          <td>(</td>
+          <td class="paramtype">U &amp;&amp;&#160;</td>
+          <td class="paramname"><em>u</em></td><td>)</td>
+          <td></td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p class="definition">Definition at line <a class="el" href="iterator_8h_source.html#l00343">343</a> of file <a class="el" href="iterator_8h_source.html">iterator.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00344"></a><span class="lineno">  344</span>&#160;        : <a class="code" href="classSVF_1_1iter__adaptor__base.html#aae17978dbc68365513742c0ed6dd6e77">pointee_iter::iter_adaptor_base</a>(std::forward&lt;U &amp;&amp;&gt;(u)) {}</div><div class="ttc" id="classSVF_1_1iter__adaptor__base_html_aae17978dbc68365513742c0ed6dd6e77"><div class="ttname"><a href="classSVF_1_1iter__adaptor__base.html#aae17978dbc68365513742c0ed6dd6e77">SVF::iter_adaptor_base&lt; pointee_iter&lt; WrappedIteratorT, T &gt;, WrappedIteratorT, std::iterator_traits&lt; WrappedIteratorT &gt;::iterator_category, T &gt;::iter_adaptor_base</a></div><div class="ttdeci">iter_adaptor_base()=default</div></div>
+</div><!-- fragment -->
+</div>
+</div>
+<h2 class="groupheader">Member Function Documentation</h2>
+<a id="a3e5e7a02b9af71f37213d12f4f18ceb4"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a3e5e7a02b9af71f37213d12f4f18ceb4">&#9670;&nbsp;</a></span>operator*()</h2>
+<div class="memitem">
+<div class="memproto">
+<div class="memtemplate">
+template&lt;typename WrappedIteratorT , typename T  = std::remove_reference_t&lt;decltype(                      **std::declval&lt;WrappedIteratorT&gt;())&gt;&gt; </div>
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">T&amp; <a class="el" href="structSVF_1_1pointee__iter.html">SVF::pointee_iter</a>&lt; WrappedIteratorT, T &gt;::operator* </td>
+          <td>(</td>
+          <td class="paramtype">void&#160;</td>
+          <td class="paramname"></td><td>)</td>
+          <td> const</td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p class="definition">Definition at line <a class="el" href="iterator_8h_source.html#l00346">346</a> of file <a class="el" href="iterator_8h_source.html">iterator.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00347"></a><span class="lineno">  347</span>&#160;    {</div><div class="line"><a name="l00348"></a><span class="lineno">  348</span>&#160;        <span class="keywordflow">return</span> **this-&gt;<a class="code" href="classSVF_1_1iter__adaptor__base.html#a1c80cc24530dbc29b03bf58500e0d636">I</a>;</div><div class="line"><a name="l00349"></a><span class="lineno">  349</span>&#160;    }</div><div class="ttc" id="classSVF_1_1iter__adaptor__base_html_a1c80cc24530dbc29b03bf58500e0d636"><div class="ttname"><a href="classSVF_1_1iter__adaptor__base.html#a1c80cc24530dbc29b03bf58500e0d636">SVF::iter_adaptor_base&lt; pointee_iter&lt; WrappedIteratorT, T &gt;, WrappedIteratorT, std::iterator_traits&lt; WrappedIteratorT &gt;::iterator_category, T &gt;::I</a></div><div class="ttdeci">WrappedIteratorT I</div><div class="ttdef"><b>Definition:</b> <a href="iterator_8h_source.html#l00242">iterator.h:242</a></div></div>
+</div><!-- fragment -->
+</div>
+</div>
+<hr/>The documentation for this struct was generated from the following file:<ul>
+<li>/home/runner/work/SVF/SVF/include/Util/<a class="el" href="iterator_8h_source.html">iterator.h</a></li>
+</ul>
+</div><!-- contents -->
+<!-- start footer part -->
+<hr class="footer"/><address class="footer"><small>
+Generated by &#160;<a href="http://www.doxygen.org/index.html">
+<img class="footer" src="doxygen.png" alt="doxygen"/>
+</a> 1.8.13
+</small></address>
+</body>
+</html>

package/SVF-doxygen/html/html/structSVF_1_1pointee__iter.png ADDED Viewed

Binary file

package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1CallSite_01_4.html CHANGED Viewed

@@ -86,7 +86,7 @@ struct std::hash&lt; SVF::CallSite &gt;</h3>
 <p>Specialise hash for CallSites. </p>
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01120">1120</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01111">1111</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
 </div><h2 class="groupheader">Member Function Documentation</h2>
 <a id="a6ed3f621cd155faae27cbd844338409a"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#a6ed3f621cd155faae27cbd844338409a">&#9670;&nbsp;</a></span>operator()()</h2>
@@ -112,8 +112,8 @@ struct std::hash&lt; SVF::CallSite &gt;</h3>
 </table>
 </div><div class="memdoc">
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01122">1122</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l01123"></a><span class="lineno"> 1123</span>&#160;    {</div><div class="line"><a name="l01124"></a><span class="lineno"> 1124</span>&#160;        std::hash&lt;const SVF::SVFInstruction *&gt; h;</div><div class="line"><a name="l01125"></a><span class="lineno"> 1125</span>&#160;        <span class="keywordflow">return</span> h(cs.<a class="code" href="classSVF_1_1CallSite.html#ac2a0091dab3543a398da890b947e42ef">getInstruction</a>());</div><div class="line"><a name="l01126"></a><span class="lineno"> 1126</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CallSite_html_ac2a0091dab3543a398da890b947e42ef"><div class="ttname"><a href="classSVF_1_1CallSite.html#ac2a0091dab3543a398da890b947e42ef">SVF::CallSite::getInstruction</a></div><div class="ttdeci">const SVFInstruction * getInstruction() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01032">SVFValue.h:1032</a></div></div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01113">1113</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l01114"></a><span class="lineno"> 1114</span>&#160;    {</div><div class="line"><a name="l01115"></a><span class="lineno"> 1115</span>&#160;        std::hash&lt;const SVF::SVFInstruction *&gt; h;</div><div class="line"><a name="l01116"></a><span class="lineno"> 1116</span>&#160;        <span class="keywordflow">return</span> h(cs.<a class="code" href="classSVF_1_1CallSite.html#ac2a0091dab3543a398da890b947e42ef">getInstruction</a>());</div><div class="line"><a name="l01117"></a><span class="lineno"> 1117</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CallSite_html_ac2a0091dab3543a398da890b947e42ef"><div class="ttname"><a href="classSVF_1_1CallSite.html#ac2a0091dab3543a398da890b947e42ef">SVF::CallSite::getInstruction</a></div><div class="ttdeci">const SVFInstruction * getInstruction() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01023">SVFValue.h:1023</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>

package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1CxtProc_01_4.html CHANGED Viewed

@@ -109,7 +109,7 @@ struct std::hash&lt; SVF::CxtProc &gt;</h3>
 </div><div class="memdoc">
 <p class="definition">Definition at line <a class="el" href="CxtStmt_8h_source.html#l00494">494</a> of file <a class="el" href="CxtStmt_8h_source.html">CxtStmt.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00495"></a><span class="lineno">  495</span>&#160;    {</div><div class="line"><a name="l00496"></a><span class="lineno">  496</span>&#160;        std::hash&lt;SVF::SVFFunction*&gt; h;</div><div class="line"><a name="l00497"></a><span class="lineno">  497</span>&#160;        <a class="code" href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a>* fun = <span class="keyword">const_cast&lt;</span><a class="code" href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a>*<span class="keyword">&gt;</span> (cs.<a class="code" href="classSVF_1_1CxtProc.html#ab9ac6459c90873b7dea35e0a22700189">getProc</a>());</div><div class="line"><a name="l00498"></a><span class="lineno">  498</span>&#160;        <span class="keywordflow">return</span> h(fun);</div><div class="line"><a name="l00499"></a><span class="lineno">  499</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFFunction_html"><div class="ttname"><a href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00266">SVFValue.h:266</a></div></div>
+<div class="fragment"><div class="line"><a name="l00495"></a><span class="lineno">  495</span>&#160;    {</div><div class="line"><a name="l00496"></a><span class="lineno">  496</span>&#160;        std::hash&lt;SVF::SVFFunction*&gt; h;</div><div class="line"><a name="l00497"></a><span class="lineno">  497</span>&#160;        <a class="code" href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a>* fun = <span class="keyword">const_cast&lt;</span><a class="code" href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a>*<span class="keyword">&gt;</span> (cs.<a class="code" href="classSVF_1_1CxtProc.html#ab9ac6459c90873b7dea35e0a22700189">getProc</a>());</div><div class="line"><a name="l00498"></a><span class="lineno">  498</span>&#160;        <span class="keywordflow">return</span> h(fun);</div><div class="line"><a name="l00499"></a><span class="lineno">  499</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFFunction_html"><div class="ttname"><a href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00257">SVFValue.h:257</a></div></div>
 <div class="ttc" id="classSVF_1_1CxtProc_html_ab9ac6459c90873b7dea35e0a22700189"><div class="ttname"><a href="classSVF_1_1CxtProc.html#ab9ac6459c90873b7dea35e0a22700189">SVF::CxtProc::getProc</a></div><div class="ttdeci">const SVFFunction * getProc() const</div><div class="ttdoc">Return current procedure. </div><div class="ttdef"><b>Definition:</b> <a href="CxtStmt_8h_source.html#l00326">CxtStmt.h:326</a></div></div>
 </div><!-- fragment -->
 </div>

package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1CxtStmt_01_4.html CHANGED Viewed

@@ -109,7 +109,7 @@ struct std::hash&lt; SVF::CxtStmt &gt;</h3>
 </div><div class="memdoc">
 <p class="definition">Definition at line <a class="el" href="CxtStmt_8h_source.html#l00485">485</a> of file <a class="el" href="CxtStmt_8h_source.html">CxtStmt.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00486"></a><span class="lineno">  486</span>&#160;    {</div><div class="line"><a name="l00487"></a><span class="lineno">  487</span>&#160;        std::hash&lt;SVF::SVFInstruction*&gt; h;</div><div class="line"><a name="l00488"></a><span class="lineno">  488</span>&#160;        <a class="code" href="classSVF_1_1SVFInstruction.html">SVF::SVFInstruction</a>* inst = <span class="keyword">const_cast&lt;</span><a class="code" href="classSVF_1_1SVFInstruction.html">SVF::SVFInstruction</a>*<span class="keyword">&gt;</span> (cs.<a class="code" href="classSVF_1_1CxtStmt.html#a0b593c4ba425937212e2889e64ce4791">getStmt</a>());</div><div class="line"><a name="l00489"></a><span class="lineno">  489</span>&#160;        <span class="keywordflow">return</span> h(inst);</div><div class="line"><a name="l00490"></a><span class="lineno">  490</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFInstruction_html"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html">SVF::SVFInstruction</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00579">SVFValue.h:579</a></div></div>
+<div class="fragment"><div class="line"><a name="l00486"></a><span class="lineno">  486</span>&#160;    {</div><div class="line"><a name="l00487"></a><span class="lineno">  487</span>&#160;        std::hash&lt;SVF::SVFInstruction*&gt; h;</div><div class="line"><a name="l00488"></a><span class="lineno">  488</span>&#160;        <a class="code" href="classSVF_1_1SVFInstruction.html">SVF::SVFInstruction</a>* inst = <span class="keyword">const_cast&lt;</span><a class="code" href="classSVF_1_1SVFInstruction.html">SVF::SVFInstruction</a>*<span class="keyword">&gt;</span> (cs.<a class="code" href="classSVF_1_1CxtStmt.html#a0b593c4ba425937212e2889e64ce4791">getStmt</a>());</div><div class="line"><a name="l00489"></a><span class="lineno">  489</span>&#160;        <span class="keywordflow">return</span> h(inst);</div><div class="line"><a name="l00490"></a><span class="lineno">  490</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFInstruction_html"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html">SVF::SVFInstruction</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00570">SVFValue.h:570</a></div></div>
 <div class="ttc" id="classSVF_1_1CxtStmt_html_a0b593c4ba425937212e2889e64ce4791"><div class="ttname"><a href="classSVF_1_1CxtStmt.html#a0b593c4ba425937212e2889e64ce4791">SVF::CxtStmt::getStmt</a></div><div class="ttdeci">const SVFInstruction * getStmt() const</div><div class="ttdoc">Return current statement. </div><div class="ttdef"><b>Definition:</b> <a href="CxtStmt_8h_source.html#l00062">CxtStmt.h:62</a></div></div>
 </div><!-- fragment -->
 </div>

package/SVF-doxygen/html/html/svf-ex_8cpp.html CHANGED Viewed

@@ -261,10 +261,10 @@ Functions</h2></td></tr>
 <div class="ttc" id="classSVF_1_1SVFVar_html"><div class="ttname"><a href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00045">SVFVariables.h:45</a></div></div>
 <div class="ttc" id="classSVF_1_1IRGraph_html_a43514023a4f4d0c32f536f51443b0efc"><div class="ttname"><a href="classSVF_1_1IRGraph.html#a43514023a4f4d0c32f536f51443b0efc">SVF::IRGraph::getValueNode</a></div><div class="ttdeci">NodeID getValueNode(const SVFValue *V)</div><div class="ttdef"><b>Definition:</b> <a href="IRGraph_8h_source.html#l00128">IRGraph.h:128</a></div></div>
 <div class="ttc" id="classSVF_1_1PointsTo_html_aa53962e561399bf493d1f2b9137356f6"><div class="ttname"><a href="classSVF_1_1PointsTo.html#aa53962e561399bf493d1f2b9137356f6">SVF::PointsTo::begin</a></div><div class="ttdeci">const_iterator begin(void) const</div><div class="ttdef"><b>Definition:</b> <a href="PointsTo_8h_source.html#l00128">PointsTo.h:128</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFValue_html_aa678ca4616a3e69b53726b33d0b9c5a2"><div class="ttname"><a href="classSVF_1_1SVFValue.html#aa678ca4616a3e69b53726b33d0b9c5a2">SVF::SVFValue::toString</a></div><div class="ttdeci">virtual const std::string toString() const</div><div class="ttdoc">Needs to be implemented by a specific SVF front end (e.g., the implementation in LLVMUtil) ...</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l00641">LLVMUtil.cpp:641</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFValue_html_aa678ca4616a3e69b53726b33d0b9c5a2"><div class="ttname"><a href="classSVF_1_1SVFValue.html#aa678ca4616a3e69b53726b33d0b9c5a2">SVF::SVFValue::toString</a></div><div class="ttdeci">virtual const std::string toString() const</div><div class="ttdoc">Needs to be implemented by a specific SVF front end (e.g., the implementation in LLVMUtil) ...</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l00681">LLVMUtil.cpp:681</a></div></div>
 <div class="ttc" id="classSVF_1_1PointerAnalysis_html_a240219c2dc4f5cc5f85445e18c79b83b"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a240219c2dc4f5cc5f85445e18c79b83b">SVF::PointerAnalysis::getPAG</a></div><div class="ttdeci">SVFIR * getPAG() const</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00201">PointerAnalysis.h:201</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFVar_html_a1ace69053c2c4436fd78d5624bd0086a"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a1ace69053c2c4436fd78d5624bd0086a">SVF::SVFVar::hasValue</a></div><div class="ttdeci">bool hasValue() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00107">SVFVariables.h:107</a></div></div>
-<div class="ttc" id="classSVF_1_1GenericGraph_html_a43c9c773bfa17abf481c33073e30d01b"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">SVF::GenericGraph::getGNode</a></div><div class="ttdeci">NodeType * getGNode(NodeID id) const</div><div class="ttdoc">Get a node. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00394">GenericGraph.h:394</a></div></div>
+<div class="ttc" id="classSVF_1_1GenericGraph_html_a43c9c773bfa17abf481c33073e30d01b"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">SVF::GenericGraph::getGNode</a></div><div class="ttdeci">NodeType * getGNode(NodeID id) const</div><div class="ttdoc">Get a node. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00395">GenericGraph.h:395</a></div></div>
 <div class="ttc" id="classSVF_1_1PointsTo_html"><div class="ttname"><a href="classSVF_1_1PointsTo.html">SVF::PointsTo</a></div><div class="ttdef"><b>Definition:</b> <a href="PointsTo_8h_source.html#l00028">PointsTo.h:28</a></div></div>
 <div class="ttc" id="cJSON_8h_html_ad4c68ea99a26b0a98ad9a79982960458"><div class="ttname"><a href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">string</a></div><div class="ttdeci">const char *const string</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00172">cJSON.h:172</a></div></div>
 <div class="ttc" id="classSVF_1_1PointsTo_html_a8f741cdffbf3c5fe0f602cdca677dee6"><div class="ttname"><a href="classSVF_1_1PointsTo.html#a8f741cdffbf3c5fe0f602cdca677dee6">SVF::PointsTo::end</a></div><div class="ttdeci">const_iterator end(void) const</div><div class="ttdef"><b>Definition:</b> <a href="PointsTo_8h_source.html#l00132">PointsTo.h:132</a></div></div>
@@ -301,16 +301,16 @@ Functions</h2></td></tr>
 <p class="definition">Definition at line <a class="el" href="svf-ex_8cpp_source.html#l00080">80</a> of file <a class="el" href="svf-ex_8cpp_source.html">svf-ex.cpp</a>.</p>
 <div class="fragment"><div class="line"><a name="l00081"></a><span class="lineno">   81</span>&#160;{</div><div class="line"><a name="l00082"></a><span class="lineno">   82</span>&#160;    <a class="code" href="classSVF_1_1ICFGNode.html">ICFGNode</a>* iNode = icfg-&gt;<a class="code" href="classSVF_1_1ICFG.html#a5f2c0aaba07d6fdd63058da0fb60ca8b">getICFGNode</a>(svfInst);</div><div class="line"><a name="l00083"></a><span class="lineno">   83</span>&#160;    <a class="code" href="classSVF_1_1FIFOWorkList.html">FIFOWorkList&lt;const ICFGNode*&gt;</a> worklist;</div><div class="line"><a name="l00084"></a><span class="lineno">   84</span>&#160;    <a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set&lt;const ICFGNode*&gt;</a> visited;</div><div class="line"><a name="l00085"></a><span class="lineno">   85</span>&#160;    worklist.<a class="code" href="classSVF_1_1FIFOWorkList.html#a0df409a67428e528321869d201f2a474">push</a>(iNode);</div><div class="line"><a name="l00086"></a><span class="lineno">   86</span>&#160;</div><div class="line"><a name="l00088"></a><span class="lineno">   88</span>&#160;    <span class="keywordflow">while</span> (!worklist.<a class="code" href="classSVF_1_1FIFOWorkList.html#a7056704c224dfb4b57287fe90c004aa8">empty</a>())</div><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="keyword">const</span> <a class="code" href="classSVF_1_1ICFGNode.html">ICFGNode</a>* vNode = worklist.<a class="code" href="classSVF_1_1FIFOWorkList.html#a8fa72918fce7e9c0b2dc34b683a797c6">pop</a>();</div><div class="line"><a name="l00091"></a><span class="lineno">   91</span>&#160;        <span class="keywordflow">for</span> (<a class="code" href="classSVF_1_1ICFGNode.html#ac16c5a3227a44d3b9f7c3209156d9df2">ICFGNode::const_iterator</a> it = vNode-&gt;<a class="code" href="classSVF_1_1GenericNode.html#aa4f103330118c8976bf95e4bf53416eb">OutEdgeBegin</a>(), eit =</div><div class="line"><a name="l00092"></a><span class="lineno">   92</span>&#160;                    vNode-&gt;<a class="code" href="classSVF_1_1GenericNode.html#a19a3366fd8a58290d0c740c46c3dcb3d">OutEdgeEnd</a>(); it != eit; ++it)</div><div class="line"><a name="l00093"></a><span class="lineno">   93</span>&#160;        {</div><div class="line"><a name="l00094"></a><span class="lineno">   94</span>&#160;            <a class="code" href="classSVF_1_1ICFGEdge.html">ICFGEdge</a>* edge = *it;</div><div class="line"><a name="l00095"></a><span class="lineno">   95</span>&#160;            <a class="code" href="classSVF_1_1ICFGNode.html">ICFGNode</a>* succNode = edge-&gt;<a class="code" href="classSVF_1_1GenericEdge.html#aeaa31a2c8479e831b36ce2e2582ceb86">getDstNode</a>();</div><div class="line"><a name="l00096"></a><span class="lineno">   96</span>&#160;            <span class="keywordflow">if</span> (visited.find(succNode) == visited.end())</div><div class="line"><a name="l00097"></a><span class="lineno">   97</span>&#160;            {</div><div class="line"><a name="l00098"></a><span class="lineno">   98</span>&#160;                visited.insert(succNode);</div><div class="line"><a name="l00099"></a><span class="lineno">   99</span>&#160;                worklist.<a class="code" href="classSVF_1_1FIFOWorkList.html#a0df409a67428e528321869d201f2a474">push</a>(succNode);</div><div class="line"><a name="l00100"></a><span class="lineno">  100</span>&#160;            }</div><div class="line"><a name="l00101"></a><span class="lineno">  101</span>&#160;        }</div><div class="line"><a name="l00102"></a><span class="lineno">  102</span>&#160;    }</div><div class="line"><a name="l00103"></a><span class="lineno">  103</span>&#160;}</div><div class="ttc" id="classSVF_1_1ICFGEdge_html"><div class="ttname"><a href="classSVF_1_1ICFGEdge.html">SVF::ICFGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00044">ICFGEdge.h:44</a></div></div>
-<div class="ttc" id="classSVF_1_1GenericNode_html_aa4f103330118c8976bf95e4bf53416eb"><div class="ttname"><a href="classSVF_1_1GenericNode.html#aa4f103330118c8976bf95e4bf53416eb">SVF::GenericNode::OutEdgeBegin</a></div><div class="ttdeci">iterator OutEdgeBegin()</div><div class="ttdoc">iterators </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00207">GenericGraph.h:207</a></div></div>
+<div class="ttc" id="classSVF_1_1GenericNode_html_aa4f103330118c8976bf95e4bf53416eb"><div class="ttname"><a href="classSVF_1_1GenericNode.html#aa4f103330118c8976bf95e4bf53416eb">SVF::GenericNode::OutEdgeBegin</a></div><div class="ttdeci">iterator OutEdgeBegin()</div><div class="ttdoc">iterators </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00208">GenericGraph.h:208</a></div></div>
 <div class="ttc" id="classSVF_1_1FIFOWorkList_html_a7056704c224dfb4b57287fe90c004aa8"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html#a7056704c224dfb4b57287fe90c004aa8">SVF::FIFOWorkList::empty</a></div><div class="ttdeci">bool empty() const</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00146">WorkList.h:146</a></div></div>
 <div class="ttc" id="classSVF_1_1ICFGNode_html"><div class="ttname"><a href="classSVF_1_1ICFGNode.html">SVF::ICFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00054">ICFGNode.h:54</a></div></div>
 <div class="ttc" id="classSVF_1_1FIFOWorkList_html_a0df409a67428e528321869d201f2a474"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html#a0df409a67428e528321869d201f2a474">SVF::FIFOWorkList::push</a></div><div class="ttdeci">bool push(const Data &amp;data)</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00165">WorkList.h:165</a></div></div>
-<div class="ttc" id="classSVF_1_1GenericEdge_html_aeaa31a2c8479e831b36ce2e2582ceb86"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#aeaa31a2c8479e831b36ce2e2582ceb86">SVF::GenericEdge::getDstNode</a></div><div class="ttdeci">NodeType * getDstNode() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00094">GenericGraph.h:94</a></div></div>
+<div class="ttc" id="classSVF_1_1GenericEdge_html_aeaa31a2c8479e831b36ce2e2582ceb86"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#aeaa31a2c8479e831b36ce2e2582ceb86">SVF::GenericEdge::getDstNode</a></div><div class="ttdeci">NodeType * getDstNode() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00095">GenericGraph.h:95</a></div></div>
 <div class="ttc" id="namespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set&lt; Key, Hash, KeyEqual, Allocator &gt; Set</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00094">SVFType.h:94</a></div></div>
 <div class="ttc" id="classSVF_1_1ICFG_html_a5f2c0aaba07d6fdd63058da0fb60ca8b"><div class="ttname"><a href="classSVF_1_1ICFG.html#a5f2c0aaba07d6fdd63058da0fb60ca8b">SVF::ICFG::getICFGNode</a></div><div class="ttdeci">ICFGNode * getICFGNode(NodeID id) const</div><div class="ttdoc">Get a ICFG node. </div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8h_source.html#l00087">ICFG.h:87</a></div></div>
 <div class="ttc" id="classSVF_1_1ICFGNode_html_ac16c5a3227a44d3b9f7c3209156d9df2"><div class="ttname"><a href="classSVF_1_1ICFGNode.html#ac16c5a3227a44d3b9f7c3209156d9df2">SVF::ICFGNode::const_iterator</a></div><div class="ttdeci">ICFGEdge::ICFGEdgeSetTy::const_iterator const_iterator</div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00066">ICFGNode.h:66</a></div></div>
 <div class="ttc" id="classSVF_1_1FIFOWorkList_html"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html">SVF::FIFOWorkList</a></div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00137">WorkList.h:137</a></div></div>
-<div class="ttc" id="classSVF_1_1GenericNode_html_a19a3366fd8a58290d0c740c46c3dcb3d"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a19a3366fd8a58290d0c740c46c3dcb3d">SVF::GenericNode::OutEdgeEnd</a></div><div class="ttdeci">iterator OutEdgeEnd()</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00211">GenericGraph.h:211</a></div></div>
+<div class="ttc" id="classSVF_1_1GenericNode_html_a19a3366fd8a58290d0c740c46c3dcb3d"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a19a3366fd8a58290d0c740c46c3dcb3d">SVF::GenericNode::OutEdgeEnd</a></div><div class="ttdeci">iterator OutEdgeEnd()</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00212">GenericGraph.h:212</a></div></div>
 <div class="ttc" id="classSVF_1_1FIFOWorkList_html_a8fa72918fce7e9c0b2dc34b683a797c6"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html#a8fa72918fce7e9c0b2dc34b683a797c6">SVF::FIFOWorkList::pop</a></div><div class="ttdeci">Data pop()</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00200">WorkList.h:200</a></div></div>
 </div><!-- fragment -->
 </div>
@@ -346,19 +346,19 @@ Functions</h2></td></tr>
 <p>can only query VFGNode involving top-level pointers (starting with % or @ in LLVM IR) PAGNode* pNode = vfg-&gt;getLHSTopLevPtr(node); SVFValue* val = pNode-&gt;getValue(); </p>
 <p class="definition">Definition at line <a class="el" href="svf-ex_8cpp_source.html#l00108">108</a> of file <a class="el" href="svf-ex_8cpp_source.html">svf-ex.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00109"></a><span class="lineno">  109</span>&#160;{</div><div class="line"><a name="l00110"></a><span class="lineno">  110</span>&#160;    <a class="code" href="classSVF_1_1SVFIR.html">SVFIR</a>* pag = SVFIR::getPAG();</div><div class="line"><a name="l00111"></a><span class="lineno">  111</span>&#160;</div><div class="line"><a name="l00112"></a><span class="lineno">  112</span>&#160;    <a class="code" href="classSVF_1_1SVFVar.html">PAGNode</a>* pNode = pag-&gt;<a class="code" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(pag-&gt;<a class="code" href="classSVF_1_1IRGraph.html#a43514023a4f4d0c32f536f51443b0efc">getValueNode</a>(val));</div><div class="line"><a name="l00113"></a><span class="lineno">  113</span>&#160;    <span class="keyword">const</span> <a class="code" href="classSVF_1_1VFGNode.html">VFGNode</a>* vNode = vfg-&gt;<a class="code" href="classSVF_1_1SVFG.html#a8e7a945f4266e8dc7dcfff2ad6494bfb">getDefSVFGNode</a>(pNode);</div><div class="line"><a name="l00114"></a><span class="lineno">  114</span>&#160;    <a class="code" href="classSVF_1_1FIFOWorkList.html">FIFOWorkList&lt;const VFGNode*&gt;</a> worklist;</div><div class="line"><a name="l00115"></a><span class="lineno">  115</span>&#160;    <a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set&lt;const VFGNode*&gt;</a> visited;</div><div class="line"><a name="l00116"></a><span class="lineno">  116</span>&#160;    worklist.<a class="code" href="classSVF_1_1FIFOWorkList.html#a0df409a67428e528321869d201f2a474">push</a>(vNode);</div><div class="line"><a name="l00117"></a><span class="lineno">  117</span>&#160;</div><div class="line"><a name="l00119"></a><span class="lineno">  119</span>&#160;    <span class="keywordflow">while</span> (!worklist.<a class="code" href="classSVF_1_1FIFOWorkList.html#a7056704c224dfb4b57287fe90c004aa8">empty</a>())</div><div class="line"><a name="l00120"></a><span class="lineno">  120</span>&#160;    {</div><div class="line"><a name="l00121"></a><span class="lineno">  121</span>&#160;        <span class="keyword">const</span> <a class="code" href="classSVF_1_1VFGNode.html">VFGNode</a>* vNode = worklist.<a class="code" href="classSVF_1_1FIFOWorkList.html#a8fa72918fce7e9c0b2dc34b683a797c6">pop</a>();</div><div class="line"><a name="l00122"></a><span class="lineno">  122</span>&#160;        <span class="keywordflow">for</span> (<a class="code" href="classSVF_1_1VFGNode.html#a3c558955f60c237c558d8faafed781e8">VFGNode::const_iterator</a> it = vNode-&gt;<a class="code" href="classSVF_1_1GenericNode.html#aa4f103330118c8976bf95e4bf53416eb">OutEdgeBegin</a>(), eit =</div><div class="line"><a name="l00123"></a><span class="lineno">  123</span>&#160;                    vNode-&gt;<a class="code" href="classSVF_1_1GenericNode.html#a19a3366fd8a58290d0c740c46c3dcb3d">OutEdgeEnd</a>(); it != eit; ++it)</div><div class="line"><a name="l00124"></a><span class="lineno">  124</span>&#160;        {</div><div class="line"><a name="l00125"></a><span class="lineno">  125</span>&#160;            <a class="code" href="classSVF_1_1VFGEdge.html">VFGEdge</a>* edge = *it;</div><div class="line"><a name="l00126"></a><span class="lineno">  126</span>&#160;            <a class="code" href="classSVF_1_1VFGNode.html">VFGNode</a>* succNode = edge-&gt;<a class="code" href="classSVF_1_1GenericEdge.html#aeaa31a2c8479e831b36ce2e2582ceb86">getDstNode</a>();</div><div class="line"><a name="l00127"></a><span class="lineno">  127</span>&#160;            <span class="keywordflow">if</span> (visited.find(succNode) == visited.end())</div><div class="line"><a name="l00128"></a><span class="lineno">  128</span>&#160;            {</div><div class="line"><a name="l00129"></a><span class="lineno">  129</span>&#160;                visited.insert(succNode);</div><div class="line"><a name="l00130"></a><span class="lineno">  130</span>&#160;                worklist.<a class="code" href="classSVF_1_1FIFOWorkList.html#a0df409a67428e528321869d201f2a474">push</a>(succNode);</div><div class="line"><a name="l00131"></a><span class="lineno">  131</span>&#160;            }</div><div class="line"><a name="l00132"></a><span class="lineno">  132</span>&#160;        }</div><div class="line"><a name="l00133"></a><span class="lineno">  133</span>&#160;    }</div><div class="line"><a name="l00134"></a><span class="lineno">  134</span>&#160;</div><div class="line"><a name="l00136"></a><span class="lineno">  136</span>&#160;    <span class="keywordflow">for</span>(<a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set&lt;const VFGNode*&gt;::const_iterator</a> it = visited.begin(), eit = visited.end(); it!=eit; ++it)</div><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">// const VFGNode* node = *it;</span></div><div class="line"><a name="l00142"></a><span class="lineno">  142</span>&#160;<span class="comment"></span>    }</div><div class="line"><a name="l00143"></a><span class="lineno">  143</span>&#160;}</div><div class="ttc" id="classSVF_1_1GenericNode_html_aa4f103330118c8976bf95e4bf53416eb"><div class="ttname"><a href="classSVF_1_1GenericNode.html#aa4f103330118c8976bf95e4bf53416eb">SVF::GenericNode::OutEdgeBegin</a></div><div class="ttdeci">iterator OutEdgeBegin()</div><div class="ttdoc">iterators </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00207">GenericGraph.h:207</a></div></div>
+<div class="fragment"><div class="line"><a name="l00109"></a><span class="lineno">  109</span>&#160;{</div><div class="line"><a name="l00110"></a><span class="lineno">  110</span>&#160;    <a class="code" href="classSVF_1_1SVFIR.html">SVFIR</a>* pag = SVFIR::getPAG();</div><div class="line"><a name="l00111"></a><span class="lineno">  111</span>&#160;</div><div class="line"><a name="l00112"></a><span class="lineno">  112</span>&#160;    <a class="code" href="classSVF_1_1SVFVar.html">PAGNode</a>* pNode = pag-&gt;<a class="code" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(pag-&gt;<a class="code" href="classSVF_1_1IRGraph.html#a43514023a4f4d0c32f536f51443b0efc">getValueNode</a>(val));</div><div class="line"><a name="l00113"></a><span class="lineno">  113</span>&#160;    <span class="keyword">const</span> <a class="code" href="classSVF_1_1VFGNode.html">VFGNode</a>* vNode = vfg-&gt;<a class="code" href="classSVF_1_1SVFG.html#a8e7a945f4266e8dc7dcfff2ad6494bfb">getDefSVFGNode</a>(pNode);</div><div class="line"><a name="l00114"></a><span class="lineno">  114</span>&#160;    <a class="code" href="classSVF_1_1FIFOWorkList.html">FIFOWorkList&lt;const VFGNode*&gt;</a> worklist;</div><div class="line"><a name="l00115"></a><span class="lineno">  115</span>&#160;    <a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set&lt;const VFGNode*&gt;</a> visited;</div><div class="line"><a name="l00116"></a><span class="lineno">  116</span>&#160;    worklist.<a class="code" href="classSVF_1_1FIFOWorkList.html#a0df409a67428e528321869d201f2a474">push</a>(vNode);</div><div class="line"><a name="l00117"></a><span class="lineno">  117</span>&#160;</div><div class="line"><a name="l00119"></a><span class="lineno">  119</span>&#160;    <span class="keywordflow">while</span> (!worklist.<a class="code" href="classSVF_1_1FIFOWorkList.html#a7056704c224dfb4b57287fe90c004aa8">empty</a>())</div><div class="line"><a name="l00120"></a><span class="lineno">  120</span>&#160;    {</div><div class="line"><a name="l00121"></a><span class="lineno">  121</span>&#160;        <span class="keyword">const</span> <a class="code" href="classSVF_1_1VFGNode.html">VFGNode</a>* vNode = worklist.<a class="code" href="classSVF_1_1FIFOWorkList.html#a8fa72918fce7e9c0b2dc34b683a797c6">pop</a>();</div><div class="line"><a name="l00122"></a><span class="lineno">  122</span>&#160;        <span class="keywordflow">for</span> (<a class="code" href="classSVF_1_1VFGNode.html#a3c558955f60c237c558d8faafed781e8">VFGNode::const_iterator</a> it = vNode-&gt;<a class="code" href="classSVF_1_1GenericNode.html#aa4f103330118c8976bf95e4bf53416eb">OutEdgeBegin</a>(), eit =</div><div class="line"><a name="l00123"></a><span class="lineno">  123</span>&#160;                    vNode-&gt;<a class="code" href="classSVF_1_1GenericNode.html#a19a3366fd8a58290d0c740c46c3dcb3d">OutEdgeEnd</a>(); it != eit; ++it)</div><div class="line"><a name="l00124"></a><span class="lineno">  124</span>&#160;        {</div><div class="line"><a name="l00125"></a><span class="lineno">  125</span>&#160;            <a class="code" href="classSVF_1_1VFGEdge.html">VFGEdge</a>* edge = *it;</div><div class="line"><a name="l00126"></a><span class="lineno">  126</span>&#160;            <a class="code" href="classSVF_1_1VFGNode.html">VFGNode</a>* succNode = edge-&gt;<a class="code" href="classSVF_1_1GenericEdge.html#aeaa31a2c8479e831b36ce2e2582ceb86">getDstNode</a>();</div><div class="line"><a name="l00127"></a><span class="lineno">  127</span>&#160;            <span class="keywordflow">if</span> (visited.find(succNode) == visited.end())</div><div class="line"><a name="l00128"></a><span class="lineno">  128</span>&#160;            {</div><div class="line"><a name="l00129"></a><span class="lineno">  129</span>&#160;                visited.insert(succNode);</div><div class="line"><a name="l00130"></a><span class="lineno">  130</span>&#160;                worklist.<a class="code" href="classSVF_1_1FIFOWorkList.html#a0df409a67428e528321869d201f2a474">push</a>(succNode);</div><div class="line"><a name="l00131"></a><span class="lineno">  131</span>&#160;            }</div><div class="line"><a name="l00132"></a><span class="lineno">  132</span>&#160;        }</div><div class="line"><a name="l00133"></a><span class="lineno">  133</span>&#160;    }</div><div class="line"><a name="l00134"></a><span class="lineno">  134</span>&#160;</div><div class="line"><a name="l00136"></a><span class="lineno">  136</span>&#160;    <span class="keywordflow">for</span>(<a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set&lt;const VFGNode*&gt;::const_iterator</a> it = visited.begin(), eit = visited.end(); it!=eit; ++it)</div><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">// const VFGNode* node = *it;</span></div><div class="line"><a name="l00142"></a><span class="lineno">  142</span>&#160;<span class="comment"></span>    }</div><div class="line"><a name="l00143"></a><span class="lineno">  143</span>&#160;}</div><div class="ttc" id="classSVF_1_1GenericNode_html_aa4f103330118c8976bf95e4bf53416eb"><div class="ttname"><a href="classSVF_1_1GenericNode.html#aa4f103330118c8976bf95e4bf53416eb">SVF::GenericNode::OutEdgeBegin</a></div><div class="ttdeci">iterator OutEdgeBegin()</div><div class="ttdoc">iterators </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00208">GenericGraph.h:208</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFG_html_a8e7a945f4266e8dc7dcfff2ad6494bfb"><div class="ttname"><a href="classSVF_1_1SVFG.html#a8e7a945f4266e8dc7dcfff2ad6494bfb">SVF::SVFG::getDefSVFGNode</a></div><div class="ttdeci">const SVFGNode * getDefSVFGNode(const PAGNode *pagNode) const</div><div class="ttdoc">Given a pagNode, return its definition site. </div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#l00171">SVFG.h:171</a></div></div>
 <div class="ttc" id="classSVF_1_1FIFOWorkList_html_a7056704c224dfb4b57287fe90c004aa8"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html#a7056704c224dfb4b57287fe90c004aa8">SVF::FIFOWorkList::empty</a></div><div class="ttdeci">bool empty() const</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00146">WorkList.h:146</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFVar_html"><div class="ttname"><a href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00045">SVFVariables.h:45</a></div></div>
 <div class="ttc" id="classSVF_1_1IRGraph_html_a43514023a4f4d0c32f536f51443b0efc"><div class="ttname"><a href="classSVF_1_1IRGraph.html#a43514023a4f4d0c32f536f51443b0efc">SVF::IRGraph::getValueNode</a></div><div class="ttdeci">NodeID getValueNode(const SVFValue *V)</div><div class="ttdef"><b>Definition:</b> <a href="IRGraph_8h_source.html#l00128">IRGraph.h:128</a></div></div>
 <div class="ttc" id="classSVF_1_1FIFOWorkList_html_a0df409a67428e528321869d201f2a474"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html#a0df409a67428e528321869d201f2a474">SVF::FIFOWorkList::push</a></div><div class="ttdeci">bool push(const Data &amp;data)</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00165">WorkList.h:165</a></div></div>
 <div class="ttc" id="classSVF_1_1VFGEdge_html"><div class="ttname"><a href="classSVF_1_1VFGEdge.html">SVF::VFGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGEdge_8h_source.html#l00044">VFGEdge.h:44</a></div></div>
-<div class="ttc" id="classSVF_1_1GenericEdge_html_aeaa31a2c8479e831b36ce2e2582ceb86"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#aeaa31a2c8479e831b36ce2e2582ceb86">SVF::GenericEdge::getDstNode</a></div><div class="ttdeci">NodeType * getDstNode() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00094">GenericGraph.h:94</a></div></div>
+<div class="ttc" id="classSVF_1_1GenericEdge_html_aeaa31a2c8479e831b36ce2e2582ceb86"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#aeaa31a2c8479e831b36ce2e2582ceb86">SVF::GenericEdge::getDstNode</a></div><div class="ttdeci">NodeType * getDstNode() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00095">GenericGraph.h:95</a></div></div>
 <div class="ttc" id="namespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set&lt; Key, Hash, KeyEqual, Allocator &gt; Set</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00094">SVFType.h:94</a></div></div>
 <div class="ttc" id="classSVF_1_1VFGNode_html_a3c558955f60c237c558d8faafed781e8"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a3c558955f60c237c558d8faafed781e8">SVF::VFGNode::const_iterator</a></div><div class="ttdeci">VFGEdge::VFGEdgeSetTy::const_iterator const_iterator</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00060">VFGNode.h:60</a></div></div>
 <div class="ttc" id="classSVF_1_1FIFOWorkList_html"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html">SVF::FIFOWorkList</a></div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00137">WorkList.h:137</a></div></div>
-<div class="ttc" id="classSVF_1_1GenericNode_html_a19a3366fd8a58290d0c740c46c3dcb3d"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a19a3366fd8a58290d0c740c46c3dcb3d">SVF::GenericNode::OutEdgeEnd</a></div><div class="ttdeci">iterator OutEdgeEnd()</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00211">GenericGraph.h:211</a></div></div>
-<div class="ttc" id="classSVF_1_1GenericGraph_html_a43c9c773bfa17abf481c33073e30d01b"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">SVF::GenericGraph::getGNode</a></div><div class="ttdeci">NodeType * getGNode(NodeID id) const</div><div class="ttdoc">Get a node. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00394">GenericGraph.h:394</a></div></div>
+<div class="ttc" id="classSVF_1_1GenericNode_html_a19a3366fd8a58290d0c740c46c3dcb3d"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a19a3366fd8a58290d0c740c46c3dcb3d">SVF::GenericNode::OutEdgeEnd</a></div><div class="ttdeci">iterator OutEdgeEnd()</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00212">GenericGraph.h:212</a></div></div>
+<div class="ttc" id="classSVF_1_1GenericGraph_html_a43c9c773bfa17abf481c33073e30d01b"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">SVF::GenericGraph::getGNode</a></div><div class="ttdeci">NodeType * getGNode(NodeID id) const</div><div class="ttdoc">Get a node. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00395">GenericGraph.h:395</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFIR_html"><div class="ttname"><a href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00043">SVFIR.h:43</a></div></div>
 <div class="ttc" id="classSVF_1_1FIFOWorkList_html_a8fa72918fce7e9c0b2dc34b683a797c6"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html#a8fa72918fce7e9c0b2dc34b683a797c6">SVF::FIFOWorkList::pop</a></div><div class="ttdeci">Data pop()</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00200">WorkList.h:200</a></div></div>
 <div class="ttc" id="classSVF_1_1VFGNode_html"><div class="ttname"><a href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00046">VFGNode.h:46</a></div></div>