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

svf-tools 1.0.595 → 1.0.596

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 (629) hide show

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

@@ -0,0 +1,109 @@
+<!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: /home/runner/work/SVF/SVF/include/Util/iterator_range.h File 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="dir_d44c64559bbebec7f509842c48db8b23.html">include</a></li><li class="navelem"><a class="el" href="dir_95e22971b5dbae2382075a3453e365b4.html">Util</a></li>  </ul>
+</div>
+</div><!-- top -->
+<div class="header">
+  <div class="summary">
+<a href="#nested-classes">Classes</a> &#124;
+<a href="#namespaces">Namespaces</a> &#124;
+<a href="#func-members">Functions</a>  </div>
+  <div class="headertitle">
+<div class="title">iterator_range.h File Reference</div>  </div>
+</div><!--header-->
+<div class="contents">
+<div class="textblock"><code>#include &lt;utility&gt;</code><br />
+</div>
+<p><a href="iterator__range_8h_source.html">Go to the source code of this file.</a></p>
+<table class="memberdecls">
+<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="nested-classes"></a>
+Classes</h2></td></tr>
+<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classllvm_1_1iterator__range.html">llvm::iterator_range&lt; IteratorT &gt;</a></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+</table><table class="memberdecls">
+<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="namespaces"></a>
+Namespaces</h2></td></tr>
+<tr class="memitem:namespacellvm"><td class="memItemLeft" align="right" valign="top"> &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespacellvm.html">llvm</a></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+</table><table class="memberdecls">
+<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="func-members"></a>
+Functions</h2></td></tr>
+<tr class="memitem:ad1a91b49e0c092818a0b82f6cc130a1b"><td class="memTemplParams" colspan="2">template&lt;class T &gt; </td></tr>
+<tr class="memitem:ad1a91b49e0c092818a0b82f6cc130a1b"><td class="memTemplItemLeft" align="right" valign="top">iterator_range&lt; T &gt;&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="namespacellvm.html#ad1a91b49e0c092818a0b82f6cc130a1b">llvm::make_range</a> (T x, T y)</td></tr>
+<tr class="separator:ad1a91b49e0c092818a0b82f6cc130a1b"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a205378e83b002bbbf3cbfa232b2cf0a7"><td class="memTemplParams" colspan="2">template&lt;typename T &gt; </td></tr>
+<tr class="memitem:a205378e83b002bbbf3cbfa232b2cf0a7"><td class="memTemplItemLeft" align="right" valign="top">iterator_range&lt; T &gt;&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="namespacellvm.html#a205378e83b002bbbf3cbfa232b2cf0a7">llvm::make_range</a> (std::pair&lt; T, T &gt; <a class="el" href="cJSON_8cpp.html#a009ef1d888ab6dbe77e6b42b0b39f1ae">p</a>)</td></tr>
+<tr class="separator:a205378e83b002bbbf3cbfa232b2cf0a7"><td class="memSeparator" colspan="2">&#160;</td></tr>
+</table>
+<a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
+<div class="textblock"><p>This provides a very simple, boring adaptor for a begin and end iterator into a range type. This should be used to build range views that work well with range based for loops and range based constructors.</p>
+<p>Note that code here follows more standards-based coding conventions as it is mirroring proposed interfaces for standardization. </p>
+<p class="definition">Definition in file <a class="el" href="iterator__range_8h_source.html">iterator_range.h</a>.</p>
+</div></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/iterator__range_8h_source.html ADDED Viewed

@@ -0,0 +1,90 @@
+<!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: /home/runner/work/SVF/SVF/include/Util/iterator_range.h Source File</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="dir_d44c64559bbebec7f509842c48db8b23.html">include</a></li><li class="navelem"><a class="el" href="dir_95e22971b5dbae2382075a3453e365b4.html">Util</a></li>  </ul>
+</div>
+</div><!-- top -->
+<div class="header">
+  <div class="headertitle">
+<div class="title">iterator_range.h</div>  </div>
+</div><!--header-->
+<div class="contents">
+<a href="iterator__range_8h.html">Go to the documentation of this file.</a><div class="fragment"><div class="line"><a name="l00001"></a><span class="lineno">    1</span>&#160;<span class="comment">//===- iterator_range.h - A range adaptor for iterators ---------*- C++ -*-===//</span></div><div class="line"><a name="l00002"></a><span class="lineno">    2</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00003"></a><span class="lineno">    3</span>&#160;<span class="comment">// From the LLVM Project with some modifications, under the Apache License v2.0</span></div><div class="line"><a name="l00004"></a><span class="lineno">    4</span>&#160;<span class="comment">// with LLVM Exceptions. See https://llvm.org/LICENSE.txt for license information.</span></div><div class="line"><a name="l00005"></a><span class="lineno">    5</span>&#160;<span class="comment">// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception</span></div><div class="line"><a name="l00006"></a><span class="lineno">    6</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00007"></a><span class="lineno">    7</span>&#160;<span class="comment">//===----------------------------------------------------------------------===//</span></div><div class="line"><a name="l00016"></a><span class="lineno">   16</span>&#160;<span class="comment"></span><span class="comment">//===----------------------------------------------------------------------===//</span></div><div class="line"><a name="l00017"></a><span class="lineno">   17</span>&#160;</div><div class="line"><a name="l00018"></a><span class="lineno">   18</span>&#160;<span class="preprocessor">#ifndef LLVM_ADT_ITERATOR_RANGE_H</span></div><div class="line"><a name="l00019"></a><span class="lineno">   19</span>&#160;<span class="preprocessor">#define LLVM_ADT_ITERATOR_RANGE_H</span></div><div class="line"><a name="l00020"></a><span class="lineno">   20</span>&#160;</div><div class="line"><a name="l00021"></a><span class="lineno">   21</span>&#160;<span class="preprocessor">#include &lt;utility&gt;</span></div><div class="line"><a name="l00022"></a><span class="lineno">   22</span>&#160;</div><div class="line"><a name="l00023"></a><span class="lineno">   23</span>&#160;<span class="keyword">namespace </span><a class="code" href="namespacellvm.html">llvm</a></div><div class="line"><a name="l00024"></a><span class="lineno">   24</span>&#160;{</div><div class="line"><a name="l00025"></a><span class="lineno">   25</span>&#160;</div><div class="line"><a name="l00030"></a><span class="lineno">   30</span>&#160;<span class="keyword">template</span> &lt;<span class="keyword">typename</span> IteratorT&gt;</div><div class="line"><a name="l00031"></a><span class="lineno"><a class="line" href="classllvm_1_1iterator__range.html">   31</a></span>&#160;<span class="keyword">class </span><a class="code" href="classllvm_1_1iterator__range.html">iterator_range</a></div><div class="line"><a name="l00032"></a><span class="lineno">   32</span>&#160;{</div><div class="line"><a name="l00033"></a><span class="lineno"><a class="line" href="classllvm_1_1iterator__range.html#a823f166661c0251fc90181a2d9fc13fa">   33</a></span>&#160;    IteratorT <a class="code" href="classllvm_1_1iterator__range.html#aeac0e00835772be18abf2daed29f5d1f">begin_iterator</a>, <a class="code" href="classllvm_1_1iterator__range.html#a823f166661c0251fc90181a2d9fc13fa">end_iterator</a>;</div><div class="line"><a name="l00034"></a><span class="lineno">   34</span>&#160;</div><div class="line"><a name="l00035"></a><span class="lineno">   35</span>&#160;<span class="keyword">public</span>:</div><div class="line"><a name="l00036"></a><span class="lineno">   36</span>&#160;    <span class="comment">//TODO: Add SFINAE to test that the Container&#39;s iterators match the range&#39;s</span></div><div class="line"><a name="l00037"></a><span class="lineno">   37</span>&#160;    <span class="comment">//      iterators.</span></div><div class="line"><a name="l00038"></a><span class="lineno">   38</span>&#160;    <span class="keyword">template</span> &lt;<span class="keyword">typename</span> Container&gt;</div><div class="line"><a name="l00039"></a><span class="lineno"><a class="line" href="classllvm_1_1iterator__range.html#a8f4ce3ff605a3b808d44fba0d9274b67">   39</a></span>&#160;    <a class="code" href="classllvm_1_1iterator__range.html#a8f4ce3ff605a3b808d44fba0d9274b67">iterator_range</a>(Container &amp;&amp;c)</div><div class="line"><a name="l00040"></a><span class="lineno">   40</span>&#160;    <span class="comment">//TODO: Consider ADL/non-member begin/end calls.</span></div><div class="line"><a name="l00041"></a><span class="lineno">   41</span>&#160;        : begin_iterator(c.<a class="code" href="classllvm_1_1iterator__range.html#af5a020bd9dd7bc8487dd53ce443fdd8f">begin</a>()), end_iterator(c.<a class="code" href="classllvm_1_1iterator__range.html#aa0344673da91896d39f1b35755ee5d4e">end</a>()) {}</div><div class="line"><a name="l00042"></a><span class="lineno"><a class="line" href="classllvm_1_1iterator__range.html#a5b169099ccb57e0b8fbae3fc0c57b826">   42</a></span>&#160;    <a class="code" href="classllvm_1_1iterator__range.html#a5b169099ccb57e0b8fbae3fc0c57b826">iterator_range</a>(IteratorT begin_iterator, IteratorT end_iterator)</div><div class="line"><a name="l00043"></a><span class="lineno">   43</span>&#160;        : begin_iterator(<a class="code" href="namespacestd.html">std</a>::<a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">move</a>(begin_iterator)),</div><div class="line"><a name="l00044"></a><span class="lineno">   44</span>&#160;          end_iterator(<a class="code" href="namespacestd.html">std</a>::<a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">move</a>(end_iterator)) {}</div><div class="line"><a name="l00045"></a><span class="lineno">   45</span>&#160;</div><div class="line"><a name="l00046"></a><span class="lineno"><a class="line" href="classllvm_1_1iterator__range.html#af5a020bd9dd7bc8487dd53ce443fdd8f">   46</a></span>&#160;    IteratorT <a class="code" href="classllvm_1_1iterator__range.html#af5a020bd9dd7bc8487dd53ce443fdd8f">begin</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00047"></a><span class="lineno">   47</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00048"></a><span class="lineno">   48</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classllvm_1_1iterator__range.html#aeac0e00835772be18abf2daed29f5d1f">begin_iterator</a>;</div><div class="line"><a name="l00049"></a><span class="lineno">   49</span>&#160;    }</div><div class="line"><a name="l00050"></a><span class="lineno"><a class="line" href="classllvm_1_1iterator__range.html#aa0344673da91896d39f1b35755ee5d4e">   50</a></span>&#160;    IteratorT <a class="code" href="classllvm_1_1iterator__range.html#aa0344673da91896d39f1b35755ee5d4e">end</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00051"></a><span class="lineno">   51</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00052"></a><span class="lineno">   52</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classllvm_1_1iterator__range.html#a823f166661c0251fc90181a2d9fc13fa">end_iterator</a>;</div><div class="line"><a name="l00053"></a><span class="lineno">   53</span>&#160;    }</div><div class="line"><a name="l00054"></a><span class="lineno"><a class="line" href="classllvm_1_1iterator__range.html#a06fff5bdd2bdf6d2c200e281787dc284">   54</a></span>&#160;    <span class="keywordtype">bool</span> <a class="code" href="classllvm_1_1iterator__range.html#a06fff5bdd2bdf6d2c200e281787dc284">empty</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00055"></a><span class="lineno">   55</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00056"></a><span class="lineno">   56</span>&#160;        <span class="keywordflow">return</span> begin_iterator == <a class="code" href="classllvm_1_1iterator__range.html#a823f166661c0251fc90181a2d9fc13fa">end_iterator</a>;</div><div class="line"><a name="l00057"></a><span class="lineno">   57</span>&#160;    }</div><div class="line"><a name="l00058"></a><span class="lineno">   58</span>&#160;};</div><div class="line"><a name="l00059"></a><span class="lineno">   59</span>&#160;</div><div class="line"><a name="l00064"></a><span class="lineno"><a class="line" href="namespacellvm.html#ad1a91b49e0c092818a0b82f6cc130a1b">   64</a></span>&#160;<span class="keyword">template</span> &lt;<span class="keyword">class</span> T&gt; <a class="code" href="classllvm_1_1iterator__range.html">iterator_range&lt;T&gt;</a> <a class="code" href="namespacellvm.html#ad1a91b49e0c092818a0b82f6cc130a1b">make_range</a>(T x, T y)</div><div class="line"><a name="l00065"></a><span class="lineno">   65</span>&#160;{</div><div class="line"><a name="l00066"></a><span class="lineno">   66</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="classllvm_1_1iterator__range.html">iterator_range&lt;T&gt;</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">std::move</a>(x), <a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">std::move</a>(y));</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;</div><div class="line"><a name="l00069"></a><span class="lineno"><a class="line" href="namespacellvm.html#a205378e83b002bbbf3cbfa232b2cf0a7">   69</a></span>&#160;<span class="keyword">template</span> &lt;<span class="keyword">typename</span> T&gt; <a class="code" href="classllvm_1_1iterator__range.html">iterator_range&lt;T&gt;</a> <a class="code" href="namespacellvm.html#ad1a91b49e0c092818a0b82f6cc130a1b">make_range</a>(std::pair&lt;T, T&gt; <a class="code" href="cJSON_8cpp.html#a009ef1d888ab6dbe77e6b42b0b39f1ae">p</a>)</div><div class="line"><a name="l00070"></a><span class="lineno">   70</span>&#160;{</div><div class="line"><a name="l00071"></a><span class="lineno">   71</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="classllvm_1_1iterator__range.html">iterator_range&lt;T&gt;</a>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">std::move</a>(p.first), <a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">std::move</a>(p.second));</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;</div><div class="line"><a name="l00076"></a><span class="lineno">   76</span>&#160;<span class="preprocessor">#endif</span></div><div class="ttc" id="cJSON_8cpp_html_a009ef1d888ab6dbe77e6b42b0b39f1ae"><div class="ttname"><a href="cJSON_8cpp.html#a009ef1d888ab6dbe77e6b42b0b39f1ae">p</a></div><div class="ttdeci">cJSON * p</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l02559">cJSON.cpp:2559</a></div></div>
+<div class="ttc" id="classllvm_1_1iterator__range_html_a06fff5bdd2bdf6d2c200e281787dc284"><div class="ttname"><a href="classllvm_1_1iterator__range.html#a06fff5bdd2bdf6d2c200e281787dc284">llvm::iterator_range::empty</a></div><div class="ttdeci">bool empty() const</div><div class="ttdef"><b>Definition:</b> <a href="iterator__range_8h_source.html#l00054">iterator_range.h:54</a></div></div>
+<div class="ttc" id="classllvm_1_1iterator__range_html_aeac0e00835772be18abf2daed29f5d1f"><div class="ttname"><a href="classllvm_1_1iterator__range.html#aeac0e00835772be18abf2daed29f5d1f">llvm::iterator_range::begin_iterator</a></div><div class="ttdeci">IteratorT begin_iterator</div><div class="ttdef"><b>Definition:</b> <a href="iterator__range_8h_source.html#l00033">iterator_range.h:33</a></div></div>
+<div class="ttc" id="namespacellvm_html"><div class="ttname"><a href="namespacellvm.html">llvm</a></div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00192">CFLGraph.h:192</a></div></div>
+<div class="ttc" id="namespacestd_html"><div class="ttname"><a href="namespacestd.html">std</a></div></div>
+<div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a72502f7f536418621485e90ab98c2016"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">SVF::SVFUtil::move</a></div><div class="ttdeci">constexpr std::remove_reference&lt; T &gt;::type &amp;&amp; move(T &amp;&amp;t) noexcept</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00657">SVFUtil.h:657</a></div></div>
+<div class="ttc" id="namespacellvm_html_ad1a91b49e0c092818a0b82f6cc130a1b"><div class="ttname"><a href="namespacellvm.html#ad1a91b49e0c092818a0b82f6cc130a1b">llvm::make_range</a></div><div class="ttdeci">iterator_range&lt; T &gt; make_range(T x, T y)</div><div class="ttdef"><b>Definition:</b> <a href="iterator__range_8h_source.html#l00064">iterator_range.h:64</a></div></div>
+<div class="ttc" id="classllvm_1_1iterator__range_html_a8f4ce3ff605a3b808d44fba0d9274b67"><div class="ttname"><a href="classllvm_1_1iterator__range.html#a8f4ce3ff605a3b808d44fba0d9274b67">llvm::iterator_range::iterator_range</a></div><div class="ttdeci">iterator_range(Container &amp;&amp;c)</div><div class="ttdef"><b>Definition:</b> <a href="iterator__range_8h_source.html#l00039">iterator_range.h:39</a></div></div>
+<div class="ttc" id="classllvm_1_1iterator__range_html"><div class="ttname"><a href="classllvm_1_1iterator__range.html">llvm::iterator_range</a></div><div class="ttdef"><b>Definition:</b> <a href="iterator__range_8h_source.html#l00031">iterator_range.h:31</a></div></div>
+<div class="ttc" id="classllvm_1_1iterator__range_html_a823f166661c0251fc90181a2d9fc13fa"><div class="ttname"><a href="classllvm_1_1iterator__range.html#a823f166661c0251fc90181a2d9fc13fa">llvm::iterator_range::end_iterator</a></div><div class="ttdeci">IteratorT end_iterator</div><div class="ttdef"><b>Definition:</b> <a href="iterator__range_8h_source.html#l00033">iterator_range.h:33</a></div></div>
+<div class="ttc" id="classllvm_1_1iterator__range_html_a5b169099ccb57e0b8fbae3fc0c57b826"><div class="ttname"><a href="classllvm_1_1iterator__range.html#a5b169099ccb57e0b8fbae3fc0c57b826">llvm::iterator_range::iterator_range</a></div><div class="ttdeci">iterator_range(IteratorT begin_iterator, IteratorT end_iterator)</div><div class="ttdef"><b>Definition:</b> <a href="iterator__range_8h_source.html#l00042">iterator_range.h:42</a></div></div>
+<div class="ttc" id="classllvm_1_1iterator__range_html_af5a020bd9dd7bc8487dd53ce443fdd8f"><div class="ttname"><a href="classllvm_1_1iterator__range.html#af5a020bd9dd7bc8487dd53ce443fdd8f">llvm::iterator_range::begin</a></div><div class="ttdeci">IteratorT begin() const</div><div class="ttdef"><b>Definition:</b> <a href="iterator__range_8h_source.html#l00046">iterator_range.h:46</a></div></div>
+<div class="ttc" id="classllvm_1_1iterator__range_html_aa0344673da91896d39f1b35755ee5d4e"><div class="ttname"><a href="classllvm_1_1iterator__range.html#aa0344673da91896d39f1b35755ee5d4e">llvm::iterator_range::end</a></div><div class="ttdeci">IteratorT end() const</div><div class="ttdef"><b>Definition:</b> <a href="iterator__range_8h_source.html#l00050">iterator_range.h:50</a></div></div>
+</div><!-- fragment --></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/menudata.js CHANGED Viewed

@@ -27,22 +27,23 @@ var menudata={children:[
 {text:"z",url:"namespacemembers_z.html#index_z"}]},
 {text:"Functions",url:"namespacemembers_func.html",children:[
 {text:"a",url:"namespacemembers_func.html#index_a"},
-{text:"b",url:"namespacemembers_func.html#index_b"},
-{text:"c",url:"namespacemembers_func.html#index_c"},
-{text:"d",url:"namespacemembers_func.html#index_d"},
-{text:"e",url:"namespacemembers_func.html#index_e"},
-{text:"f",url:"namespacemembers_func.html#index_f"},
-{text:"g",url:"namespacemembers_func.html#index_g"},
-{text:"h",url:"namespacemembers_func.html#index_h"},
-{text:"i",url:"namespacemembers_func.html#index_i"},
-{text:"m",url:"namespacemembers_func.html#index_m"},
-{text:"o",url:"namespacemembers_func.html#index_o"},
-{text:"p",url:"namespacemembers_func.html#index_p"},
-{text:"r",url:"namespacemembers_func.html#index_r"},
-{text:"s",url:"namespacemembers_func.html#index_s"},
-{text:"t",url:"namespacemembers_func.html#index_t"},
-{text:"v",url:"namespacemembers_func.html#index_v"},
-{text:"w",url:"namespacemembers_func.html#index_w"}]},
+{text:"b",url:"namespacemembers_func_b.html#index_b"},
+{text:"c",url:"namespacemembers_func_c.html#index_c"},
+{text:"d",url:"namespacemembers_func_d.html#index_d"},
+{text:"e",url:"namespacemembers_func_e.html#index_e"},
+{text:"f",url:"namespacemembers_func_f.html#index_f"},
+{text:"g",url:"namespacemembers_func_g.html#index_g"},
+{text:"h",url:"namespacemembers_func_h.html#index_h"},
+{text:"i",url:"namespacemembers_func_i.html#index_i"},
+{text:"m",url:"namespacemembers_func_m.html#index_m"},
+{text:"n",url:"namespacemembers_func_n.html#index_n"},
+{text:"o",url:"namespacemembers_func_o.html#index_o"},
+{text:"p",url:"namespacemembers_func_p.html#index_p"},
+{text:"r",url:"namespacemembers_func_r.html#index_r"},
+{text:"s",url:"namespacemembers_func_s.html#index_s"},
+{text:"t",url:"namespacemembers_func_t.html#index_t"},
+{text:"v",url:"namespacemembers_func_v.html#index_v"},
+{text:"w",url:"namespacemembers_func_w.html#index_w"}]},
 {text:"Variables",url:"namespacemembers_vars.html"},
 {text:"Typedefs",url:"namespacemembers_type.html",children:[
 {text:"a",url:"namespacemembers_type.html#index_a"},