npm - svf-tools - Versions diffs - 1.0.418 → 1.0.421 - Mend

svf-tools 1.0.418 → 1.0.421

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

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

@@ -66,7 +66,8 @@ $(function() {
 <div class="title">PathDPItem.h</div>  </div>
 </div><!--header-->
 <div class="contents">
-<a href="PathDPItem_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">//===- PathDPItem.h -- path sensitive classes----------------------------//</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">//                     SVF: Static Value-Flow Analysis</span></div><div class="line"><a name="l00004"></a><span class="lineno">    4</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00005"></a><span class="lineno">    5</span>&#160;<span class="comment">// Copyright (C) &lt;2013-2017&gt;  &lt;Yulei Sui&gt;</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;</div><div class="line"><a name="l00008"></a><span class="lineno">    8</span>&#160;<span class="comment">// This program is free software: you can redistribute it and/or modify</span></div><div class="line"><a name="l00009"></a><span class="lineno">    9</span>&#160;<span class="comment">// it under the terms of the GNU General Public License as published by</span></div><div class="line"><a name="l00010"></a><span class="lineno">   10</span>&#160;<span class="comment">// the Free Software Foundation, either version 3 of the License, or</span></div><div class="line"><a name="l00011"></a><span class="lineno">   11</span>&#160;<span class="comment">// (at your option) any later version.</span></div><div class="line"><a name="l00012"></a><span class="lineno">   12</span>&#160;</div><div class="line"><a name="l00013"></a><span class="lineno">   13</span>&#160;<span class="comment">// This program is distributed in the hope that it will be useful,</span></div><div class="line"><a name="l00014"></a><span class="lineno">   14</span>&#160;<span class="comment">// but WITHOUT ANY WARRANTY; without even the implied warranty of</span></div><div class="line"><a name="l00015"></a><span class="lineno">   15</span>&#160;<span class="comment">// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the</span></div><div class="line"><a name="l00016"></a><span class="lineno">   16</span>&#160;<span class="comment">// GNU General Public License for more details.</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="comment">// You should have received a copy of the GNU General Public License</span></div><div class="line"><a name="l00019"></a><span class="lineno">   19</span>&#160;<span class="comment">// along with this program.  If not, see &lt;http://www.gnu.org/licenses/&gt;.</span></div><div class="line"><a name="l00020"></a><span class="lineno">   20</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00021"></a><span class="lineno">   21</span>&#160;<span class="comment">//===----------------------------------------------------------------------===//</span></div><div class="line"><a name="l00022"></a><span class="lineno">   22</span>&#160;</div><div class="line"><a name="l00023"></a><span class="lineno">   23</span>&#160;<span class="comment">/*</span></div><div class="line"><a name="l00024"></a><span class="lineno">   24</span>&#160;<span class="comment"> * DPItem.h</span></div><div class="line"><a name="l00025"></a><span class="lineno">   25</span>&#160;<span class="comment"> *</span></div><div class="line"><a name="l00026"></a><span class="lineno">   26</span>&#160;<span class="comment"> *  Created on: Apr 1, 2014</span></div><div class="line"><a name="l00027"></a><span class="lineno">   27</span>&#160;<span class="comment"> *      Author: Yulei Sui</span></div><div class="line"><a name="l00028"></a><span class="lineno">   28</span>&#160;<span class="comment"> */</span></div><div class="line"><a name="l00029"></a><span class="lineno">   29</span>&#160;</div><div class="line"><a name="l00030"></a><span class="lineno">   30</span>&#160;<span class="preprocessor">#ifndef PATHDPITEM_H_</span></div><div class="line"><a name="l00031"></a><span class="lineno">   31</span>&#160;<span class="preprocessor">#define PATHDPITEM_H_</span></div><div class="line"><a name="l00032"></a><span class="lineno">   32</span>&#160;</div><div class="line"><a name="l00033"></a><span class="lineno">   33</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="DPItem_8h.html">Util/DPItem.h</a>&quot;</span></div><div class="line"><a name="l00034"></a><span class="lineno">   34</span>&#160;</div><div class="line"><a name="l00035"></a><span class="lineno">   35</span>&#160;<span class="keyword">namespace </span><a class="code" href="namespaceSVF.html">SVF</a></div><div class="line"><a name="l00036"></a><span class="lineno">   36</span>&#160;{</div><div class="line"><a name="l00037"></a><span class="lineno">   37</span>&#160;</div><div class="line"><a name="l00038"></a><span class="lineno"><a class="line" href="classSVF_1_1VFPathCond.html">   38</a></span>&#160;<span class="keyword">class </span><a class="code" href="classSVF_1_1VFPathCond.html">VFPathCond</a> : <span class="keyword">public</span> <a class="code" href="classSVF_1_1ContextCond.html">ContextCond</a></div><div class="line"><a name="l00039"></a><span class="lineno">   39</span>&#160;{</div><div class="line"><a name="l00040"></a><span class="lineno">   40</span>&#160;</div><div class="line"><a name="l00041"></a><span class="lineno">   41</span>&#160;<span class="keyword">public</span>:</div><div class="line"><a name="l00042"></a><span class="lineno"><a class="line" href="classSVF_1_1VFPathCond.html#a69d1ab707592342b8890459697ce7258">   42</a></span>&#160;    <span class="keyword">typedef</span> <a class="code" href="classSVF_1_1CondExpr.html">CondExpr</a> <a class="code" href="classSVF_1_1VFPathCond.html#a69d1ab707592342b8890459697ce7258">PathCond</a>;</div><div class="line"><a name="l00043"></a><span class="lineno"><a class="line" href="classSVF_1_1VFPathCond.html#a17f76b046c8f968b559b2d3e4b2ddf57">   43</a></span>&#160;    <span class="keyword">typedef</span> std::vector&lt;std::pair&lt;NodeID,NodeID&gt; &gt; <a class="code" href="classSVF_1_1VFPathCond.html#a17f76b046c8f968b559b2d3e4b2ddf57">EdgeSet</a>;</div><div class="line"><a name="l00044"></a><span class="lineno">   44</span>&#160;</div><div class="line"><a name="l00045"></a><span class="lineno">   45</span>&#160;<span class="keyword">public</span>:</div><div class="line"><a name="l00047"></a><span class="lineno"><a class="line" href="classSVF_1_1VFPathCond.html#ab54d59837160b5499992d7ea0a19723c">   47</a></span>&#160;    <a class="code" href="classSVF_1_1VFPathCond.html#ab54d59837160b5499992d7ea0a19723c">VFPathCond</a>(PathCond* p = <a class="code" href="classSVF_1_1CondManager.html#ac74f182ef249a7c892ba9c630f889ddc">CondManager::getTrueCond</a>()) : <a class="code" href="classSVF_1_1ContextCond.html">ContextCond</a>(), <a class="code" href="classSVF_1_1VFPathCond.html#a1c7866468d55fe6bcb4e0a3225e8dbe8">path</a>(p)</div><div class="line"><a name="l00048"></a><span class="lineno">   48</span>&#160;    {</div><div class="line"><a name="l00049"></a><span class="lineno">   49</span>&#160;    }</div><div class="line"><a name="l00051"></a><span class="lineno"><a class="line" href="classSVF_1_1VFPathCond.html#ab6826c1ee28ed96fa736cdf7323f600c">   51</a></span>&#160;    <a class="code" href="classSVF_1_1VFPathCond.html#ab6826c1ee28ed96fa736cdf7323f600c">VFPathCond</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1VFPathCond.html">VFPathCond</a>&amp; cond): <a class="code" href="classSVF_1_1ContextCond.html">ContextCond</a>(cond), <a class="code" href="classSVF_1_1VFPathCond.html#a1c7866468d55fe6bcb4e0a3225e8dbe8">path</a>(cond.<a class="code" href="classSVF_1_1VFPathCond.html#a8e9b42c314d4d182252e171b5b7f8cc4">getPaths</a>()),<a class="code" href="classSVF_1_1VFPathCond.html#acb14b65214b69176a9174ca76526d7a0">edges</a>(cond.<a class="code" href="classSVF_1_1VFPathCond.html#a451e3476a1d20f232f401d74b2e91589">getVFEdges</a>())</div><div class="line"><a name="l00052"></a><span class="lineno">   52</span>&#160;    {</div><div class="line"><a name="l00053"></a><span class="lineno">   53</span>&#160;    }</div><div class="line"><a name="l00055"></a><span class="lineno"><a class="line" href="classSVF_1_1VFPathCond.html#a6d8d2ec399adff481ddc6e9210614e06">   55</a></span>&#160;    <span class="keyword">virtual</span> <a class="code" href="classSVF_1_1VFPathCond.html#a6d8d2ec399adff481ddc6e9210614e06">~VFPathCond</a>()</div><div class="line"><a name="l00056"></a><span class="lineno">   56</span>&#160;    {</div><div class="line"><a name="l00057"></a><span class="lineno">   57</span>&#160;    }</div><div class="line"><a name="l00059"></a><span class="lineno"><a class="line" href="classSVF_1_1VFPathCond.html#a8e9b42c314d4d182252e171b5b7f8cc4">   59</a></span>&#160;    <span class="keyword">inline</span> PathCond* <a class="code" href="classSVF_1_1VFPathCond.html#a8e9b42c314d4d182252e171b5b7f8cc4">getPaths</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00060"></a><span class="lineno">   60</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00061"></a><span class="lineno">   61</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1VFPathCond.html#a1c7866468d55fe6bcb4e0a3225e8dbe8">path</a>;</div><div class="line"><a name="l00062"></a><span class="lineno">   62</span>&#160;    }</div><div class="line"><a name="l00064"></a><span class="lineno"><a class="line" href="classSVF_1_1VFPathCond.html#a451e3476a1d20f232f401d74b2e91589">   64</a></span>&#160;    <span class="keyword">inline</span> <span class="keyword">const</span> EdgeSet&amp; <a class="code" href="classSVF_1_1VFPathCond.html#a451e3476a1d20f232f401d74b2e91589">getVFEdges</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00065"></a><span class="lineno">   65</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00066"></a><span class="lineno">   66</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1VFPathCond.html#acb14b65214b69176a9174ca76526d7a0">edges</a>;</div><div class="line"><a name="l00067"></a><span class="lineno">   67</span>&#160;    }</div><div class="line"><a name="l00069"></a><span class="lineno"><a class="line" href="classSVF_1_1VFPathCond.html#a77e2e07d2c428ac80fe6edafbbb3986b">   69</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1VFPathCond.html#a77e2e07d2c428ac80fe6edafbbb3986b">setPaths</a>(PathCond* p, <span class="keyword">const</span> EdgeSet&amp; e)</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;        <a class="code" href="classSVF_1_1VFPathCond.html#a1c7866468d55fe6bcb4e0a3225e8dbe8">path</a> = p;</div><div class="line"><a name="l00072"></a><span class="lineno">   72</span>&#160;        <a class="code" href="classSVF_1_1VFPathCond.html#acb14b65214b69176a9174ca76526d7a0">edges</a> = e;</div><div class="line"><a name="l00073"></a><span class="lineno">   73</span>&#160;    }</div><div class="line"><a name="l00075"></a><span class="lineno"><a class="line" href="classSVF_1_1VFPathCond.html#a8fc62f3aa9faf26b2618ab13dade33b8">   75</a></span>&#160;    <span class="keyword">inline</span> <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <a class="code" href="classSVF_1_1VFPathCond.html#a8fc62f3aa9faf26b2618ab13dade33b8">pathLen</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00076"></a><span class="lineno">   76</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00077"></a><span class="lineno">   77</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1VFPathCond.html#acb14b65214b69176a9174ca76526d7a0">edges</a>.size();</div><div class="line"><a name="l00078"></a><span class="lineno">   78</span>&#160;    }</div><div class="line"><a name="l00080"></a><span class="lineno"><a class="line" href="classSVF_1_1VFPathCond.html#adbf3026a7f2a9cbbb1de55159e264263">   80</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1VFPathCond.html#adbf3026a7f2a9cbbb1de55159e264263">addVFEdge</a>(<a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> from, <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> to)</div><div class="line"><a name="l00081"></a><span class="lineno">   81</span>&#160;    {</div><div class="line"><a name="l00082"></a><span class="lineno">   82</span>&#160;        <span class="comment">//  assert(!hasVFEdge(from,to) &amp;&amp; &quot;Edge exit?&quot;);</span></div><div class="line"><a name="l00083"></a><span class="lineno">   83</span>&#160;        <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1VFPathCond.html#acb14b65214b69176a9174ca76526d7a0">edges</a>.size() &gt; <a class="code" href="classSVF_1_1ContextCond.html#a7d89351906ef4dff9adb1196f45bc9be">maximumPath</a>)</div><div class="line"><a name="l00084"></a><span class="lineno">   84</span>&#160;            <a class="code" href="classSVF_1_1ContextCond.html#a7d89351906ef4dff9adb1196f45bc9be">maximumPath</a> = <a class="code" href="classSVF_1_1VFPathCond.html#acb14b65214b69176a9174ca76526d7a0">edges</a>.size();</div><div class="line"><a name="l00085"></a><span class="lineno">   85</span>&#160;</div><div class="line"><a name="l00086"></a><span class="lineno">   86</span>&#160;        <a class="code" href="classSVF_1_1VFPathCond.html#acb14b65214b69176a9174ca76526d7a0">edges</a>.push_back(std::make_pair(from,to));</div><div class="line"><a name="l00087"></a><span class="lineno">   87</span>&#160;    }</div><div class="line"><a name="l00089"></a><span class="lineno"><a class="line" href="classSVF_1_1VFPathCond.html#a64edbab728287b8a263ea25670671724">   89</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1VFPathCond.html#a64edbab728287b8a263ea25670671724">hasVFEdge</a>(<a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> from, <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> to)<span class="keyword"> const</span></div><div class="line"><a name="l00090"></a><span class="lineno">   90</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00091"></a><span class="lineno">   91</span>&#160;        <span class="keywordflow">return</span> std::find(<a class="code" href="classSVF_1_1VFPathCond.html#acb14b65214b69176a9174ca76526d7a0">edges</a>.begin(),<a class="code" href="classSVF_1_1VFPathCond.html#acb14b65214b69176a9174ca76526d7a0">edges</a>.end(),std::make_pair(from,to)) != <a class="code" href="classSVF_1_1VFPathCond.html#acb14b65214b69176a9174ca76526d7a0">edges</a>.end();</div><div class="line"><a name="l00092"></a><span class="lineno">   92</span>&#160;    }</div><div class="line"><a name="l00094"></a><span class="lineno"><a class="line" href="classSVF_1_1VFPathCond.html#abb236b6b551cb58e4fb483c07aa5aa77">   94</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1VFPathCond.html#abb236b6b551cb58e4fb483c07aa5aa77">hasIncomingEdge</a>(<a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> node)<span class="keyword"> const</span></div><div class="line"><a name="l00095"></a><span class="lineno">   95</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00096"></a><span class="lineno">   96</span>&#160;        <span class="keywordflow">for</span>(EdgeSet::const_iterator it = <a class="code" href="classSVF_1_1VFPathCond.html#acb14b65214b69176a9174ca76526d7a0">edges</a>.begin(), eit =<a class="code" href="classSVF_1_1VFPathCond.html#acb14b65214b69176a9174ca76526d7a0">edges</a>.end(); it!=eit; ++it)</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="keywordflow">if</span>(it-&gt;second == node)</div><div class="line"><a name="l00099"></a><span class="lineno">   99</span>&#160;                <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00100"></a><span class="lineno">  100</span>&#160;        }</div><div class="line"><a name="l00101"></a><span class="lineno">  101</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00102"></a><span class="lineno">  102</span>&#160;    }</div><div class="line"><a name="l00104"></a><span class="lineno"><a class="line" href="classSVF_1_1VFPathCond.html#a86e063928329b21cce0a319efac56fb9">  104</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1VFPathCond.html#a86e063928329b21cce0a319efac56fb9">hasOutgoingEdge</a>(<a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> node)<span class="keyword"> const</span></div><div class="line"><a name="l00105"></a><span class="lineno">  105</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00106"></a><span class="lineno">  106</span>&#160;        <span class="keywordflow">for</span>(EdgeSet::const_iterator it = <a class="code" href="classSVF_1_1VFPathCond.html#acb14b65214b69176a9174ca76526d7a0">edges</a>.begin(), eit =<a class="code" href="classSVF_1_1VFPathCond.html#acb14b65214b69176a9174ca76526d7a0">edges</a>.end(); it!=eit; ++it)</div><div class="line"><a name="l00107"></a><span class="lineno">  107</span>&#160;        {</div><div class="line"><a name="l00108"></a><span class="lineno">  108</span>&#160;            <span class="keywordflow">if</span>(it-&gt;first == node)</div><div class="line"><a name="l00109"></a><span class="lineno">  109</span>&#160;                <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00110"></a><span class="lineno">  110</span>&#160;        }</div><div class="line"><a name="l00111"></a><span class="lineno">  111</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00112"></a><span class="lineno">  112</span>&#160;    }</div><div class="line"><a name="l00113"></a><span class="lineno"><a class="line" href="classSVF_1_1VFPathCond.html#a47d117a7c5e789766f28cdca6d71ff19">  113</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1VFPathCond.html#a47d117a7c5e789766f28cdca6d71ff19">addPath</a>(<a class="code" href="classSVF_1_1CondManager.html">CondManager</a>* allocator, PathCond* c, <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> from, <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> to)</div><div class="line"><a name="l00114"></a><span class="lineno">  114</span>&#160;    {</div><div class="line"><a name="l00115"></a><span class="lineno">  115</span>&#160;        <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1VFPathCond.html#a8fc62f3aa9faf26b2618ab13dade33b8">pathLen</a>() &lt; <a class="code" href="classSVF_1_1ContextCond.html#aa61b4de81e440448daaf0c5be53aebf3">maximumPathLen</a>)</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;            <span class="keywordflow">if</span>(!<a class="code" href="classSVF_1_1VFPathCond.html#a64edbab728287b8a263ea25670671724">hasVFEdge</a>(from,to))</div><div class="line"><a name="l00118"></a><span class="lineno">  118</span>&#160;            {</div><div class="line"><a name="l00120"></a><span class="lineno">  120</span>&#160;                <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1VFPathCond.html#a86e063928329b21cce0a319efac56fb9">hasOutgoingEdge</a>(from))</div><div class="line"><a name="l00121"></a><span class="lineno">  121</span>&#160;                    c = allocator-&gt;<a class="code" href="classSVF_1_1CondManager.html#ac74f182ef249a7c892ba9c630f889ddc">getTrueCond</a>();</div><div class="line"><a name="l00122"></a><span class="lineno">  122</span>&#160;            }</div><div class="line"><a name="l00123"></a><span class="lineno">  123</span>&#160;            <a class="code" href="classSVF_1_1VFPathCond.html#adbf3026a7f2a9cbbb1de55159e264263">addVFEdge</a>(from,to);</div><div class="line"><a name="l00124"></a><span class="lineno">  124</span>&#160;            <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1VFPathCond.html#aa309029fd48d5bc29411396e31606778">condAnd</a>(allocator,c);</div><div class="line"><a name="l00125"></a><span class="lineno">  125</span>&#160;        }</div><div class="line"><a name="l00126"></a><span class="lineno">  126</span>&#160;        <span class="comment">//  DBOUT(DDDA, SVFUtil::outs() &lt;&lt; &quot;\t\t!!path length beyond limits \n&quot;);</span></div><div class="line"><a name="l00127"></a><span class="lineno">  127</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00128"></a><span class="lineno">  128</span>&#160;    }</div><div class="line"><a name="l00130"></a><span class="lineno">  130</span>&#160;</div><div class="line"><a name="l00131"></a><span class="lineno"><a class="line" href="classSVF_1_1VFPathCond.html#aa309029fd48d5bc29411396e31606778">  131</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1VFPathCond.html#aa309029fd48d5bc29411396e31606778">condAnd</a>(<a class="code" href="classSVF_1_1CondManager.html">CondManager</a>* allocator, PathCond* c)</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;        <a class="code" href="classSVF_1_1VFPathCond.html#a1c7866468d55fe6bcb4e0a3225e8dbe8">path</a> = allocator-&gt;<a class="code" href="classSVF_1_1CondManager.html#a4b88160366a7c7b2bf7e2ab632ed04c7">AND</a>(<a class="code" href="classSVF_1_1VFPathCond.html#a1c7866468d55fe6bcb4e0a3225e8dbe8">path</a>,c);</div><div class="line"><a name="l00134"></a><span class="lineno">  134</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1VFPathCond.html#a1c7866468d55fe6bcb4e0a3225e8dbe8">path</a> != allocator-&gt;<a class="code" href="classSVF_1_1CondManager.html#a39e9d42cb3661d1c686b5163c70eeade">getFalseCond</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"><a class="line" href="classSVF_1_1VFPathCond.html#a1a2927860cfad8b01e1882dce4044203">  136</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1VFPathCond.html#a1a2927860cfad8b01e1882dce4044203">condOr</a>(<a class="code" href="classSVF_1_1CondManager.html">CondManager</a>* allocator, PathCond* c)</div><div class="line"><a name="l00137"></a><span class="lineno">  137</span>&#160;    {</div><div class="line"><a name="l00138"></a><span class="lineno">  138</span>&#160;        <a class="code" href="classSVF_1_1VFPathCond.html#a1c7866468d55fe6bcb4e0a3225e8dbe8">path</a> = allocator-&gt;<a class="code" href="classSVF_1_1CondManager.html#a83824b36d6cd073a171df9919aa0c704">OR</a>(<a class="code" href="classSVF_1_1VFPathCond.html#a1c7866468d55fe6bcb4e0a3225e8dbe8">path</a>,c);</div><div class="line"><a name="l00139"></a><span class="lineno">  139</span>&#160;    }</div><div class="line"><a name="l00141"></a><span class="lineno">  141</span>&#160;</div><div class="line"><a name="l00144"></a><span class="lineno"><a class="line" href="classSVF_1_1VFPathCond.html#adfec3fe0885067b6bd4455d9c12609b5">  144</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1VFPathCond.html#adfec3fe0885067b6bd4455d9c12609b5">operator&lt; </a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1VFPathCond.html">VFPathCond</a>&amp; rhs)<span class="keyword"> const</span></div><div class="line"><a name="l00145"></a><span class="lineno">  145</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00146"></a><span class="lineno">  146</span>&#160;        <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1VFPathCond.html#a1c7866468d55fe6bcb4e0a3225e8dbe8">path</a> != rhs.<a class="code" href="classSVF_1_1VFPathCond.html#a1c7866468d55fe6bcb4e0a3225e8dbe8">path</a>)</div><div class="line"><a name="l00147"></a><span class="lineno">  147</span>&#160;            <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1VFPathCond.html#a1c7866468d55fe6bcb4e0a3225e8dbe8">path</a> &lt; rhs.<a class="code" href="classSVF_1_1VFPathCond.html#a1c7866468d55fe6bcb4e0a3225e8dbe8">path</a>;</div><div class="line"><a name="l00148"></a><span class="lineno">  148</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00149"></a><span class="lineno">  149</span>&#160;            <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ContextCond.html#ac431eae00244cc7792b6e7e00634d535">context</a> &lt; rhs.<a class="code" href="classSVF_1_1ContextCond.html#ac431eae00244cc7792b6e7e00634d535">context</a>;</div><div class="line"><a name="l00150"></a><span class="lineno">  150</span>&#160;    }</div><div class="line"><a name="l00152"></a><span class="lineno"><a class="line" href="classSVF_1_1VFPathCond.html#a4bc59244e43d7db4478b0b9f868a0dab">  152</a></span>&#160;    <span class="keyword">inline</span> <a class="code" href="classSVF_1_1VFPathCond.html">VFPathCond</a>&amp; <a class="code" href="classSVF_1_1VFPathCond.html#a4bc59244e43d7db4478b0b9f868a0dab">operator= </a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1VFPathCond.html">VFPathCond</a>&amp; rhs)</div><div class="line"><a name="l00153"></a><span class="lineno">  153</span>&#160;    {</div><div class="line"><a name="l00154"></a><span class="lineno">  154</span>&#160;        <span class="keywordflow">if</span>(*<span class="keyword">this</span> != rhs)</div><div class="line"><a name="l00155"></a><span class="lineno">  155</span>&#160;        {</div><div class="line"><a name="l00156"></a><span class="lineno">  156</span>&#160;            <a class="code" href="classSVF_1_1ContextCond.html#ae4d1bb47d0c8ef4d8b31ffaeb83edf04">ContextCond::operator=</a>(rhs);</div><div class="line"><a name="l00157"></a><span class="lineno">  157</span>&#160;            <a class="code" href="classSVF_1_1VFPathCond.html#a1c7866468d55fe6bcb4e0a3225e8dbe8">path</a> = rhs.<a class="code" href="classSVF_1_1VFPathCond.html#a8e9b42c314d4d182252e171b5b7f8cc4">getPaths</a>();</div><div class="line"><a name="l00158"></a><span class="lineno">  158</span>&#160;            <a class="code" href="classSVF_1_1VFPathCond.html#acb14b65214b69176a9174ca76526d7a0">edges</a> = rhs.<a class="code" href="classSVF_1_1VFPathCond.html#a451e3476a1d20f232f401d74b2e91589">getVFEdges</a>();</div><div class="line"><a name="l00159"></a><span class="lineno">  159</span>&#160;        }</div><div class="line"><a name="l00160"></a><span class="lineno">  160</span>&#160;        <span class="keywordflow">return</span> *<span class="keyword">this</span>;</div><div class="line"><a name="l00161"></a><span class="lineno">  161</span>&#160;    }</div><div class="line"><a name="l00163"></a><span class="lineno"><a class="line" href="classSVF_1_1VFPathCond.html#a475c7d4b05dbde2dc9aed2699dacc2bb">  163</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1VFPathCond.html#a475c7d4b05dbde2dc9aed2699dacc2bb">operator== </a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1VFPathCond.html">VFPathCond</a>&amp; rhs)<span class="keyword"> const</span></div><div class="line"><a name="l00164"></a><span class="lineno">  164</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00165"></a><span class="lineno">  165</span>&#160;        <span class="keywordflow">return</span> (<a class="code" href="classSVF_1_1ContextCond.html#ac431eae00244cc7792b6e7e00634d535">context</a> == rhs.<a class="code" href="classSVF_1_1ContextCond.html#a73d4d6ed38898b912926d044268fd35b">getContexts</a>() &amp;&amp; <a class="code" href="classSVF_1_1VFPathCond.html#a1c7866468d55fe6bcb4e0a3225e8dbe8">path</a> == rhs.<a class="code" href="classSVF_1_1VFPathCond.html#a8e9b42c314d4d182252e171b5b7f8cc4">getPaths</a>());</div><div class="line"><a name="l00166"></a><span class="lineno">  166</span>&#160;    }</div><div class="line"><a name="l00168"></a><span class="lineno"><a class="line" href="classSVF_1_1VFPathCond.html#a6511e52c695247cd887f04ef37de15ff">  168</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1VFPathCond.html#a6511e52c695247cd887f04ef37de15ff">operator!= </a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1VFPathCond.html">VFPathCond</a>&amp; rhs)<span class="keyword"> const</span></div><div class="line"><a name="l00169"></a><span class="lineno">  169</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00170"></a><span class="lineno">  170</span>&#160;        <span class="keywordflow">return</span> !(*<span class="keyword">this</span>==rhs);</div><div class="line"><a name="l00171"></a><span class="lineno">  171</span>&#160;    }</div><div class="line"><a name="l00173"></a><span class="lineno"><a class="line" href="classSVF_1_1VFPathCond.html#a9b7b81222fc7a128f9f48034d050ce06">  173</a></span>&#160;    <span class="keyword">inline</span> std::string <a class="code" href="classSVF_1_1VFPathCond.html#a9b7b81222fc7a128f9f48034d050ce06">vfEdgesTrace</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00174"></a><span class="lineno">  174</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00175"></a><span class="lineno">  175</span>&#160;        std::string str;</div><div class="line"><a name="l00176"></a><span class="lineno">  176</span>&#160;        <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00177"></a><span class="lineno">  177</span>&#160;        <span class="keywordflow">for</span>(EdgeSet::const_iterator it = <a class="code" href="classSVF_1_1VFPathCond.html#acb14b65214b69176a9174ca76526d7a0">edges</a>.begin(), eit = <a class="code" href="classSVF_1_1VFPathCond.html#acb14b65214b69176a9174ca76526d7a0">edges</a>.end(); it!=eit; ++it)</div><div class="line"><a name="l00178"></a><span class="lineno">  178</span>&#160;        {</div><div class="line"><a name="l00179"></a><span class="lineno">  179</span>&#160;            rawstr &lt;&lt; <span class="stringliteral">&quot;(&quot;</span> &lt;&lt; it-&gt;first &lt;&lt; <span class="stringliteral">&quot;,&quot;</span> &lt;&lt; it-&gt;second &lt;&lt; <span class="stringliteral">&quot;)&quot;</span>;</div><div class="line"><a name="l00180"></a><span class="lineno">  180</span>&#160;        }</div><div class="line"><a name="l00181"></a><span class="lineno">  181</span>&#160;        <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00182"></a><span class="lineno">  182</span>&#160;    }</div><div class="line"><a name="l00184"></a><span class="lineno"><a class="line" href="classSVF_1_1VFPathCond.html#a21665a89c2ba52de5754c2faad53166c">  184</a></span>&#160;    <span class="keyword">inline</span> std::string <a class="code" href="classSVF_1_1VFPathCond.html#a21665a89c2ba52de5754c2faad53166c">toString</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00185"></a><span class="lineno">  185</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00186"></a><span class="lineno">  186</span>&#160;        std::string str;</div><div class="line"><a name="l00187"></a><span class="lineno">  187</span>&#160;        <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00188"></a><span class="lineno">  188</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot;[:&quot;</span>;</div><div class="line"><a name="l00189"></a><span class="lineno">  189</span>&#160;        <span class="keywordflow">for</span>(CallStrCxt::const_iterator it = <a class="code" href="classSVF_1_1ContextCond.html#ac431eae00244cc7792b6e7e00634d535">context</a>.begin(), eit = <a class="code" href="classSVF_1_1ContextCond.html#ac431eae00244cc7792b6e7e00634d535">context</a>.end(); it!=eit; ++it)</div><div class="line"><a name="l00190"></a><span class="lineno">  190</span>&#160;        {</div><div class="line"><a name="l00191"></a><span class="lineno">  191</span>&#160;            rawstr &lt;&lt; *it &lt;&lt; <span class="stringliteral">&quot; &quot;</span>;</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">  193</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot; | &quot;</span>;</div><div class="line"><a name="l00194"></a><span class="lineno">  194</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot;&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1VFPathCond.html#a1c7866468d55fe6bcb4e0a3225e8dbe8">path</a> &lt;&lt; <span class="stringliteral">&quot;] &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1VFPathCond.html#a9b7b81222fc7a128f9f48034d050ce06">vfEdgesTrace</a>() ;</div><div class="line"><a name="l00195"></a><span class="lineno">  195</span>&#160;        <span class="keywordflow">return</span> rawstr.str();</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">  197</span>&#160;</div><div class="line"><a name="l00198"></a><span class="lineno">  198</span>&#160;<span class="keyword">private</span>:</div><div class="line"><a name="l00199"></a><span class="lineno"><a class="line" href="classSVF_1_1VFPathCond.html#a1c7866468d55fe6bcb4e0a3225e8dbe8">  199</a></span>&#160;    PathCond* <a class="code" href="classSVF_1_1VFPathCond.html#a1c7866468d55fe6bcb4e0a3225e8dbe8">path</a>;</div><div class="line"><a name="l00200"></a><span class="lineno"><a class="line" href="classSVF_1_1VFPathCond.html#acb14b65214b69176a9174ca76526d7a0">  200</a></span>&#160;    EdgeSet <a class="code" href="classSVF_1_1VFPathCond.html#acb14b65214b69176a9174ca76526d7a0">edges</a>;</div><div class="line"><a name="l00201"></a><span class="lineno">  201</span>&#160;</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;</div><div class="line"><a name="l00204"></a><span class="lineno">  204</span>&#160;</div><div class="line"><a name="l00208"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a4a4d1c207659cdb9efbcfd7a7af6d9cd">  208</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="classSVF_1_1CondVar.html">CondVar&lt;VFPathCond&gt;</a> <a class="code" href="namespaceSVF.html#a4a4d1c207659cdb9efbcfd7a7af6d9cd">VFPathVar</a>;</div><div class="line"><a name="l00209"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ab2dd5e7169f19030e124d09284ee50c1">  209</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="classSVF_1_1CondStdSet.html">CondStdSet&lt;VFPathVar&gt;</a> <a class="code" href="namespaceSVF.html#ab2dd5e7169f19030e124d09284ee50c1">VFPathPtSet</a>;</div><div class="line"><a name="l00210"></a><span class="lineno">  210</span>&#160;</div><div class="line"><a name="l00211"></a><span class="lineno">  211</span>&#160;<span class="keyword">template</span>&lt;<span class="keyword">class</span> LocCond&gt;</div><div class="line"><a name="l00212"></a><span class="lineno"><a class="line" href="classSVF_1_1PathStmtDPItem.html">  212</a></span>&#160;<span class="keyword">class </span><a class="code" href="classSVF_1_1PathStmtDPItem.html">PathStmtDPItem</a> : <span class="keyword">public</span> <a class="code" href="classSVF_1_1StmtDPItem.html">StmtDPItem</a>&lt;LocCond&gt;</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;<span class="keyword">private</span>:</div><div class="line"><a name="l00215"></a><span class="lineno"><a class="line" href="classSVF_1_1PathStmtDPItem.html#a33758a06ff628da74639bbdc348882c4">  215</a></span>&#160;    <a class="code" href="classSVF_1_1VFPathCond.html">VFPathCond</a> <a class="code" href="classSVF_1_1PathStmtDPItem.html#a33758a06ff628da74639bbdc348882c4">vfpath</a>;</div><div class="line"><a name="l00216"></a><span class="lineno">  216</span>&#160;<span class="keyword">public</span>:</div><div class="line"><a name="l00217"></a><span class="lineno"><a class="line" href="classSVF_1_1PathStmtDPItem.html#a9092ac46745ceac6c9d9e7e560df6e86">  217</a></span>&#160;    <span class="keyword">typedef</span> <a class="code" href="classSVF_1_1CondExpr.html">VFPathCond::PathCond</a> <a class="code" href="classSVF_1_1PathStmtDPItem.html#a9092ac46745ceac6c9d9e7e560df6e86">PathCond</a>;</div><div class="line"><a name="l00218"></a><span class="lineno">  218</span>&#160;</div><div class="line"><a name="l00220"></a><span class="lineno"><a class="line" href="classSVF_1_1PathStmtDPItem.html#aaa18b09d9000c59ed45d25af4865864d">  220</a></span>&#160;    <a class="code" href="classSVF_1_1PathStmtDPItem.html#aaa18b09d9000c59ed45d25af4865864d">PathStmtDPItem</a>(<span class="keyword">const</span> VFPathVar&amp; var, <span class="keyword">const</span> LocCond* locCond) :</div><div class="line"><a name="l00221"></a><span class="lineno">  221</span>&#160;        <a class="code" href="classSVF_1_1StmtDPItem.html">StmtDPItem</a>&lt;LocCond&gt;(var.get_id(),locCond), vfpath(var.get_cond())</div><div class="line"><a name="l00222"></a><span class="lineno">  222</span>&#160;    {</div><div class="line"><a name="l00223"></a><span class="lineno">  223</span>&#160;    }</div><div class="line"><a name="l00225"></a><span class="lineno"><a class="line" href="classSVF_1_1PathStmtDPItem.html#a0f2d575defc85aca8c3f85353edba685">  225</a></span>&#160;    <a class="code" href="classSVF_1_1PathStmtDPItem.html#a0f2d575defc85aca8c3f85353edba685">PathStmtDPItem</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1PathStmtDPItem.html">PathStmtDPItem&lt;LocCond&gt;</a>&amp; dps) :</div><div class="line"><a name="l00226"></a><span class="lineno">  226</span>&#160;        <a class="code" href="classSVF_1_1StmtDPItem.html">StmtDPItem</a>&lt;LocCond&gt;(dps),vfpath(dps.getCond())</div><div class="line"><a name="l00227"></a><span class="lineno">  227</span>&#160;    {</div><div class="line"><a name="l00228"></a><span class="lineno">  228</span>&#160;    }</div><div class="line"><a name="l00230"></a><span class="lineno"><a class="line" href="classSVF_1_1PathStmtDPItem.html#adbe4b6f0f18f74661be01a17892aa839">  230</a></span>&#160;    <span class="keyword">virtual</span> <a class="code" href="classSVF_1_1PathStmtDPItem.html#adbe4b6f0f18f74661be01a17892aa839">~PathStmtDPItem</a>()</div><div class="line"><a name="l00231"></a><span class="lineno">  231</span>&#160;    {</div><div class="line"><a name="l00232"></a><span class="lineno">  232</span>&#160;    }</div><div class="line"><a name="l00233"></a><span class="lineno"><a class="line" href="classSVF_1_1PathStmtDPItem.html#a4058ed62b866451b5ced665619ddcf56">  233</a></span>&#160;    <span class="keyword">inline</span> VFPathVar <a class="code" href="classSVF_1_1PathStmtDPItem.html#a4058ed62b866451b5ced665619ddcf56">getCondVar</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00234"></a><span class="lineno">  234</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00235"></a><span class="lineno">  235</span>&#160;        VFPathVar var(this-&gt;vfpath,this-&gt;cur);</div><div class="line"><a name="l00236"></a><span class="lineno">  236</span>&#160;        <span class="keywordflow">return</span> var;</div><div class="line"><a name="l00237"></a><span class="lineno">  237</span>&#160;    }</div><div class="line"><a name="l00239"></a><span class="lineno"><a class="line" href="classSVF_1_1PathStmtDPItem.html#a529f51d30556e6f67a33b7d05e651816">  239</a></span>&#160;    <span class="keyword">inline</span> <span class="keyword">const</span> <a class="code" href="classSVF_1_1VFPathCond.html">VFPathCond</a>&amp; <a class="code" href="classSVF_1_1PathStmtDPItem.html#a529f51d30556e6f67a33b7d05e651816">getCond</a>()<span class="keyword"> const</span></div><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;        <span class="keywordflow">return</span> this-&gt;vfpath;</div><div class="line"><a name="l00242"></a><span class="lineno">  242</span>&#160;    }</div><div class="line"><a name="l00244"></a><span class="lineno"><a class="line" href="classSVF_1_1PathStmtDPItem.html#af96b78bbeb1f16d94f18e19c35672d28">  244</a></span>&#160;    <span class="keyword">inline</span> <a class="code" href="classSVF_1_1VFPathCond.html">VFPathCond</a>&amp; <a class="code" href="classSVF_1_1PathStmtDPItem.html#af96b78bbeb1f16d94f18e19c35672d28">getCond</a>()</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;        <span class="keywordflow">return</span> this-&gt;vfpath;</div><div class="line"><a name="l00247"></a><span class="lineno">  247</span>&#160;    }</div><div class="line"><a name="l00249"></a><span class="lineno"><a class="line" href="classSVF_1_1PathStmtDPItem.html#ac8677af22f80379acf5dfd649ab41227">  249</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1PathStmtDPItem.html#ac8677af22f80379acf5dfd649ab41227">addVFPath</a>(<a class="code" href="classSVF_1_1CondManager.html">CondManager</a>* allocator, PathCond* c, <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> from, <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> to)</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;        <span class="keywordflow">return</span> this-&gt;vfpath.<a class="code" href="classSVF_1_1VFPathCond.html#a47d117a7c5e789766f28cdca6d71ff19">addPath</a>(allocator,c,from,to);</div><div class="line"><a name="l00252"></a><span class="lineno">  252</span>&#160;    }</div><div class="line"><a name="l00254"></a><span class="lineno"><a class="line" href="classSVF_1_1PathStmtDPItem.html#ae5bfef4e7759545ad15145504b84a897">  254</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1PathStmtDPItem.html#ae5bfef4e7759545ad15145504b84a897">pushContext</a>(<a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> cxt)</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;        <span class="keywordflow">return</span> this-&gt;vfpath.<a class="code" href="classSVF_1_1ContextCond.html#ad16644f61728fbb166ce80957b17d884">pushContext</a>(cxt);</div><div class="line"><a name="l00257"></a><span class="lineno">  257</span>&#160;    }</div><div class="line"><a name="l00259"></a><span class="lineno"><a class="line" href="classSVF_1_1PathStmtDPItem.html#a4a82650fe9bf2f655e4b7178ba063eda">  259</a></span>&#160;    <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1PathStmtDPItem.html#a4a82650fe9bf2f655e4b7178ba063eda">matchContext</a>(<a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> cxt)</div><div class="line"><a name="l00260"></a><span class="lineno">  260</span>&#160;    {</div><div class="line"><a name="l00261"></a><span class="lineno">  261</span>&#160;        <span class="keywordflow">return</span> this-&gt;vfpath.<a class="code" href="classSVF_1_1ContextCond.html#ab816f854687999b8c01f5c02fcf6b8af">matchContext</a>(cxt);</div><div class="line"><a name="l00262"></a><span class="lineno">  262</span>&#160;    }</div><div class="line"><a name="l00263"></a><span class="lineno">  263</span>&#160;</div><div class="line"><a name="l00266"></a><span class="lineno"><a class="line" href="classSVF_1_1PathStmtDPItem.html#a8df1b3200bf3385aeb793966ff51ee75">  266</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">bool</span> operator&lt; (const PathStmtDPItem&lt;LocCond&gt;&amp; rhs) <span class="keyword">const</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">  268</span>&#160;        <span class="keywordflow">if</span> (this-&gt;cur != rhs.getCurNodeID())</div><div class="line"><a name="l00269"></a><span class="lineno">  269</span>&#160;            <span class="keywordflow">return</span> this-&gt;cur &lt; rhs.getCurNodeID();</div><div class="line"><a name="l00270"></a><span class="lineno">  270</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span>(this-&gt;curloc != rhs.getLoc())</div><div class="line"><a name="l00271"></a><span class="lineno">  271</span>&#160;            <span class="keywordflow">return</span> this-&gt;curloc &lt; rhs.getLoc();</div><div class="line"><a name="l00272"></a><span class="lineno">  272</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00273"></a><span class="lineno">  273</span>&#160;            <span class="keywordflow">return</span> this-&gt;vfpath &lt; rhs.getCond();</div><div class="line"><a name="l00274"></a><span class="lineno">  274</span>&#160;    }</div><div class="line"><a name="l00276"></a><span class="lineno"><a class="line" href="classSVF_1_1PathStmtDPItem.html#a36ff7567d47e3818d79ede424f736817">  276</a></span>&#160;    <span class="keyword">inline</span> <a class="code" href="classSVF_1_1PathStmtDPItem.html">PathStmtDPItem&lt;LocCond&gt;</a>&amp; <a class="code" href="classSVF_1_1VFPathCond.html#a4bc59244e43d7db4478b0b9f868a0dab">operator= </a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1PathStmtDPItem.html">PathStmtDPItem&lt;LocCond&gt;</a>&amp; rhs)</div><div class="line"><a name="l00277"></a><span class="lineno">  277</span>&#160;    {</div><div class="line"><a name="l00278"></a><span class="lineno">  278</span>&#160;        <span class="keywordflow">if</span>(*<span class="keyword">this</span>!=rhs)</div><div class="line"><a name="l00279"></a><span class="lineno">  279</span>&#160;        {</div><div class="line"><a name="l00280"></a><span class="lineno">  280</span>&#160;            <a class="code" href="classSVF_1_1StmtDPItem.html#a072da7dc37fd3f9b7a79196394382499">StmtDPItem&lt;LocCond&gt;::operator=</a>(rhs);</div><div class="line"><a name="l00281"></a><span class="lineno">  281</span>&#160;            this-&gt;vfpath = rhs.<a class="code" href="classSVF_1_1PathStmtDPItem.html#a529f51d30556e6f67a33b7d05e651816">getCond</a>();</div><div class="line"><a name="l00282"></a><span class="lineno">  282</span>&#160;        }</div><div class="line"><a name="l00283"></a><span class="lineno">  283</span>&#160;        <span class="keywordflow">return</span> *<span class="keyword">this</span>;</div><div class="line"><a name="l00284"></a><span class="lineno">  284</span>&#160;    }</div><div class="line"><a name="l00286"></a><span class="lineno"><a class="line" href="classSVF_1_1PathStmtDPItem.html#a5b7d6a8d8e14845a94611474c53fadaa">  286</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1VFPathCond.html#a475c7d4b05dbde2dc9aed2699dacc2bb">operator== </a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1PathStmtDPItem.html">PathStmtDPItem&lt;LocCond&gt;</a>&amp; rhs)<span class="keyword"> const</span></div><div class="line"><a name="l00287"></a><span class="lineno">  287</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00288"></a><span class="lineno">  288</span>&#160;        <span class="keywordflow">return</span> (this-&gt;cur == rhs.<a class="code" href="classSVF_1_1DPItem.html#a82d2a11fb456192ec88fcb5ffe239d80">cur</a> &amp;&amp; this-&gt;curloc == rhs.<a class="code" href="classSVF_1_1StmtDPItem.html#a3616c94c4394b61c757ffcd39888d5b9">getLoc</a>() &amp;&amp; this-&gt;vfpath==rhs.<a class="code" href="classSVF_1_1PathStmtDPItem.html#a529f51d30556e6f67a33b7d05e651816">getCond</a>());</div><div class="line"><a name="l00289"></a><span class="lineno">  289</span>&#160;    }</div><div class="line"><a name="l00291"></a><span class="lineno"><a class="line" href="classSVF_1_1PathStmtDPItem.html#a886e2443efb35d18b92186a83875c7c9">  291</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1VFPathCond.html#a6511e52c695247cd887f04ef37de15ff">operator!= </a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1PathStmtDPItem.html">PathStmtDPItem&lt;LocCond&gt;</a>&amp; rhs)<span class="keyword"> const</span></div><div class="line"><a name="l00292"></a><span class="lineno">  292</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00293"></a><span class="lineno">  293</span>&#160;        <span class="keywordflow">return</span> !(*<span class="keyword">this</span>==rhs);</div><div class="line"><a name="l00294"></a><span class="lineno">  294</span>&#160;    }</div><div class="line"><a name="l00296"></a><span class="lineno"><a class="line" href="classSVF_1_1PathStmtDPItem.html#ad1ba1dd2dbe5041840f72e4fcff08216">  296</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1PathStmtDPItem.html#ad1ba1dd2dbe5041840f72e4fcff08216">dump</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00297"></a><span class="lineno">  297</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00298"></a><span class="lineno">  298</span>&#160;        <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVFUtil::outs</a>() &lt;&lt; <span class="stringliteral">&quot;statement &quot;</span> &lt;&lt; *(this-&gt;curloc)  &lt;&lt; <span class="stringliteral">&quot;, var &quot;</span> &lt;&lt; this-&gt;cur &lt;&lt; <span class="stringliteral">&quot; &quot;</span>;</div><div class="line"><a name="l00299"></a><span class="lineno">  299</span>&#160;        <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVFUtil::outs</a>() &lt;&lt; this-&gt;vfpath.<a class="code" href="classSVF_1_1VFPathCond.html#a21665a89c2ba52de5754c2faad53166c">toString</a>() &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div><div class="line"><a name="l00300"></a><span class="lineno">  300</span>&#160;    }</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">  303</span>&#160;</div><div class="line"><a name="l00304"></a><span class="lineno">  304</span>&#160;</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="comment">// End namespace SVF</span></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">  308</span>&#160;</div><div class="line"><a name="l00309"></a><span class="lineno">  309</span>&#160;</div><div class="line"><a name="l00310"></a><span class="lineno">  310</span>&#160;<span class="preprocessor">#endif </span><span class="comment">/* DPITEM_H_ */</span><span class="preprocessor"></span></div><div class="ttc" id="classSVF_1_1VFPathCond_html_a64edbab728287b8a263ea25670671724"><div class="ttname"><a href="classSVF_1_1VFPathCond.html#a64edbab728287b8a263ea25670671724">SVF::VFPathCond::hasVFEdge</a></div><div class="ttdeci">bool hasVFEdge(NodeID from, NodeID to) const</div><div class="ttdoc">Has SVFG Edge. </div><div class="ttdef"><b>Definition:</b> <a href="PathDPItem_8h_source.html#l00089">PathDPItem.h:89</a></div></div>
+<a href="PathDPItem_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">//===- PathDPItem.h -- path sensitive classes----------------------------//</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">//                     SVF: Static Value-Flow Analysis</span></div><div class="line"><a name="l00004"></a><span class="lineno">    4</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00005"></a><span class="lineno">    5</span>&#160;<span class="comment">// Copyright (C) &lt;2013-2017&gt;  &lt;Yulei Sui&gt;</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;</div><div class="line"><a name="l00008"></a><span class="lineno">    8</span>&#160;<span class="comment">// This program is free software: you can redistribute it and/or modify</span></div><div class="line"><a name="l00009"></a><span class="lineno">    9</span>&#160;<span class="comment">// it under the terms of the GNU General Public License as published by</span></div><div class="line"><a name="l00010"></a><span class="lineno">   10</span>&#160;<span class="comment">// the Free Software Foundation, either version 3 of the License, or</span></div><div class="line"><a name="l00011"></a><span class="lineno">   11</span>&#160;<span class="comment">// (at your option) any later version.</span></div><div class="line"><a name="l00012"></a><span class="lineno">   12</span>&#160;</div><div class="line"><a name="l00013"></a><span class="lineno">   13</span>&#160;<span class="comment">// This program is distributed in the hope that it will be useful,</span></div><div class="line"><a name="l00014"></a><span class="lineno">   14</span>&#160;<span class="comment">// but WITHOUT ANY WARRANTY; without even the implied warranty of</span></div><div class="line"><a name="l00015"></a><span class="lineno">   15</span>&#160;<span class="comment">// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the</span></div><div class="line"><a name="l00016"></a><span class="lineno">   16</span>&#160;<span class="comment">// GNU General Public License for more details.</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="comment">// You should have received a copy of the GNU General Public License</span></div><div class="line"><a name="l00019"></a><span class="lineno">   19</span>&#160;<span class="comment">// along with this program.  If not, see &lt;http://www.gnu.org/licenses/&gt;.</span></div><div class="line"><a name="l00020"></a><span class="lineno">   20</span>&#160;<span class="comment">//</span></div><div class="line"><a name="l00021"></a><span class="lineno">   21</span>&#160;<span class="comment">//===----------------------------------------------------------------------===//</span></div><div class="line"><a name="l00022"></a><span class="lineno">   22</span>&#160;</div><div class="line"><a name="l00023"></a><span class="lineno">   23</span>&#160;<span class="comment">/*</span></div><div class="line"><a name="l00024"></a><span class="lineno">   24</span>&#160;<span class="comment"> * DPItem.h</span></div><div class="line"><a name="l00025"></a><span class="lineno">   25</span>&#160;<span class="comment"> *</span></div><div class="line"><a name="l00026"></a><span class="lineno">   26</span>&#160;<span class="comment"> *  Created on: Apr 1, 2014</span></div><div class="line"><a name="l00027"></a><span class="lineno">   27</span>&#160;<span class="comment"> *      Author: Yulei Sui</span></div><div class="line"><a name="l00028"></a><span class="lineno">   28</span>&#160;<span class="comment"> */</span></div><div class="line"><a name="l00029"></a><span class="lineno">   29</span>&#160;</div><div class="line"><a name="l00030"></a><span class="lineno">   30</span>&#160;<span class="preprocessor">#ifndef PATHDPITEM_H_</span></div><div class="line"><a name="l00031"></a><span class="lineno">   31</span>&#160;<span class="preprocessor">#define PATHDPITEM_H_</span></div><div class="line"><a name="l00032"></a><span class="lineno">   32</span>&#160;</div><div class="line"><a name="l00033"></a><span class="lineno">   33</span>&#160;<span class="preprocessor">#include &quot;<a class="code" href="DPItem_8h.html">Util/DPItem.h</a>&quot;</span></div><div class="line"><a name="l00034"></a><span class="lineno">   34</span>&#160;</div><div class="line"><a name="l00035"></a><span class="lineno">   35</span>&#160;<span class="keyword">namespace </span><a class="code" href="namespaceSVF.html">SVF</a></div><div class="line"><a name="l00036"></a><span class="lineno">   36</span>&#160;{</div><div class="line"><a name="l00037"></a><span class="lineno">   37</span>&#160;</div><div class="line"><a name="l00038"></a><span class="lineno"><a class="line" href="classSVF_1_1VFPathCond.html">   38</a></span>&#160;<span class="keyword">class </span><a class="code" href="classSVF_1_1VFPathCond.html">VFPathCond</a> : <span class="keyword">public</span> <a class="code" href="classSVF_1_1ContextCond.html">ContextCond</a></div><div class="line"><a name="l00039"></a><span class="lineno">   39</span>&#160;{</div><div class="line"><a name="l00040"></a><span class="lineno">   40</span>&#160;</div><div class="line"><a name="l00041"></a><span class="lineno">   41</span>&#160;<span class="keyword">public</span>:</div><div class="line"><a name="l00042"></a><span class="lineno"><a class="line" href="classSVF_1_1VFPathCond.html#a69d1ab707592342b8890459697ce7258">   42</a></span>&#160;    <span class="keyword">typedef</span> <a class="code" href="classSVF_1_1CondExpr.html">CondExpr</a> <a class="code" href="classSVF_1_1VFPathCond.html#a69d1ab707592342b8890459697ce7258">PathCond</a>;</div><div class="line"><a name="l00043"></a><span class="lineno"><a class="line" href="classSVF_1_1VFPathCond.html#a17f76b046c8f968b559b2d3e4b2ddf57">   43</a></span>&#160;    <span class="keyword">typedef</span> std::vector&lt;std::pair&lt;NodeID,NodeID&gt; &gt; <a class="code" href="classSVF_1_1VFPathCond.html#a17f76b046c8f968b559b2d3e4b2ddf57">EdgeSet</a>;</div><div class="line"><a name="l00044"></a><span class="lineno">   44</span>&#160;</div><div class="line"><a name="l00045"></a><span class="lineno">   45</span>&#160;<span class="keyword">public</span>:</div><div class="line"><a name="l00047"></a><span class="lineno"><a class="line" href="classSVF_1_1VFPathCond.html#ab54d59837160b5499992d7ea0a19723c">   47</a></span>&#160;    <a class="code" href="classSVF_1_1VFPathCond.html#ab54d59837160b5499992d7ea0a19723c">VFPathCond</a>(PathCond* p = <a class="code" href="classSVF_1_1CondManager.html#ac74f182ef249a7c892ba9c630f889ddc">CondManager::getTrueCond</a>()) : <a class="code" href="classSVF_1_1ContextCond.html">ContextCond</a>(), <a class="code" href="classSVF_1_1VFPathCond.html#a1c7866468d55fe6bcb4e0a3225e8dbe8">path</a>(p)</div><div class="line"><a name="l00048"></a><span class="lineno">   48</span>&#160;    {</div><div class="line"><a name="l00049"></a><span class="lineno">   49</span>&#160;    }</div><div class="line"><a name="l00051"></a><span class="lineno"><a class="line" href="classSVF_1_1VFPathCond.html#ab6826c1ee28ed96fa736cdf7323f600c">   51</a></span>&#160;    <a class="code" href="classSVF_1_1VFPathCond.html#ab6826c1ee28ed96fa736cdf7323f600c">VFPathCond</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1VFPathCond.html">VFPathCond</a>&amp; cond): <a class="code" href="classSVF_1_1ContextCond.html">ContextCond</a>(cond), <a class="code" href="classSVF_1_1VFPathCond.html#a1c7866468d55fe6bcb4e0a3225e8dbe8">path</a>(cond.<a class="code" href="classSVF_1_1VFPathCond.html#a8e9b42c314d4d182252e171b5b7f8cc4">getPaths</a>()),<a class="code" href="classSVF_1_1VFPathCond.html#acb14b65214b69176a9174ca76526d7a0">edges</a>(cond.<a class="code" href="classSVF_1_1VFPathCond.html#a451e3476a1d20f232f401d74b2e91589">getVFEdges</a>())</div><div class="line"><a name="l00052"></a><span class="lineno">   52</span>&#160;    {</div><div class="line"><a name="l00053"></a><span class="lineno">   53</span>&#160;    }</div><div class="line"><a name="l00055"></a><span class="lineno"><a class="line" href="classSVF_1_1VFPathCond.html#a6d8d2ec399adff481ddc6e9210614e06">   55</a></span>&#160;    <span class="keyword">virtual</span> <a class="code" href="classSVF_1_1VFPathCond.html#a6d8d2ec399adff481ddc6e9210614e06">~VFPathCond</a>()</div><div class="line"><a name="l00056"></a><span class="lineno">   56</span>&#160;    {</div><div class="line"><a name="l00057"></a><span class="lineno">   57</span>&#160;    }</div><div class="line"><a name="l00059"></a><span class="lineno"><a class="line" href="classSVF_1_1VFPathCond.html#a8e9b42c314d4d182252e171b5b7f8cc4">   59</a></span>&#160;    <span class="keyword">inline</span> PathCond* <a class="code" href="classSVF_1_1VFPathCond.html#a8e9b42c314d4d182252e171b5b7f8cc4">getPaths</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00060"></a><span class="lineno">   60</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00061"></a><span class="lineno">   61</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1VFPathCond.html#a1c7866468d55fe6bcb4e0a3225e8dbe8">path</a>;</div><div class="line"><a name="l00062"></a><span class="lineno">   62</span>&#160;    }</div><div class="line"><a name="l00064"></a><span class="lineno"><a class="line" href="classSVF_1_1VFPathCond.html#a451e3476a1d20f232f401d74b2e91589">   64</a></span>&#160;    <span class="keyword">inline</span> <span class="keyword">const</span> EdgeSet&amp; <a class="code" href="classSVF_1_1VFPathCond.html#a451e3476a1d20f232f401d74b2e91589">getVFEdges</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00065"></a><span class="lineno">   65</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00066"></a><span class="lineno">   66</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1VFPathCond.html#acb14b65214b69176a9174ca76526d7a0">edges</a>;</div><div class="line"><a name="l00067"></a><span class="lineno">   67</span>&#160;    }</div><div class="line"><a name="l00069"></a><span class="lineno"><a class="line" href="classSVF_1_1VFPathCond.html#a77e2e07d2c428ac80fe6edafbbb3986b">   69</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1VFPathCond.html#a77e2e07d2c428ac80fe6edafbbb3986b">setPaths</a>(PathCond* p, <span class="keyword">const</span> EdgeSet&amp; e)</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;        <a class="code" href="classSVF_1_1VFPathCond.html#a1c7866468d55fe6bcb4e0a3225e8dbe8">path</a> = p;</div><div class="line"><a name="l00072"></a><span class="lineno">   72</span>&#160;        <a class="code" href="classSVF_1_1VFPathCond.html#acb14b65214b69176a9174ca76526d7a0">edges</a> = e;</div><div class="line"><a name="l00073"></a><span class="lineno">   73</span>&#160;    }</div><div class="line"><a name="l00075"></a><span class="lineno"><a class="line" href="classSVF_1_1VFPathCond.html#a8fc62f3aa9faf26b2618ab13dade33b8">   75</a></span>&#160;    <span class="keyword">inline</span> <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <a class="code" href="classSVF_1_1VFPathCond.html#a8fc62f3aa9faf26b2618ab13dade33b8">pathLen</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00076"></a><span class="lineno">   76</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00077"></a><span class="lineno">   77</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1VFPathCond.html#acb14b65214b69176a9174ca76526d7a0">edges</a>.size();</div><div class="line"><a name="l00078"></a><span class="lineno">   78</span>&#160;    }</div><div class="line"><a name="l00080"></a><span class="lineno"><a class="line" href="classSVF_1_1VFPathCond.html#adbf3026a7f2a9cbbb1de55159e264263">   80</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1VFPathCond.html#adbf3026a7f2a9cbbb1de55159e264263">addVFEdge</a>(<a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> from, <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> to)</div><div class="line"><a name="l00081"></a><span class="lineno">   81</span>&#160;    {</div><div class="line"><a name="l00082"></a><span class="lineno">   82</span>&#160;        <span class="comment">//  assert(!hasVFEdge(from,to) &amp;&amp; &quot;Edge exit?&quot;);</span></div><div class="line"><a name="l00083"></a><span class="lineno">   83</span>&#160;        <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1VFPathCond.html#acb14b65214b69176a9174ca76526d7a0">edges</a>.size() &gt; <a class="code" href="classSVF_1_1ContextCond.html#a7d89351906ef4dff9adb1196f45bc9be">maximumPath</a>)</div><div class="line"><a name="l00084"></a><span class="lineno">   84</span>&#160;            <a class="code" href="classSVF_1_1ContextCond.html#a7d89351906ef4dff9adb1196f45bc9be">maximumPath</a> = <a class="code" href="classSVF_1_1VFPathCond.html#acb14b65214b69176a9174ca76526d7a0">edges</a>.size();</div><div class="line"><a name="l00085"></a><span class="lineno">   85</span>&#160;</div><div class="line"><a name="l00086"></a><span class="lineno">   86</span>&#160;        <a class="code" href="classSVF_1_1VFPathCond.html#acb14b65214b69176a9174ca76526d7a0">edges</a>.push_back(std::make_pair(from,to));</div><div class="line"><a name="l00087"></a><span class="lineno">   87</span>&#160;    }</div><div class="line"><a name="l00089"></a><span class="lineno"><a class="line" href="classSVF_1_1VFPathCond.html#a64edbab728287b8a263ea25670671724">   89</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1VFPathCond.html#a64edbab728287b8a263ea25670671724">hasVFEdge</a>(<a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> from, <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> to)<span class="keyword"> const</span></div><div class="line"><a name="l00090"></a><span class="lineno">   90</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00091"></a><span class="lineno">   91</span>&#160;        <span class="keywordflow">return</span> std::find(<a class="code" href="classSVF_1_1VFPathCond.html#acb14b65214b69176a9174ca76526d7a0">edges</a>.begin(),<a class="code" href="classSVF_1_1VFPathCond.html#acb14b65214b69176a9174ca76526d7a0">edges</a>.end(),std::make_pair(from,to)) != <a class="code" href="classSVF_1_1VFPathCond.html#acb14b65214b69176a9174ca76526d7a0">edges</a>.end();</div><div class="line"><a name="l00092"></a><span class="lineno">   92</span>&#160;    }</div><div class="line"><a name="l00094"></a><span class="lineno"><a class="line" href="classSVF_1_1VFPathCond.html#abb236b6b551cb58e4fb483c07aa5aa77">   94</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1VFPathCond.html#abb236b6b551cb58e4fb483c07aa5aa77">hasIncomingEdge</a>(<a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> node)<span class="keyword"> const</span></div><div class="line"><a name="l00095"></a><span class="lineno">   95</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00096"></a><span class="lineno">   96</span>&#160;        <span class="keywordflow">for</span>(EdgeSet::const_iterator it = <a class="code" href="classSVF_1_1VFPathCond.html#acb14b65214b69176a9174ca76526d7a0">edges</a>.begin(), eit =<a class="code" href="classSVF_1_1VFPathCond.html#acb14b65214b69176a9174ca76526d7a0">edges</a>.end(); it!=eit; ++it)</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="keywordflow">if</span>(it-&gt;second == node)</div><div class="line"><a name="l00099"></a><span class="lineno">   99</span>&#160;                <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00100"></a><span class="lineno">  100</span>&#160;        }</div><div class="line"><a name="l00101"></a><span class="lineno">  101</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00102"></a><span class="lineno">  102</span>&#160;    }</div><div class="line"><a name="l00104"></a><span class="lineno"><a class="line" href="classSVF_1_1VFPathCond.html#a86e063928329b21cce0a319efac56fb9">  104</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1VFPathCond.html#a86e063928329b21cce0a319efac56fb9">hasOutgoingEdge</a>(<a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> node)<span class="keyword"> const</span></div><div class="line"><a name="l00105"></a><span class="lineno">  105</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00106"></a><span class="lineno">  106</span>&#160;        <span class="keywordflow">for</span>(EdgeSet::const_iterator it = <a class="code" href="classSVF_1_1VFPathCond.html#acb14b65214b69176a9174ca76526d7a0">edges</a>.begin(), eit =<a class="code" href="classSVF_1_1VFPathCond.html#acb14b65214b69176a9174ca76526d7a0">edges</a>.end(); it!=eit; ++it)</div><div class="line"><a name="l00107"></a><span class="lineno">  107</span>&#160;        {</div><div class="line"><a name="l00108"></a><span class="lineno">  108</span>&#160;            <span class="keywordflow">if</span>(it-&gt;first == node)</div><div class="line"><a name="l00109"></a><span class="lineno">  109</span>&#160;                <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00110"></a><span class="lineno">  110</span>&#160;        }</div><div class="line"><a name="l00111"></a><span class="lineno">  111</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00112"></a><span class="lineno">  112</span>&#160;    }</div><div class="line"><a name="l00113"></a><span class="lineno"><a class="line" href="classSVF_1_1VFPathCond.html#a47d117a7c5e789766f28cdca6d71ff19">  113</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1VFPathCond.html#a47d117a7c5e789766f28cdca6d71ff19">addPath</a>(<a class="code" href="classSVF_1_1CondManager.html">CondManager</a>* allocator, PathCond* c, <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> from, <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> to)</div><div class="line"><a name="l00114"></a><span class="lineno">  114</span>&#160;    {</div><div class="line"><a name="l00115"></a><span class="lineno">  115</span>&#160;        <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1VFPathCond.html#a8fc62f3aa9faf26b2618ab13dade33b8">pathLen</a>() &lt; <a class="code" href="classSVF_1_1ContextCond.html#aa61b4de81e440448daaf0c5be53aebf3">maximumPathLen</a>)</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;            <span class="keywordflow">if</span>(!<a class="code" href="classSVF_1_1VFPathCond.html#a64edbab728287b8a263ea25670671724">hasVFEdge</a>(from,to))</div><div class="line"><a name="l00118"></a><span class="lineno">  118</span>&#160;            {</div><div class="line"><a name="l00120"></a><span class="lineno">  120</span>&#160;                <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1VFPathCond.html#a86e063928329b21cce0a319efac56fb9">hasOutgoingEdge</a>(from))</div><div class="line"><a name="l00121"></a><span class="lineno">  121</span>&#160;                    c = allocator-&gt;<a class="code" href="classSVF_1_1CondManager.html#ac74f182ef249a7c892ba9c630f889ddc">getTrueCond</a>();</div><div class="line"><a name="l00122"></a><span class="lineno">  122</span>&#160;            }</div><div class="line"><a name="l00123"></a><span class="lineno">  123</span>&#160;            <a class="code" href="classSVF_1_1VFPathCond.html#adbf3026a7f2a9cbbb1de55159e264263">addVFEdge</a>(from,to);</div><div class="line"><a name="l00124"></a><span class="lineno">  124</span>&#160;            <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1VFPathCond.html#aa309029fd48d5bc29411396e31606778">condAnd</a>(allocator,c);</div><div class="line"><a name="l00125"></a><span class="lineno">  125</span>&#160;        }</div><div class="line"><a name="l00126"></a><span class="lineno">  126</span>&#160;        <span class="comment">//  DBOUT(DDDA, SVFUtil::outs() &lt;&lt; &quot;\t\t!!path length beyond limits \n&quot;);</span></div><div class="line"><a name="l00127"></a><span class="lineno">  127</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00128"></a><span class="lineno">  128</span>&#160;    }</div><div class="line"><a name="l00130"></a><span class="lineno">  130</span>&#160;</div><div class="line"><a name="l00131"></a><span class="lineno"><a class="line" href="classSVF_1_1VFPathCond.html#aa309029fd48d5bc29411396e31606778">  131</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1VFPathCond.html#aa309029fd48d5bc29411396e31606778">condAnd</a>(<a class="code" href="classSVF_1_1CondManager.html">CondManager</a>* allocator, PathCond* c)</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;        <a class="code" href="classSVF_1_1VFPathCond.html#a1c7866468d55fe6bcb4e0a3225e8dbe8">path</a> = allocator-&gt;<a class="code" href="classSVF_1_1CondManager.html#aedda2ed496d0009d92d44a82af2ce8ae">AND</a>(<a class="code" href="classSVF_1_1VFPathCond.html#a1c7866468d55fe6bcb4e0a3225e8dbe8">path</a>,c);</div><div class="line"><a name="l00134"></a><span class="lineno">  134</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1VFPathCond.html#a1c7866468d55fe6bcb4e0a3225e8dbe8">path</a> != allocator-&gt;<a class="code" href="classSVF_1_1CondManager.html#a39e9d42cb3661d1c686b5163c70eeade">getFalseCond</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"><a class="line" href="classSVF_1_1VFPathCond.html#a1a2927860cfad8b01e1882dce4044203">  136</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1VFPathCond.html#a1a2927860cfad8b01e1882dce4044203">condOr</a>(<a class="code" href="classSVF_1_1CondManager.html">CondManager</a>* allocator, PathCond* c)</div><div class="line"><a name="l00137"></a><span class="lineno">  137</span>&#160;    {</div><div class="line"><a name="l00138"></a><span class="lineno">  138</span>&#160;        <a class="code" href="classSVF_1_1VFPathCond.html#a1c7866468d55fe6bcb4e0a3225e8dbe8">path</a> = allocator-&gt;<a class="code" href="classSVF_1_1CondManager.html#aa6dcd9cb78deef05b6c4d4e9b6b0a16b">OR</a>(<a class="code" href="classSVF_1_1VFPathCond.html#a1c7866468d55fe6bcb4e0a3225e8dbe8">path</a>,c);</div><div class="line"><a name="l00139"></a><span class="lineno">  139</span>&#160;    }</div><div class="line"><a name="l00141"></a><span class="lineno">  141</span>&#160;</div><div class="line"><a name="l00144"></a><span class="lineno"><a class="line" href="classSVF_1_1VFPathCond.html#adfec3fe0885067b6bd4455d9c12609b5">  144</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1VFPathCond.html#adfec3fe0885067b6bd4455d9c12609b5">operator&lt; </a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1VFPathCond.html">VFPathCond</a>&amp; rhs)<span class="keyword"> const</span></div><div class="line"><a name="l00145"></a><span class="lineno">  145</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00146"></a><span class="lineno">  146</span>&#160;        <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1VFPathCond.html#a1c7866468d55fe6bcb4e0a3225e8dbe8">path</a> != rhs.<a class="code" href="classSVF_1_1VFPathCond.html#a1c7866468d55fe6bcb4e0a3225e8dbe8">path</a>)</div><div class="line"><a name="l00147"></a><span class="lineno">  147</span>&#160;            <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1VFPathCond.html#a1c7866468d55fe6bcb4e0a3225e8dbe8">path</a> &lt; rhs.<a class="code" href="classSVF_1_1VFPathCond.html#a1c7866468d55fe6bcb4e0a3225e8dbe8">path</a>;</div><div class="line"><a name="l00148"></a><span class="lineno">  148</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00149"></a><span class="lineno">  149</span>&#160;            <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ContextCond.html#ac431eae00244cc7792b6e7e00634d535">context</a> &lt; rhs.<a class="code" href="classSVF_1_1ContextCond.html#ac431eae00244cc7792b6e7e00634d535">context</a>;</div><div class="line"><a name="l00150"></a><span class="lineno">  150</span>&#160;    }</div><div class="line"><a name="l00152"></a><span class="lineno"><a class="line" href="classSVF_1_1VFPathCond.html#a4bc59244e43d7db4478b0b9f868a0dab">  152</a></span>&#160;    <span class="keyword">inline</span> <a class="code" href="classSVF_1_1VFPathCond.html">VFPathCond</a>&amp; <a class="code" href="classSVF_1_1VFPathCond.html#a4bc59244e43d7db4478b0b9f868a0dab">operator= </a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1VFPathCond.html">VFPathCond</a>&amp; rhs)</div><div class="line"><a name="l00153"></a><span class="lineno">  153</span>&#160;    {</div><div class="line"><a name="l00154"></a><span class="lineno">  154</span>&#160;        <span class="keywordflow">if</span>(*<span class="keyword">this</span> != rhs)</div><div class="line"><a name="l00155"></a><span class="lineno">  155</span>&#160;        {</div><div class="line"><a name="l00156"></a><span class="lineno">  156</span>&#160;            <a class="code" href="classSVF_1_1ContextCond.html#ae4d1bb47d0c8ef4d8b31ffaeb83edf04">ContextCond::operator=</a>(rhs);</div><div class="line"><a name="l00157"></a><span class="lineno">  157</span>&#160;            <a class="code" href="classSVF_1_1VFPathCond.html#a1c7866468d55fe6bcb4e0a3225e8dbe8">path</a> = rhs.<a class="code" href="classSVF_1_1VFPathCond.html#a8e9b42c314d4d182252e171b5b7f8cc4">getPaths</a>();</div><div class="line"><a name="l00158"></a><span class="lineno">  158</span>&#160;            <a class="code" href="classSVF_1_1VFPathCond.html#acb14b65214b69176a9174ca76526d7a0">edges</a> = rhs.<a class="code" href="classSVF_1_1VFPathCond.html#a451e3476a1d20f232f401d74b2e91589">getVFEdges</a>();</div><div class="line"><a name="l00159"></a><span class="lineno">  159</span>&#160;        }</div><div class="line"><a name="l00160"></a><span class="lineno">  160</span>&#160;        <span class="keywordflow">return</span> *<span class="keyword">this</span>;</div><div class="line"><a name="l00161"></a><span class="lineno">  161</span>&#160;    }</div><div class="line"><a name="l00163"></a><span class="lineno"><a class="line" href="classSVF_1_1VFPathCond.html#a475c7d4b05dbde2dc9aed2699dacc2bb">  163</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1VFPathCond.html#a475c7d4b05dbde2dc9aed2699dacc2bb">operator== </a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1VFPathCond.html">VFPathCond</a>&amp; rhs)<span class="keyword"> const</span></div><div class="line"><a name="l00164"></a><span class="lineno">  164</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00165"></a><span class="lineno">  165</span>&#160;        <span class="keywordflow">return</span> (<a class="code" href="classSVF_1_1ContextCond.html#ac431eae00244cc7792b6e7e00634d535">context</a> == rhs.<a class="code" href="classSVF_1_1ContextCond.html#a73d4d6ed38898b912926d044268fd35b">getContexts</a>() &amp;&amp; <a class="code" href="classSVF_1_1VFPathCond.html#a1c7866468d55fe6bcb4e0a3225e8dbe8">path</a> == rhs.<a class="code" href="classSVF_1_1VFPathCond.html#a8e9b42c314d4d182252e171b5b7f8cc4">getPaths</a>());</div><div class="line"><a name="l00166"></a><span class="lineno">  166</span>&#160;    }</div><div class="line"><a name="l00168"></a><span class="lineno"><a class="line" href="classSVF_1_1VFPathCond.html#a6511e52c695247cd887f04ef37de15ff">  168</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1VFPathCond.html#a6511e52c695247cd887f04ef37de15ff">operator!= </a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1VFPathCond.html">VFPathCond</a>&amp; rhs)<span class="keyword"> const</span></div><div class="line"><a name="l00169"></a><span class="lineno">  169</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00170"></a><span class="lineno">  170</span>&#160;        <span class="keywordflow">return</span> !(*<span class="keyword">this</span>==rhs);</div><div class="line"><a name="l00171"></a><span class="lineno">  171</span>&#160;    }</div><div class="line"><a name="l00173"></a><span class="lineno"><a class="line" href="classSVF_1_1VFPathCond.html#a9b7b81222fc7a128f9f48034d050ce06">  173</a></span>&#160;    <span class="keyword">inline</span> std::string <a class="code" href="classSVF_1_1VFPathCond.html#a9b7b81222fc7a128f9f48034d050ce06">vfEdgesTrace</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00174"></a><span class="lineno">  174</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00175"></a><span class="lineno">  175</span>&#160;        std::string str;</div><div class="line"><a name="l00176"></a><span class="lineno">  176</span>&#160;        <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00177"></a><span class="lineno">  177</span>&#160;        <span class="keywordflow">for</span>(EdgeSet::const_iterator it = <a class="code" href="classSVF_1_1VFPathCond.html#acb14b65214b69176a9174ca76526d7a0">edges</a>.begin(), eit = <a class="code" href="classSVF_1_1VFPathCond.html#acb14b65214b69176a9174ca76526d7a0">edges</a>.end(); it!=eit; ++it)</div><div class="line"><a name="l00178"></a><span class="lineno">  178</span>&#160;        {</div><div class="line"><a name="l00179"></a><span class="lineno">  179</span>&#160;            rawstr &lt;&lt; <span class="stringliteral">&quot;(&quot;</span> &lt;&lt; it-&gt;first &lt;&lt; <span class="stringliteral">&quot;,&quot;</span> &lt;&lt; it-&gt;second &lt;&lt; <span class="stringliteral">&quot;)&quot;</span>;</div><div class="line"><a name="l00180"></a><span class="lineno">  180</span>&#160;        }</div><div class="line"><a name="l00181"></a><span class="lineno">  181</span>&#160;        <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00182"></a><span class="lineno">  182</span>&#160;    }</div><div class="line"><a name="l00184"></a><span class="lineno"><a class="line" href="classSVF_1_1VFPathCond.html#a21665a89c2ba52de5754c2faad53166c">  184</a></span>&#160;    <span class="keyword">inline</span> std::string <a class="code" href="classSVF_1_1VFPathCond.html#a21665a89c2ba52de5754c2faad53166c">toString</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00185"></a><span class="lineno">  185</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00186"></a><span class="lineno">  186</span>&#160;        std::string str;</div><div class="line"><a name="l00187"></a><span class="lineno">  187</span>&#160;        <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00188"></a><span class="lineno">  188</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot;[:&quot;</span>;</div><div class="line"><a name="l00189"></a><span class="lineno">  189</span>&#160;        <span class="keywordflow">for</span>(CallStrCxt::const_iterator it = <a class="code" href="classSVF_1_1ContextCond.html#ac431eae00244cc7792b6e7e00634d535">context</a>.begin(), eit = <a class="code" href="classSVF_1_1ContextCond.html#ac431eae00244cc7792b6e7e00634d535">context</a>.end(); it!=eit; ++it)</div><div class="line"><a name="l00190"></a><span class="lineno">  190</span>&#160;        {</div><div class="line"><a name="l00191"></a><span class="lineno">  191</span>&#160;            rawstr &lt;&lt; *it &lt;&lt; <span class="stringliteral">&quot; &quot;</span>;</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">  193</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot; | &quot;</span>;</div><div class="line"><a name="l00194"></a><span class="lineno">  194</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot;&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1VFPathCond.html#a1c7866468d55fe6bcb4e0a3225e8dbe8">path</a> &lt;&lt; <span class="stringliteral">&quot;] &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1VFPathCond.html#a9b7b81222fc7a128f9f48034d050ce06">vfEdgesTrace</a>() ;</div><div class="line"><a name="l00195"></a><span class="lineno">  195</span>&#160;        <span class="keywordflow">return</span> rawstr.str();</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">  197</span>&#160;</div><div class="line"><a name="l00198"></a><span class="lineno">  198</span>&#160;<span class="keyword">private</span>:</div><div class="line"><a name="l00199"></a><span class="lineno"><a class="line" href="classSVF_1_1VFPathCond.html#a1c7866468d55fe6bcb4e0a3225e8dbe8">  199</a></span>&#160;    PathCond* <a class="code" href="classSVF_1_1VFPathCond.html#a1c7866468d55fe6bcb4e0a3225e8dbe8">path</a>;</div><div class="line"><a name="l00200"></a><span class="lineno"><a class="line" href="classSVF_1_1VFPathCond.html#acb14b65214b69176a9174ca76526d7a0">  200</a></span>&#160;    EdgeSet <a class="code" href="classSVF_1_1VFPathCond.html#acb14b65214b69176a9174ca76526d7a0">edges</a>;</div><div class="line"><a name="l00201"></a><span class="lineno">  201</span>&#160;</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;</div><div class="line"><a name="l00204"></a><span class="lineno">  204</span>&#160;</div><div class="line"><a name="l00208"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a4a4d1c207659cdb9efbcfd7a7af6d9cd">  208</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="classSVF_1_1CondVar.html">CondVar&lt;VFPathCond&gt;</a> <a class="code" href="namespaceSVF.html#a4a4d1c207659cdb9efbcfd7a7af6d9cd">VFPathVar</a>;</div><div class="line"><a name="l00209"></a><span class="lineno"><a class="line" href="namespaceSVF.html#ab2dd5e7169f19030e124d09284ee50c1">  209</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="classSVF_1_1CondStdSet.html">CondStdSet&lt;VFPathVar&gt;</a> <a class="code" href="namespaceSVF.html#ab2dd5e7169f19030e124d09284ee50c1">VFPathPtSet</a>;</div><div class="line"><a name="l00210"></a><span class="lineno">  210</span>&#160;</div><div class="line"><a name="l00211"></a><span class="lineno">  211</span>&#160;<span class="keyword">template</span>&lt;<span class="keyword">class</span> LocCond&gt;</div><div class="line"><a name="l00212"></a><span class="lineno"><a class="line" href="classSVF_1_1PathStmtDPItem.html">  212</a></span>&#160;<span class="keyword">class </span><a class="code" href="classSVF_1_1PathStmtDPItem.html">PathStmtDPItem</a> : <span class="keyword">public</span> <a class="code" href="classSVF_1_1StmtDPItem.html">StmtDPItem</a>&lt;LocCond&gt;</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;<span class="keyword">private</span>:</div><div class="line"><a name="l00215"></a><span class="lineno"><a class="line" href="classSVF_1_1PathStmtDPItem.html#a33758a06ff628da74639bbdc348882c4">  215</a></span>&#160;    <a class="code" href="classSVF_1_1VFPathCond.html">VFPathCond</a> <a class="code" href="classSVF_1_1PathStmtDPItem.html#a33758a06ff628da74639bbdc348882c4">vfpath</a>;</div><div class="line"><a name="l00216"></a><span class="lineno">  216</span>&#160;<span class="keyword">public</span>:</div><div class="line"><a name="l00217"></a><span class="lineno"><a class="line" href="classSVF_1_1PathStmtDPItem.html#a9092ac46745ceac6c9d9e7e560df6e86">  217</a></span>&#160;    <span class="keyword">typedef</span> <a class="code" href="classSVF_1_1CondExpr.html">VFPathCond::PathCond</a> <a class="code" href="classSVF_1_1PathStmtDPItem.html#a9092ac46745ceac6c9d9e7e560df6e86">PathCond</a>;</div><div class="line"><a name="l00218"></a><span class="lineno">  218</span>&#160;</div><div class="line"><a name="l00220"></a><span class="lineno"><a class="line" href="classSVF_1_1PathStmtDPItem.html#aaa18b09d9000c59ed45d25af4865864d">  220</a></span>&#160;    <a class="code" href="classSVF_1_1PathStmtDPItem.html#aaa18b09d9000c59ed45d25af4865864d">PathStmtDPItem</a>(<span class="keyword">const</span> VFPathVar&amp; var, <span class="keyword">const</span> LocCond* locCond) :</div><div class="line"><a name="l00221"></a><span class="lineno">  221</span>&#160;        <a class="code" href="classSVF_1_1StmtDPItem.html">StmtDPItem</a>&lt;LocCond&gt;(var.get_id(),locCond), vfpath(var.get_cond())</div><div class="line"><a name="l00222"></a><span class="lineno">  222</span>&#160;    {</div><div class="line"><a name="l00223"></a><span class="lineno">  223</span>&#160;    }</div><div class="line"><a name="l00225"></a><span class="lineno"><a class="line" href="classSVF_1_1PathStmtDPItem.html#a0f2d575defc85aca8c3f85353edba685">  225</a></span>&#160;    <a class="code" href="classSVF_1_1PathStmtDPItem.html#a0f2d575defc85aca8c3f85353edba685">PathStmtDPItem</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1PathStmtDPItem.html">PathStmtDPItem&lt;LocCond&gt;</a>&amp; dps) :</div><div class="line"><a name="l00226"></a><span class="lineno">  226</span>&#160;        <a class="code" href="classSVF_1_1StmtDPItem.html">StmtDPItem</a>&lt;LocCond&gt;(dps),vfpath(dps.getCond())</div><div class="line"><a name="l00227"></a><span class="lineno">  227</span>&#160;    {</div><div class="line"><a name="l00228"></a><span class="lineno">  228</span>&#160;    }</div><div class="line"><a name="l00230"></a><span class="lineno"><a class="line" href="classSVF_1_1PathStmtDPItem.html#adbe4b6f0f18f74661be01a17892aa839">  230</a></span>&#160;    <span class="keyword">virtual</span> <a class="code" href="classSVF_1_1PathStmtDPItem.html#adbe4b6f0f18f74661be01a17892aa839">~PathStmtDPItem</a>()</div><div class="line"><a name="l00231"></a><span class="lineno">  231</span>&#160;    {</div><div class="line"><a name="l00232"></a><span class="lineno">  232</span>&#160;    }</div><div class="line"><a name="l00233"></a><span class="lineno"><a class="line" href="classSVF_1_1PathStmtDPItem.html#a4058ed62b866451b5ced665619ddcf56">  233</a></span>&#160;    <span class="keyword">inline</span> VFPathVar <a class="code" href="classSVF_1_1PathStmtDPItem.html#a4058ed62b866451b5ced665619ddcf56">getCondVar</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00234"></a><span class="lineno">  234</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00235"></a><span class="lineno">  235</span>&#160;        VFPathVar var(this-&gt;vfpath,this-&gt;cur);</div><div class="line"><a name="l00236"></a><span class="lineno">  236</span>&#160;        <span class="keywordflow">return</span> var;</div><div class="line"><a name="l00237"></a><span class="lineno">  237</span>&#160;    }</div><div class="line"><a name="l00239"></a><span class="lineno"><a class="line" href="classSVF_1_1PathStmtDPItem.html#a529f51d30556e6f67a33b7d05e651816">  239</a></span>&#160;    <span class="keyword">inline</span> <span class="keyword">const</span> <a class="code" href="classSVF_1_1VFPathCond.html">VFPathCond</a>&amp; <a class="code" href="classSVF_1_1PathStmtDPItem.html#a529f51d30556e6f67a33b7d05e651816">getCond</a>()<span class="keyword"> const</span></div><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;        <span class="keywordflow">return</span> this-&gt;vfpath;</div><div class="line"><a name="l00242"></a><span class="lineno">  242</span>&#160;    }</div><div class="line"><a name="l00244"></a><span class="lineno"><a class="line" href="classSVF_1_1PathStmtDPItem.html#af96b78bbeb1f16d94f18e19c35672d28">  244</a></span>&#160;    <span class="keyword">inline</span> <a class="code" href="classSVF_1_1VFPathCond.html">VFPathCond</a>&amp; <a class="code" href="classSVF_1_1PathStmtDPItem.html#af96b78bbeb1f16d94f18e19c35672d28">getCond</a>()</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;        <span class="keywordflow">return</span> this-&gt;vfpath;</div><div class="line"><a name="l00247"></a><span class="lineno">  247</span>&#160;    }</div><div class="line"><a name="l00249"></a><span class="lineno"><a class="line" href="classSVF_1_1PathStmtDPItem.html#ac8677af22f80379acf5dfd649ab41227">  249</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1PathStmtDPItem.html#ac8677af22f80379acf5dfd649ab41227">addVFPath</a>(<a class="code" href="classSVF_1_1CondManager.html">CondManager</a>* allocator, PathCond* c, <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> from, <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> to)</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;        <span class="keywordflow">return</span> this-&gt;vfpath.<a class="code" href="classSVF_1_1VFPathCond.html#a47d117a7c5e789766f28cdca6d71ff19">addPath</a>(allocator,c,from,to);</div><div class="line"><a name="l00252"></a><span class="lineno">  252</span>&#160;    }</div><div class="line"><a name="l00254"></a><span class="lineno"><a class="line" href="classSVF_1_1PathStmtDPItem.html#ae5bfef4e7759545ad15145504b84a897">  254</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1PathStmtDPItem.html#ae5bfef4e7759545ad15145504b84a897">pushContext</a>(<a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> cxt)</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;        <span class="keywordflow">return</span> this-&gt;vfpath.<a class="code" href="classSVF_1_1ContextCond.html#ad16644f61728fbb166ce80957b17d884">pushContext</a>(cxt);</div><div class="line"><a name="l00257"></a><span class="lineno">  257</span>&#160;    }</div><div class="line"><a name="l00259"></a><span class="lineno"><a class="line" href="classSVF_1_1PathStmtDPItem.html#a4a82650fe9bf2f655e4b7178ba063eda">  259</a></span>&#160;    <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1PathStmtDPItem.html#a4a82650fe9bf2f655e4b7178ba063eda">matchContext</a>(<a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> cxt)</div><div class="line"><a name="l00260"></a><span class="lineno">  260</span>&#160;    {</div><div class="line"><a name="l00261"></a><span class="lineno">  261</span>&#160;        <span class="keywordflow">return</span> this-&gt;vfpath.<a class="code" href="classSVF_1_1ContextCond.html#ab816f854687999b8c01f5c02fcf6b8af">matchContext</a>(cxt);</div><div class="line"><a name="l00262"></a><span class="lineno">  262</span>&#160;    }</div><div class="line"><a name="l00263"></a><span class="lineno">  263</span>&#160;</div><div class="line"><a name="l00266"></a><span class="lineno"><a class="line" href="classSVF_1_1PathStmtDPItem.html#a8df1b3200bf3385aeb793966ff51ee75">  266</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">bool</span> operator&lt; (const PathStmtDPItem&lt;LocCond&gt;&amp; rhs) <span class="keyword">const</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">  268</span>&#160;        <span class="keywordflow">if</span> (this-&gt;cur != rhs.getCurNodeID())</div><div class="line"><a name="l00269"></a><span class="lineno">  269</span>&#160;            <span class="keywordflow">return</span> this-&gt;cur &lt; rhs.getCurNodeID();</div><div class="line"><a name="l00270"></a><span class="lineno">  270</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span>(this-&gt;curloc != rhs.getLoc())</div><div class="line"><a name="l00271"></a><span class="lineno">  271</span>&#160;            <span class="keywordflow">return</span> this-&gt;curloc &lt; rhs.getLoc();</div><div class="line"><a name="l00272"></a><span class="lineno">  272</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00273"></a><span class="lineno">  273</span>&#160;            <span class="keywordflow">return</span> this-&gt;vfpath &lt; rhs.getCond();</div><div class="line"><a name="l00274"></a><span class="lineno">  274</span>&#160;    }</div><div class="line"><a name="l00276"></a><span class="lineno"><a class="line" href="classSVF_1_1PathStmtDPItem.html#a36ff7567d47e3818d79ede424f736817">  276</a></span>&#160;    <span class="keyword">inline</span> <a class="code" href="classSVF_1_1PathStmtDPItem.html">PathStmtDPItem&lt;LocCond&gt;</a>&amp; <a class="code" href="classSVF_1_1VFPathCond.html#a4bc59244e43d7db4478b0b9f868a0dab">operator= </a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1PathStmtDPItem.html">PathStmtDPItem&lt;LocCond&gt;</a>&amp; rhs)</div><div class="line"><a name="l00277"></a><span class="lineno">  277</span>&#160;    {</div><div class="line"><a name="l00278"></a><span class="lineno">  278</span>&#160;        <span class="keywordflow">if</span>(*<span class="keyword">this</span>!=rhs)</div><div class="line"><a name="l00279"></a><span class="lineno">  279</span>&#160;        {</div><div class="line"><a name="l00280"></a><span class="lineno">  280</span>&#160;            <a class="code" href="classSVF_1_1StmtDPItem.html#a072da7dc37fd3f9b7a79196394382499">StmtDPItem&lt;LocCond&gt;::operator=</a>(rhs);</div><div class="line"><a name="l00281"></a><span class="lineno">  281</span>&#160;            this-&gt;vfpath = rhs.<a class="code" href="classSVF_1_1PathStmtDPItem.html#a529f51d30556e6f67a33b7d05e651816">getCond</a>();</div><div class="line"><a name="l00282"></a><span class="lineno">  282</span>&#160;        }</div><div class="line"><a name="l00283"></a><span class="lineno">  283</span>&#160;        <span class="keywordflow">return</span> *<span class="keyword">this</span>;</div><div class="line"><a name="l00284"></a><span class="lineno">  284</span>&#160;    }</div><div class="line"><a name="l00286"></a><span class="lineno"><a class="line" href="classSVF_1_1PathStmtDPItem.html#a5b7d6a8d8e14845a94611474c53fadaa">  286</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1VFPathCond.html#a475c7d4b05dbde2dc9aed2699dacc2bb">operator== </a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1PathStmtDPItem.html">PathStmtDPItem&lt;LocCond&gt;</a>&amp; rhs)<span class="keyword"> const</span></div><div class="line"><a name="l00287"></a><span class="lineno">  287</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00288"></a><span class="lineno">  288</span>&#160;        <span class="keywordflow">return</span> (this-&gt;cur == rhs.<a class="code" href="classSVF_1_1DPItem.html#a82d2a11fb456192ec88fcb5ffe239d80">cur</a> &amp;&amp; this-&gt;curloc == rhs.<a class="code" href="classSVF_1_1StmtDPItem.html#a3616c94c4394b61c757ffcd39888d5b9">getLoc</a>() &amp;&amp; this-&gt;vfpath==rhs.<a class="code" href="classSVF_1_1PathStmtDPItem.html#a529f51d30556e6f67a33b7d05e651816">getCond</a>());</div><div class="line"><a name="l00289"></a><span class="lineno">  289</span>&#160;    }</div><div class="line"><a name="l00291"></a><span class="lineno"><a class="line" href="classSVF_1_1PathStmtDPItem.html#a886e2443efb35d18b92186a83875c7c9">  291</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1VFPathCond.html#a6511e52c695247cd887f04ef37de15ff">operator!= </a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1PathStmtDPItem.html">PathStmtDPItem&lt;LocCond&gt;</a>&amp; rhs)<span class="keyword"> const</span></div><div class="line"><a name="l00292"></a><span class="lineno">  292</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00293"></a><span class="lineno">  293</span>&#160;        <span class="keywordflow">return</span> !(*<span class="keyword">this</span>==rhs);</div><div class="line"><a name="l00294"></a><span class="lineno">  294</span>&#160;    }</div><div class="line"><a name="l00296"></a><span class="lineno"><a class="line" href="classSVF_1_1PathStmtDPItem.html#ad1ba1dd2dbe5041840f72e4fcff08216">  296</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1PathStmtDPItem.html#ad1ba1dd2dbe5041840f72e4fcff08216">dump</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00297"></a><span class="lineno">  297</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00298"></a><span class="lineno">  298</span>&#160;        <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVFUtil::outs</a>() &lt;&lt; <span class="stringliteral">&quot;statement &quot;</span> &lt;&lt; *(this-&gt;curloc)  &lt;&lt; <span class="stringliteral">&quot;, var &quot;</span> &lt;&lt; this-&gt;cur &lt;&lt; <span class="stringliteral">&quot; &quot;</span>;</div><div class="line"><a name="l00299"></a><span class="lineno">  299</span>&#160;        <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVFUtil::outs</a>() &lt;&lt; this-&gt;vfpath.<a class="code" href="classSVF_1_1VFPathCond.html#a21665a89c2ba52de5754c2faad53166c">toString</a>() &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div><div class="line"><a name="l00300"></a><span class="lineno">  300</span>&#160;    }</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">  303</span>&#160;</div><div class="line"><a name="l00304"></a><span class="lineno">  304</span>&#160;</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="comment">// End namespace SVF</span></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">  308</span>&#160;</div><div class="line"><a name="l00309"></a><span class="lineno">  309</span>&#160;</div><div class="line"><a name="l00310"></a><span class="lineno">  310</span>&#160;<span class="preprocessor">#endif </span><span class="comment">/* DPITEM_H_ */</span><span class="preprocessor"></span></div><div class="ttc" id="classSVF_1_1CondManager_html_aa6dcd9cb78deef05b6c4d4e9b6b0a16b"><div class="ttname"><a href="classSVF_1_1CondManager.html#aa6dcd9cb78deef05b6c4d4e9b6b0a16b">SVF::CondManager::OR</a></div><div class="ttdeci">virtual CondExpr * OR(CondExpr *lhs, CondExpr *rhs)=0</div></div>
+<div class="ttc" id="classSVF_1_1VFPathCond_html_a64edbab728287b8a263ea25670671724"><div class="ttname"><a href="classSVF_1_1VFPathCond.html#a64edbab728287b8a263ea25670671724">SVF::VFPathCond::hasVFEdge</a></div><div class="ttdeci">bool hasVFEdge(NodeID from, NodeID to) const</div><div class="ttdoc">Has SVFG Edge. </div><div class="ttdef"><b>Definition:</b> <a href="PathDPItem_8h_source.html#l00089">PathDPItem.h:89</a></div></div>
 <div class="ttc" id="classSVF_1_1VFPathCond_html_aa309029fd48d5bc29411396e31606778"><div class="ttname"><a href="classSVF_1_1VFPathCond.html#aa309029fd48d5bc29411396e31606778">SVF::VFPathCond::condAnd</a></div><div class="ttdeci">bool condAnd(CondManager *allocator, PathCond *c)</div><div class="ttdoc">Condition operatoration. </div><div class="ttdef"><b>Definition:</b> <a href="PathDPItem_8h_source.html#l00131">PathDPItem.h:131</a></div></div>
 <div class="ttc" id="classSVF_1_1VFPathCond_html_ab54d59837160b5499992d7ea0a19723c"><div class="ttname"><a href="classSVF_1_1VFPathCond.html#ab54d59837160b5499992d7ea0a19723c">SVF::VFPathCond::VFPathCond</a></div><div class="ttdeci">VFPathCond(PathCond *p=CondManager::getTrueCond())</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="PathDPItem_8h_source.html#l00047">PathDPItem.h:47</a></div></div>
 <div class="ttc" id="classSVF_1_1PathStmtDPItem_html_a529f51d30556e6f67a33b7d05e651816"><div class="ttname"><a href="classSVF_1_1PathStmtDPItem.html#a529f51d30556e6f67a33b7d05e651816">SVF::PathStmtDPItem::getCond</a></div><div class="ttdeci">const VFPathCond &amp; getCond() const</div><div class="ttdoc">Get value-flow paths. </div><div class="ttdef"><b>Definition:</b> <a href="PathDPItem_8h_source.html#l00239">PathDPItem.h:239</a></div></div>
@@ -77,18 +78,17 @@ $(function() {
 <div class="ttc" id="classSVF_1_1VFPathCond_html_a9b7b81222fc7a128f9f48034d050ce06"><div class="ttname"><a href="classSVF_1_1VFPathCond.html#a9b7b81222fc7a128f9f48034d050ce06">SVF::VFPathCond::vfEdgesTrace</a></div><div class="ttdeci">std::string vfEdgesTrace() const</div><div class="ttdoc">Get value-flow edge traces. </div><div class="ttdef"><b>Definition:</b> <a href="PathDPItem_8h_source.html#l00173">PathDPItem.h:173</a></div></div>
 <div class="ttc" id="classSVF_1_1VFPathCond_html_a77e2e07d2c428ac80fe6edafbbb3986b"><div class="ttname"><a href="classSVF_1_1VFPathCond.html#a77e2e07d2c428ac80fe6edafbbb3986b">SVF::VFPathCond::setPaths</a></div><div class="ttdeci">void setPaths(PathCond *p, const EdgeSet &amp;e)</div><div class="ttdoc">Set paths. </div><div class="ttdef"><b>Definition:</b> <a href="PathDPItem_8h_source.html#l00069">PathDPItem.h:69</a></div></div>
 <div class="ttc" id="classSVF_1_1ContextCond_html_a73d4d6ed38898b912926d044268fd35b"><div class="ttname"><a href="classSVF_1_1ContextCond.html#a73d4d6ed38898b912926d044268fd35b">SVF::ContextCond::getContexts</a></div><div class="ttdeci">const CallStrCxt &amp; getContexts() const</div><div class="ttdoc">Get context. </div><div class="ttdef"><b>Definition:</b> <a href="DPItem_8h_source.html#l00210">DPItem.h:210</a></div></div>
-<div class="ttc" id="classSVF_1_1CondManager_html_ac74f182ef249a7c892ba9c630f889ddc"><div class="ttname"><a href="classSVF_1_1CondManager.html#ac74f182ef249a7c892ba9c630f889ddc">SVF::CondManager::getTrueCond</a></div><div class="ttdeci">CondExpr * getTrueCond() const</div><div class="ttdoc">Return the unique true condition. </div><div class="ttdef"><b>Definition:</b> <a href="Conditions_8h_source.html#l00226">Conditions.h:226</a></div></div>
+<div class="ttc" id="classSVF_1_1CondManager_html_ac74f182ef249a7c892ba9c630f889ddc"><div class="ttname"><a href="classSVF_1_1CondManager.html#ac74f182ef249a7c892ba9c630f889ddc">SVF::CondManager::getTrueCond</a></div><div class="ttdeci">CondExpr * getTrueCond() const</div><div class="ttdoc">Return the unique true condition. </div><div class="ttdef"><b>Definition:</b> <a href="Conditions_8h_source.html#l00172">Conditions.h:172</a></div></div>
 <div class="ttc" id="classSVF_1_1PathStmtDPItem_html_aaa18b09d9000c59ed45d25af4865864d"><div class="ttname"><a href="classSVF_1_1PathStmtDPItem.html#aaa18b09d9000c59ed45d25af4865864d">SVF::PathStmtDPItem::PathStmtDPItem</a></div><div class="ttdeci">PathStmtDPItem(const VFPathVar &amp;var, const LocCond *locCond)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="PathDPItem_8h_source.html#l00220">PathDPItem.h:220</a></div></div>
 <div class="ttc" id="classSVF_1_1StmtDPItem_html_a072da7dc37fd3f9b7a79196394382499"><div class="ttname"><a href="classSVF_1_1StmtDPItem.html#a072da7dc37fd3f9b7a79196394382499">SVF::StmtDPItem::operator=</a></div><div class="ttdeci">StmtDPItem &amp; operator=(const StmtDPItem &amp;rhs)</div><div class="ttdoc">Overloading operator==. </div><div class="ttdef"><b>Definition:</b> <a href="DPItem_8h_source.html#l00165">DPItem.h:165</a></div></div>
 <div class="ttc" id="classSVF_1_1VFPathCond_html_a47d117a7c5e789766f28cdca6d71ff19"><div class="ttname"><a href="classSVF_1_1VFPathCond.html#a47d117a7c5e789766f28cdca6d71ff19">SVF::VFPathCond::addPath</a></div><div class="ttdeci">bool addPath(CondManager *allocator, PathCond *c, NodeID from, NodeID to)</div><div class="ttdef"><b>Definition:</b> <a href="PathDPItem_8h_source.html#l00113">PathDPItem.h:113</a></div></div>
 <div class="ttc" id="classSVF_1_1VFPathCond_html_a1c7866468d55fe6bcb4e0a3225e8dbe8"><div class="ttname"><a href="classSVF_1_1VFPathCond.html#a1c7866468d55fe6bcb4e0a3225e8dbe8">SVF::VFPathCond::path</a></div><div class="ttdeci">PathCond * path</div><div class="ttdef"><b>Definition:</b> <a href="PathDPItem_8h_source.html#l00199">PathDPItem.h:199</a></div></div>
 <div class="ttc" id="classSVF_1_1VFPathCond_html_a17f76b046c8f968b559b2d3e4b2ddf57"><div class="ttname"><a href="classSVF_1_1VFPathCond.html#a17f76b046c8f968b559b2d3e4b2ddf57">SVF::VFPathCond::EdgeSet</a></div><div class="ttdeci">std::vector&lt; std::pair&lt; NodeID, NodeID &gt; &gt; EdgeSet</div><div class="ttdef"><b>Definition:</b> <a href="PathDPItem_8h_source.html#l00043">PathDPItem.h:43</a></div></div>
 <div class="ttc" id="classSVF_1_1VFPathCond_html"><div class="ttname"><a href="classSVF_1_1VFPathCond.html">SVF::VFPathCond</a></div><div class="ttdef"><b>Definition:</b> <a href="PathDPItem_8h_source.html#l00038">PathDPItem.h:38</a></div></div>
-<div class="ttc" id="classSVF_1_1CondManager_html_a4b88160366a7c7b2bf7e2ab632ed04c7"><div class="ttname"><a href="classSVF_1_1CondManager.html#a4b88160366a7c7b2bf7e2ab632ed04c7">SVF::CondManager::AND</a></div><div class="ttdeci">CondExpr * AND(CondExpr *lhs, CondExpr *rhs)</div><div class="ttdoc">Operations on conditions. </div><div class="ttdef"><b>Definition:</b> <a href="Conditions_8cpp_source.html#l00134">Conditions.cpp:134</a></div></div>
 <div class="ttc" id="classSVF_1_1PathStmtDPItem_html_af96b78bbeb1f16d94f18e19c35672d28"><div class="ttname"><a href="classSVF_1_1PathStmtDPItem.html#af96b78bbeb1f16d94f18e19c35672d28">SVF::PathStmtDPItem::getCond</a></div><div class="ttdeci">VFPathCond &amp; getCond()</div><div class="ttdoc">Get value-flow paths. </div><div class="ttdef"><b>Definition:</b> <a href="PathDPItem_8h_source.html#l00244">PathDPItem.h:244</a></div></div>
 <div class="ttc" id="classSVF_1_1VFPathCond_html_a4bc59244e43d7db4478b0b9f868a0dab"><div class="ttname"><a href="classSVF_1_1VFPathCond.html#a4bc59244e43d7db4478b0b9f868a0dab">SVF::VFPathCond::operator=</a></div><div class="ttdeci">VFPathCond &amp; operator=(const VFPathCond &amp;rhs)</div><div class="ttdoc">Overloading operator=. </div><div class="ttdef"><b>Definition:</b> <a href="PathDPItem_8h_source.html#l00152">PathDPItem.h:152</a></div></div>
 <div class="ttc" id="namespaceSVF_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="SVFBasicTypes_8h_source.html#l00077">SVFBasicTypes.h:77</a></div></div>
-<div class="ttc" id="classSVF_1_1CondExpr_html"><div class="ttname"><a href="classSVF_1_1CondExpr.html">SVF::CondExpr</a></div><div class="ttdef"><b>Definition:</b> <a href="Conditions_8h_source.html#l00042">Conditions.h:42</a></div></div>
+<div class="ttc" id="classSVF_1_1CondExpr_html"><div class="ttname"><a href="classSVF_1_1CondExpr.html">SVF::CondExpr</a></div><div class="ttdef"><b>Definition:</b> <a href="Conditions_8h_source.html#l00041">Conditions.h:41</a></div></div>
 <div class="ttc" id="classSVF_1_1PathStmtDPItem_html_a9092ac46745ceac6c9d9e7e560df6e86"><div class="ttname"><a href="classSVF_1_1PathStmtDPItem.html#a9092ac46745ceac6c9d9e7e560df6e86">SVF::PathStmtDPItem::PathCond</a></div><div class="ttdeci">VFPathCond::PathCond PathCond</div><div class="ttdef"><b>Definition:</b> <a href="PathDPItem_8h_source.html#l00217">PathDPItem.h:217</a></div></div>
 <div class="ttc" id="classSVF_1_1PathStmtDPItem_html_ad1ba1dd2dbe5041840f72e4fcff08216"><div class="ttname"><a href="classSVF_1_1PathStmtDPItem.html#ad1ba1dd2dbe5041840f72e4fcff08216">SVF::PathStmtDPItem::dump</a></div><div class="ttdeci">void dump() const</div><div class="ttdoc">Dump dpm info. </div><div class="ttdef"><b>Definition:</b> <a href="PathDPItem_8h_source.html#l00296">PathDPItem.h:296</a></div></div>
 <div class="ttc" id="classSVF_1_1PathStmtDPItem_html_a33758a06ff628da74639bbdc348882c4"><div class="ttname"><a href="classSVF_1_1PathStmtDPItem.html#a33758a06ff628da74639bbdc348882c4">SVF::PathStmtDPItem::vfpath</a></div><div class="ttdeci">VFPathCond vfpath</div><div class="ttdef"><b>Definition:</b> <a href="PathDPItem_8h_source.html#l00215">PathDPItem.h:215</a></div></div>
@@ -100,6 +100,7 @@ $(function() {
 <div class="ttc" id="namespaceSVF_html_a726981481ac082dcda3e4921416b65a0"><div class="ttname"><a href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">SVF::raw_string_ostream</a></div><div class="ttdeci">llvm::raw_string_ostream raw_string_ostream</div><div class="ttdoc">LLVM outputs. </div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00095">BasicTypes.h:95</a></div></div>
 <div class="ttc" id="classSVF_1_1PathStmtDPItem_html"><div class="ttname"><a href="classSVF_1_1PathStmtDPItem.html">SVF::PathStmtDPItem</a></div><div class="ttdef"><b>Definition:</b> <a href="PathDPItem_8h_source.html#l00212">PathDPItem.h:212</a></div></div>
 <div class="ttc" id="classSVF_1_1ContextCond_html_ad16644f61728fbb166ce80957b17d884"><div class="ttname"><a href="classSVF_1_1ContextCond.html#ad16644f61728fbb166ce80957b17d884">SVF::ContextCond::pushContext</a></div><div class="ttdeci">virtual bool pushContext(NodeID ctx)</div><div class="ttdoc">Push context. </div><div class="ttdef"><b>Definition:</b> <a href="DPItem_8h_source.html#l00254">DPItem.h:254</a></div></div>
+<div class="ttc" id="classSVF_1_1CondManager_html_aedda2ed496d0009d92d44a82af2ce8ae"><div class="ttname"><a href="classSVF_1_1CondManager.html#aedda2ed496d0009d92d44a82af2ce8ae">SVF::CondManager::AND</a></div><div class="ttdeci">virtual CondExpr * AND(CondExpr *lhs, CondExpr *rhs)=0</div><div class="ttdoc">Operations on conditions. </div></div>
 <div class="ttc" id="classSVF_1_1VFPathCond_html_acb14b65214b69176a9174ca76526d7a0"><div class="ttname"><a href="classSVF_1_1VFPathCond.html#acb14b65214b69176a9174ca76526d7a0">SVF::VFPathCond::edges</a></div><div class="ttdeci">EdgeSet edges</div><div class="ttdef"><b>Definition:</b> <a href="PathDPItem_8h_source.html#l00200">PathDPItem.h:200</a></div></div>
 <div class="ttc" id="classSVF_1_1VFPathCond_html_abb236b6b551cb58e4fb483c07aa5aa77"><div class="ttname"><a href="classSVF_1_1VFPathCond.html#abb236b6b551cb58e4fb483c07aa5aa77">SVF::VFPathCond::hasIncomingEdge</a></div><div class="ttdeci">bool hasIncomingEdge(NodeID node) const</div><div class="ttdoc">Whether Node dst has incoming edge. </div><div class="ttdef"><b>Definition:</b> <a href="PathDPItem_8h_source.html#l00094">PathDPItem.h:94</a></div></div>
 <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_aed0b0b9f035057552a6a82154fd88e61"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVF::SVFUtil::outs</a></div><div class="ttdeci">std::ostream &amp; outs()</div><div class="ttdoc">Overwrite llvm::outs() </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00049">SVFUtil.h:49</a></div></div>
@@ -124,14 +125,13 @@ $(function() {
 <div class="ttc" id="classSVF_1_1VFPathCond_html_a8e9b42c314d4d182252e171b5b7f8cc4"><div class="ttname"><a href="classSVF_1_1VFPathCond.html#a8e9b42c314d4d182252e171b5b7f8cc4">SVF::VFPathCond::getPaths</a></div><div class="ttdeci">PathCond * getPaths() const</div><div class="ttdoc">Return paths. </div><div class="ttdef"><b>Definition:</b> <a href="PathDPItem_8h_source.html#l00059">PathDPItem.h:59</a></div></div>
 <div class="ttc" id="classSVF_1_1PathStmtDPItem_html_a4058ed62b866451b5ced665619ddcf56"><div class="ttname"><a href="classSVF_1_1PathStmtDPItem.html#a4058ed62b866451b5ced665619ddcf56">SVF::PathStmtDPItem::getCondVar</a></div><div class="ttdeci">VFPathVar getCondVar() const</div><div class="ttdef"><b>Definition:</b> <a href="PathDPItem_8h_source.html#l00233">PathDPItem.h:233</a></div></div>
 <div class="ttc" id="DPItem_8h_html"><div class="ttname"><a href="DPItem_8h.html">DPItem.h</a></div></div>
-<div class="ttc" id="classSVF_1_1CondManager_html_a39e9d42cb3661d1c686b5163c70eeade"><div class="ttname"><a href="classSVF_1_1CondManager.html#a39e9d42cb3661d1c686b5163c70eeade">SVF::CondManager::getFalseCond</a></div><div class="ttdeci">CondExpr * getFalseCond() const</div><div class="ttdoc">Return the unique false condition. </div><div class="ttdef"><b>Definition:</b> <a href="Conditions_8h_source.html#l00231">Conditions.h:231</a></div></div>
+<div class="ttc" id="classSVF_1_1CondManager_html_a39e9d42cb3661d1c686b5163c70eeade"><div class="ttname"><a href="classSVF_1_1CondManager.html#a39e9d42cb3661d1c686b5163c70eeade">SVF::CondManager::getFalseCond</a></div><div class="ttdeci">CondExpr * getFalseCond() const</div><div class="ttdoc">Return the unique false condition. </div><div class="ttdef"><b>Definition:</b> <a href="Conditions_8h_source.html#l00177">Conditions.h:177</a></div></div>
 <div class="ttc" id="classSVF_1_1ContextCond_html_aa61b4de81e440448daaf0c5be53aebf3"><div class="ttname"><a href="classSVF_1_1ContextCond.html#aa61b4de81e440448daaf0c5be53aebf3">SVF::ContextCond::maximumPathLen</a></div><div class="ttdeci">static u32_t maximumPathLen</div><div class="ttdef"><b>Definition:</b> <a href="DPItem_8h_source.html#l00350">DPItem.h:350</a></div></div>
 <div class="ttc" id="classSVF_1_1StmtDPItem_html_a3616c94c4394b61c757ffcd39888d5b9"><div class="ttname"><a href="classSVF_1_1StmtDPItem.html#a3616c94c4394b61c757ffcd39888d5b9">SVF::StmtDPItem::getLoc</a></div><div class="ttdeci">const LocCond * getLoc() const</div><div class="ttdoc">Get context. </div><div class="ttdef"><b>Definition:</b> <a href="DPItem_8h_source.html#l00140">DPItem.h:140</a></div></div>
-<div class="ttc" id="classSVF_1_1CondManager_html_a83824b36d6cd073a171df9919aa0c704"><div class="ttname"><a href="classSVF_1_1CondManager.html#a83824b36d6cd073a171df9919aa0c704">SVF::CondManager::OR</a></div><div class="ttdeci">CondExpr * OR(CondExpr *lhs, CondExpr *rhs)</div><div class="ttdef"><b>Definition:</b> <a href="Conditions_8cpp_source.html#l00149">Conditions.cpp:149</a></div></div>
 <div class="ttc" id="classSVF_1_1PathStmtDPItem_html_a0f2d575defc85aca8c3f85353edba685"><div class="ttname"><a href="classSVF_1_1PathStmtDPItem.html#a0f2d575defc85aca8c3f85353edba685">SVF::PathStmtDPItem::PathStmtDPItem</a></div><div class="ttdeci">PathStmtDPItem(const PathStmtDPItem&lt; LocCond &gt; &amp;dps)</div><div class="ttdoc">Copy constructor. </div><div class="ttdef"><b>Definition:</b> <a href="PathDPItem_8h_source.html#l00225">PathDPItem.h:225</a></div></div>
 <div class="ttc" id="namespaceSVF_html_ab2dd5e7169f19030e124d09284ee50c1"><div class="ttname"><a href="namespaceSVF.html#ab2dd5e7169f19030e124d09284ee50c1">SVF::VFPathPtSet</a></div><div class="ttdeci">CondStdSet&lt; VFPathVar &gt; VFPathPtSet</div><div class="ttdef"><b>Definition:</b> <a href="PathDPItem_8h_source.html#l00209">PathDPItem.h:209</a></div></div>
 <div class="ttc" id="classSVF_1_1VFPathCond_html_a6d8d2ec399adff481ddc6e9210614e06"><div class="ttname"><a href="classSVF_1_1VFPathCond.html#a6d8d2ec399adff481ddc6e9210614e06">SVF::VFPathCond::~VFPathCond</a></div><div class="ttdeci">virtual ~VFPathCond()</div><div class="ttdoc">Destructor. </div><div class="ttdef"><b>Definition:</b> <a href="PathDPItem_8h_source.html#l00055">PathDPItem.h:55</a></div></div>
-<div class="ttc" id="classSVF_1_1CondManager_html"><div class="ttname"><a href="classSVF_1_1CondManager.html">SVF::CondManager</a></div><div class="ttdef"><b>Definition:</b> <a href="Conditions_8h_source.html#l00181">Conditions.h:181</a></div></div>
+<div class="ttc" id="classSVF_1_1CondManager_html"><div class="ttname"><a href="classSVF_1_1CondManager.html">SVF::CondManager</a></div><div class="ttdef"><b>Definition:</b> <a href="Conditions_8h_source.html#l00135">Conditions.h:135</a></div></div>
 </div><!-- fragment --></div><!-- contents -->
 <!-- start footer part -->
 <hr class="footer"/><address class="footer"><small>

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

@@ -80,9 +80,9 @@ $(function() {
 <div class="ttc" id="IRAnnotator_8h_html"><div class="ttname"><a href="IRAnnotator_8h.html">IRAnnotator.h</a></div></div>
 <div class="ttc" id="CPPUtil_8h_html"><div class="ttname"><a href="CPPUtil_8h.html">CPPUtil.h</a></div></div>
 <div class="ttc" id="namespaceSVF_html_a43a65e0d33af3c743294f7a1139d2301"><div class="ttname"><a href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">SVF::NodeID</a></div><div class="ttdeci">unsigned NodeID</div><div class="ttdef"><b>Definition:</b> <a href="MTAResultValidator_8h_source.html#l00018">MTAResultValidator.h:18</a></div></div>
-<div class="ttc" id="classSVF_1_1Options_html_a498a1a05a08be1ffd845aefeb0672bcb"><div class="ttname"><a href="classSVF_1_1Options.html#a498a1a05a08be1ffd845aefeb0672bcb">SVF::Options::PStat</a></div><div class="ttdeci">static const llvm::cl::opt&lt; bool &gt; PStat</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00131">Options.h:131</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_a498a1a05a08be1ffd845aefeb0672bcb"><div class="ttname"><a href="classSVF_1_1Options.html#a498a1a05a08be1ffd845aefeb0672bcb">SVF::Options::PStat</a></div><div class="ttdeci">static const llvm::cl::opt&lt; bool &gt; PStat</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00132">Options.h:132</a></div></div>
 <div class="ttc" id="classSVF_1_1PointerAnalysis_html_ac0c0855918cb2cdc3d8ebc175acfbd4da84705167ea3a7162ecb9470a8a77b5d8"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#ac0c0855918cb2cdc3d8ebc175acfbd4da84705167ea3a7162ecb9470a8a77b5d8">SVF::PointerAnalysis::BVDataImpl</a></div><div class="ttdoc">Represents BVDataPTAImpl. </div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00101">PointerAnalysis.h:101</a></div></div>
-<div class="ttc" id="classSVF_1_1Options_html_a9ec1d22e20b655e364fea03ba7d923a2"><div class="ttname"><a href="classSVF_1_1Options.html#a9ec1d22e20b655e364fea03ba7d923a2">SVF::Options::ptDataBacking</a></div><div class="ttdeci">static const llvm::cl::opt&lt; BVDataPTAImpl::PTBackingType &gt; ptDataBacking</div><div class="ttdoc">PTData type. </div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00068">Options.h:68</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_a9ec1d22e20b655e364fea03ba7d923a2"><div class="ttname"><a href="classSVF_1_1Options.html#a9ec1d22e20b655e364fea03ba7d923a2">SVF::Options::ptDataBacking</a></div><div class="ttdeci">static const llvm::cl::opt&lt; BVDataPTAImpl::PTBackingType &gt; ptDataBacking</div><div class="ttdoc">PTData type. </div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00069">Options.h:69</a></div></div>
 <div class="ttc" id="classSVF_1_1BVDataPTAImpl_html_a290501006cb700db0e07dc577429c928"><div class="ttname"><a href="classSVF_1_1BVDataPTAImpl.html#a290501006cb700db0e07dc577429c928">SVF::BVDataPTAImpl::readFromFile</a></div><div class="ttdeci">virtual bool readFromFile(const std::string &amp;filename)</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysisImpl_8cpp_source.html#l00190">PointerAnalysisImpl.cpp:190</a></div></div>
 <div class="ttc" id="namespaceSVF_html_a339bbddac9d9dffd5ef602200d34c403"><div class="ttname"><a href="namespaceSVF.html#a339bbddac9d9dffd5ef602200d34c403">SVF::MemoryLocation</a></div><div class="ttdeci">llvm::MemoryLocation MemoryLocation</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00112">BasicTypes.h:112</a></div></div>
 <div class="ttc" id="util_8h_html_a07d17d6d5d1074c0969bc5d3c3d1d84a"><div class="ttname"><a href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a></div><div class="ttdeci">#define assert(ex)</div><div class="ttdef"><b>Definition:</b> <a href="util_8h_source.html#l00141">util.h:141</a></div></div>
@@ -94,7 +94,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1PointerAnalysis_html_a0b182ac680cce0547dbe7714c870ca85ac7c033efd59e2b5fcded79fc3ebdb9d4"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85ac7c033efd59e2b5fcded79fc3ebdb9d4">SVF::PointerAnalysis::AndersenLCD_WPA</a></div><div class="ttdoc">Lazy cycle detection andersen-style WPA. </div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00067">PointerAnalysis.h:67</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFVar_html"><div class="ttname"><a href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00046">SVFVariables.h:46</a></div></div>
 <div class="ttc" id="classSVF_1_1PointerAnalysis_html_a0b182ac680cce0547dbe7714c870ca85a088dda60195ab259693977af8414f203"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a088dda60195ab259693977af8414f203">SVF::PointerAnalysis::FSTBHC_WPA</a></div><div class="ttdoc">Sparse flow-sensitive type-based heap cloning WPA. </div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00079">PointerAnalysis.h:79</a></div></div>
-<div class="ttc" id="classSVF_1_1Options_html_adfc1a5c6098d3867e29fc65ca9ffa1cc"><div class="ttname"><a href="classSVF_1_1Options.html#adfc1a5c6098d3867e29fc65ca9ffa1cc">SVF::Options::MaxFieldLimit</a></div><div class="ttdeci">static const llvm::cl::opt&lt; unsigned &gt; MaxFieldLimit</div><div class="ttdoc">Maximum number of field derivations for an object. </div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00037">Options.h:37</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_adfc1a5c6098d3867e29fc65ca9ffa1cc"><div class="ttname"><a href="classSVF_1_1Options.html#adfc1a5c6098d3867e29fc65ca9ffa1cc">SVF::Options::MaxFieldLimit</a></div><div class="ttdeci">static const llvm::cl::opt&lt; unsigned &gt; MaxFieldLimit</div><div class="ttdoc">Maximum number of field derivations for an object. </div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00038">Options.h:38</a></div></div>
 <div class="ttc" id="classSVF_1_1BVDataPTAImpl_html_a857cdacfc8cafdeb1431bdfa077ef9b5"><div class="ttname"><a href="classSVF_1_1BVDataPTAImpl.html#a857cdacfc8cafdeb1431bdfa077ef9b5">SVF::BVDataPTAImpl::readFromModule</a></div><div class="ttdeci">virtual bool readFromModule()</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysisImpl_8cpp_source.html#l00314">PointerAnalysisImpl.cpp:314</a></div></div>
 <div class="ttc" id="namespacestd_html"><div class="ttname"><a href="namespacestd.html">std</a></div></div>
 <div class="ttc" id="namespaceSVF_html_a61c01e2e687ab3a001fb806737583943"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943">SVF::AliasResult</a></div><div class="ttdeci">AliasResult</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00192">SVFBasicTypes.h:192</a></div></div>
@@ -112,7 +112,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1GenericGraph_html_a4bef15157423cef48dc7333a803cd27d"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a4bef15157423cef48dc7333a803cd27d">SVF::GenericGraph::end</a></div><div class="ttdeci">iterator end()</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00365">GenericGraph.h:365</a></div></div>
 <div class="ttc" id="classSVF_1_1BVDataPTAImpl_html_ac130bf326911b8e5396f57daa78566e7"><div class="ttname"><a href="classSVF_1_1BVDataPTAImpl.html#ac130bf326911b8e5396f57daa78566e7">SVF::BVDataPTAImpl::MutDFPTDataTy</a></div><div class="ttdeci">MutableDFPTData&lt; NodeID, NodeSet, NodeID, PointsTo &gt; MutDFPTDataTy</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysisImpl_8h_source.html#l00053">PointerAnalysisImpl.h:53</a></div></div>
 <div class="ttc" id="classSVF_1_1PointsTo_html_aa53962e561399bf493d1f2b9137356f6"><div class="ttname"><a href="classSVF_1_1PointsTo.html#aa53962e561399bf493d1f2b9137356f6">SVF::PointsTo::begin</a></div><div class="ttdeci">const_iterator begin(void) const</div><div class="ttdef"><b>Definition:</b> <a href="PointsTo_8h_source.html#l00127">PointsTo.h:127</a></div></div>
-<div class="ttc" id="classSVF_1_1Options_html_a5896e2aaf59305441a74ede0dfb85845"><div class="ttname"><a href="classSVF_1_1Options.html#a5896e2aaf59305441a74ede0dfb85845">SVF::Options::INCDFPTData</a></div><div class="ttdeci">static const llvm::cl::opt&lt; bool &gt; INCDFPTData</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00145">Options.h:145</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_a5896e2aaf59305441a74ede0dfb85845"><div class="ttname"><a href="classSVF_1_1Options.html#a5896e2aaf59305441a74ede0dfb85845">SVF::Options::INCDFPTData</a></div><div class="ttdeci">static const llvm::cl::opt&lt; bool &gt; INCDFPTData</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00146">Options.h:146</a></div></div>
 <div class="ttc" id="classSVF_1_1GenericGraph_html_ac213302cf5c7cdf3b66f7b18649d0fbc"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#ac213302cf5c7cdf3b66f7b18649d0fbc">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;::iterator</a></div><div class="ttdeci">IDToNodeMapTy::iterator iterator</div><div class="ttdoc">Node Iterators. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00338">GenericGraph.h:338</a></div></div>
 <div class="ttc" id="classSVF_1_1BVDataPTAImpl_html_a97705b60d294b87ee075a69f04a35d22"><div class="ttname"><a href="classSVF_1_1BVDataPTAImpl.html#a97705b60d294b87ee075a69f04a35d22">SVF::BVDataPTAImpl::dumpAllPts</a></div><div class="ttdeci">virtual void dumpAllPts()</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysisImpl_8cpp_source.html#l00357">PointerAnalysisImpl.cpp:357</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFIR_html_ab6abb822445c9b3f5cb2b7206042e940"><div class="ttname"><a href="classSVF_1_1SVFIR.html#ab6abb822445c9b3f5cb2b7206042e940">SVF::SVFIR::MemObjToFieldsMap</a></div><div class="ttdeci">Map&lt; NodeID, NodeBS &gt; MemObjToFieldsMap</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00055">SVFIR.h:55</a></div></div>