svf-tools 1.0.908 → 1.0.910

package/SVF-doxygen/html/AbstractState_8cpp_source.html

@@ -137,12 +137,12 @@ $(function() {
 <div class="line"><a name="l00066"></a><span class="lineno">   66</span>&#160;            <span class="keywordflow">if</span> (it-&gt;second.isInterval() &amp;&amp; other.<a class="code" href="classSVF_1_1AbstractState.html#a6a49c75fb6b35159dcf1763b4484d335">_varToAbsVal</a>.at(key).isInterval())</div>
 <div class="line"><a name="l00067"></a><span class="lineno">   67</span>&#160;                it-&gt;second.getInterval().widen_with(other.<a class="code" href="classSVF_1_1AbstractState.html#a6a49c75fb6b35159dcf1763b4484d335">_varToAbsVal</a>.at(key).getInterval());</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="keywordflow">for</span> (<span class="keyword">auto</span> it = es.<a class="code" href="classSVF_1_1AbstractState.html#aade30bb08f86b3f74e7aa9cdc60c92a3">_locToAbsVal</a>.begin(); it != es.<a class="code" href="classSVF_1_1AbstractState.html#aade30bb08f86b3f74e7aa9cdc60c92a3">_locToAbsVal</a>.end(); ++it)</div>
+<div class="line"><a name="l00069"></a><span class="lineno">   69</span>&#160;    <span class="keywordflow">for</span> (<span class="keyword">auto</span> it = es.<a class="code" href="classSVF_1_1AbstractState.html#a816695606ef796ce97c42ac4053de47e">_addrToAbsVal</a>.begin(); it != es.<a class="code" href="classSVF_1_1AbstractState.html#a816695606ef796ce97c42ac4053de47e">_addrToAbsVal</a>.end(); ++it)</div>
 <div class="line"><a name="l00070"></a><span class="lineno">   70</span>&#160;    {</div>
 <div class="line"><a name="l00071"></a><span class="lineno">   71</span>&#160;        <span class="keyword">auto</span> key = it-&gt;first;</div>
-<div class="line"><a name="l00072"></a><span class="lineno">   72</span>&#160;        <span class="keywordflow">if</span> (other.<a class="code" href="classSVF_1_1AbstractState.html#aade30bb08f86b3f74e7aa9cdc60c92a3">_locToAbsVal</a>.find(key) != other.<a class="code" href="classSVF_1_1AbstractState.html#aade30bb08f86b3f74e7aa9cdc60c92a3">_locToAbsVal</a>.end())</div>
-<div class="line"><a name="l00073"></a><span class="lineno">   73</span>&#160;            <span class="keywordflow">if</span> (it-&gt;second.isInterval() &amp;&amp; other.<a class="code" href="classSVF_1_1AbstractState.html#aade30bb08f86b3f74e7aa9cdc60c92a3">_locToAbsVal</a>.at(key).isInterval())</div>
-<div class="line"><a name="l00074"></a><span class="lineno">   74</span>&#160;                it-&gt;second.getInterval().widen_with(other.<a class="code" href="classSVF_1_1AbstractState.html#aade30bb08f86b3f74e7aa9cdc60c92a3">_locToAbsVal</a>.at(key).getInterval());</div>
+<div class="line"><a name="l00072"></a><span class="lineno">   72</span>&#160;        <span class="keywordflow">if</span> (other.<a class="code" href="classSVF_1_1AbstractState.html#a816695606ef796ce97c42ac4053de47e">_addrToAbsVal</a>.find(key) != other.<a class="code" href="classSVF_1_1AbstractState.html#a816695606ef796ce97c42ac4053de47e">_addrToAbsVal</a>.end())</div>
+<div class="line"><a name="l00073"></a><span class="lineno">   73</span>&#160;            <span class="keywordflow">if</span> (it-&gt;second.isInterval() &amp;&amp; other.<a class="code" href="classSVF_1_1AbstractState.html#a816695606ef796ce97c42ac4053de47e">_addrToAbsVal</a>.at(key).isInterval())</div>
+<div class="line"><a name="l00074"></a><span class="lineno">   74</span>&#160;                it-&gt;second.getInterval().widen_with(other.<a class="code" href="classSVF_1_1AbstractState.html#a816695606ef796ce97c42ac4053de47e">_addrToAbsVal</a>.at(key).getInterval());</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="keywordflow">return</span> es;</div>
 <div class="line"><a name="l00077"></a><span class="lineno">   77</span>&#160;}</div>
@@ -157,12 +157,12 @@ $(function() {
 <div class="line"><a name="l00086"></a><span class="lineno">   86</span>&#160;            <span class="keywordflow">if</span> (it-&gt;second.isInterval() &amp;&amp; other.<a class="code" href="classSVF_1_1AbstractState.html#a6a49c75fb6b35159dcf1763b4484d335">_varToAbsVal</a>.at(key).isInterval())</div>
 <div class="line"><a name="l00087"></a><span class="lineno">   87</span>&#160;                it-&gt;second.getInterval().narrow_with(other.<a class="code" href="classSVF_1_1AbstractState.html#a6a49c75fb6b35159dcf1763b4484d335">_varToAbsVal</a>.at(key).getInterval());</div>
 <div class="line"><a name="l00088"></a><span class="lineno">   88</span>&#160;    }</div>
-<div class="line"><a name="l00089"></a><span class="lineno">   89</span>&#160;    <span class="keywordflow">for</span> (<span class="keyword">auto</span> it = es.<a class="code" href="classSVF_1_1AbstractState.html#aade30bb08f86b3f74e7aa9cdc60c92a3">_locToAbsVal</a>.begin(); it != es.<a class="code" href="classSVF_1_1AbstractState.html#aade30bb08f86b3f74e7aa9cdc60c92a3">_locToAbsVal</a>.end(); ++it)</div>
+<div class="line"><a name="l00089"></a><span class="lineno">   89</span>&#160;    <span class="keywordflow">for</span> (<span class="keyword">auto</span> it = es.<a class="code" href="classSVF_1_1AbstractState.html#a816695606ef796ce97c42ac4053de47e">_addrToAbsVal</a>.begin(); it != es.<a class="code" href="classSVF_1_1AbstractState.html#a816695606ef796ce97c42ac4053de47e">_addrToAbsVal</a>.end(); ++it)</div>
 <div class="line"><a name="l00090"></a><span class="lineno">   90</span>&#160;    {</div>
 <div class="line"><a name="l00091"></a><span class="lineno">   91</span>&#160;        <span class="keyword">auto</span> key = it-&gt;first;</div>
-<div class="line"><a name="l00092"></a><span class="lineno">   92</span>&#160;        <span class="keywordflow">if</span> (other.<a class="code" href="classSVF_1_1AbstractState.html#aade30bb08f86b3f74e7aa9cdc60c92a3">_locToAbsVal</a>.find(key) != other.<a class="code" href="classSVF_1_1AbstractState.html#aade30bb08f86b3f74e7aa9cdc60c92a3">_locToAbsVal</a>.end())</div>
-<div class="line"><a name="l00093"></a><span class="lineno">   93</span>&#160;            <span class="keywordflow">if</span> (it-&gt;second.isInterval() &amp;&amp; other.<a class="code" href="classSVF_1_1AbstractState.html#aade30bb08f86b3f74e7aa9cdc60c92a3">_locToAbsVal</a>.at(key).isInterval())</div>
-<div class="line"><a name="l00094"></a><span class="lineno">   94</span>&#160;                it-&gt;second.getInterval().narrow_with(other.<a class="code" href="classSVF_1_1AbstractState.html#aade30bb08f86b3f74e7aa9cdc60c92a3">_locToAbsVal</a>.at(key).getInterval());</div>
+<div class="line"><a name="l00092"></a><span class="lineno">   92</span>&#160;        <span class="keywordflow">if</span> (other.<a class="code" href="classSVF_1_1AbstractState.html#a816695606ef796ce97c42ac4053de47e">_addrToAbsVal</a>.find(key) != other.<a class="code" href="classSVF_1_1AbstractState.html#a816695606ef796ce97c42ac4053de47e">_addrToAbsVal</a>.end())</div>
+<div class="line"><a name="l00093"></a><span class="lineno">   93</span>&#160;            <span class="keywordflow">if</span> (it-&gt;second.isInterval() &amp;&amp; other.<a class="code" href="classSVF_1_1AbstractState.html#a816695606ef796ce97c42ac4053de47e">_addrToAbsVal</a>.at(key).isInterval())</div>
+<div class="line"><a name="l00094"></a><span class="lineno">   94</span>&#160;                it-&gt;second.getInterval().narrow_with(other.<a class="code" href="classSVF_1_1AbstractState.html#a816695606ef796ce97c42ac4053de47e">_addrToAbsVal</a>.at(key).getInterval());</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">   96</span>&#160;    <span class="keywordflow">return</span> es;</div>
 <div class="line"><a name="l00097"></a><span class="lineno">   97</span>&#160; </div>
@@ -177,12 +177,12 @@ $(function() {
 <div class="line"><a name="l00107"></a><span class="lineno">  107</span>&#160;            <span class="keywordflow">if</span> (it-&gt;second.isInterval() &amp;&amp; other.<a class="code" href="classSVF_1_1AbstractState.html#a6a49c75fb6b35159dcf1763b4484d335">_varToAbsVal</a>.at(key).isInterval())</div>
 <div class="line"><a name="l00108"></a><span class="lineno">  108</span>&#160;                it-&gt;second.getInterval().widen_with(other.<a class="code" href="classSVF_1_1AbstractState.html#a6a49c75fb6b35159dcf1763b4484d335">_varToAbsVal</a>.at(key).getInterval());</div>
 <div class="line"><a name="l00109"></a><span class="lineno">  109</span>&#160;    }</div>
-<div class="line"><a name="l00110"></a><span class="lineno">  110</span>&#160;    <span class="keywordflow">for</span> (<span class="keyword">auto</span> it = _locToAbsVal.begin(); it != _locToAbsVal.end(); ++it)</div>
+<div class="line"><a name="l00110"></a><span class="lineno">  110</span>&#160;    <span class="keywordflow">for</span> (<span class="keyword">auto</span> it = _addrToAbsVal.begin(); it != _addrToAbsVal.end(); ++it)</div>
 <div class="line"><a name="l00111"></a><span class="lineno">  111</span>&#160;    {</div>
 <div class="line"><a name="l00112"></a><span class="lineno">  112</span>&#160;        <span class="keyword">auto</span> key = it-&gt;first;</div>
-<div class="line"><a name="l00113"></a><span class="lineno">  113</span>&#160;        <span class="keywordflow">if</span> (other.<a class="code" href="classSVF_1_1AbstractState.html#aade30bb08f86b3f74e7aa9cdc60c92a3">_locToAbsVal</a>.find(key) != other.<a class="code" href="classSVF_1_1AbstractState.html#aade30bb08f86b3f74e7aa9cdc60c92a3">_locToAbsVal</a>.end())</div>
+<div class="line"><a name="l00113"></a><span class="lineno">  113</span>&#160;        <span class="keywordflow">if</span> (other.<a class="code" href="classSVF_1_1AbstractState.html#a816695606ef796ce97c42ac4053de47e">_addrToAbsVal</a>.find(key) != other.<a class="code" href="classSVF_1_1AbstractState.html#a816695606ef796ce97c42ac4053de47e">_addrToAbsVal</a>.end())</div>
 <div class="line"><a name="l00114"></a><span class="lineno">  114</span>&#160;            <span class="keywordflow">if</span> (it-&gt;second.isInterval() &amp;&amp; other.<a class="code" href="classSVF_1_1AbstractState.html#a6a49c75fb6b35159dcf1763b4484d335">_varToAbsVal</a>.at(key).isInterval())</div>
-<div class="line"><a name="l00115"></a><span class="lineno">  115</span>&#160;                it-&gt;second.getInterval().widen_with(other.<a class="code" href="classSVF_1_1AbstractState.html#aade30bb08f86b3f74e7aa9cdc60c92a3">_locToAbsVal</a>.at(key).getInterval());</div>
+<div class="line"><a name="l00115"></a><span class="lineno">  115</span>&#160;                it-&gt;second.getInterval().widen_with(other.<a class="code" href="classSVF_1_1AbstractState.html#a816695606ef796ce97c42ac4053de47e">_addrToAbsVal</a>.at(key).getInterval());</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">  117</span>&#160;}</div>
 <div class="line"><a name="l00118"></a><span class="lineno">  118</span>&#160; </div>
@@ -212,11 +212,11 @@ $(function() {
 <div class="line"><a name="l00143"></a><span class="lineno">  143</span>&#160;            _varToAbsVal.emplace(key, it-&gt;second);</div>
 <div class="line"><a name="l00144"></a><span class="lineno">  144</span>&#160;        }</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">  146</span>&#160;    <span class="keywordflow">for</span> (<span class="keyword">auto</span> it = other.<a class="code" href="classSVF_1_1AbstractState.html#aade30bb08f86b3f74e7aa9cdc60c92a3">_locToAbsVal</a>.begin(); it != other.<a class="code" href="classSVF_1_1AbstractState.html#aade30bb08f86b3f74e7aa9cdc60c92a3">_locToAbsVal</a>.end(); ++it)</div>
+<div class="line"><a name="l00146"></a><span class="lineno">  146</span>&#160;    <span class="keywordflow">for</span> (<span class="keyword">auto</span> it = other.<a class="code" href="classSVF_1_1AbstractState.html#a816695606ef796ce97c42ac4053de47e">_addrToAbsVal</a>.begin(); it != other.<a class="code" href="classSVF_1_1AbstractState.html#a816695606ef796ce97c42ac4053de47e">_addrToAbsVal</a>.end(); ++it)</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;        <span class="keyword">auto</span> key = it-&gt;first;</div>
-<div class="line"><a name="l00149"></a><span class="lineno">  149</span>&#160;        <span class="keyword">auto</span> oit = _locToAbsVal.find(key);</div>
-<div class="line"><a name="l00150"></a><span class="lineno">  150</span>&#160;        <span class="keywordflow">if</span> (oit != _locToAbsVal.end())</div>
+<div class="line"><a name="l00149"></a><span class="lineno">  149</span>&#160;        <span class="keyword">auto</span> oit = _addrToAbsVal.find(key);</div>
+<div class="line"><a name="l00150"></a><span class="lineno">  150</span>&#160;        <span class="keywordflow">if</span> (oit != _addrToAbsVal.end())</div>
 <div class="line"><a name="l00151"></a><span class="lineno">  151</span>&#160;        {</div>
 <div class="line"><a name="l00152"></a><span class="lineno">  152</span>&#160;            <span class="keywordflow">if</span> (oit-&gt;second.isInterval() &amp;&amp; it-&gt;second.isInterval())</div>
 <div class="line"><a name="l00153"></a><span class="lineno">  153</span>&#160;            {</div>
@@ -233,7 +233,7 @@ $(function() {
 <div class="line"><a name="l00164"></a><span class="lineno">  164</span>&#160;        }</div>
 <div class="line"><a name="l00165"></a><span class="lineno">  165</span>&#160;        <span class="keywordflow">else</span></div>
 <div class="line"><a name="l00166"></a><span class="lineno">  166</span>&#160;        {</div>
-<div class="line"><a name="l00167"></a><span class="lineno">  167</span>&#160;            _locToAbsVal.emplace(key, it-&gt;second);</div>
+<div class="line"><a name="l00167"></a><span class="lineno">  167</span>&#160;            _addrToAbsVal.emplace(key, it-&gt;second);</div>
 <div class="line"><a name="l00168"></a><span class="lineno">  168</span>&#160;        }</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">  170</span>&#160;}</div>
@@ -248,11 +248,11 @@ $(function() {
 <div class="line"><a name="l00180"></a><span class="lineno">  180</span>&#160;            <span class="keywordflow">if</span> (it-&gt;second.isInterval() &amp;&amp; oit-&gt;second.isInterval())</div>
 <div class="line"><a name="l00181"></a><span class="lineno">  181</span>&#160;                it-&gt;second.getInterval().narrow_with(oit-&gt;second.getInterval());</div>
 <div class="line"><a name="l00182"></a><span class="lineno">  182</span>&#160;    }</div>
-<div class="line"><a name="l00183"></a><span class="lineno">  183</span>&#160;    <span class="keywordflow">for</span> (<span class="keyword">auto</span> it = _locToAbsVal.begin(); it != _locToAbsVal.end(); ++it)</div>
+<div class="line"><a name="l00183"></a><span class="lineno">  183</span>&#160;    <span class="keywordflow">for</span> (<span class="keyword">auto</span> it = _addrToAbsVal.begin(); it != _addrToAbsVal.end(); ++it)</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">  185</span>&#160;        <span class="keyword">auto</span> key = it-&gt;first;</div>
-<div class="line"><a name="l00186"></a><span class="lineno">  186</span>&#160;        <span class="keyword">auto</span> oit = other.<a class="code" href="classSVF_1_1AbstractState.html#aade30bb08f86b3f74e7aa9cdc60c92a3">_locToAbsVal</a>.find(key);</div>
-<div class="line"><a name="l00187"></a><span class="lineno">  187</span>&#160;        <span class="keywordflow">if</span> (oit != other.<a class="code" href="classSVF_1_1AbstractState.html#aade30bb08f86b3f74e7aa9cdc60c92a3">_locToAbsVal</a>.end())</div>
+<div class="line"><a name="l00186"></a><span class="lineno">  186</span>&#160;        <span class="keyword">auto</span> oit = other.<a class="code" href="classSVF_1_1AbstractState.html#a816695606ef796ce97c42ac4053de47e">_addrToAbsVal</a>.find(key);</div>
+<div class="line"><a name="l00187"></a><span class="lineno">  187</span>&#160;        <span class="keywordflow">if</span> (oit != other.<a class="code" href="classSVF_1_1AbstractState.html#a816695606ef796ce97c42ac4053de47e">_addrToAbsVal</a>.end())</div>
 <div class="line"><a name="l00188"></a><span class="lineno">  188</span>&#160;            <span class="keywordflow">if</span> (it-&gt;second.isInterval() &amp;&amp; oit-&gt;second.isInterval())</div>
 <div class="line"><a name="l00189"></a><span class="lineno">  189</span>&#160;                it-&gt;second.getInterval().narrow_with(oit-&gt;second.getInterval());</div>
 <div class="line"><a name="l00190"></a><span class="lineno">  190</span>&#160;    }</div>
@@ -280,11 +280,11 @@ $(function() {
 <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="l00215"></a><span class="lineno">  215</span>&#160;    }</div>
-<div class="line"><a name="l00216"></a><span class="lineno">  216</span>&#160;    <span class="keywordflow">for</span> (<span class="keyword">auto</span> it = other.<a class="code" href="classSVF_1_1AbstractState.html#aade30bb08f86b3f74e7aa9cdc60c92a3">_locToAbsVal</a>.begin(); it != other.<a class="code" href="classSVF_1_1AbstractState.html#aade30bb08f86b3f74e7aa9cdc60c92a3">_locToAbsVal</a>.end(); ++it)</div>
+<div class="line"><a name="l00216"></a><span class="lineno">  216</span>&#160;    <span class="keywordflow">for</span> (<span class="keyword">auto</span> it = other.<a class="code" href="classSVF_1_1AbstractState.html#a816695606ef796ce97c42ac4053de47e">_addrToAbsVal</a>.begin(); it != other.<a class="code" href="classSVF_1_1AbstractState.html#a816695606ef796ce97c42ac4053de47e">_addrToAbsVal</a>.end(); ++it)</div>
 <div class="line"><a name="l00217"></a><span class="lineno">  217</span>&#160;    {</div>
 <div class="line"><a name="l00218"></a><span class="lineno">  218</span>&#160;        <span class="keyword">auto</span> key = it-&gt;first;</div>
-<div class="line"><a name="l00219"></a><span class="lineno">  219</span>&#160;        <span class="keyword">auto</span> oit = _locToAbsVal.find(key);</div>
-<div class="line"><a name="l00220"></a><span class="lineno">  220</span>&#160;        <span class="keywordflow">if</span> (oit != _locToAbsVal.end())</div>
+<div class="line"><a name="l00219"></a><span class="lineno">  219</span>&#160;        <span class="keyword">auto</span> oit = _addrToAbsVal.find(key);</div>
+<div class="line"><a name="l00220"></a><span class="lineno">  220</span>&#160;        <span class="keywordflow">if</span> (oit != _addrToAbsVal.end())</div>
 <div class="line"><a name="l00221"></a><span class="lineno">  221</span>&#160;        {</div>
 <div class="line"><a name="l00222"></a><span class="lineno">  222</span>&#160;            <span class="keywordflow">if</span> (oit-&gt;second.isInterval() &amp;&amp; it-&gt;second.isInterval())</div>
 <div class="line"><a name="l00223"></a><span class="lineno">  223</span>&#160;            {</div>
@@ -306,7 +306,7 @@ $(function() {
 <div class="line"><a name="l00240"></a><span class="lineno">  240</span>&#160;<span class="keyword"></span>{</div>
 <div class="line"><a name="l00241"></a><span class="lineno">  241</span>&#160;    oss &lt;&lt; <span class="stringliteral">&quot;-----------Var and Value-----------\n&quot;</span>;</div>
 <div class="line"><a name="l00242"></a><span class="lineno">  242</span>&#160;    printTable(_varToAbsVal, oss);</div>
-<div class="line"><a name="l00243"></a><span class="lineno">  243</span>&#160;    printTable(_locToAbsVal, oss);</div>
+<div class="line"><a name="l00243"></a><span class="lineno">  243</span>&#160;    printTable(_addrToAbsVal, oss);</div>
 <div class="line"><a name="l00244"></a><span class="lineno">  244</span>&#160;    oss &lt;&lt; <span class="stringliteral">&quot;-----------------------------------------\n&quot;</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">  246</span>&#160; </div>
@@ -340,7 +340,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1AbstractState_html_a65131e4b96d21984c6907ac4fb32e973"><div class="ttname"><a href="classSVF_1_1AbstractState.html#a65131e4b96d21984c6907ac4fb32e973">SVF::AbstractState::equals</a></div><div class="ttdeci">bool equals(const AbstractState &amp;other) const</div><div class="ttdef"><b>Definition:</b> <a href="AbstractState_8cpp_source.html#l00036">AbstractState.cpp:36</a></div></div>
 <div class="ttc" id="aclassSVF_1_1AbstractState_html_a7e2ff1c509351658687ed87ca7ae544e"><div class="ttname"><a href="classSVF_1_1AbstractState.html#a7e2ff1c509351658687ed87ca7ae544e">SVF::AbstractState::narrowWith</a></div><div class="ttdeci">void narrowWith(const AbstractState &amp;other)</div><div class="ttdoc">domain narrow with other, important! other widen this.</div><div class="ttdef"><b>Definition:</b> <a href="AbstractState_8cpp_source.html#l00173">AbstractState.cpp:173</a></div></div>
 <div class="ttc" id="astructSVF_1_1Hash_html"><div class="ttname"><a href="structSVF_1_1Hash.html">SVF::Hash</a></div><div class="ttdoc">provide extra hash function for std::pair handling</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00066">GeneralType.h:66</a></div></div>
-<div class="ttc" id="aclassSVF_1_1AbstractState_html_a6a49c75fb6b35159dcf1763b4484d335"><div class="ttname"><a href="classSVF_1_1AbstractState.html#a6a49c75fb6b35159dcf1763b4484d335">SVF::AbstractState::_varToAbsVal</a></div><div class="ttdeci">VarToAbsValMap _varToAbsVal</div><div class="ttdoc">Map a variable (symbol) to its abstract value.</div><div class="ttdef"><b>Definition:</b> <a href="AbstractState_8h_source.html#l00169">AbstractState.h:169</a></div></div>
+<div class="ttc" id="aclassSVF_1_1AbstractState_html_a6a49c75fb6b35159dcf1763b4484d335"><div class="ttname"><a href="classSVF_1_1AbstractState.html#a6a49c75fb6b35159dcf1763b4484d335">SVF::AbstractState::_varToAbsVal</a></div><div class="ttdeci">VarToAbsValMap _varToAbsVal</div><div class="ttdoc">Map a variable (symbol) to its abstract value.</div><div class="ttdef"><b>Definition:</b> <a href="AbstractState_8h_source.html#l00167">AbstractState.h:167</a></div></div>
 <div class="ttc" id="aSVFUtil_8h_html"><div class="ttname"><a href="SVFUtil_8h.html">SVFUtil.h</a></div></div>
 <div class="ttc" id="aclassSVF_1_1AddressValue_html_a25db03df057262182a42cc394f0c7e1d"><div class="ttname"><a href="classSVF_1_1AddressValue.html#a25db03df057262182a42cc394f0c7e1d">SVF::AddressValue::toString</a></div><div class="ttdeci">const std::string toString() const</div><div class="ttdef"><b>Definition:</b> <a href="AddressValue_8h_source.html#l00191">AddressValue.h:191</a></div></div>
 <div class="ttc" id="aclassSVF_1_1AbstractState_html_ab8e7d112c380f0c3fe66b487af90c03e"><div class="ttname"><a href="classSVF_1_1AbstractState.html#ab8e7d112c380f0c3fe66b487af90c03e">SVF::AbstractState::VarToAbsValMap</a></div><div class="ttdeci">Map&lt; u32_t, AbstractValue &gt; VarToAbsValMap</div><div class="ttdef"><b>Definition:</b> <a href="AbstractState_8h_source.html#l00059">AbstractState.h:59</a></div></div>
@@ -350,15 +350,15 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1IntervalValue_html"><div class="ttname"><a href="classSVF_1_1IntervalValue.html">SVF::IntervalValue</a></div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00043">IntervalValue.h:43</a></div></div>
 <div class="ttc" id="aclassSVF_1_1AbstractState_html"><div class="ttname"><a href="classSVF_1_1AbstractState.html">SVF::AbstractState</a></div><div class="ttdef"><b>Definition:</b> <a href="AbstractState_8h_source.html#l00054">AbstractState.h:54</a></div></div>
 <div class="ttc" id="aclassSVF_1_1AbstractState_html_a00c811d7ef05476b7699c66a10eb4944"><div class="ttname"><a href="classSVF_1_1AbstractState.html#a00c811d7ef05476b7699c66a10eb4944">SVF::AbstractState::printExprValues</a></div><div class="ttdeci">void printExprValues(std::ostream &amp;oss) const</div><div class="ttdoc">Print values of all expressions.</div><div class="ttdef"><b>Definition:</b> <a href="AbstractState_8cpp_source.html#l00239">AbstractState.cpp:239</a></div></div>
-<div class="ttc" id="aclassSVF_1_1AbstractState_html_a4e4525823fd31c718216c698ed6e0a06"><div class="ttname"><a href="classSVF_1_1AbstractState.html#a4e4525823fd31c718216c698ed6e0a06">SVF::AbstractState::getVarToVal</a></div><div class="ttdeci">const VarToAbsValMap &amp; getVarToVal() const</div><div class="ttdoc">get var2val map</div><div class="ttdef"><b>Definition:</b> <a href="AbstractState_8h_source.html#l00254">AbstractState.h:254</a></div></div>
+<div class="ttc" id="aclassSVF_1_1AbstractState_html_a4e4525823fd31c718216c698ed6e0a06"><div class="ttname"><a href="classSVF_1_1AbstractState.html#a4e4525823fd31c718216c698ed6e0a06">SVF::AbstractState::getVarToVal</a></div><div class="ttdeci">const VarToAbsValMap &amp; getVarToVal() const</div><div class="ttdoc">get var2val map</div><div class="ttdef"><b>Definition:</b> <a href="AbstractState_8h_source.html#l00253">AbstractState.h:253</a></div></div>
 <div class="ttc" id="aclassSVF_1_1AbstractState_html_a8d2a6e895d17181324cdeb9e2cf8f1de"><div class="ttname"><a href="classSVF_1_1AbstractState.html#a8d2a6e895d17181324cdeb9e2cf8f1de">SVF::AbstractState::widenWith</a></div><div class="ttdeci">void widenWith(const AbstractState &amp;other)</div><div class="ttdoc">domain widen with other, important! other widen this.</div><div class="ttdef"><b>Definition:</b> <a href="AbstractState_8cpp_source.html#l00101">AbstractState.cpp:101</a></div></div>
 <div class="ttc" id="aclassSVF_1_1AbstractState_html_a413cb1d009e2a080960bb2432e193d0c"><div class="ttname"><a href="classSVF_1_1AbstractState.html#a413cb1d009e2a080960bb2432e193d0c">SVF::AbstractState::joinWith</a></div><div class="ttdeci">void joinWith(const AbstractState &amp;other)</div><div class="ttdoc">domain join with other, important! other widen this.</div><div class="ttdef"><b>Definition:</b> <a href="AbstractState_8cpp_source.html#l00120">AbstractState.cpp:120</a></div></div>
 <div class="ttc" id="acJSON_8h_html_ac76cea59d438ba893d2f82aabb367d14"><div class="ttname"><a href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a></div><div class="ttdeci">cJSON * item</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00222">cJSON.h:222</a></div></div>
-<div class="ttc" id="aclassSVF_1_1AbstractState_html_aade30bb08f86b3f74e7aa9cdc60c92a3"><div class="ttname"><a href="classSVF_1_1AbstractState.html#aade30bb08f86b3f74e7aa9cdc60c92a3">SVF::AbstractState::_locToAbsVal</a></div><div class="ttdeci">LocToAbsValMap _locToAbsVal</div><div class="ttdoc">Map a memory address to its stored abstract value.</div><div class="ttdef"><b>Definition:</b> <a href="AbstractState_8h_source.html#l00170">AbstractState.h:170</a></div></div>
 <div class="ttc" id="aclassSVF_1_1AbstractState_html_adec6191b9f1e51ed70a7620dd06153a9"><div class="ttname"><a href="classSVF_1_1AbstractState.html#adec6191b9f1e51ed70a7620dd06153a9">SVF::AbstractState::meetWith</a></div><div class="ttdeci">void meetWith(const AbstractState &amp;other)</div><div class="ttdoc">domain meet with other, important! other widen this.</div><div class="ttdef"><b>Definition:</b> <a href="AbstractState_8cpp_source.html#l00194">AbstractState.cpp:194</a></div></div>
 <div class="ttc" id="astructSVF_1_1AbstractValue_html"><div class="ttname"><a href="structSVF_1_1AbstractValue.html">SVF::AbstractValue</a></div><div class="ttdef"><b>Definition:</b> <a href="AbstractValue_8h_source.html#l00029">AbstractValue.h:29</a></div></div>
 <div class="ttc" id="aclassSVF_1_1AbstractState_html_a61a9a3873426ad522d0b4c16eb2ac67b"><div class="ttname"><a href="classSVF_1_1AbstractState.html#a61a9a3873426ad522d0b4c16eb2ac67b">SVF::AbstractState::printTable</a></div><div class="ttdeci">void printTable(const VarToAbsValMap &amp;table, std::ostream &amp;oss) const</div><div class="ttdef"><b>Definition:</b> <a href="AbstractState_8cpp_source.html#l00247">AbstractState.cpp:247</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_ad42bff8d0a7d60a085aa32d10f4955af"><div class="ttname"><a href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF::u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00046">GeneralType.h:46</a></div></div>
+<div class="ttc" id="aclassSVF_1_1AbstractState_html_a816695606ef796ce97c42ac4053de47e"><div class="ttname"><a href="classSVF_1_1AbstractState.html#a816695606ef796ce97c42ac4053de47e">SVF::AbstractState::_addrToAbsVal</a></div><div class="ttdeci">AddrToAbsValMap _addrToAbsVal</div><div class="ttdoc">Map a memory address to its stored abstract value.</div><div class="ttdef"><b>Definition:</b> <a href="AbstractState_8h_source.html#l00169">AbstractState.h:169</a></div></div>
 <!-- start footer part -->
 <hr class="footer"/><address class="footer"><small>
 Generated by &#160;<a href="http://www.doxygen.org/index.html">