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/include_2MTA_2MTAResultValidator_8h_source.html CHANGED Viewed

@@ -164,7 +164,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1MTAResultValidator_html_a1ac51d2847f9bdee27092ab22211bb61"><div class="ttname"><a href="classSVF_1_1MTAResultValidator.html#a1ac51d2847f9bdee27092ab22211bb61">SVF::MTAResultValidator::getStringArg</a></div><div class="ttdeci">std::vector&lt; std::string &gt; getStringArg(const Instruction *inst, unsigned int arg_num)</div><div class="ttdef"><b>Definition:</b> <a href="MTAResultValidator_8cpp_source.html#l00094">MTAResultValidator.cpp:94</a></div></div>
 <div class="ttc" id="namespaceSVF_html_a1f4624771922dc8c2447ad7433588c73"><div class="ttname"><a href="namespaceSVF.html#a1f4624771922dc8c2447ad7433588c73">SVF::CallBase</a></div><div class="ttdeci">llvm::CallBase CallBase</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00119">BasicTypes.h:119</a></div></div>
 <div class="ttc" id="classSVF_1_1RaceResultValidator_html_ade9f150c970aa2cc481c878aebf71662"><div class="ttname"><a href="classSVF_1_1RaceResultValidator.html#ade9f150c970aa2cc481c878aebf71662">SVF::RaceResultValidator::mayAccessAliases</a></div><div class="ttdeci">virtual bool mayAccessAliases(const Instruction *I1, const Instruction *I2)</div><div class="ttdef"><b>Definition:</b> <a href="include_2MTA_2MTAResultValidator_8h_source.html#l00244">MTAResultValidator.h:244</a></div></div>
-<div class="ttc" id="classSVF_1_1LLVMModuleSet_html_afdd77bc1fca91f70b2ec362f1dacd392"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#afdd77bc1fca91f70b2ec362f1dacd392">SVF::LLVMModuleSet::getSVFValue</a></div><div class="ttdeci">SVFValue * getSVFValue(const Value *value)</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8cpp_source.html#l00924">LLVMModule.cpp:924</a></div></div>
+<div class="ttc" id="classSVF_1_1LLVMModuleSet_html_afdd77bc1fca91f70b2ec362f1dacd392"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#afdd77bc1fca91f70b2ec362f1dacd392">SVF::LLVMModuleSet::getSVFValue</a></div><div class="ttdeci">SVFValue * getSVFValue(const Value *value)</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8cpp_source.html#l00925">LLVMModule.cpp:925</a></div></div>
 <div class="ttc" id="classSVF_1_1RaceResultValidator_html"><div class="ttname"><a href="classSVF_1_1RaceResultValidator.html">SVF::RaceResultValidator</a></div><div class="ttdoc">Validate the result of concurrent analysis. </div><div class="ttdef"><b>Definition:</b> <a href="include_2MTA_2MTAResultValidator_8h_source.html#l00169">MTAResultValidator.h:169</a></div></div>
 <div class="ttc" id="classSVF_1_1RaceResultValidator_html_a1df6b00752e373ac7bf08a2cae0b9641"><div class="ttname"><a href="classSVF_1_1RaceResultValidator.html#a1df6b00752e373ac7bf08a2cae0b9641">SVF::RaceResultValidator::mayHaveDataRace</a></div><div class="ttdeci">virtual bool mayHaveDataRace(const Instruction *I1, const Instruction *I2)</div><div class="ttdef"><b>Definition:</b> <a href="include_2MTA_2MTAResultValidator_8h_source.html#l00262">MTAResultValidator.h:262</a></div></div>
 <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a5d4bb92f5df30417f414397f8e58cf01"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a5d4bb92f5df30417f414397f8e58cf01">SVF::SVFUtil::errMsg</a></div><div class="ttdeci">std::string errMsg(std::string msg)</div><div class="ttdoc">Print error message by converting a string into red string output. </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00075">SVFUtil.cpp:75</a></div></div>

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

@@ -0,0 +1,123 @@
+<!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.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="#typedef-members">Typedefs</a> &#124;
+<a href="#func-members">Functions</a>  </div>
+  <div class="headertitle">
+<div class="title">iterator.h File Reference</div>  </div>
+</div><!--header-->
+<div class="contents">
+<div class="textblock"><code>#include &quot;<a class="el" href="iterator__range_8h_source.html">Util/iterator_range.h</a>&quot;</code><br />
+<code>#include &lt;cstddef&gt;</code><br />
+<code>#include &lt;iterator&gt;</code><br />
+<code>#include &lt;type_traits&gt;</code><br />
+<code>#include &lt;utility&gt;</code><br />
+</div>
+<p><a href="iterator_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__facade__base.html">llvm::iterator_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</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__facade__base_1_1ReferenceProxy.html">llvm::iterator_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;::ReferenceProxy</a></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</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__adaptor__base.html">llvm::iterator_adaptor_base&lt; DerivedT, WrappedIteratorT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structllvm_1_1pointee__iterator.html">llvm::pointee_iterator&lt; WrappedIteratorT, T &gt;</a></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</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_1pointer__iterator.html">llvm::pointer_iterator&lt; WrappedIteratorT, T &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="typedef-members"></a>
+Typedefs</h2></td></tr>
+<tr class="memitem:aca4a1c40c795d723338628e5e405757c"><td class="memTemplParams" colspan="2">template&lt;typename WrappedIteratorT , typename T1  = std::remove_reference_t&lt;decltype(                      **std::declval&lt;WrappedIteratorT&gt;())&gt;, typename T2  = std::add_pointer_t&lt;T1&gt;&gt; </td></tr>
+<tr class="memitem:aca4a1c40c795d723338628e5e405757c"><td class="memTemplItemLeft" align="right" valign="top">using&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="namespacellvm.html#aca4a1c40c795d723338628e5e405757c">llvm::raw_pointer_iterator</a> = pointer_iterator&lt; pointee_iterator&lt; WrappedIteratorT, T1 &gt;, T2 &gt;</td></tr>
+<tr class="separator:aca4a1c40c795d723338628e5e405757c"><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:aec01581c3275a7fab5a18b88a02c96b7"><td class="memTemplParams" colspan="2">template&lt;typename RangeT , typename WrappedIteratorT  = decltype(std::begin(std::declval&lt;RangeT&gt;()))&gt; </td></tr>
+<tr class="memitem:aec01581c3275a7fab5a18b88a02c96b7"><td class="memTemplItemLeft" align="right" valign="top">iterator_range&lt; pointee_iterator&lt; WrappedIteratorT &gt; &gt;&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="namespacellvm.html#aec01581c3275a7fab5a18b88a02c96b7">llvm::make_pointee_range</a> (RangeT &amp;&amp;Range)</td></tr>
+<tr class="separator:aec01581c3275a7fab5a18b88a02c96b7"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:af8941b8ce2fe4581623e4962b287cc5c"><td class="memTemplParams" colspan="2">template&lt;typename RangeT , typename WrappedIteratorT  = decltype(std::begin(std::declval&lt;RangeT&gt;()))&gt; </td></tr>
+<tr class="memitem:af8941b8ce2fe4581623e4962b287cc5c"><td class="memTemplItemLeft" align="right" valign="top">iterator_range&lt; pointer_iterator&lt; WrappedIteratorT &gt; &gt;&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="namespacellvm.html#af8941b8ce2fe4581623e4962b287cc5c">llvm::make_pointer_range</a> (RangeT &amp;&amp;Range)</td></tr>
+<tr class="separator:af8941b8ce2fe4581623e4962b287cc5c"><td class="memSeparator" colspan="2">&#160;</td></tr>
+</table>
+</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_8h_source.html ADDED Viewed

@@ -0,0 +1,134 @@
+<!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.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.h</div>  </div>
+</div><!--header-->
+<div class="contents">
+<a href="iterator_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.h - Utilities for using and defining 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">// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.</span></div><div class="line"><a name="l00004"></a><span class="lineno">    4</span>&#160;<span class="comment">// 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="l00008"></a><span class="lineno">    8</span>&#160;</div><div class="line"><a name="l00009"></a><span class="lineno">    9</span>&#160;<span class="preprocessor">#ifndef LLVM_ADT_ITERATOR_H</span></div><div class="line"><a name="l00010"></a><span class="lineno">   10</span>&#160;<span class="preprocessor">#define LLVM_ADT_ITERATOR_H</span></div><div class="line"><a name="l00011"></a><span class="lineno">   11</span>&#160;</div><div class="line"><a name="l00012"></a><span class="lineno">   12</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="iterator__range_8h.html">Util/iterator_range.h</a>&quot;</span></div><div class="line"><a name="l00013"></a><span class="lineno">   13</span>&#160;<span class="preprocessor">#include &lt;cstddef&gt;</span></div><div class="line"><a name="l00014"></a><span class="lineno">   14</span>&#160;<span class="preprocessor">#include &lt;iterator&gt;</span></div><div class="line"><a name="l00015"></a><span class="lineno">   15</span>&#160;<span class="preprocessor">#include &lt;type_traits&gt;</span></div><div class="line"><a name="l00016"></a><span class="lineno">   16</span>&#160;<span class="preprocessor">#include &lt;utility&gt;</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="keyword">namespace </span><a class="code" href="namespacellvm.html">llvm</a></div><div class="line"><a name="l00019"></a><span class="lineno">   19</span>&#160;{</div><div class="line"><a name="l00020"></a><span class="lineno">   20</span>&#160;</div><div class="line"><a name="l00064"></a><span class="lineno">   64</span>&#160;<span class="keyword">template</span> &lt;<span class="keyword">typename</span> DerivedT, <span class="keyword">typename</span> IteratorCategoryT, <span class="keyword">typename</span> T,</div><div class="line"><a name="l00065"></a><span class="lineno">   65</span>&#160;          <span class="keyword">typename</span> DifferenceTypeT = std::ptrdiff_t, <span class="keyword">typename</span> PointerT = T *,</div><div class="line"><a name="l00066"></a><span class="lineno">   66</span>&#160;          <span class="keyword">typename</span> ReferenceT = T &amp;&gt;</div><div class="line"><a name="l00067"></a><span class="lineno"><a class="line" href="classllvm_1_1iterator__facade__base.html">   67</a></span>&#160;<span class="keyword">class </span><a class="code" href="classllvm_1_1iterator__facade__base.html">iterator_facade_base</a></div><div class="line"><a name="l00068"></a><span class="lineno">   68</span>&#160;{</div><div class="line"><a name="l00069"></a><span class="lineno">   69</span>&#160;<span class="keyword">public</span>:</div><div class="line"><a name="l00070"></a><span class="lineno"><a class="line" href="classllvm_1_1iterator__facade__base.html#a0fb41b5becfd488c52fb8c77d13fbcbc">   70</a></span>&#160;    <span class="keyword">using</span> <a class="code" href="classllvm_1_1iterator__facade__base.html#a0fb41b5becfd488c52fb8c77d13fbcbc">iterator_category</a> = IteratorCategoryT;</div><div class="line"><a name="l00071"></a><span class="lineno"><a class="line" href="classllvm_1_1iterator__facade__base.html#a36fb299f78c975d65ffcef4baa31b7f6">   71</a></span>&#160;    <span class="keyword">using</span> <a class="code" href="classllvm_1_1iterator__facade__base.html#a36fb299f78c975d65ffcef4baa31b7f6">value_type</a> = T;</div><div class="line"><a name="l00072"></a><span class="lineno"><a class="line" href="classllvm_1_1iterator__facade__base.html#a7e07dfa56b74ed115bdddd442e8184e6">   72</a></span>&#160;    <span class="keyword">using</span> <a class="code" href="classllvm_1_1iterator__facade__base.html#a7e07dfa56b74ed115bdddd442e8184e6">difference_type</a> = DifferenceTypeT;</div><div class="line"><a name="l00073"></a><span class="lineno"><a class="line" href="classllvm_1_1iterator__facade__base.html#ae2d9deb2dce97bf6cf45faf988c30a3b">   73</a></span>&#160;    <span class="keyword">using</span> <a class="code" href="classllvm_1_1iterator__facade__base.html#ae2d9deb2dce97bf6cf45faf988c30a3b">pointer</a> = PointerT;</div><div class="line"><a name="l00074"></a><span class="lineno"><a class="line" href="classllvm_1_1iterator__facade__base.html#a9ac08db5b07aefa9e82e65806804268b">   74</a></span>&#160;    <span class="keyword">using</span> <a class="code" href="classllvm_1_1iterator__facade__base.html#a9ac08db5b07aefa9e82e65806804268b">reference</a> = ReferenceT;</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="keyword">protected</span>:</div><div class="line"><a name="l00077"></a><span class="lineno">   77</span>&#160;    <span class="keyword">enum</span></div><div class="line"><a name="l00078"></a><span class="lineno">   78</span>&#160;    {</div><div class="line"><a name="l00079"></a><span class="lineno"><a class="line" href="classllvm_1_1iterator__facade__base.html#ac111dbf74717bf5e6db6b9f8d5a81809a4f2910ff91c3e559958a66f09bfefe56">   79</a></span>&#160;        <a class="code" href="classllvm_1_1iterator__facade__base.html#ac111dbf74717bf5e6db6b9f8d5a81809a4f2910ff91c3e559958a66f09bfefe56">IsRandomAccess</a> = std::is_base_of&lt;std::random_access_iterator_tag,</div><div class="line"><a name="l00080"></a><span class="lineno">   80</span>&#160;        IteratorCategoryT&gt;::value,</div><div class="line"><a name="l00081"></a><span class="lineno"><a class="line" href="classllvm_1_1iterator__facade__base.html#ac111dbf74717bf5e6db6b9f8d5a81809a4e1f229fa73b6b5c2f25734ab347c51f">   81</a></span>&#160;        <a class="code" href="classllvm_1_1iterator__facade__base.html#ac111dbf74717bf5e6db6b9f8d5a81809a4e1f229fa73b6b5c2f25734ab347c51f">IsBidirectional</a> = std::is_base_of&lt;std::bidirectional_iterator_tag,</div><div class="line"><a name="l00082"></a><span class="lineno">   82</span>&#160;        IteratorCategoryT&gt;::value,</div><div class="line"><a name="l00083"></a><span class="lineno">   83</span>&#160;    };</div><div class="line"><a name="l00084"></a><span class="lineno">   84</span>&#160;</div><div class="line"><a name="l00090"></a><span class="lineno"><a class="line" href="classllvm_1_1iterator__facade__base_1_1ReferenceProxy.html">   90</a></span>&#160;    <span class="keyword">class </span><a class="code" href="classllvm_1_1iterator__facade__base_1_1ReferenceProxy.html">ReferenceProxy</a></div><div class="line"><a name="l00091"></a><span class="lineno">   91</span>&#160;    {</div><div class="line"><a name="l00092"></a><span class="lineno"><a class="line" href="classllvm_1_1iterator__facade__base_1_1ReferenceProxy.html#ae839596dce7d66788c89951710111945">   92</a></span>&#160;        <span class="keyword">friend</span> <a class="code" href="classllvm_1_1iterator__facade__base_1_1ReferenceProxy.html#ae839596dce7d66788c89951710111945">iterator_facade_base</a>;</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"><a class="line" href="classllvm_1_1iterator__facade__base_1_1ReferenceProxy.html#ac4e5c0067c64cd5c7e0184218cae3dd2">   94</a></span>&#160;        DerivedT <a class="code" href="classllvm_1_1iterator__facade__base_1_1ReferenceProxy.html#ac4e5c0067c64cd5c7e0184218cae3dd2">I</a>;</div><div class="line"><a name="l00095"></a><span class="lineno">   95</span>&#160;</div><div class="line"><a name="l00096"></a><span class="lineno"><a class="line" href="classllvm_1_1iterator__facade__base_1_1ReferenceProxy.html#ab871b88a7116b9aa362a92bd47ddd776">   96</a></span>&#160;        <a class="code" href="classllvm_1_1iterator__facade__base_1_1ReferenceProxy.html#ab871b88a7116b9aa362a92bd47ddd776">ReferenceProxy</a>(DerivedT I) : I(<a class="code" href="namespacestd.html">std</a>::<a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">move</a>(I)) {}</div><div class="line"><a name="l00097"></a><span class="lineno">   97</span>&#160;</div><div class="line"><a name="l00098"></a><span class="lineno">   98</span>&#160;    <span class="keyword">public</span>:</div><div class="line"><a name="l00099"></a><span class="lineno"><a class="line" href="classllvm_1_1iterator__facade__base_1_1ReferenceProxy.html#adc2a6b29380e0cbd28105a3ab0fe49d4">   99</a></span>&#160;        <span class="keyword">operator</span> ReferenceT()<span class="keyword"> const</span></div><div class="line"><a name="l00100"></a><span class="lineno">  100</span>&#160;<span class="keyword">        </span>{</div><div class="line"><a name="l00101"></a><span class="lineno">  101</span>&#160;            <span class="keywordflow">return</span> *<a class="code" href="classllvm_1_1iterator__facade__base_1_1ReferenceProxy.html#ac4e5c0067c64cd5c7e0184218cae3dd2">I</a>;</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="line"><a name="l00104"></a><span class="lineno">  104</span>&#160;</div><div class="line"><a name="l00105"></a><span class="lineno">  105</span>&#160;<span class="keyword">public</span>:</div><div class="line"><a name="l00106"></a><span class="lineno"><a class="line" href="classllvm_1_1iterator__facade__base.html#acf61699425762fc11a314213e3bc6ef4">  106</a></span>&#160;    DerivedT <a class="code" href="classllvm_1_1iterator__facade__base.html#acf61699425762fc11a314213e3bc6ef4">operator+</a>(DifferenceTypeT <a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>)<span class="keyword"> const</span></div><div class="line"><a name="l00107"></a><span class="lineno">  107</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00108"></a><span class="lineno">  108</span>&#160;        static_assert(std::is_base_of&lt;iterator_facade_base, DerivedT&gt;::value,</div><div class="line"><a name="l00109"></a><span class="lineno">  109</span>&#160;                      <span class="stringliteral">&quot;Must pass the derived type to this template!&quot;</span>);</div><div class="line"><a name="l00110"></a><span class="lineno">  110</span>&#160;        static_assert(</div><div class="line"><a name="l00111"></a><span class="lineno">  111</span>&#160;            <a class="code" href="classllvm_1_1iterator__facade__base.html#ac111dbf74717bf5e6db6b9f8d5a81809a4f2910ff91c3e559958a66f09bfefe56">IsRandomAccess</a>,</div><div class="line"><a name="l00112"></a><span class="lineno">  112</span>&#160;            <span class="stringliteral">&quot;The &#39;+&#39; operator is only defined for random access iterators.&quot;</span>);</div><div class="line"><a name="l00113"></a><span class="lineno">  113</span>&#160;        DerivedT tmp = *<span class="keyword">static_cast&lt;</span><span class="keyword">const </span>DerivedT *<span class="keyword">&gt;</span>(<span class="keyword">this</span>);</div><div class="line"><a name="l00114"></a><span class="lineno">  114</span>&#160;        tmp += <a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>;</div><div class="line"><a name="l00115"></a><span class="lineno">  115</span>&#160;        <span class="keywordflow">return</span> tmp;</div><div class="line"><a name="l00116"></a><span class="lineno">  116</span>&#160;    }</div><div class="line"><a name="l00117"></a><span class="lineno"><a class="line" href="classllvm_1_1iterator__facade__base.html#a56831a09ff0a972cfb02376aaab2caab">  117</a></span>&#160;    <span class="keyword">friend</span> DerivedT <a class="code" href="classllvm_1_1iterator__facade__base.html#a56831a09ff0a972cfb02376aaab2caab">operator+</a>(DifferenceTypeT <a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>, <span class="keyword">const</span> DerivedT &amp;i)</div><div class="line"><a name="l00118"></a><span class="lineno">  118</span>&#160;    {</div><div class="line"><a name="l00119"></a><span class="lineno">  119</span>&#160;        static_assert(</div><div class="line"><a name="l00120"></a><span class="lineno">  120</span>&#160;            <a class="code" href="classllvm_1_1iterator__facade__base.html#ac111dbf74717bf5e6db6b9f8d5a81809a4f2910ff91c3e559958a66f09bfefe56">IsRandomAccess</a>,</div><div class="line"><a name="l00121"></a><span class="lineno">  121</span>&#160;            <span class="stringliteral">&quot;The &#39;+&#39; operator is only defined for random access iterators.&quot;</span>);</div><div class="line"><a name="l00122"></a><span class="lineno">  122</span>&#160;        <span class="keywordflow">return</span> i + <a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>;</div><div class="line"><a name="l00123"></a><span class="lineno">  123</span>&#160;    }</div><div class="line"><a name="l00124"></a><span class="lineno"><a class="line" href="classllvm_1_1iterator__facade__base.html#a491d3989cc90d99cdb1f123d141b87cb">  124</a></span>&#160;    DerivedT <a class="code" href="classllvm_1_1iterator__facade__base.html#a491d3989cc90d99cdb1f123d141b87cb">operator-</a>(DifferenceTypeT <a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>)<span class="keyword"> const</span></div><div class="line"><a name="l00125"></a><span class="lineno">  125</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00126"></a><span class="lineno">  126</span>&#160;        static_assert(</div><div class="line"><a name="l00127"></a><span class="lineno">  127</span>&#160;            <a class="code" href="classllvm_1_1iterator__facade__base.html#ac111dbf74717bf5e6db6b9f8d5a81809a4f2910ff91c3e559958a66f09bfefe56">IsRandomAccess</a>,</div><div class="line"><a name="l00128"></a><span class="lineno">  128</span>&#160;            <span class="stringliteral">&quot;The &#39;-&#39; operator is only defined for random access iterators.&quot;</span>);</div><div class="line"><a name="l00129"></a><span class="lineno">  129</span>&#160;        DerivedT tmp = *<span class="keyword">static_cast&lt;</span><span class="keyword">const </span>DerivedT *<span class="keyword">&gt;</span>(<span class="keyword">this</span>);</div><div class="line"><a name="l00130"></a><span class="lineno">  130</span>&#160;        tmp -= <a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>;</div><div class="line"><a name="l00131"></a><span class="lineno">  131</span>&#160;        <span class="keywordflow">return</span> tmp;</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"><a class="line" href="classllvm_1_1iterator__facade__base.html#a5e76a6059a007866f3a307fdaf8f3401">  134</a></span>&#160;    DerivedT &amp;<a class="code" href="classllvm_1_1iterator__facade__base.html#a5e76a6059a007866f3a307fdaf8f3401">operator++</a>()</div><div class="line"><a name="l00135"></a><span class="lineno">  135</span>&#160;    {</div><div class="line"><a name="l00136"></a><span class="lineno">  136</span>&#160;        static_assert(std::is_base_of&lt;iterator_facade_base, DerivedT&gt;::value,</div><div class="line"><a name="l00137"></a><span class="lineno">  137</span>&#160;                      <span class="stringliteral">&quot;Must pass the derived type to this template!&quot;</span>);</div><div class="line"><a name="l00138"></a><span class="lineno">  138</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">static_cast&lt;</span>DerivedT *<span class="keyword">&gt;</span>(<span class="keyword">this</span>)-&gt;<span class="keyword">operator</span>+=(1);</div><div class="line"><a name="l00139"></a><span class="lineno">  139</span>&#160;    }</div><div class="line"><a name="l00140"></a><span class="lineno"><a class="line" href="classllvm_1_1iterator__facade__base.html#a668b849a4f26755eae386315d5ea363c">  140</a></span>&#160;    DerivedT <a class="code" href="classllvm_1_1iterator__facade__base.html#a668b849a4f26755eae386315d5ea363c">operator++</a>(<span class="keywordtype">int</span>)</div><div class="line"><a name="l00141"></a><span class="lineno">  141</span>&#160;    {</div><div class="line"><a name="l00142"></a><span class="lineno">  142</span>&#160;        DerivedT tmp = *<span class="keyword">static_cast&lt;</span>DerivedT *<span class="keyword">&gt;</span>(<span class="keyword">this</span>);</div><div class="line"><a name="l00143"></a><span class="lineno">  143</span>&#160;        ++*<span class="keyword">static_cast&lt;</span>DerivedT *<span class="keyword">&gt;</span>(<span class="keyword">this</span>);</div><div class="line"><a name="l00144"></a><span class="lineno">  144</span>&#160;        <span class="keywordflow">return</span> tmp;</div><div class="line"><a name="l00145"></a><span class="lineno">  145</span>&#160;    }</div><div class="line"><a name="l00146"></a><span class="lineno"><a class="line" href="classllvm_1_1iterator__facade__base.html#aa8fb990c1847fec73bcbcaab5517ee11">  146</a></span>&#160;    DerivedT &amp;<a class="code" href="classllvm_1_1iterator__facade__base.html#aa8fb990c1847fec73bcbcaab5517ee11">operator--</a>()</div><div class="line"><a name="l00147"></a><span class="lineno">  147</span>&#160;    {</div><div class="line"><a name="l00148"></a><span class="lineno">  148</span>&#160;        static_assert(</div><div class="line"><a name="l00149"></a><span class="lineno">  149</span>&#160;            <a class="code" href="classllvm_1_1iterator__facade__base.html#ac111dbf74717bf5e6db6b9f8d5a81809a4e1f229fa73b6b5c2f25734ab347c51f">IsBidirectional</a>,</div><div class="line"><a name="l00150"></a><span class="lineno">  150</span>&#160;            <span class="stringliteral">&quot;The decrement operator is only defined for bidirectional iterators.&quot;</span>);</div><div class="line"><a name="l00151"></a><span class="lineno">  151</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">static_cast&lt;</span>DerivedT *<span class="keyword">&gt;</span>(<span class="keyword">this</span>)-&gt;<span class="keyword">operator</span>-=(1);</div><div class="line"><a name="l00152"></a><span class="lineno">  152</span>&#160;    }</div><div class="line"><a name="l00153"></a><span class="lineno"><a class="line" href="classllvm_1_1iterator__facade__base.html#a2fe5a54c4c470c05190130854c0baca3">  153</a></span>&#160;    DerivedT <a class="code" href="classllvm_1_1iterator__facade__base.html#a2fe5a54c4c470c05190130854c0baca3">operator--</a>(<span class="keywordtype">int</span>)</div><div class="line"><a name="l00154"></a><span class="lineno">  154</span>&#160;    {</div><div class="line"><a name="l00155"></a><span class="lineno">  155</span>&#160;        static_assert(</div><div class="line"><a name="l00156"></a><span class="lineno">  156</span>&#160;            <a class="code" href="classllvm_1_1iterator__facade__base.html#ac111dbf74717bf5e6db6b9f8d5a81809a4e1f229fa73b6b5c2f25734ab347c51f">IsBidirectional</a>,</div><div class="line"><a name="l00157"></a><span class="lineno">  157</span>&#160;            <span class="stringliteral">&quot;The decrement operator is only defined for bidirectional iterators.&quot;</span>);</div><div class="line"><a name="l00158"></a><span class="lineno">  158</span>&#160;        DerivedT tmp = *<span class="keyword">static_cast&lt;</span>DerivedT *<span class="keyword">&gt;</span>(<span class="keyword">this</span>);</div><div class="line"><a name="l00159"></a><span class="lineno">  159</span>&#160;        --*<span class="keyword">static_cast&lt;</span>DerivedT *<span class="keyword">&gt;</span>(<span class="keyword">this</span>);</div><div class="line"><a name="l00160"></a><span class="lineno">  160</span>&#160;        <span class="keywordflow">return</span> tmp;</div><div class="line"><a name="l00161"></a><span class="lineno">  161</span>&#160;    }</div><div class="line"><a name="l00162"></a><span class="lineno">  162</span>&#160;</div><div class="line"><a name="l00163"></a><span class="lineno">  163</span>&#160;<span class="preprocessor">#ifndef __cpp_impl_three_way_comparison</span></div><div class="line"><a name="l00164"></a><span class="lineno"><a class="line" href="classllvm_1_1iterator__facade__base.html#a8177352435657f182290be3d5c345cfc">  164</a></span>&#160;    <span class="keywordtype">bool</span> <a class="code" href="classllvm_1_1iterator__facade__base.html#a8177352435657f182290be3d5c345cfc">operator!=</a>(<span class="keyword">const</span> DerivedT &amp;RHS)<span class="keyword"> const</span></div><div class="line"><a name="l00165"></a><span class="lineno">  165</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00166"></a><span class="lineno">  166</span>&#160;        <span class="keywordflow">return</span> !(<span class="keyword">static_cast&lt;</span><span class="keyword">const </span>DerivedT &amp;<span class="keyword">&gt;</span>(*this) == RHS);</div><div class="line"><a name="l00167"></a><span class="lineno">  167</span>&#160;    }</div><div class="line"><a name="l00168"></a><span class="lineno">  168</span>&#160;<span class="preprocessor">#endif</span></div><div class="line"><a name="l00169"></a><span class="lineno">  169</span>&#160;</div><div class="line"><a name="l00170"></a><span class="lineno"><a class="line" href="classllvm_1_1iterator__facade__base.html#a9677d8ef8998cc763948bfdfc2f73c6e">  170</a></span>&#160;    <span class="keywordtype">bool</span> <a class="code" href="classllvm_1_1iterator__facade__base.html#a9677d8ef8998cc763948bfdfc2f73c6e">operator&gt;</a>(<span class="keyword">const</span> DerivedT &amp;RHS)<span class="keyword"> const</span></div><div class="line"><a name="l00171"></a><span class="lineno">  171</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00172"></a><span class="lineno">  172</span>&#160;        static_assert(</div><div class="line"><a name="l00173"></a><span class="lineno">  173</span>&#160;            <a class="code" href="classllvm_1_1iterator__facade__base.html#ac111dbf74717bf5e6db6b9f8d5a81809a4f2910ff91c3e559958a66f09bfefe56">IsRandomAccess</a>,</div><div class="line"><a name="l00174"></a><span class="lineno">  174</span>&#160;            <span class="stringliteral">&quot;Relational operators are only defined for random access iterators.&quot;</span>);</div><div class="line"><a name="l00175"></a><span class="lineno">  175</span>&#160;        <span class="keywordflow">return</span> !(<span class="keyword">static_cast&lt;</span><span class="keyword">const </span>DerivedT &amp;<span class="keyword">&gt;</span>(*this) &lt; RHS) &amp;&amp;</div><div class="line"><a name="l00176"></a><span class="lineno">  176</span>&#160;               !(static_cast&lt;const DerivedT &amp;&gt;(*<span class="keyword">this</span>) == RHS);</div><div class="line"><a name="l00177"></a><span class="lineno">  177</span>&#160;    }</div><div class="line"><a name="l00178"></a><span class="lineno"><a class="line" href="classllvm_1_1iterator__facade__base.html#a11ebcbea3c495045f2bef3d4a0b92e61">  178</a></span>&#160;    <span class="keywordtype">bool</span> <a class="code" href="classllvm_1_1iterator__facade__base.html#a11ebcbea3c495045f2bef3d4a0b92e61">operator&lt;=</a>(<span class="keyword">const</span> DerivedT &amp;RHS)<span class="keyword"> const</span></div><div class="line"><a name="l00179"></a><span class="lineno">  179</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00180"></a><span class="lineno">  180</span>&#160;        static_assert(</div><div class="line"><a name="l00181"></a><span class="lineno">  181</span>&#160;            <a class="code" href="classllvm_1_1iterator__facade__base.html#ac111dbf74717bf5e6db6b9f8d5a81809a4f2910ff91c3e559958a66f09bfefe56">IsRandomAccess</a>,</div><div class="line"><a name="l00182"></a><span class="lineno">  182</span>&#160;            <span class="stringliteral">&quot;Relational operators are only defined for random access iterators.&quot;</span>);</div><div class="line"><a name="l00183"></a><span class="lineno">  183</span>&#160;        <span class="keywordflow">return</span> !(<span class="keyword">static_cast&lt;</span><span class="keyword">const </span>DerivedT &amp;<span class="keyword">&gt;</span>(*this) &gt; RHS);</div><div class="line"><a name="l00184"></a><span class="lineno">  184</span>&#160;    }</div><div class="line"><a name="l00185"></a><span class="lineno"><a class="line" href="classllvm_1_1iterator__facade__base.html#a2eaf8d2f2898a998c33dbc9d581844e3">  185</a></span>&#160;    <span class="keywordtype">bool</span> <a class="code" href="classllvm_1_1iterator__facade__base.html#a2eaf8d2f2898a998c33dbc9d581844e3">operator&gt;=</a>(<span class="keyword">const</span> DerivedT &amp;RHS)<span class="keyword"> const</span></div><div class="line"><a name="l00186"></a><span class="lineno">  186</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00187"></a><span class="lineno">  187</span>&#160;        static_assert(</div><div class="line"><a name="l00188"></a><span class="lineno">  188</span>&#160;            <a class="code" href="classllvm_1_1iterator__facade__base.html#ac111dbf74717bf5e6db6b9f8d5a81809a4f2910ff91c3e559958a66f09bfefe56">IsRandomAccess</a>,</div><div class="line"><a name="l00189"></a><span class="lineno">  189</span>&#160;            <span class="stringliteral">&quot;Relational operators are only defined for random access iterators.&quot;</span>);</div><div class="line"><a name="l00190"></a><span class="lineno">  190</span>&#160;        <span class="keywordflow">return</span> !(<span class="keyword">static_cast&lt;</span><span class="keyword">const </span>DerivedT &amp;<span class="keyword">&gt;</span>(*this) &lt; RHS);</div><div class="line"><a name="l00191"></a><span class="lineno">  191</span>&#160;    }</div><div class="line"><a name="l00192"></a><span class="lineno">  192</span>&#160;</div><div class="line"><a name="l00193"></a><span class="lineno"><a class="line" href="classllvm_1_1iterator__facade__base.html#ae99ad011019c5d09c5923dd020404e40">  193</a></span>&#160;    PointerT <a class="code" href="classllvm_1_1iterator__facade__base.html#ae99ad011019c5d09c5923dd020404e40">operator-&gt;</a>()</div><div class="line"><a name="l00194"></a><span class="lineno">  194</span>&#160;    {</div><div class="line"><a name="l00195"></a><span class="lineno">  195</span>&#160;        <span class="keywordflow">return</span> &amp;<span class="keyword">static_cast&lt;</span>DerivedT *<span class="keyword">&gt;</span>(<span class="keyword">this</span>)-&gt;<span class="keyword">operator</span>*();</div><div class="line"><a name="l00196"></a><span class="lineno">  196</span>&#160;    }</div><div class="line"><a name="l00197"></a><span class="lineno"><a class="line" href="classllvm_1_1iterator__facade__base.html#a1a6b6c67bf160e7e63b724ec72624ab2">  197</a></span>&#160;    PointerT <a class="code" href="classllvm_1_1iterator__facade__base.html#a1a6b6c67bf160e7e63b724ec72624ab2">operator-&gt;</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00198"></a><span class="lineno">  198</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00199"></a><span class="lineno">  199</span>&#160;        <span class="keywordflow">return</span> &amp;<span class="keyword">static_cast&lt;</span><span class="keyword">const </span>DerivedT *<span class="keyword">&gt;</span>(<span class="keyword">this</span>)-&gt;<span class="keyword">operator</span>*();</div><div class="line"><a name="l00200"></a><span class="lineno">  200</span>&#160;    }</div><div class="line"><a name="l00201"></a><span class="lineno"><a class="line" href="classllvm_1_1iterator__facade__base.html#affbe77f645dbac4bfd17d00b6ba769a0">  201</a></span>&#160;    <a class="code" href="classllvm_1_1iterator__facade__base_1_1ReferenceProxy.html#ab871b88a7116b9aa362a92bd47ddd776">ReferenceProxy</a> <a class="code" href="classllvm_1_1iterator__facade__base.html#affbe77f645dbac4bfd17d00b6ba769a0">operator[]</a>(DifferenceTypeT <a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>)</div><div class="line"><a name="l00202"></a><span class="lineno">  202</span>&#160;    {</div><div class="line"><a name="l00203"></a><span class="lineno">  203</span>&#160;        static_assert(<a class="code" href="classllvm_1_1iterator__facade__base.html#ac111dbf74717bf5e6db6b9f8d5a81809a4f2910ff91c3e559958a66f09bfefe56">IsRandomAccess</a>,</div><div class="line"><a name="l00204"></a><span class="lineno">  204</span>&#160;                      <span class="stringliteral">&quot;Subscripting is only defined for random access iterators.&quot;</span>);</div><div class="line"><a name="l00205"></a><span class="lineno">  205</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classllvm_1_1iterator__facade__base_1_1ReferenceProxy.html#ab871b88a7116b9aa362a92bd47ddd776">ReferenceProxy</a>(static_cast&lt;DerivedT *&gt;(<span class="keyword">this</span>)-&gt;<span class="keyword">operator</span>+(n));</div><div class="line"><a name="l00206"></a><span class="lineno">  206</span>&#160;    }</div><div class="line"><a name="l00207"></a><span class="lineno"><a class="line" href="classllvm_1_1iterator__facade__base.html#aef121b79d4aa4b0da5c1c8e9ae45f711">  207</a></span>&#160;    <a class="code" href="classllvm_1_1iterator__facade__base_1_1ReferenceProxy.html#ab871b88a7116b9aa362a92bd47ddd776">ReferenceProxy</a> <a class="code" href="classllvm_1_1iterator__facade__base.html#aef121b79d4aa4b0da5c1c8e9ae45f711">operator[]</a>(DifferenceTypeT <a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>)<span class="keyword"> const</span></div><div class="line"><a name="l00208"></a><span class="lineno">  208</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00209"></a><span class="lineno">  209</span>&#160;        static_assert(<a class="code" href="classllvm_1_1iterator__facade__base.html#ac111dbf74717bf5e6db6b9f8d5a81809a4f2910ff91c3e559958a66f09bfefe56">IsRandomAccess</a>,</div><div class="line"><a name="l00210"></a><span class="lineno">  210</span>&#160;                      <span class="stringliteral">&quot;Subscripting is only defined for random access iterators.&quot;</span>);</div><div class="line"><a name="l00211"></a><span class="lineno">  211</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classllvm_1_1iterator__facade__base_1_1ReferenceProxy.html#ab871b88a7116b9aa362a92bd47ddd776">ReferenceProxy</a>(static_cast&lt;const DerivedT *&gt;(<span class="keyword">this</span>)-&gt;<span class="keyword">operator</span>+(n));</div><div class="line"><a name="l00212"></a><span class="lineno">  212</span>&#160;    }</div><div class="line"><a name="l00213"></a><span class="lineno">  213</span>&#160;};</div><div class="line"><a name="l00214"></a><span class="lineno">  214</span>&#160;</div><div class="line"><a name="l00220"></a><span class="lineno">  220</span>&#160;<span class="keyword">template</span> &lt;</div><div class="line"><a name="l00221"></a><span class="lineno">  221</span>&#160;    <span class="keyword">typename</span> DerivedT, <span class="keyword">typename</span> WrappedIteratorT,</div><div class="line"><a name="l00222"></a><span class="lineno">  222</span>&#160;    <span class="keyword">typename</span> IteratorCategoryT =</div><div class="line"><a name="l00223"></a><span class="lineno">  223</span>&#160;    <span class="keyword">typename</span> std::iterator_traits&lt;WrappedIteratorT&gt;::iterator_category,</div><div class="line"><a name="l00224"></a><span class="lineno">  224</span>&#160;    <span class="keyword">typename</span> T = <span class="keyword">typename</span> std::iterator_traits&lt;WrappedIteratorT&gt;::value_type,</div><div class="line"><a name="l00225"></a><span class="lineno">  225</span>&#160;    <span class="keyword">typename</span> DifferenceTypeT =</div><div class="line"><a name="l00226"></a><span class="lineno">  226</span>&#160;    <span class="keyword">typename</span> std::iterator_traits&lt;WrappedIteratorT&gt;::difference_type,</div><div class="line"><a name="l00227"></a><span class="lineno">  227</span>&#160;    <span class="keyword">typename</span> PointerT = std::conditional_t&lt;</div><div class="line"><a name="l00228"></a><span class="lineno">  228</span>&#160;        std::is_same&lt;T, <span class="keyword">typename</span> std::iterator_traits&lt;</div><div class="line"><a name="l00229"></a><span class="lineno">  229</span>&#160;                         WrappedIteratorT&gt;<a class="code" href="classllvm_1_1iterator__facade__base.html#a36fb299f78c975d65ffcef4baa31b7f6">::value_type</a>&gt;::value,</div><div class="line"><a name="l00230"></a><span class="lineno">  230</span>&#160;        <span class="keyword">typename</span> std::iterator_traits&lt;WrappedIteratorT&gt;::pointer, T *&gt;,</div><div class="line"><a name="l00231"></a><span class="lineno">  231</span>&#160;    <span class="keyword">typename</span> ReferenceT = std::conditional_t&lt;</div><div class="line"><a name="l00232"></a><span class="lineno">  232</span>&#160;        std::is_same&lt;T, <span class="keyword">typename</span> std::iterator_traits&lt;</div><div class="line"><a name="l00233"></a><span class="lineno">  233</span>&#160;                         WrappedIteratorT&gt;<a class="code" href="classllvm_1_1iterator__facade__base.html#a36fb299f78c975d65ffcef4baa31b7f6">::value_type</a>&gt;::value,</div><div class="line"><a name="l00234"></a><span class="lineno">  234</span>&#160;        <span class="keyword">typename</span> std::iterator_traits&lt;WrappedIteratorT&gt;::reference, T &amp;&gt;&gt;</div><div class="line"><a name="l00235"></a><span class="lineno"><a class="line" href="classllvm_1_1iterator__adaptor__base.html">  235</a></span>&#160;<span class="keyword">class </span><a class="code" href="classllvm_1_1iterator__adaptor__base.html">iterator_adaptor_base</a></div><div class="line"><a name="l00236"></a><span class="lineno">  236</span>&#160;    : <span class="keyword">public</span> <a class="code" href="classllvm_1_1iterator__facade__base.html">iterator_facade_base</a>&lt;DerivedT, IteratorCategoryT, T,</div><div class="line"><a name="l00237"></a><span class="lineno">  237</span>&#160;      DifferenceTypeT, PointerT, ReferenceT&gt;</div><div class="line"><a name="l00238"></a><span class="lineno">  238</span>&#160;{</div><div class="line"><a name="l00239"></a><span class="lineno"><a class="line" href="classllvm_1_1iterator__adaptor__base.html#ac1f22569ffff340b8f178b93513bc0eb">  239</a></span>&#160;    <span class="keyword">using</span> <a class="code" href="classllvm_1_1iterator__adaptor__base.html#ac1f22569ffff340b8f178b93513bc0eb">BaseT</a> = <span class="keyword">typename</span> iterator_adaptor_base::iterator_facade_base;</div><div class="line"><a name="l00240"></a><span class="lineno">  240</span>&#160;</div><div class="line"><a name="l00241"></a><span class="lineno">  241</span>&#160;<span class="keyword">protected</span>:</div><div class="line"><a name="l00242"></a><span class="lineno"><a class="line" href="classllvm_1_1iterator__adaptor__base.html#a563ec95255977c34566292cbdce193b3">  242</a></span>&#160;    WrappedIteratorT <a class="code" href="classllvm_1_1iterator__adaptor__base.html#a563ec95255977c34566292cbdce193b3">I</a>;</div><div class="line"><a name="l00243"></a><span class="lineno">  243</span>&#160;</div><div class="line"><a name="l00244"></a><span class="lineno">  244</span>&#160;    <a class="code" href="classllvm_1_1iterator__adaptor__base.html">iterator_adaptor_base</a>() = <span class="keywordflow">default</span>;</div><div class="line"><a name="l00245"></a><span class="lineno">  245</span>&#160;</div><div class="line"><a name="l00246"></a><span class="lineno"><a class="line" href="classllvm_1_1iterator__adaptor__base.html#a0815f647af9e50dd6cd1602e1e262705">  246</a></span>&#160;    <span class="keyword">explicit</span> <a class="code" href="classllvm_1_1iterator__adaptor__base.html#a0815f647af9e50dd6cd1602e1e262705">iterator_adaptor_base</a>(WrappedIteratorT u) : I(<a class="code" href="namespacestd.html">std</a>::<a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">move</a>(u))</div><div class="line"><a name="l00247"></a><span class="lineno">  247</span>&#160;    {</div><div class="line"><a name="l00248"></a><span class="lineno">  248</span>&#160;        static_assert(std::is_base_of&lt;iterator_adaptor_base, DerivedT&gt;::value,</div><div class="line"><a name="l00249"></a><span class="lineno">  249</span>&#160;                      <span class="stringliteral">&quot;Must pass the derived type to this template!&quot;</span>);</div><div class="line"><a name="l00250"></a><span class="lineno">  250</span>&#160;    }</div><div class="line"><a name="l00251"></a><span class="lineno">  251</span>&#160;</div><div class="line"><a name="l00252"></a><span class="lineno"><a class="line" href="classllvm_1_1iterator__adaptor__base.html#a780f0b7d17722cfe06d228fea3c060f7">  252</a></span>&#160;    <span class="keyword">const</span> WrappedIteratorT &amp;<a class="code" href="classllvm_1_1iterator__adaptor__base.html#a780f0b7d17722cfe06d228fea3c060f7">wrapped</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00253"></a><span class="lineno">  253</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00254"></a><span class="lineno">  254</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classllvm_1_1iterator__facade__base_1_1ReferenceProxy.html#ac4e5c0067c64cd5c7e0184218cae3dd2">I</a>;</div><div class="line"><a name="l00255"></a><span class="lineno">  255</span>&#160;    }</div><div class="line"><a name="l00256"></a><span class="lineno">  256</span>&#160;</div><div class="line"><a name="l00257"></a><span class="lineno">  257</span>&#160;<span class="keyword">public</span>:</div><div class="line"><a name="l00258"></a><span class="lineno"><a class="line" href="classllvm_1_1iterator__adaptor__base.html#afddc7f6db019bdab6daa810e83d78de3">  258</a></span>&#160;    <span class="keyword">using</span> <a class="code" href="classllvm_1_1iterator__facade__base.html#a7e07dfa56b74ed115bdddd442e8184e6">difference_type</a> = DifferenceTypeT;</div><div class="line"><a name="l00259"></a><span class="lineno">  259</span>&#160;</div><div class="line"><a name="l00260"></a><span class="lineno"><a class="line" href="classllvm_1_1iterator__adaptor__base.html#a9e6d0dbf9e60bafcd26c82f901898315">  260</a></span>&#160;    DerivedT &amp;<a class="code" href="classllvm_1_1iterator__adaptor__base.html#a9e6d0dbf9e60bafcd26c82f901898315">operator+=</a>(<a class="code" href="classllvm_1_1iterator__facade__base.html#a7e07dfa56b74ed115bdddd442e8184e6">difference_type</a> <a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>)</div><div class="line"><a name="l00261"></a><span class="lineno">  261</span>&#160;    {</div><div class="line"><a name="l00262"></a><span class="lineno">  262</span>&#160;        static_assert(</div><div class="line"><a name="l00263"></a><span class="lineno">  263</span>&#160;            BaseT::IsRandomAccess,</div><div class="line"><a name="l00264"></a><span class="lineno">  264</span>&#160;            <span class="stringliteral">&quot;The &#39;+=&#39; operator is only defined for random access iterators.&quot;</span>);</div><div class="line"><a name="l00265"></a><span class="lineno">  265</span>&#160;        I += <a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>;</div><div class="line"><a name="l00266"></a><span class="lineno">  266</span>&#160;        <span class="keywordflow">return</span> *<span class="keyword">static_cast&lt;</span>DerivedT *<span class="keyword">&gt;</span>(<span class="keyword">this</span>);</div><div class="line"><a name="l00267"></a><span class="lineno">  267</span>&#160;    }</div><div class="line"><a name="l00268"></a><span class="lineno"><a class="line" href="classllvm_1_1iterator__adaptor__base.html#abf1116bfe125f6672bd752c1a1af1f6d">  268</a></span>&#160;    DerivedT &amp;<a class="code" href="classllvm_1_1iterator__adaptor__base.html#abf1116bfe125f6672bd752c1a1af1f6d">operator-=</a>(<a class="code" href="classllvm_1_1iterator__facade__base.html#a7e07dfa56b74ed115bdddd442e8184e6">difference_type</a> <a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>)</div><div class="line"><a name="l00269"></a><span class="lineno">  269</span>&#160;    {</div><div class="line"><a name="l00270"></a><span class="lineno">  270</span>&#160;        static_assert(</div><div class="line"><a name="l00271"></a><span class="lineno">  271</span>&#160;            BaseT::IsRandomAccess,</div><div class="line"><a name="l00272"></a><span class="lineno">  272</span>&#160;            <span class="stringliteral">&quot;The &#39;-=&#39; operator is only defined for random access iterators.&quot;</span>);</div><div class="line"><a name="l00273"></a><span class="lineno">  273</span>&#160;        I -= <a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>;</div><div class="line"><a name="l00274"></a><span class="lineno">  274</span>&#160;        <span class="keywordflow">return</span> *<span class="keyword">static_cast&lt;</span>DerivedT *<span class="keyword">&gt;</span>(<span class="keyword">this</span>);</div><div class="line"><a name="l00275"></a><span class="lineno">  275</span>&#160;    }</div><div class="line"><a name="l00276"></a><span class="lineno">  276</span>&#160;    <span class="keyword">using</span> BaseT::operator-;</div><div class="line"><a name="l00277"></a><span class="lineno"><a class="line" href="classllvm_1_1iterator__adaptor__base.html#a86b76a04e3b7abc4a27ca714cea0afee">  277</a></span>&#160;    <a class="code" href="classllvm_1_1iterator__facade__base.html#a7e07dfa56b74ed115bdddd442e8184e6">difference_type</a> <a class="code" href="classllvm_1_1iterator__adaptor__base.html#a86b76a04e3b7abc4a27ca714cea0afee">operator-</a>(<span class="keyword">const</span> DerivedT &amp;RHS)<span class="keyword"> const</span></div><div class="line"><a name="l00278"></a><span class="lineno">  278</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00279"></a><span class="lineno">  279</span>&#160;        static_assert(</div><div class="line"><a name="l00280"></a><span class="lineno">  280</span>&#160;            BaseT::IsRandomAccess,</div><div class="line"><a name="l00281"></a><span class="lineno">  281</span>&#160;            <span class="stringliteral">&quot;The &#39;-&#39; operator is only defined for random access iterators.&quot;</span>);</div><div class="line"><a name="l00282"></a><span class="lineno">  282</span>&#160;        <span class="keywordflow">return</span> I - RHS.I;</div><div class="line"><a name="l00283"></a><span class="lineno">  283</span>&#160;    }</div><div class="line"><a name="l00284"></a><span class="lineno">  284</span>&#160;</div><div class="line"><a name="l00285"></a><span class="lineno">  285</span>&#160;    <span class="comment">// We have to explicitly provide ++ and -- rather than letting the facade</span></div><div class="line"><a name="l00286"></a><span class="lineno">  286</span>&#160;    <span class="comment">// forward to += because WrappedIteratorT might not support +=.</span></div><div class="line"><a name="l00287"></a><span class="lineno">  287</span>&#160;    <span class="keyword">using</span> BaseT::operator++;</div><div class="line"><a name="l00288"></a><span class="lineno"><a class="line" href="classllvm_1_1iterator__adaptor__base.html#a395dc6bf1e4e4f1ee18354a9a2203259">  288</a></span>&#160;    DerivedT &amp;<a class="code" href="classllvm_1_1iterator__adaptor__base.html#a395dc6bf1e4e4f1ee18354a9a2203259">operator++</a>()</div><div class="line"><a name="l00289"></a><span class="lineno">  289</span>&#160;    {</div><div class="line"><a name="l00290"></a><span class="lineno">  290</span>&#160;        ++<a class="code" href="classllvm_1_1iterator__facade__base_1_1ReferenceProxy.html#ac4e5c0067c64cd5c7e0184218cae3dd2">I</a>;</div><div class="line"><a name="l00291"></a><span class="lineno">  291</span>&#160;        <span class="keywordflow">return</span> *<span class="keyword">static_cast&lt;</span>DerivedT *<span class="keyword">&gt;</span>(<span class="keyword">this</span>);</div><div class="line"><a name="l00292"></a><span class="lineno">  292</span>&#160;    }</div><div class="line"><a name="l00293"></a><span class="lineno">  293</span>&#160;    <span class="keyword">using</span> BaseT::operator--;</div><div class="line"><a name="l00294"></a><span class="lineno"><a class="line" href="classllvm_1_1iterator__adaptor__base.html#a924ad86f571d53385616b5663a1cf077">  294</a></span>&#160;    DerivedT &amp;<a class="code" href="classllvm_1_1iterator__adaptor__base.html#a924ad86f571d53385616b5663a1cf077">operator--</a>()</div><div class="line"><a name="l00295"></a><span class="lineno">  295</span>&#160;    {</div><div class="line"><a name="l00296"></a><span class="lineno">  296</span>&#160;        static_assert(</div><div class="line"><a name="l00297"></a><span class="lineno">  297</span>&#160;            BaseT::IsBidirectional,</div><div class="line"><a name="l00298"></a><span class="lineno">  298</span>&#160;            <span class="stringliteral">&quot;The decrement operator is only defined for bidirectional iterators.&quot;</span>);</div><div class="line"><a name="l00299"></a><span class="lineno">  299</span>&#160;        --<a class="code" href="classllvm_1_1iterator__facade__base_1_1ReferenceProxy.html#ac4e5c0067c64cd5c7e0184218cae3dd2">I</a>;</div><div class="line"><a name="l00300"></a><span class="lineno">  300</span>&#160;        <span class="keywordflow">return</span> *<span class="keyword">static_cast&lt;</span>DerivedT *<span class="keyword">&gt;</span>(<span class="keyword">this</span>);</div><div class="line"><a name="l00301"></a><span class="lineno">  301</span>&#160;    }</div><div class="line"><a name="l00302"></a><span class="lineno">  302</span>&#160;</div><div class="line"><a name="l00303"></a><span class="lineno"><a class="line" href="classllvm_1_1iterator__adaptor__base.html#ad3fbc9a33f20835bf81e343d85ce3aaa">  303</a></span>&#160;    <span class="keyword">friend</span> <span class="keywordtype">bool</span> <a class="code" href="classllvm_1_1iterator__adaptor__base.html#ad3fbc9a33f20835bf81e343d85ce3aaa">operator==</a>(<span class="keyword">const</span> <a class="code" href="classllvm_1_1iterator__adaptor__base.html">iterator_adaptor_base</a> &amp;LHS,</div><div class="line"><a name="l00304"></a><span class="lineno">  304</span>&#160;                           <span class="keyword">const</span> <a class="code" href="classllvm_1_1iterator__adaptor__base.html">iterator_adaptor_base</a> &amp;RHS)</div><div class="line"><a name="l00305"></a><span class="lineno">  305</span>&#160;    {</div><div class="line"><a name="l00306"></a><span class="lineno">  306</span>&#160;        <span class="keywordflow">return</span> LHS.<a class="code" href="classllvm_1_1iterator__adaptor__base.html#a563ec95255977c34566292cbdce193b3">I</a> == RHS.<a class="code" href="classllvm_1_1iterator__adaptor__base.html#a563ec95255977c34566292cbdce193b3">I</a>;</div><div class="line"><a name="l00307"></a><span class="lineno">  307</span>&#160;    }</div><div class="line"><a name="l00308"></a><span class="lineno"><a class="line" href="classllvm_1_1iterator__adaptor__base.html#a9f74fe2ddfed7feb928edc871cb213f6">  308</a></span>&#160;    <span class="keyword">friend</span> <span class="keywordtype">bool</span> <a class="code" href="classllvm_1_1iterator__adaptor__base.html#a9f74fe2ddfed7feb928edc871cb213f6">operator&lt;</a>(<span class="keyword">const</span> <a class="code" href="classllvm_1_1iterator__adaptor__base.html">iterator_adaptor_base</a> &amp;LHS,</div><div class="line"><a name="l00309"></a><span class="lineno">  309</span>&#160;                          <span class="keyword">const</span> <a class="code" href="classllvm_1_1iterator__adaptor__base.html">iterator_adaptor_base</a> &amp;RHS)</div><div class="line"><a name="l00310"></a><span class="lineno">  310</span>&#160;    {</div><div class="line"><a name="l00311"></a><span class="lineno">  311</span>&#160;        static_assert(</div><div class="line"><a name="l00312"></a><span class="lineno">  312</span>&#160;            BaseT::IsRandomAccess,</div><div class="line"><a name="l00313"></a><span class="lineno">  313</span>&#160;            <span class="stringliteral">&quot;Relational operators are only defined for random access iterators.&quot;</span>);</div><div class="line"><a name="l00314"></a><span class="lineno">  314</span>&#160;        <span class="keywordflow">return</span> LHS.<a class="code" href="classllvm_1_1iterator__adaptor__base.html#a563ec95255977c34566292cbdce193b3">I</a> &lt; RHS.<a class="code" href="classllvm_1_1iterator__adaptor__base.html#a563ec95255977c34566292cbdce193b3">I</a>;</div><div class="line"><a name="l00315"></a><span class="lineno">  315</span>&#160;    }</div><div class="line"><a name="l00316"></a><span class="lineno">  316</span>&#160;</div><div class="line"><a name="l00317"></a><span class="lineno"><a class="line" href="classllvm_1_1iterator__adaptor__base.html#ae47be6b8b03bf4680ea855ac805373a2">  317</a></span>&#160;    ReferenceT <a class="code" href="classllvm_1_1iterator__adaptor__base.html#ae47be6b8b03bf4680ea855ac805373a2">operator*</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00318"></a><span class="lineno">  318</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00319"></a><span class="lineno">  319</span>&#160;        <span class="keywordflow">return</span> *<a class="code" href="classllvm_1_1iterator__facade__base_1_1ReferenceProxy.html#ac4e5c0067c64cd5c7e0184218cae3dd2">I</a>;</div><div class="line"><a name="l00320"></a><span class="lineno">  320</span>&#160;    }</div><div class="line"><a name="l00321"></a><span class="lineno">  321</span>&#160;};</div><div class="line"><a name="l00322"></a><span class="lineno">  322</span>&#160;</div><div class="line"><a name="l00332"></a><span class="lineno">  332</span>&#160;<span class="keyword">template</span> &lt;<span class="keyword">typename</span> WrappedIteratorT,</div><div class="line"><a name="l00333"></a><span class="lineno">  333</span>&#160;          <span class="keyword">typename</span> T = std::remove_reference_t&lt;decltype(</div><div class="line"><a name="l00334"></a><span class="lineno">  334</span>&#160;                      **std::declval&lt;WrappedIteratorT&gt;())&gt;&gt;</div><div class="line"><a name="l00335"></a><span class="lineno"><a class="line" href="structllvm_1_1pointee__iterator.html">  335</a></span>&#160;<span class="keyword">struct </span><a class="code" href="structllvm_1_1pointee__iterator.html">pointee_iterator</a></div><div class="line"><a name="l00336"></a><span class="lineno">  336</span>&#160;    : <a class="code" href="classllvm_1_1iterator__adaptor__base.html">iterator_adaptor_base</a>&lt;</div><div class="line"><a name="l00337"></a><span class="lineno">  337</span>&#160;      pointee_iterator&lt;WrappedIteratorT, T&gt;, WrappedIteratorT,</div><div class="line"><a name="l00338"></a><span class="lineno">  338</span>&#160;      typename std::iterator_traits&lt;WrappedIteratorT&gt;::iterator_category,</div><div class="line"><a name="l00339"></a><span class="lineno">  339</span>&#160;      T&gt;</div><div class="line"><a name="l00340"></a><span class="lineno">  340</span>&#160;{</div><div class="line"><a name="l00341"></a><span class="lineno">  341</span>&#160;    <a class="code" href="structllvm_1_1pointee__iterator.html">pointee_iterator</a>() = <span class="keywordflow">default</span>;</div><div class="line"><a name="l00342"></a><span class="lineno">  342</span>&#160;    <span class="keyword">template</span> &lt;<span class="keyword">typename</span> U&gt;</div><div class="line"><a name="l00343"></a><span class="lineno"><a class="line" href="structllvm_1_1pointee__iterator.html#a59bc770f1247d7ba2273481b962cae62">  343</a></span>&#160;    <a class="code" href="structllvm_1_1pointee__iterator.html#a59bc770f1247d7ba2273481b962cae62">pointee_iterator</a>(U &amp;&amp;u)</div><div class="line"><a name="l00344"></a><span class="lineno">  344</span>&#160;        : <a class="code" href="structllvm_1_1pointee__iterator.html">pointee_iterator</a>::<a class="code" href="classllvm_1_1iterator__adaptor__base.html">iterator_adaptor_base</a>(<a class="code" href="namespacestd.html">std</a>::forward&lt;U &amp;&amp;&gt;(u)) {}</div><div class="line"><a name="l00345"></a><span class="lineno">  345</span>&#160;</div><div class="line"><a name="l00346"></a><span class="lineno"><a class="line" href="structllvm_1_1pointee__iterator.html#a36ef3dae4b2e8b955d19f02b520c80aa">  346</a></span>&#160;    T &amp;<a class="code" href="structllvm_1_1pointee__iterator.html#a36ef3dae4b2e8b955d19f02b520c80aa">operator*</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00347"></a><span class="lineno">  347</span>&#160;<span class="keyword">    </span>{</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="classllvm_1_1iterator__facade__base_1_1ReferenceProxy.html#ac4e5c0067c64cd5c7e0184218cae3dd2">I</a>;</div><div class="line"><a name="l00349"></a><span class="lineno">  349</span>&#160;    }</div><div class="line"><a name="l00350"></a><span class="lineno">  350</span>&#160;};</div><div class="line"><a name="l00351"></a><span class="lineno">  351</span>&#160;</div><div class="line"><a name="l00352"></a><span class="lineno">  352</span>&#160;<span class="keyword">template</span> &lt;<span class="keyword">typename</span> RangeT, <span class="keyword">typename</span> WrappedIteratorT =</div><div class="line"><a name="l00353"></a><span class="lineno">  353</span>&#160;          decltype(std::begin(std::declval&lt;RangeT&gt;()))&gt;</div><div class="line"><a name="l00354"></a><span class="lineno">  354</span>&#160;<a class="code" href="classllvm_1_1iterator__range.html">iterator_range&lt;pointee_iterator&lt;WrappedIteratorT&gt;</a>&gt;</div><div class="line"><a name="l00355"></a><span class="lineno"><a class="line" href="namespacellvm.html#aec01581c3275a7fab5a18b88a02c96b7">  355</a></span>&#160;        <a class="code" href="namespacellvm.html#aec01581c3275a7fab5a18b88a02c96b7">make_pointee_range</a>(RangeT &amp;&amp;Range)</div><div class="line"><a name="l00356"></a><span class="lineno">  356</span>&#160;{</div><div class="line"><a name="l00357"></a><span class="lineno">  357</span>&#160;    <span class="keyword">using</span> PointeeIteratorT = <a class="code" href="structllvm_1_1pointee__iterator.html">pointee_iterator&lt;WrappedIteratorT&gt;</a>;</div><div class="line"><a name="l00358"></a><span class="lineno">  358</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="namespacellvm.html#ad1a91b49e0c092818a0b82f6cc130a1b">make_range</a>(PointeeIteratorT(std::begin(std::forward&lt;RangeT&gt;(Range))),</div><div class="line"><a name="l00359"></a><span class="lineno">  359</span>&#160;                      PointeeIteratorT(std::end(std::forward&lt;RangeT&gt;(Range))));</div><div class="line"><a name="l00360"></a><span class="lineno">  360</span>&#160;}</div><div class="line"><a name="l00361"></a><span class="lineno">  361</span>&#160;</div><div class="line"><a name="l00362"></a><span class="lineno">  362</span>&#160;<span class="keyword">template</span> &lt;<span class="keyword">typename</span> WrappedIteratorT,</div><div class="line"><a name="l00363"></a><span class="lineno">  363</span>&#160;          <span class="keyword">typename</span> T = decltype(&amp;*std::declval&lt;WrappedIteratorT&gt;())&gt;</div><div class="line"><a name="l00364"></a><span class="lineno"><a class="line" href="classllvm_1_1pointer__iterator.html">  364</a></span>&#160;<span class="keyword">class </span><a class="code" href="classllvm_1_1pointer__iterator.html">pointer_iterator</a></div><div class="line"><a name="l00365"></a><span class="lineno">  365</span>&#160;    : <span class="keyword">public</span> <a class="code" href="classllvm_1_1iterator__adaptor__base.html">iterator_adaptor_base</a>&lt;</div><div class="line"><a name="l00366"></a><span class="lineno">  366</span>&#160;      pointer_iterator&lt;WrappedIteratorT, T&gt;, WrappedIteratorT,</div><div class="line"><a name="l00367"></a><span class="lineno">  367</span>&#160;      typename std::iterator_traits&lt;WrappedIteratorT&gt;::iterator_category,</div><div class="line"><a name="l00368"></a><span class="lineno">  368</span>&#160;      T&gt;</div><div class="line"><a name="l00369"></a><span class="lineno">  369</span>&#160;{</div><div class="line"><a name="l00370"></a><span class="lineno"><a class="line" href="classllvm_1_1pointer__iterator.html#ac6288459e1f350103a2cd26d20ce0df7">  370</a></span>&#160;    <span class="keyword">mutable</span> T <a class="code" href="classllvm_1_1pointer__iterator.html#ac6288459e1f350103a2cd26d20ce0df7">Ptr</a>;</div><div class="line"><a name="l00371"></a><span class="lineno">  371</span>&#160;</div><div class="line"><a name="l00372"></a><span class="lineno">  372</span>&#160;<span class="keyword">public</span>:</div><div class="line"><a name="l00373"></a><span class="lineno">  373</span>&#160;    <a class="code" href="classllvm_1_1pointer__iterator.html">pointer_iterator</a>() = <span class="keywordflow">default</span>;</div><div class="line"><a name="l00374"></a><span class="lineno">  374</span>&#160;</div><div class="line"><a name="l00375"></a><span class="lineno"><a class="line" href="classllvm_1_1pointer__iterator.html#a738f3d6c147e1670a42d66c960bed2fc">  375</a></span>&#160;    <span class="keyword">explicit</span> <a class="code" href="classllvm_1_1pointer__iterator.html#a738f3d6c147e1670a42d66c960bed2fc">pointer_iterator</a>(WrappedIteratorT u)</div><div class="line"><a name="l00376"></a><span class="lineno">  376</span>&#160;        : <a class="code" href="classllvm_1_1pointer__iterator.html">pointer_iterator</a>::<a class="code" href="classllvm_1_1iterator__adaptor__base.html">iterator_adaptor_base</a>(<a class="code" href="namespacestd.html">std</a>::<a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">move</a>(u)) {}</div><div class="line"><a name="l00377"></a><span class="lineno">  377</span>&#160;</div><div class="line"><a name="l00378"></a><span class="lineno"><a class="line" href="classllvm_1_1pointer__iterator.html#a60bd26b721875ebe0e82e68ddde20f16">  378</a></span>&#160;    T &amp;<a class="code" href="classllvm_1_1pointer__iterator.html#a60bd26b721875ebe0e82e68ddde20f16">operator*</a>()</div><div class="line"><a name="l00379"></a><span class="lineno">  379</span>&#160;    {</div><div class="line"><a name="l00380"></a><span class="lineno">  380</span>&#160;        <span class="keywordflow">return</span> Ptr = &amp;*this-&gt;<a class="code" href="classllvm_1_1iterator__facade__base_1_1ReferenceProxy.html#ac4e5c0067c64cd5c7e0184218cae3dd2">I</a>;</div><div class="line"><a name="l00381"></a><span class="lineno">  381</span>&#160;    }</div><div class="line"><a name="l00382"></a><span class="lineno"><a class="line" href="classllvm_1_1pointer__iterator.html#a5623e1644b102203f3bbf4533c74abaa">  382</a></span>&#160;    <span class="keyword">const</span> T &amp;<a class="code" href="classllvm_1_1pointer__iterator.html#a5623e1644b102203f3bbf4533c74abaa">operator*</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00383"></a><span class="lineno">  383</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00384"></a><span class="lineno">  384</span>&#160;        <span class="keywordflow">return</span> Ptr = &amp;*this-&gt;<a class="code" href="classllvm_1_1iterator__facade__base_1_1ReferenceProxy.html#ac4e5c0067c64cd5c7e0184218cae3dd2">I</a>;</div><div class="line"><a name="l00385"></a><span class="lineno">  385</span>&#160;    }</div><div class="line"><a name="l00386"></a><span class="lineno">  386</span>&#160;};</div><div class="line"><a name="l00387"></a><span class="lineno">  387</span>&#160;</div><div class="line"><a name="l00388"></a><span class="lineno">  388</span>&#160;<span class="keyword">template</span> &lt;<span class="keyword">typename</span> RangeT, <span class="keyword">typename</span> WrappedIteratorT =</div><div class="line"><a name="l00389"></a><span class="lineno">  389</span>&#160;          decltype(std::begin(std::declval&lt;RangeT&gt;()))&gt;</div><div class="line"><a name="l00390"></a><span class="lineno">  390</span>&#160;<a class="code" href="classllvm_1_1iterator__range.html">iterator_range&lt;pointer_iterator&lt;WrappedIteratorT&gt;</a>&gt;</div><div class="line"><a name="l00391"></a><span class="lineno"><a class="line" href="namespacellvm.html#af8941b8ce2fe4581623e4962b287cc5c">  391</a></span>&#160;        <a class="code" href="namespacellvm.html#af8941b8ce2fe4581623e4962b287cc5c">make_pointer_range</a>(RangeT &amp;&amp;Range)</div><div class="line"><a name="l00392"></a><span class="lineno">  392</span>&#160;{</div><div class="line"><a name="l00393"></a><span class="lineno">  393</span>&#160;    <span class="keyword">using</span> PointerIteratorT = <a class="code" href="classllvm_1_1pointer__iterator.html">pointer_iterator&lt;WrappedIteratorT&gt;</a>;</div><div class="line"><a name="l00394"></a><span class="lineno">  394</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="namespacellvm.html#ad1a91b49e0c092818a0b82f6cc130a1b">make_range</a>(PointerIteratorT(std::begin(std::forward&lt;RangeT&gt;(Range))),</div><div class="line"><a name="l00395"></a><span class="lineno">  395</span>&#160;                      PointerIteratorT(std::end(std::forward&lt;RangeT&gt;(Range))));</div><div class="line"><a name="l00396"></a><span class="lineno">  396</span>&#160;}</div><div class="line"><a name="l00397"></a><span class="lineno">  397</span>&#160;</div><div class="line"><a name="l00398"></a><span class="lineno">  398</span>&#160;<span class="keyword">template</span> &lt;<span class="keyword">typename</span> WrappedIteratorT,</div><div class="line"><a name="l00399"></a><span class="lineno">  399</span>&#160;          <span class="keyword">typename</span> T1 = std::remove_reference_t&lt;decltype(</div><div class="line"><a name="l00400"></a><span class="lineno">  400</span>&#160;                      **std::declval&lt;WrappedIteratorT&gt;())&gt;,</div><div class="line"><a name="l00401"></a><span class="lineno">  401</span>&#160;          <span class="keyword">typename</span> T2 = std::add_pointer_t&lt;T1&gt;&gt;</div><div class="line"><a name="l00402"></a><span class="lineno">  402</span>&#160;<span class="keyword">using</span> <a class="code" href="classllvm_1_1pointer__iterator.html">raw_pointer_iterator</a> =</div><div class="line"><a name="l00403"></a><span class="lineno"><a class="line" href="namespacellvm.html#aca4a1c40c795d723338628e5e405757c">  403</a></span>&#160;    <a class="code" href="classllvm_1_1pointer__iterator.html">pointer_iterator&lt;pointee_iterator&lt;WrappedIteratorT, T1&gt;</a>, T2&gt;;</div><div class="line"><a name="l00404"></a><span class="lineno">  404</span>&#160;</div><div class="line"><a name="l00405"></a><span class="lineno">  405</span>&#160;} <span class="comment">// end namespace llvm</span></div><div class="line"><a name="l00406"></a><span class="lineno">  406</span>&#160;</div><div class="line"><a name="l00407"></a><span class="lineno">  407</span>&#160;<span class="preprocessor">#endif // LLVM_ADT_ITERATOR_H</span></div><div class="ttc" id="classllvm_1_1iterator__facade__base_html_a491d3989cc90d99cdb1f123d141b87cb"><div class="ttname"><a href="classllvm_1_1iterator__facade__base.html#a491d3989cc90d99cdb1f123d141b87cb">llvm::iterator_facade_base::operator-</a></div><div class="ttdeci">DerivedT operator-(DifferenceTypeT n) const</div><div class="ttdef"><b>Definition:</b> <a href="iterator_8h_source.html#l00124">iterator.h:124</a></div></div>
+<div class="ttc" id="classllvm_1_1iterator__facade__base_html_ae2d9deb2dce97bf6cf45faf988c30a3b"><div class="ttname"><a href="classllvm_1_1iterator__facade__base.html#ae2d9deb2dce97bf6cf45faf988c30a3b">llvm::iterator_facade_base&lt; pointer_iterator&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;::pointer</a></div><div class="ttdeci">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; pointer</div><div class="ttdef"><b>Definition:</b> <a href="iterator_8h_source.html#l00073">iterator.h:73</a></div></div>
+<div class="ttc" id="classllvm_1_1iterator__facade__base_html_ac111dbf74717bf5e6db6b9f8d5a81809a4f2910ff91c3e559958a66f09bfefe56"><div class="ttname"><a href="classllvm_1_1iterator__facade__base.html#ac111dbf74717bf5e6db6b9f8d5a81809a4f2910ff91c3e559958a66f09bfefe56">llvm::iterator_facade_base::IsRandomAccess</a></div><div class="ttdef"><b>Definition:</b> <a href="iterator_8h_source.html#l00079">iterator.h:79</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="classllvm_1_1iterator__facade__base_html_a8177352435657f182290be3d5c345cfc"><div class="ttname"><a href="classllvm_1_1iterator__facade__base.html#a8177352435657f182290be3d5c345cfc">llvm::iterator_facade_base::operator!=</a></div><div class="ttdeci">bool operator!=(const DerivedT &amp;RHS) const</div><div class="ttdef"><b>Definition:</b> <a href="iterator_8h_source.html#l00164">iterator.h:164</a></div></div>
+<div class="ttc" id="classllvm_1_1iterator__adaptor__base_html_ae47be6b8b03bf4680ea855ac805373a2"><div class="ttname"><a href="classllvm_1_1iterator__adaptor__base.html#ae47be6b8b03bf4680ea855ac805373a2">llvm::iterator_adaptor_base::operator*</a></div><div class="ttdeci">ReferenceT operator*() const</div><div class="ttdef"><b>Definition:</b> <a href="iterator_8h_source.html#l00317">iterator.h:317</a></div></div>
+<div class="ttc" id="classllvm_1_1iterator__facade__base_html_a2eaf8d2f2898a998c33dbc9d581844e3"><div class="ttname"><a href="classllvm_1_1iterator__facade__base.html#a2eaf8d2f2898a998c33dbc9d581844e3">llvm::iterator_facade_base::operator&gt;=</a></div><div class="ttdeci">bool operator&gt;=(const DerivedT &amp;RHS) const</div><div class="ttdef"><b>Definition:</b> <a href="iterator_8h_source.html#l00185">iterator.h:185</a></div></div>
+<div class="ttc" id="iterator__range_8h_html"><div class="ttname"><a href="iterator__range_8h.html">iterator_range.h</a></div></div>
+<div class="ttc" id="classllvm_1_1iterator__facade__base_html_a11ebcbea3c495045f2bef3d4a0b92e61"><div class="ttname"><a href="classllvm_1_1iterator__facade__base.html#a11ebcbea3c495045f2bef3d4a0b92e61">llvm::iterator_facade_base::operator&lt;=</a></div><div class="ttdeci">bool operator&lt;=(const DerivedT &amp;RHS) const</div><div class="ttdef"><b>Definition:</b> <a href="iterator_8h_source.html#l00178">iterator.h:178</a></div></div>
+<div class="ttc" id="classllvm_1_1iterator__facade__base_1_1ReferenceProxy_html_ac4e5c0067c64cd5c7e0184218cae3dd2"><div class="ttname"><a href="classllvm_1_1iterator__facade__base_1_1ReferenceProxy.html#ac4e5c0067c64cd5c7e0184218cae3dd2">llvm::iterator_facade_base::ReferenceProxy::I</a></div><div class="ttdeci">DerivedT I</div><div class="ttdef"><b>Definition:</b> <a href="iterator_8h_source.html#l00094">iterator.h:94</a></div></div>
+<div class="ttc" id="classllvm_1_1iterator__adaptor__base_html_ac1f22569ffff340b8f178b93513bc0eb"><div class="ttname"><a href="classllvm_1_1iterator__adaptor__base.html#ac1f22569ffff340b8f178b93513bc0eb">llvm::iterator_adaptor_base&lt; pointer_iterator&lt; WrappedIteratorT, T &gt;, WrappedIteratorT, std::iterator_traits&lt; WrappedIteratorT &gt;::iterator_category, T &gt;::BaseT</a></div><div class="ttdeci">typename iterator_adaptor_base::iterator_facade_base BaseT</div><div class="ttdef"><b>Definition:</b> <a href="iterator_8h_source.html#l00239">iterator.h:239</a></div></div>
+<div class="ttc" id="classllvm_1_1iterator__facade__base_html_ae99ad011019c5d09c5923dd020404e40"><div class="ttname"><a href="classllvm_1_1iterator__facade__base.html#ae99ad011019c5d09c5923dd020404e40">llvm::iterator_facade_base::operator-&gt;</a></div><div class="ttdeci">PointerT operator-&gt;()</div><div class="ttdef"><b>Definition:</b> <a href="iterator_8h_source.html#l00193">iterator.h:193</a></div></div>
+<div class="ttc" id="classllvm_1_1iterator__facade__base_1_1ReferenceProxy_html"><div class="ttname"><a href="classllvm_1_1iterator__facade__base_1_1ReferenceProxy.html">llvm::iterator_facade_base::ReferenceProxy</a></div><div class="ttdef"><b>Definition:</b> <a href="iterator_8h_source.html#l00090">iterator.h:90</a></div></div>
+<div class="ttc" id="classllvm_1_1pointer__iterator_html_ac6288459e1f350103a2cd26d20ce0df7"><div class="ttname"><a href="classllvm_1_1pointer__iterator.html#ac6288459e1f350103a2cd26d20ce0df7">llvm::pointer_iterator::Ptr</a></div><div class="ttdeci">T Ptr</div><div class="ttdef"><b>Definition:</b> <a href="iterator_8h_source.html#l00370">iterator.h:370</a></div></div>
+<div class="ttc" id="classllvm_1_1iterator__adaptor__base_html_abf1116bfe125f6672bd752c1a1af1f6d"><div class="ttname"><a href="classllvm_1_1iterator__adaptor__base.html#abf1116bfe125f6672bd752c1a1af1f6d">llvm::iterator_adaptor_base::operator-=</a></div><div class="ttdeci">DerivedT &amp; operator-=(difference_type n)</div><div class="ttdef"><b>Definition:</b> <a href="iterator_8h_source.html#l00268">iterator.h:268</a></div></div>
+<div class="ttc" id="classllvm_1_1iterator__facade__base_html_ac111dbf74717bf5e6db6b9f8d5a81809a4e1f229fa73b6b5c2f25734ab347c51f"><div class="ttname"><a href="classllvm_1_1iterator__facade__base.html#ac111dbf74717bf5e6db6b9f8d5a81809a4e1f229fa73b6b5c2f25734ab347c51f">llvm::iterator_facade_base::IsBidirectional</a></div><div class="ttdef"><b>Definition:</b> <a href="iterator_8h_source.html#l00081">iterator.h:81</a></div></div>
+<div class="ttc" id="namespacestd_html"><div class="ttname"><a href="namespacestd.html">std</a></div></div>
+<div class="ttc" id="classllvm_1_1pointer__iterator_html_a60bd26b721875ebe0e82e68ddde20f16"><div class="ttname"><a href="classllvm_1_1pointer__iterator.html#a60bd26b721875ebe0e82e68ddde20f16">llvm::pointer_iterator::operator*</a></div><div class="ttdeci">T &amp; operator*()</div><div class="ttdef"><b>Definition:</b> <a href="iterator_8h_source.html#l00378">iterator.h:378</a></div></div>
+<div class="ttc" id="classllvm_1_1iterator__facade__base_html_a7e07dfa56b74ed115bdddd442e8184e6"><div class="ttname"><a href="classllvm_1_1iterator__facade__base.html#a7e07dfa56b74ed115bdddd442e8184e6">llvm::iterator_facade_base&lt; pointer_iterator&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;::difference_type</a></div><div class="ttdeci">typename std::iterator_traits&lt; WrappedIteratorT &gt;::difference_type difference_type</div><div class="ttdef"><b>Definition:</b> <a href="iterator_8h_source.html#l00072">iterator.h:72</a></div></div>
+<div class="ttc" id="classllvm_1_1iterator__facade__base_html_aa8fb990c1847fec73bcbcaab5517ee11"><div class="ttname"><a href="classllvm_1_1iterator__facade__base.html#aa8fb990c1847fec73bcbcaab5517ee11">llvm::iterator_facade_base::operator--</a></div><div class="ttdeci">DerivedT &amp; operator--()</div><div class="ttdef"><b>Definition:</b> <a href="iterator_8h_source.html#l00146">iterator.h:146</a></div></div>
+<div class="ttc" id="classllvm_1_1iterator__facade__base_1_1ReferenceProxy_html_ab871b88a7116b9aa362a92bd47ddd776"><div class="ttname"><a href="classllvm_1_1iterator__facade__base_1_1ReferenceProxy.html#ab871b88a7116b9aa362a92bd47ddd776">llvm::iterator_facade_base::ReferenceProxy::ReferenceProxy</a></div><div class="ttdeci">ReferenceProxy(DerivedT I)</div><div class="ttdef"><b>Definition:</b> <a href="iterator_8h_source.html#l00096">iterator.h:96</a></div></div>
+<div class="ttc" id="cJSON_8cpp_html_ab6e2ea6dc7bd57d1483413449998230a"><div class="ttname"><a href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a></div><div class="ttdeci">cJSON * n</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l02558">cJSON.cpp:2558</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="classllvm_1_1iterator__facade__base_html"><div class="ttname"><a href="classllvm_1_1iterator__facade__base.html">llvm::iterator_facade_base</a></div><div class="ttdef"><b>Definition:</b> <a href="iterator_8h_source.html#l00067">iterator.h:67</a></div></div>
+<div class="ttc" id="classllvm_1_1iterator__facade__base_html_a36fb299f78c975d65ffcef4baa31b7f6"><div class="ttname"><a href="classllvm_1_1iterator__facade__base.html#a36fb299f78c975d65ffcef4baa31b7f6">llvm::iterator_facade_base&lt; pointer_iterator&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;::value_type</a></div><div class="ttdeci">T value_type</div><div class="ttdef"><b>Definition:</b> <a href="iterator_8h_source.html#l00071">iterator.h:71</a></div></div>
+<div class="ttc" id="classllvm_1_1iterator__facade__base_1_1ReferenceProxy_html_ae839596dce7d66788c89951710111945"><div class="ttname"><a href="classllvm_1_1iterator__facade__base_1_1ReferenceProxy.html#ae839596dce7d66788c89951710111945">llvm::iterator_facade_base::ReferenceProxy::iterator_facade_base</a></div><div class="ttdeci">friend iterator_facade_base</div><div class="ttdef"><b>Definition:</b> <a href="iterator_8h_source.html#l00092">iterator.h:92</a></div></div>
+<div class="ttc" id="classllvm_1_1iterator__adaptor__base_html_ad3fbc9a33f20835bf81e343d85ce3aaa"><div class="ttname"><a href="classllvm_1_1iterator__adaptor__base.html#ad3fbc9a33f20835bf81e343d85ce3aaa">llvm::iterator_adaptor_base::operator==</a></div><div class="ttdeci">friend bool operator==(const iterator_adaptor_base &amp;LHS, const iterator_adaptor_base &amp;RHS)</div><div class="ttdef"><b>Definition:</b> <a href="iterator_8h_source.html#l00303">iterator.h:303</a></div></div>
+<div class="ttc" id="classllvm_1_1iterator__adaptor__base_html"><div class="ttname"><a href="classllvm_1_1iterator__adaptor__base.html">llvm::iterator_adaptor_base</a></div><div class="ttdef"><b>Definition:</b> <a href="iterator_8h_source.html#l00235">iterator.h:235</a></div></div>
+<div class="ttc" id="classllvm_1_1iterator__facade__base_html_affbe77f645dbac4bfd17d00b6ba769a0"><div class="ttname"><a href="classllvm_1_1iterator__facade__base.html#affbe77f645dbac4bfd17d00b6ba769a0">llvm::iterator_facade_base::operator[]</a></div><div class="ttdeci">ReferenceProxy operator[](DifferenceTypeT n)</div><div class="ttdef"><b>Definition:</b> <a href="iterator_8h_source.html#l00201">iterator.h:201</a></div></div>
+<div class="ttc" id="classllvm_1_1iterator__adaptor__base_html_a9e6d0dbf9e60bafcd26c82f901898315"><div class="ttname"><a href="classllvm_1_1iterator__adaptor__base.html#a9e6d0dbf9e60bafcd26c82f901898315">llvm::iterator_adaptor_base::operator+=</a></div><div class="ttdeci">DerivedT &amp; operator+=(difference_type n)</div><div class="ttdef"><b>Definition:</b> <a href="iterator_8h_source.html#l00260">iterator.h:260</a></div></div>
+<div class="ttc" id="classllvm_1_1iterator__facade__base_html_a56831a09ff0a972cfb02376aaab2caab"><div class="ttname"><a href="classllvm_1_1iterator__facade__base.html#a56831a09ff0a972cfb02376aaab2caab">llvm::iterator_facade_base::operator+</a></div><div class="ttdeci">friend DerivedT operator+(DifferenceTypeT n, const DerivedT &amp;i)</div><div class="ttdef"><b>Definition:</b> <a href="iterator_8h_source.html#l00117">iterator.h:117</a></div></div>
+<div class="ttc" id="classllvm_1_1pointer__iterator_html"><div class="ttname"><a href="classllvm_1_1pointer__iterator.html">llvm::pointer_iterator</a></div><div class="ttdef"><b>Definition:</b> <a href="iterator_8h_source.html#l00364">iterator.h:364</a></div></div>
+<div class="ttc" id="classllvm_1_1iterator__adaptor__base_html_a86b76a04e3b7abc4a27ca714cea0afee"><div class="ttname"><a href="classllvm_1_1iterator__adaptor__base.html#a86b76a04e3b7abc4a27ca714cea0afee">llvm::iterator_adaptor_base::operator-</a></div><div class="ttdeci">difference_type operator-(const DerivedT &amp;RHS) const</div><div class="ttdef"><b>Definition:</b> <a href="iterator_8h_source.html#l00277">iterator.h:277</a></div></div>
+<div class="ttc" id="classllvm_1_1iterator__facade__base_html_acf61699425762fc11a314213e3bc6ef4"><div class="ttname"><a href="classllvm_1_1iterator__facade__base.html#acf61699425762fc11a314213e3bc6ef4">llvm::iterator_facade_base::operator+</a></div><div class="ttdeci">DerivedT operator+(DifferenceTypeT n) const</div><div class="ttdef"><b>Definition:</b> <a href="iterator_8h_source.html#l00106">iterator.h:106</a></div></div>
+<div class="ttc" id="classllvm_1_1iterator__adaptor__base_html_a0815f647af9e50dd6cd1602e1e262705"><div class="ttname"><a href="classllvm_1_1iterator__adaptor__base.html#a0815f647af9e50dd6cd1602e1e262705">llvm::iterator_adaptor_base::iterator_adaptor_base</a></div><div class="ttdeci">iterator_adaptor_base(WrappedIteratorT u)</div><div class="ttdef"><b>Definition:</b> <a href="iterator_8h_source.html#l00246">iterator.h:246</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="structllvm_1_1pointee__iterator_html_a59bc770f1247d7ba2273481b962cae62"><div class="ttname"><a href="structllvm_1_1pointee__iterator.html#a59bc770f1247d7ba2273481b962cae62">llvm::pointee_iterator::pointee_iterator</a></div><div class="ttdeci">pointee_iterator(U &amp;&amp;u)</div><div class="ttdef"><b>Definition:</b> <a href="iterator_8h_source.html#l00343">iterator.h:343</a></div></div>
+<div class="ttc" id="classllvm_1_1iterator__facade__base_html_aef121b79d4aa4b0da5c1c8e9ae45f711"><div class="ttname"><a href="classllvm_1_1iterator__facade__base.html#aef121b79d4aa4b0da5c1c8e9ae45f711">llvm::iterator_facade_base::operator[]</a></div><div class="ttdeci">ReferenceProxy operator[](DifferenceTypeT n) const</div><div class="ttdef"><b>Definition:</b> <a href="iterator_8h_source.html#l00207">iterator.h:207</a></div></div>
+<div class="ttc" id="classllvm_1_1iterator__facade__base_html_a5e76a6059a007866f3a307fdaf8f3401"><div class="ttname"><a href="classllvm_1_1iterator__facade__base.html#a5e76a6059a007866f3a307fdaf8f3401">llvm::iterator_facade_base::operator++</a></div><div class="ttdeci">DerivedT &amp; operator++()</div><div class="ttdef"><b>Definition:</b> <a href="iterator_8h_source.html#l00134">iterator.h:134</a></div></div>
+<div class="ttc" id="classllvm_1_1iterator__facade__base_html_a1a6b6c67bf160e7e63b724ec72624ab2"><div class="ttname"><a href="classllvm_1_1iterator__facade__base.html#a1a6b6c67bf160e7e63b724ec72624ab2">llvm::iterator_facade_base::operator-&gt;</a></div><div class="ttdeci">PointerT operator-&gt;() const</div><div class="ttdef"><b>Definition:</b> <a href="iterator_8h_source.html#l00197">iterator.h:197</a></div></div>
+<div class="ttc" id="structllvm_1_1pointee__iterator_html"><div class="ttname"><a href="structllvm_1_1pointee__iterator.html">llvm::pointee_iterator</a></div><div class="ttdef"><b>Definition:</b> <a href="iterator_8h_source.html#l00335">iterator.h:335</a></div></div>
+<div class="ttc" id="classllvm_1_1iterator__adaptor__base_html_a395dc6bf1e4e4f1ee18354a9a2203259"><div class="ttname"><a href="classllvm_1_1iterator__adaptor__base.html#a395dc6bf1e4e4f1ee18354a9a2203259">llvm::iterator_adaptor_base::operator++</a></div><div class="ttdeci">DerivedT &amp; operator++()</div><div class="ttdef"><b>Definition:</b> <a href="iterator_8h_source.html#l00288">iterator.h:288</a></div></div>
+<div class="ttc" id="classllvm_1_1iterator__facade__base_html_a0fb41b5becfd488c52fb8c77d13fbcbc"><div class="ttname"><a href="classllvm_1_1iterator__facade__base.html#a0fb41b5becfd488c52fb8c77d13fbcbc">llvm::iterator_facade_base&lt; pointer_iterator&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;::iterator_category</a></div><div class="ttdeci">std::iterator_traits&lt; WrappedIteratorT &gt;::iterator_category iterator_category</div><div class="ttdef"><b>Definition:</b> <a href="iterator_8h_source.html#l00070">iterator.h:70</a></div></div>
+<div class="ttc" id="structllvm_1_1pointee__iterator_html_a36ef3dae4b2e8b955d19f02b520c80aa"><div class="ttname"><a href="structllvm_1_1pointee__iterator.html#a36ef3dae4b2e8b955d19f02b520c80aa">llvm::pointee_iterator::operator*</a></div><div class="ttdeci">T &amp; operator*() const</div><div class="ttdef"><b>Definition:</b> <a href="iterator_8h_source.html#l00346">iterator.h:346</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_1pointer__iterator_html_a738f3d6c147e1670a42d66c960bed2fc"><div class="ttname"><a href="classllvm_1_1pointer__iterator.html#a738f3d6c147e1670a42d66c960bed2fc">llvm::pointer_iterator::pointer_iterator</a></div><div class="ttdeci">pointer_iterator(WrappedIteratorT u)</div><div class="ttdef"><b>Definition:</b> <a href="iterator_8h_source.html#l00375">iterator.h:375</a></div></div>
+<div class="ttc" id="classllvm_1_1iterator__adaptor__base_html_a924ad86f571d53385616b5663a1cf077"><div class="ttname"><a href="classllvm_1_1iterator__adaptor__base.html#a924ad86f571d53385616b5663a1cf077">llvm::iterator_adaptor_base::operator--</a></div><div class="ttdeci">DerivedT &amp; operator--()</div><div class="ttdef"><b>Definition:</b> <a href="iterator_8h_source.html#l00294">iterator.h:294</a></div></div>
+<div class="ttc" id="classllvm_1_1iterator__adaptor__base_html_a780f0b7d17722cfe06d228fea3c060f7"><div class="ttname"><a href="classllvm_1_1iterator__adaptor__base.html#a780f0b7d17722cfe06d228fea3c060f7">llvm::iterator_adaptor_base::wrapped</a></div><div class="ttdeci">const WrappedIteratorT &amp; wrapped() const</div><div class="ttdef"><b>Definition:</b> <a href="iterator_8h_source.html#l00252">iterator.h:252</a></div></div>
+<div class="ttc" id="classllvm_1_1iterator__adaptor__base_html_a563ec95255977c34566292cbdce193b3"><div class="ttname"><a href="classllvm_1_1iterator__adaptor__base.html#a563ec95255977c34566292cbdce193b3">llvm::iterator_adaptor_base::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 class="ttc" id="namespacellvm_html_aec01581c3275a7fab5a18b88a02c96b7"><div class="ttname"><a href="namespacellvm.html#aec01581c3275a7fab5a18b88a02c96b7">llvm::make_pointee_range</a></div><div class="ttdeci">iterator_range&lt; pointee_iterator&lt; WrappedIteratorT &gt; &gt; make_pointee_range(RangeT &amp;&amp;Range)</div><div class="ttdef"><b>Definition:</b> <a href="iterator_8h_source.html#l00355">iterator.h:355</a></div></div>
+<div class="ttc" id="classllvm_1_1pointer__iterator_html_a5623e1644b102203f3bbf4533c74abaa"><div class="ttname"><a href="classllvm_1_1pointer__iterator.html#a5623e1644b102203f3bbf4533c74abaa">llvm::pointer_iterator::operator*</a></div><div class="ttdeci">const T &amp; operator*() const</div><div class="ttdef"><b>Definition:</b> <a href="iterator_8h_source.html#l00382">iterator.h:382</a></div></div>
+<div class="ttc" id="classllvm_1_1iterator__facade__base_html_a2fe5a54c4c470c05190130854c0baca3"><div class="ttname"><a href="classllvm_1_1iterator__facade__base.html#a2fe5a54c4c470c05190130854c0baca3">llvm::iterator_facade_base::operator--</a></div><div class="ttdeci">DerivedT operator--(int)</div><div class="ttdef"><b>Definition:</b> <a href="iterator_8h_source.html#l00153">iterator.h:153</a></div></div>
+<div class="ttc" id="classllvm_1_1iterator__facade__base_html_a668b849a4f26755eae386315d5ea363c"><div class="ttname"><a href="classllvm_1_1iterator__facade__base.html#a668b849a4f26755eae386315d5ea363c">llvm::iterator_facade_base::operator++</a></div><div class="ttdeci">DerivedT operator++(int)</div><div class="ttdef"><b>Definition:</b> <a href="iterator_8h_source.html#l00140">iterator.h:140</a></div></div>
+<div class="ttc" id="classllvm_1_1iterator__facade__base_html_a9677d8ef8998cc763948bfdfc2f73c6e"><div class="ttname"><a href="classllvm_1_1iterator__facade__base.html#a9677d8ef8998cc763948bfdfc2f73c6e">llvm::iterator_facade_base::operator&gt;</a></div><div class="ttdeci">bool operator&gt;(const DerivedT &amp;RHS) const</div><div class="ttdef"><b>Definition:</b> <a href="iterator_8h_source.html#l00170">iterator.h:170</a></div></div>
+<div class="ttc" id="classllvm_1_1iterator__facade__base_html_a9ac08db5b07aefa9e82e65806804268b"><div class="ttname"><a href="classllvm_1_1iterator__facade__base.html#a9ac08db5b07aefa9e82e65806804268b">llvm::iterator_facade_base&lt; pointer_iterator&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;::reference</a></div><div class="ttdeci">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; reference</div><div class="ttdef"><b>Definition:</b> <a href="iterator_8h_source.html#l00074">iterator.h:74</a></div></div>
+<div class="ttc" id="namespacellvm_html_af8941b8ce2fe4581623e4962b287cc5c"><div class="ttname"><a href="namespacellvm.html#af8941b8ce2fe4581623e4962b287cc5c">llvm::make_pointer_range</a></div><div class="ttdeci">iterator_range&lt; pointer_iterator&lt; WrappedIteratorT &gt; &gt; make_pointer_range(RangeT &amp;&amp;Range)</div><div class="ttdef"><b>Definition:</b> <a href="iterator_8h_source.html#l00391">iterator.h:391</a></div></div>
+<div class="ttc" id="classllvm_1_1iterator__adaptor__base_html_a9f74fe2ddfed7feb928edc871cb213f6"><div class="ttname"><a href="classllvm_1_1iterator__adaptor__base.html#a9f74fe2ddfed7feb928edc871cb213f6">llvm::iterator_adaptor_base::operator&lt;</a></div><div class="ttdeci">friend bool operator&lt;(const iterator_adaptor_base &amp;LHS, const iterator_adaptor_base &amp;RHS)</div><div class="ttdef"><b>Definition:</b> <a href="iterator_8h_source.html#l00308">iterator.h:308</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>