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

svf-tools 1.0.596 → 1.0.597

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

Files changed (801) hide show

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

@@ -66,63 +66,63 @@ $(function() {
 <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>
+<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 UTIL_ITERATOR_H</span></div><div class="line"><a name="l00010"></a><span class="lineno">   10</span>&#160;<span class="preprocessor">#define UTIL_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="namespaceSVF.html">SVF</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="classSVF_1_1iter__facade__base.html">   67</a></span>&#160;<span class="keyword">class </span><a class="code" href="classSVF_1_1iter__facade__base.html">iter_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="classSVF_1_1iter__facade__base.html#a040de7bda3801ef9c8ba28de1209e0e6">   70</a></span>&#160;    <span class="keyword">using</span> <a class="code" href="classSVF_1_1iter__facade__base.html#a040de7bda3801ef9c8ba28de1209e0e6">iterator_category</a> = IteratorCategoryT;</div><div class="line"><a name="l00071"></a><span class="lineno"><a class="line" href="classSVF_1_1iter__facade__base.html#a8d2e47a4de7b98466255b4846bdde26c">   71</a></span>&#160;    <span class="keyword">using</span> <a class="code" href="classSVF_1_1iter__facade__base.html#a8d2e47a4de7b98466255b4846bdde26c">value_type</a> = T;</div><div class="line"><a name="l00072"></a><span class="lineno"><a class="line" href="classSVF_1_1iter__facade__base.html#a4850340b864a13fb78e52dfb46d0e8a3">   72</a></span>&#160;    <span class="keyword">using</span> <a class="code" href="classSVF_1_1iter__facade__base.html#a4850340b864a13fb78e52dfb46d0e8a3">difference_type</a> = DifferenceTypeT;</div><div class="line"><a name="l00073"></a><span class="lineno"><a class="line" href="classSVF_1_1iter__facade__base.html#a7883aae06037a1b966e33cced95da49b">   73</a></span>&#160;    <span class="keyword">using</span> <a class="code" href="classSVF_1_1iter__facade__base.html#a7883aae06037a1b966e33cced95da49b">pointer</a> = PointerT;</div><div class="line"><a name="l00074"></a><span class="lineno"><a class="line" href="classSVF_1_1iter__facade__base.html#a3d501177aef770b02e7d2629b334e32a">   74</a></span>&#160;    <span class="keyword">using</span> <a class="code" href="classSVF_1_1iter__facade__base.html#a3d501177aef770b02e7d2629b334e32a">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="classSVF_1_1iter__facade__base.html#a1935969a70a0312f809db166d65fec89a3571f11b56b4970ffff3c021f6fb47e8">   79</a></span>&#160;        <a class="code" href="classSVF_1_1iter__facade__base.html#a1935969a70a0312f809db166d65fec89a3571f11b56b4970ffff3c021f6fb47e8">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="classSVF_1_1iter__facade__base.html#a1935969a70a0312f809db166d65fec89a0552120a5aa8ae40a219b52934ad3409">   81</a></span>&#160;        <a class="code" href="classSVF_1_1iter__facade__base.html#a1935969a70a0312f809db166d65fec89a0552120a5aa8ae40a219b52934ad3409">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="classSVF_1_1iter__facade__base_1_1ReferenceProxy.html">   90</a></span>&#160;    <span class="keyword">class </span><a class="code" href="classSVF_1_1iter__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="classSVF_1_1iter__facade__base_1_1ReferenceProxy.html#ab4717ea89d08ac05464fa95bc7f50ac6">   92</a></span>&#160;        <span class="keyword">friend</span> <a class="code" href="classSVF_1_1iter__facade__base_1_1ReferenceProxy.html#ab4717ea89d08ac05464fa95bc7f50ac6">iter_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="classSVF_1_1iter__facade__base_1_1ReferenceProxy.html#aca4eadcdc568988ffddd09d359b1c1c3">   94</a></span>&#160;        DerivedT <a class="code" href="classSVF_1_1iter__facade__base_1_1ReferenceProxy.html#aca4eadcdc568988ffddd09d359b1c1c3">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="classSVF_1_1iter__facade__base_1_1ReferenceProxy.html#aabce5b9a8700ecf1415a92ce45b384a2">   96</a></span>&#160;        <a class="code" href="classSVF_1_1iter__facade__base_1_1ReferenceProxy.html#aabce5b9a8700ecf1415a92ce45b384a2">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="classSVF_1_1iter__facade__base_1_1ReferenceProxy.html#a6889cc9eba9892a3fc372f5353bc4dc6">   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="classSVF_1_1iter__facade__base_1_1ReferenceProxy.html#aca4eadcdc568988ffddd09d359b1c1c3">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="classSVF_1_1iter__facade__base.html#aa9d4c4b13e555b7979672c20d9a40a24">  106</a></span>&#160;    DerivedT <a class="code" href="classSVF_1_1iter__facade__base.html#aa9d4c4b13e555b7979672c20d9a40a24">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;iter_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="classSVF_1_1iter__facade__base.html#a1935969a70a0312f809db166d65fec89a3571f11b56b4970ffff3c021f6fb47e8">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="classSVF_1_1iter__facade__base.html#a56831a09ff0a972cfb02376aaab2caab">  117</a></span>&#160;    <span class="keyword">friend</span> DerivedT <a class="code" href="classSVF_1_1iter__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="classSVF_1_1iter__facade__base.html#a1935969a70a0312f809db166d65fec89a3571f11b56b4970ffff3c021f6fb47e8">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="classSVF_1_1iter__facade__base.html#af12e184fc89401f62c079181ff981475">  124</a></span>&#160;    DerivedT <a class="code" href="classSVF_1_1iter__facade__base.html#af12e184fc89401f62c079181ff981475">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="classSVF_1_1iter__facade__base.html#a1935969a70a0312f809db166d65fec89a3571f11b56b4970ffff3c021f6fb47e8">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="classSVF_1_1iter__facade__base.html#aabe92262cb9990f3c7d92bf2e9997417">  134</a></span>&#160;    DerivedT &amp;<a class="code" href="classSVF_1_1iter__facade__base.html#aabe92262cb9990f3c7d92bf2e9997417">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;iter_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="classSVF_1_1iter__facade__base.html#a0f03c8e373df19aa195f9aed2d95792b">  140</a></span>&#160;    DerivedT <a class="code" href="classSVF_1_1iter__facade__base.html#a0f03c8e373df19aa195f9aed2d95792b">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="classSVF_1_1iter__facade__base.html#affa36a9a632684c92c334b52f764626d">  146</a></span>&#160;    DerivedT &amp;<a class="code" href="classSVF_1_1iter__facade__base.html#affa36a9a632684c92c334b52f764626d">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="classSVF_1_1iter__facade__base.html#a1935969a70a0312f809db166d65fec89a0552120a5aa8ae40a219b52934ad3409">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="classSVF_1_1iter__facade__base.html#aa23818fb642768d76bf3955bcaf29ab4">  153</a></span>&#160;    DerivedT <a class="code" href="classSVF_1_1iter__facade__base.html#aa23818fb642768d76bf3955bcaf29ab4">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="classSVF_1_1iter__facade__base.html#a1935969a70a0312f809db166d65fec89a0552120a5aa8ae40a219b52934ad3409">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="classSVF_1_1iter__facade__base.html#a84d45b0f8c02a1c892d5e7f5104696ed">  164</a></span>&#160;    <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1iter__facade__base.html#a84d45b0f8c02a1c892d5e7f5104696ed">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="classSVF_1_1iter__facade__base.html#a5358c586434e85a8d0989b7d319def2f">  170</a></span>&#160;    <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1iter__facade__base.html#a5358c586434e85a8d0989b7d319def2f">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="classSVF_1_1iter__facade__base.html#a1935969a70a0312f809db166d65fec89a3571f11b56b4970ffff3c021f6fb47e8">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="classSVF_1_1iter__facade__base.html#adee425f22948da744f8aa100719c83cf">  178</a></span>&#160;    <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1iter__facade__base.html#adee425f22948da744f8aa100719c83cf">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="classSVF_1_1iter__facade__base.html#a1935969a70a0312f809db166d65fec89a3571f11b56b4970ffff3c021f6fb47e8">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="classSVF_1_1iter__facade__base.html#ab5d48611f6ef4aac65614576ab17b2e6">  185</a></span>&#160;    <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1iter__facade__base.html#ab5d48611f6ef4aac65614576ab17b2e6">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="classSVF_1_1iter__facade__base.html#a1935969a70a0312f809db166d65fec89a3571f11b56b4970ffff3c021f6fb47e8">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="classSVF_1_1iter__facade__base.html#a7a44b9bf5f2a7c367baad3a3066c2b6b">  193</a></span>&#160;    PointerT <a class="code" href="classSVF_1_1iter__facade__base.html#a7a44b9bf5f2a7c367baad3a3066c2b6b">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="classSVF_1_1iter__facade__base.html#aa637a57840b1741e909c89946294fdd9">  197</a></span>&#160;    PointerT <a class="code" href="classSVF_1_1iter__facade__base.html#aa637a57840b1741e909c89946294fdd9">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="classSVF_1_1iter__facade__base.html#a0ebfb2b2165a04b53d6813badb14dc25">  201</a></span>&#160;    <a class="code" href="classSVF_1_1iter__facade__base_1_1ReferenceProxy.html#aabce5b9a8700ecf1415a92ce45b384a2">ReferenceProxy</a> <a class="code" href="classSVF_1_1iter__facade__base.html#a0ebfb2b2165a04b53d6813badb14dc25">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="classSVF_1_1iter__facade__base.html#a1935969a70a0312f809db166d65fec89a3571f11b56b4970ffff3c021f6fb47e8">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="classSVF_1_1iter__facade__base_1_1ReferenceProxy.html#aabce5b9a8700ecf1415a92ce45b384a2">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="classSVF_1_1iter__facade__base.html#aaf17d10058d2e8983e4e7d1559966b80">  207</a></span>&#160;    <a class="code" href="classSVF_1_1iter__facade__base_1_1ReferenceProxy.html#aabce5b9a8700ecf1415a92ce45b384a2">ReferenceProxy</a> <a class="code" href="classSVF_1_1iter__facade__base.html#aaf17d10058d2e8983e4e7d1559966b80">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="classSVF_1_1iter__facade__base.html#a1935969a70a0312f809db166d65fec89a3571f11b56b4970ffff3c021f6fb47e8">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="classSVF_1_1iter__facade__base_1_1ReferenceProxy.html#aabce5b9a8700ecf1415a92ce45b384a2">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="classSVF_1_1iter__facade__base.html#a8d2e47a4de7b98466255b4846bdde26c">::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="classSVF_1_1iter__facade__base.html#a8d2e47a4de7b98466255b4846bdde26c">::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="classSVF_1_1iter__adaptor__base.html">  235</a></span>&#160;<span class="keyword">class </span><a class="code" href="classSVF_1_1iter__adaptor__base.html">iter_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="classSVF_1_1iter__facade__base.html">iter_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="classSVF_1_1iter__adaptor__base.html#afbad8b4d7822152aec9a206c0e293f96">  239</a></span>&#160;    <span class="keyword">using</span> <a class="code" href="classSVF_1_1iter__adaptor__base.html#afbad8b4d7822152aec9a206c0e293f96">BaseT</a> = <span class="keyword">typename</span> iter_adaptor_base::iter_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="classSVF_1_1iter__adaptor__base.html#a1c80cc24530dbc29b03bf58500e0d636">  242</a></span>&#160;    WrappedIteratorT <a class="code" href="classSVF_1_1iter__adaptor__base.html#a1c80cc24530dbc29b03bf58500e0d636">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="classSVF_1_1iter__adaptor__base.html">iter_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="classSVF_1_1iter__adaptor__base.html#ad3e91fd59221ddbdc889bc081159f611">  246</a></span>&#160;    <span class="keyword">explicit</span> <a class="code" href="classSVF_1_1iter__adaptor__base.html#ad3e91fd59221ddbdc889bc081159f611">iter_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;iter_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="classSVF_1_1iter__adaptor__base.html#afa1dc067ea97ae5db1e2618e47be1525">  252</a></span>&#160;    <span class="keyword">const</span> WrappedIteratorT &amp;<a class="code" href="classSVF_1_1iter__adaptor__base.html#afa1dc067ea97ae5db1e2618e47be1525">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="classSVF_1_1iter__facade__base_1_1ReferenceProxy.html#aca4eadcdc568988ffddd09d359b1c1c3">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="classSVF_1_1iter__adaptor__base.html#a0dc562917692ec5e4880509444b66e9a">  258</a></span>&#160;    <span class="keyword">using</span> <a class="code" href="classSVF_1_1iter__facade__base.html#a4850340b864a13fb78e52dfb46d0e8a3">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="classSVF_1_1iter__adaptor__base.html#a086291a49b72cd4705eab444a356d340">  260</a></span>&#160;    DerivedT &amp;<a class="code" href="classSVF_1_1iter__adaptor__base.html#a086291a49b72cd4705eab444a356d340">operator+=</a>(<a class="code" href="classSVF_1_1iter__facade__base.html#a4850340b864a13fb78e52dfb46d0e8a3">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="classSVF_1_1iter__adaptor__base.html#a6e0780ec078108f693b34c8ecf10d710">  268</a></span>&#160;    DerivedT &amp;<a class="code" href="classSVF_1_1iter__adaptor__base.html#a6e0780ec078108f693b34c8ecf10d710">operator-=</a>(<a class="code" href="classSVF_1_1iter__facade__base.html#a4850340b864a13fb78e52dfb46d0e8a3">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="classSVF_1_1iter__adaptor__base.html#aa870b13f5304a62dfd9f5aa535df3e90">  277</a></span>&#160;    <a class="code" href="classSVF_1_1iter__facade__base.html#a4850340b864a13fb78e52dfb46d0e8a3">difference_type</a> <a class="code" href="classSVF_1_1iter__adaptor__base.html#aa870b13f5304a62dfd9f5aa535df3e90">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="classSVF_1_1iter__adaptor__base.html#aa7c90c34509467d719ee0d84fe19d764">  288</a></span>&#160;    DerivedT &amp;<a class="code" href="classSVF_1_1iter__adaptor__base.html#aa7c90c34509467d719ee0d84fe19d764">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="classSVF_1_1iter__facade__base_1_1ReferenceProxy.html#aca4eadcdc568988ffddd09d359b1c1c3">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="classSVF_1_1iter__adaptor__base.html#a1c035596091af80262b234384268e3bc">  294</a></span>&#160;    DerivedT &amp;<a class="code" href="classSVF_1_1iter__adaptor__base.html#a1c035596091af80262b234384268e3bc">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="classSVF_1_1iter__facade__base_1_1ReferenceProxy.html#aca4eadcdc568988ffddd09d359b1c1c3">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="classSVF_1_1iter__adaptor__base.html#a0cfce21cb7aa24062dd921a9a5bace3a">  303</a></span>&#160;    <span class="keyword">friend</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1iter__adaptor__base.html#a0cfce21cb7aa24062dd921a9a5bace3a">operator==</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1iter__adaptor__base.html">iter_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="classSVF_1_1iter__adaptor__base.html">iter_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="classSVF_1_1iter__adaptor__base.html#a1c80cc24530dbc29b03bf58500e0d636">I</a> == RHS.<a class="code" href="classSVF_1_1iter__adaptor__base.html#a1c80cc24530dbc29b03bf58500e0d636">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="classSVF_1_1iter__adaptor__base.html#a0a4477a210b9d5ce260ca3790cfe9779">  308</a></span>&#160;    <span class="keyword">friend</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1iter__adaptor__base.html#a0a4477a210b9d5ce260ca3790cfe9779">operator&lt;</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1iter__adaptor__base.html">iter_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="classSVF_1_1iter__adaptor__base.html">iter_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="classSVF_1_1iter__adaptor__base.html#a1c80cc24530dbc29b03bf58500e0d636">I</a> &lt; RHS.<a class="code" href="classSVF_1_1iter__adaptor__base.html#a1c80cc24530dbc29b03bf58500e0d636">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="classSVF_1_1iter__adaptor__base.html#adcb4657aff726d8f7eb0dc3f1dd4ff47">  317</a></span>&#160;    ReferenceT <a class="code" href="classSVF_1_1iter__adaptor__base.html#adcb4657aff726d8f7eb0dc3f1dd4ff47">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="classSVF_1_1iter__facade__base_1_1ReferenceProxy.html#aca4eadcdc568988ffddd09d359b1c1c3">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="structSVF_1_1pointee__iter.html">  335</a></span>&#160;<span class="keyword">struct </span><a class="code" href="structSVF_1_1pointee__iter.html">pointee_iter</a></div><div class="line"><a name="l00336"></a><span class="lineno">  336</span>&#160;    : <a class="code" href="classSVF_1_1iter__adaptor__base.html">iter_adaptor_base</a>&lt;</div><div class="line"><a name="l00337"></a><span class="lineno">  337</span>&#160;      pointee_iter&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="structSVF_1_1pointee__iter.html">pointee_iter</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="structSVF_1_1pointee__iter.html#a77dce78a5bd0330658dc75a38c3fc329">  343</a></span>&#160;    <a class="code" href="structSVF_1_1pointee__iter.html#a77dce78a5bd0330658dc75a38c3fc329">pointee_iter</a>(U &amp;&amp;u)</div><div class="line"><a name="l00344"></a><span class="lineno">  344</span>&#160;        : <a class="code" href="structSVF_1_1pointee__iter.html">pointee_iter</a>::<a class="code" href="classSVF_1_1iter__adaptor__base.html">iter_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="structSVF_1_1pointee__iter.html#a3e5e7a02b9af71f37213d12f4f18ceb4">  346</a></span>&#160;    T &amp;<a class="code" href="structSVF_1_1pointee__iter.html#a3e5e7a02b9af71f37213d12f4f18ceb4">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="classSVF_1_1iter__facade__base_1_1ReferenceProxy.html#aca4eadcdc568988ffddd09d359b1c1c3">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="classSVF_1_1iter__range.html">iter_range&lt;pointee_iter&lt;WrappedIteratorT&gt;</a>&gt;</div><div class="line"><a name="l00355"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a41ca7c140a3b61d946e8c6338102986e">  355</a></span>&#160;                                        <a class="code" href="namespaceSVF.html#a41ca7c140a3b61d946e8c6338102986e">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="structSVF_1_1pointee__iter.html">pointee_iter&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="namespaceSVF.html#a3b6bc8132d0fd4902888ab9f77c20124">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="classSVF_1_1pointer__iterator.html">  364</a></span>&#160;<span class="keyword">class </span><a class="code" href="classSVF_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="classSVF_1_1iter__adaptor__base.html">iter_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="classSVF_1_1pointer__iterator.html#a0dd739c7a521b7efe951bb9712ddcd14">  370</a></span>&#160;    <span class="keyword">mutable</span> T <a class="code" href="classSVF_1_1pointer__iterator.html#a0dd739c7a521b7efe951bb9712ddcd14">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="classSVF_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="classSVF_1_1pointer__iterator.html#a90b49a39706f22db66f33c5e527235e9">  375</a></span>&#160;    <span class="keyword">explicit</span> <a class="code" href="classSVF_1_1pointer__iterator.html#a90b49a39706f22db66f33c5e527235e9">pointer_iterator</a>(WrappedIteratorT u)</div><div class="line"><a name="l00376"></a><span class="lineno">  376</span>&#160;        : <a class="code" href="classSVF_1_1pointer__iterator.html">pointer_iterator</a>::<a class="code" href="classSVF_1_1iter__adaptor__base.html">iter_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="classSVF_1_1pointer__iterator.html#a12bae66eedebffd73730d091d99e3c9a">  378</a></span>&#160;    T &amp;<a class="code" href="classSVF_1_1pointer__iterator.html#a12bae66eedebffd73730d091d99e3c9a">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="classSVF_1_1iter__facade__base_1_1ReferenceProxy.html#aca4eadcdc568988ffddd09d359b1c1c3">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="classSVF_1_1pointer__iterator.html#afe7d2b1087c56d028a58abbce9ce3b64">  382</a></span>&#160;    <span class="keyword">const</span> T &amp;<a class="code" href="classSVF_1_1pointer__iterator.html#afe7d2b1087c56d028a58abbce9ce3b64">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="classSVF_1_1iter__facade__base_1_1ReferenceProxy.html#aca4eadcdc568988ffddd09d359b1c1c3">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="classSVF_1_1iter__range.html">iter_range&lt;pointer_iterator&lt;WrappedIteratorT&gt;</a>&gt;</div><div class="line"><a name="l00391"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a7a436778318d16678992a3173988afc2">  391</a></span>&#160;        <a class="code" href="namespaceSVF.html#a7a436778318d16678992a3173988afc2">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="classSVF_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="namespaceSVF.html#a3b6bc8132d0fd4902888ab9f77c20124">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="classSVF_1_1pointer__iterator.html">raw_pointer_iterator</a> =</div><div class="line"><a name="l00403"></a><span class="lineno"><a class="line" href="namespaceSVF.html#af3b0c055d852656a062bf784222a4fea">  403</a></span>&#160;    <a class="code" href="classSVF_1_1pointer__iterator.html">pointer_iterator&lt;pointee_iter&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="classSVF_1_1iter__adaptor__base_html_a086291a49b72cd4705eab444a356d340"><div class="ttname"><a href="classSVF_1_1iter__adaptor__base.html#a086291a49b72cd4705eab444a356d340">SVF::iter_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="classSVF_1_1iter__adaptor__base_html_a0a4477a210b9d5ce260ca3790cfe9779"><div class="ttname"><a href="classSVF_1_1iter__adaptor__base.html#a0a4477a210b9d5ce260ca3790cfe9779">SVF::iter_adaptor_base::operator&lt;</a></div><div class="ttdeci">friend bool operator&lt;(const iter_adaptor_base &amp;LHS, const iter_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 class="ttc" id="classSVF_1_1iter__facade__base_html_a1935969a70a0312f809db166d65fec89a3571f11b56b4970ffff3c021f6fb47e8"><div class="ttname"><a href="classSVF_1_1iter__facade__base.html#a1935969a70a0312f809db166d65fec89a3571f11b56b4970ffff3c021f6fb47e8">SVF::iter_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="classSVF_1_1iter__facade__base_html"><div class="ttname"><a href="classSVF_1_1iter__facade__base.html">SVF::iter_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="namespaceSVF_html_a3b6bc8132d0fd4902888ab9f77c20124"><div class="ttname"><a href="namespaceSVF.html#a3b6bc8132d0fd4902888ab9f77c20124">SVF::make_range</a></div><div class="ttdeci">iter_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="classSVF_1_1pointer__iterator_html_a90b49a39706f22db66f33c5e527235e9"><div class="ttname"><a href="classSVF_1_1pointer__iterator.html#a90b49a39706f22db66f33c5e527235e9">SVF::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="classSVF_1_1iter__adaptor__base_html_afa1dc067ea97ae5db1e2618e47be1525"><div class="ttname"><a href="classSVF_1_1iter__adaptor__base.html#afa1dc067ea97ae5db1e2618e47be1525">SVF::iter_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="structSVF_1_1pointee__iter_html_a77dce78a5bd0330658dc75a38c3fc329"><div class="ttname"><a href="structSVF_1_1pointee__iter.html#a77dce78a5bd0330658dc75a38c3fc329">SVF::pointee_iter::pointee_iter</a></div><div class="ttdeci">pointee_iter(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="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="classSVF_1_1iter__adaptor__base_html_aa7c90c34509467d719ee0d84fe19d764"><div class="ttname"><a href="classSVF_1_1iter__adaptor__base.html#aa7c90c34509467d719ee0d84fe19d764">SVF::iter_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="classSVF_1_1iter__facade__base_html_a5358c586434e85a8d0989b7d319def2f"><div class="ttname"><a href="classSVF_1_1iter__facade__base.html#a5358c586434e85a8d0989b7d319def2f">SVF::iter_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="classSVF_1_1iter__adaptor__base_html_a6e0780ec078108f693b34c8ecf10d710"><div class="ttname"><a href="classSVF_1_1iter__adaptor__base.html#a6e0780ec078108f693b34c8ecf10d710">SVF::iter_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="classSVF_1_1iter__adaptor__base_html_afbad8b4d7822152aec9a206c0e293f96"><div class="ttname"><a href="classSVF_1_1iter__adaptor__base.html#afbad8b4d7822152aec9a206c0e293f96">SVF::iter_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 iter_adaptor_base::iter_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="classSVF_1_1iter__adaptor__base_html_a1c80cc24530dbc29b03bf58500e0d636"><div class="ttname"><a href="classSVF_1_1iter__adaptor__base.html#a1c80cc24530dbc29b03bf58500e0d636">SVF::iter_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="classSVF_1_1pointer__iterator_html"><div class="ttname"><a href="classSVF_1_1pointer__iterator.html">SVF::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="classSVF_1_1iter__facade__base_html_aaf17d10058d2e8983e4e7d1559966b80"><div class="ttname"><a href="classSVF_1_1iter__facade__base.html#aaf17d10058d2e8983e4e7d1559966b80">SVF::iter_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="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="classSVF_1_1iter__facade__base_html_a0f03c8e373df19aa195f9aed2d95792b"><div class="ttname"><a href="classSVF_1_1iter__facade__base.html#a0f03c8e373df19aa195f9aed2d95792b">SVF::iter_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="classSVF_1_1iter__facade__base_html_a84d45b0f8c02a1c892d5e7f5104696ed"><div class="ttname"><a href="classSVF_1_1iter__facade__base.html#a84d45b0f8c02a1c892d5e7f5104696ed">SVF::iter_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="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="classSVF_1_1iter__adaptor__base_html_aa870b13f5304a62dfd9f5aa535df3e90"><div class="ttname"><a href="classSVF_1_1iter__adaptor__base.html#aa870b13f5304a62dfd9f5aa535df3e90">SVF::iter_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="structSVF_1_1pointee__iter_html"><div class="ttname"><a href="structSVF_1_1pointee__iter.html">SVF::pointee_iter</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="classSVF_1_1iter__facade__base_html_a0ebfb2b2165a04b53d6813badb14dc25"><div class="ttname"><a href="classSVF_1_1iter__facade__base.html#a0ebfb2b2165a04b53d6813badb14dc25">SVF::iter_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="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 class="ttc" id="classSVF_1_1pointer__iterator_html_afe7d2b1087c56d028a58abbce9ce3b64"><div class="ttname"><a href="classSVF_1_1pointer__iterator.html#afe7d2b1087c56d028a58abbce9ce3b64">SVF::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="classSVF_1_1iter__adaptor__base_html_ad3e91fd59221ddbdc889bc081159f611"><div class="ttname"><a href="classSVF_1_1iter__adaptor__base.html#ad3e91fd59221ddbdc889bc081159f611">SVF::iter_adaptor_base::iter_adaptor_base</a></div><div class="ttdeci">iter_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="classSVF_1_1pointer__iterator_html_a12bae66eedebffd73730d091d99e3c9a"><div class="ttname"><a href="classSVF_1_1pointer__iterator.html#a12bae66eedebffd73730d091d99e3c9a">SVF::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="classSVF_1_1iter__adaptor__base_html_a1c035596091af80262b234384268e3bc"><div class="ttname"><a href="classSVF_1_1iter__adaptor__base.html#a1c035596091af80262b234384268e3bc">SVF::iter_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="classSVF_1_1iter__facade__base_html_a8d2e47a4de7b98466255b4846bdde26c"><div class="ttname"><a href="classSVF_1_1iter__facade__base.html#a8d2e47a4de7b98466255b4846bdde26c">SVF::iter_facade_base&lt; mapped_iter&lt; ItTy, FuncTy &gt;, std::iterator_traits&lt; ItTy &gt;::iterator_category, std::remove_reference&lt; FuncReturnTy &gt;::type, typename std::iterator_traits&lt; ItTy &gt;::difference_type, std::conditional_t&lt; std::is_same&lt; std::remove_reference&lt; FuncReturnTy &gt;::type, typename std::iterator_traits&lt; ItTy &gt;::value_type &gt;::value, typename std::iterator_traits&lt; ItTy &gt;::pointer, std::remove_reference&lt; FuncReturnTy &gt;::type * &gt;, std::conditional_t&lt; std::is_same&lt; std::remove_reference&lt; FuncReturnTy &gt;::type, typename std::iterator_traits&lt; ItTy &gt;::value_type &gt;::value, typename std::iterator_traits&lt; ItTy &gt;::reference, std::remove_reference&lt; FuncReturnTy &gt;::type &amp; &gt; &gt;::value_type</a></div><div class="ttdeci">std::remove_reference&lt; FuncReturnTy &gt;::type 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="classSVF_1_1pointer__iterator_html_a0dd739c7a521b7efe951bb9712ddcd14"><div class="ttname"><a href="classSVF_1_1pointer__iterator.html#a0dd739c7a521b7efe951bb9712ddcd14">SVF::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="classSVF_1_1iter__facade__base_html_adee425f22948da744f8aa100719c83cf"><div class="ttname"><a href="classSVF_1_1iter__facade__base.html#adee425f22948da744f8aa100719c83cf">SVF::iter_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="classSVF_1_1iter__facade__base_html_affa36a9a632684c92c334b52f764626d"><div class="ttname"><a href="classSVF_1_1iter__facade__base.html#affa36a9a632684c92c334b52f764626d">SVF::iter_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="classSVF_1_1iter__facade__base_html_aa9d4c4b13e555b7979672c20d9a40a24"><div class="ttname"><a href="classSVF_1_1iter__facade__base.html#aa9d4c4b13e555b7979672c20d9a40a24">SVF::iter_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="classSVF_1_1iter__facade__base_html_a7883aae06037a1b966e33cced95da49b"><div class="ttname"><a href="classSVF_1_1iter__facade__base.html#a7883aae06037a1b966e33cced95da49b">SVF::iter_facade_base&lt; mapped_iter&lt; ItTy, FuncTy &gt;, std::iterator_traits&lt; ItTy &gt;::iterator_category, std::remove_reference&lt; FuncReturnTy &gt;::type, typename std::iterator_traits&lt; ItTy &gt;::difference_type, std::conditional_t&lt; std::is_same&lt; std::remove_reference&lt; FuncReturnTy &gt;::type, typename std::iterator_traits&lt; ItTy &gt;::value_type &gt;::value, typename std::iterator_traits&lt; ItTy &gt;::pointer, std::remove_reference&lt; FuncReturnTy &gt;::type * &gt;, std::conditional_t&lt; std::is_same&lt; std::remove_reference&lt; FuncReturnTy &gt;::type, typename std::iterator_traits&lt; ItTy &gt;::value_type &gt;::value, typename std::iterator_traits&lt; ItTy &gt;::reference, std::remove_reference&lt; FuncReturnTy &gt;::type &amp; &gt; &gt;::pointer</a></div><div class="ttdeci">std::conditional_t&lt; std::is_same&lt; std::remove_reference&lt; FuncReturnTy &gt;::type, typename std::iterator_traits&lt; ItTy &gt;::value_type &gt;::value, typename std::iterator_traits&lt; ItTy &gt;::pointer, std::remove_reference&lt; FuncReturnTy &gt;::type *&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="classSVF_1_1iter__facade__base_html_aabe92262cb9990f3c7d92bf2e9997417"><div class="ttname"><a href="classSVF_1_1iter__facade__base.html#aabe92262cb9990f3c7d92bf2e9997417">SVF::iter_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="classSVF_1_1iter__adaptor__base_html_adcb4657aff726d8f7eb0dc3f1dd4ff47"><div class="ttname"><a href="classSVF_1_1iter__adaptor__base.html#adcb4657aff726d8f7eb0dc3f1dd4ff47">SVF::iter_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="namespaceSVF_html_a7a436778318d16678992a3173988afc2"><div class="ttname"><a href="namespaceSVF.html#a7a436778318d16678992a3173988afc2">SVF::make_pointer_range</a></div><div class="ttdeci">iter_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="structSVF_1_1pointee__iter_html_a3e5e7a02b9af71f37213d12f4f18ceb4"><div class="ttname"><a href="structSVF_1_1pointee__iter.html#a3e5e7a02b9af71f37213d12f4f18ceb4">SVF::pointee_iter::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="classSVF_1_1iter__facade__base_html_a1935969a70a0312f809db166d65fec89a0552120a5aa8ae40a219b52934ad3409"><div class="ttname"><a href="classSVF_1_1iter__facade__base.html#a1935969a70a0312f809db166d65fec89a0552120a5aa8ae40a219b52934ad3409">SVF::iter_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="classSVF_1_1iter__facade__base_html_a040de7bda3801ef9c8ba28de1209e0e6"><div class="ttname"><a href="classSVF_1_1iter__facade__base.html#a040de7bda3801ef9c8ba28de1209e0e6">SVF::iter_facade_base&lt; mapped_iter&lt; ItTy, FuncTy &gt;, std::iterator_traits&lt; ItTy &gt;::iterator_category, std::remove_reference&lt; FuncReturnTy &gt;::type, typename std::iterator_traits&lt; ItTy &gt;::difference_type, std::conditional_t&lt; std::is_same&lt; std::remove_reference&lt; FuncReturnTy &gt;::type, typename std::iterator_traits&lt; ItTy &gt;::value_type &gt;::value, typename std::iterator_traits&lt; ItTy &gt;::pointer, std::remove_reference&lt; FuncReturnTy &gt;::type * &gt;, std::conditional_t&lt; std::is_same&lt; std::remove_reference&lt; FuncReturnTy &gt;::type, typename std::iterator_traits&lt; ItTy &gt;::value_type &gt;::value, typename std::iterator_traits&lt; ItTy &gt;::reference, std::remove_reference&lt; FuncReturnTy &gt;::type &amp; &gt; &gt;::iterator_category</a></div><div class="ttdeci">std::iterator_traits&lt; ItTy &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="namespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode </div><div class="ttdef"><b>Definition:</b> <a href="CFGNormalizer_8h_source.html#l00035">CFGNormalizer.h:35</a></div></div>
+<div class="ttc" id="classSVF_1_1iter__facade__base_html_aa637a57840b1741e909c89946294fdd9"><div class="ttname"><a href="classSVF_1_1iter__facade__base.html#aa637a57840b1741e909c89946294fdd9">SVF::iter_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="classSVF_1_1iter__facade__base_html_af12e184fc89401f62c079181ff981475"><div class="ttname"><a href="classSVF_1_1iter__facade__base.html#af12e184fc89401f62c079181ff981475">SVF::iter_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="classSVF_1_1iter__adaptor__base_html_a0cfce21cb7aa24062dd921a9a5bace3a"><div class="ttname"><a href="classSVF_1_1iter__adaptor__base.html#a0cfce21cb7aa24062dd921a9a5bace3a">SVF::iter_adaptor_base::operator==</a></div><div class="ttdeci">friend bool operator==(const iter_adaptor_base &amp;LHS, const iter_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="namespaceSVF_html_a41ca7c140a3b61d946e8c6338102986e"><div class="ttname"><a href="namespaceSVF.html#a41ca7c140a3b61d946e8c6338102986e">SVF::make_pointee_range</a></div><div class="ttdeci">iter_range&lt; pointee_iter&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="classSVF_1_1iter__facade__base_html_aa23818fb642768d76bf3955bcaf29ab4"><div class="ttname"><a href="classSVF_1_1iter__facade__base.html#aa23818fb642768d76bf3955bcaf29ab4">SVF::iter_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="classSVF_1_1iter__range_html"><div class="ttname"><a href="classSVF_1_1iter__range.html">SVF::iter_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="classSVF_1_1iter__facade__base_html_a3d501177aef770b02e7d2629b334e32a"><div class="ttname"><a href="classSVF_1_1iter__facade__base.html#a3d501177aef770b02e7d2629b334e32a">SVF::iter_facade_base&lt; mapped_iter&lt; ItTy, FuncTy &gt;, std::iterator_traits&lt; ItTy &gt;::iterator_category, std::remove_reference&lt; FuncReturnTy &gt;::type, typename std::iterator_traits&lt; ItTy &gt;::difference_type, std::conditional_t&lt; std::is_same&lt; std::remove_reference&lt; FuncReturnTy &gt;::type, typename std::iterator_traits&lt; ItTy &gt;::value_type &gt;::value, typename std::iterator_traits&lt; ItTy &gt;::pointer, std::remove_reference&lt; FuncReturnTy &gt;::type * &gt;, std::conditional_t&lt; std::is_same&lt; std::remove_reference&lt; FuncReturnTy &gt;::type, typename std::iterator_traits&lt; ItTy &gt;::value_type &gt;::value, typename std::iterator_traits&lt; ItTy &gt;::reference, std::remove_reference&lt; FuncReturnTy &gt;::type &amp; &gt; &gt;::reference</a></div><div class="ttdeci">std::conditional_t&lt; std::is_same&lt; std::remove_reference&lt; FuncReturnTy &gt;::type, typename std::iterator_traits&lt; ItTy &gt;::value_type &gt;::value, typename std::iterator_traits&lt; ItTy &gt;::reference, std::remove_reference&lt; FuncReturnTy &gt;::type &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="classSVF_1_1iter__facade__base_1_1ReferenceProxy_html_ab4717ea89d08ac05464fa95bc7f50ac6"><div class="ttname"><a href="classSVF_1_1iter__facade__base_1_1ReferenceProxy.html#ab4717ea89d08ac05464fa95bc7f50ac6">SVF::iter_facade_base::ReferenceProxy::iter_facade_base</a></div><div class="ttdeci">friend iter_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="classSVF_1_1iter__adaptor__base_html"><div class="ttname"><a href="classSVF_1_1iter__adaptor__base.html">SVF::iter_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="classSVF_1_1iter__facade__base_1_1ReferenceProxy_html"><div class="ttname"><a href="classSVF_1_1iter__facade__base_1_1ReferenceProxy.html">SVF::iter_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="classSVF_1_1iter__facade__base_1_1ReferenceProxy_html_aca4eadcdc568988ffddd09d359b1c1c3"><div class="ttname"><a href="classSVF_1_1iter__facade__base_1_1ReferenceProxy.html#aca4eadcdc568988ffddd09d359b1c1c3">SVF::iter_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="classSVF_1_1iter__facade__base_html_ab5d48611f6ef4aac65614576ab17b2e6"><div class="ttname"><a href="classSVF_1_1iter__facade__base.html#ab5d48611f6ef4aac65614576ab17b2e6">SVF::iter_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="classSVF_1_1iter__facade__base_1_1ReferenceProxy_html_aabce5b9a8700ecf1415a92ce45b384a2"><div class="ttname"><a href="classSVF_1_1iter__facade__base_1_1ReferenceProxy.html#aabce5b9a8700ecf1415a92ce45b384a2">SVF::iter_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="classSVF_1_1iter__facade__base_html_a56831a09ff0a972cfb02376aaab2caab"><div class="ttname"><a href="classSVF_1_1iter__facade__base.html#a56831a09ff0a972cfb02376aaab2caab">SVF::iter_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="classSVF_1_1iter__facade__base_html_a7a44b9bf5f2a7c367baad3a3066c2b6b"><div class="ttname"><a href="classSVF_1_1iter__facade__base.html#a7a44b9bf5f2a7c367baad3a3066c2b6b">SVF::iter_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="classSVF_1_1iter__facade__base_html_a4850340b864a13fb78e52dfb46d0e8a3"><div class="ttname"><a href="classSVF_1_1iter__facade__base.html#a4850340b864a13fb78e52dfb46d0e8a3">SVF::iter_facade_base&lt; mapped_iter&lt; ItTy, FuncTy &gt;, std::iterator_traits&lt; ItTy &gt;::iterator_category, std::remove_reference&lt; FuncReturnTy &gt;::type, typename std::iterator_traits&lt; ItTy &gt;::difference_type, std::conditional_t&lt; std::is_same&lt; std::remove_reference&lt; FuncReturnTy &gt;::type, typename std::iterator_traits&lt; ItTy &gt;::value_type &gt;::value, typename std::iterator_traits&lt; ItTy &gt;::pointer, std::remove_reference&lt; FuncReturnTy &gt;::type * &gt;, std::conditional_t&lt; std::is_same&lt; std::remove_reference&lt; FuncReturnTy &gt;::type, typename std::iterator_traits&lt; ItTy &gt;::value_type &gt;::value, typename std::iterator_traits&lt; ItTy &gt;::reference, std::remove_reference&lt; FuncReturnTy &gt;::type &amp; &gt; &gt;::difference_type</a></div><div class="ttdeci">typename std::iterator_traits&lt; ItTy &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><!-- fragment --></div><!-- contents -->
 <!-- start footer part -->
 <hr class="footer"/><address class="footer"><small>