npm - svf-tools - Versions diffs - 1.0.348 → 1.0.352 - Mend

svf-tools 1.0.348 → 1.0.352

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

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

@@ -66,7 +66,7 @@ $(function() {
 <div class="title">ConsGNode.h</div>  </div>
 </div><!--header-->
 <div class="contents">
-<a href="ConsGNode_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">//===- ConsGNode.h -- Constraint graph node-----------------------------------//</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"> * ConsGNode.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: Mar 19, 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 CONSGNODE_H_</span></div><div class="line"><a name="l00031"></a><span class="lineno">   31</span>&#160;<span class="preprocessor">#define CONSGNODE_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="keyword">namespace </span><a class="code" href="namespaceSVF.html">SVF</a></div><div class="line"><a name="l00034"></a><span class="lineno">   34</span>&#160;{</div><div class="line"><a name="l00035"></a><span class="lineno">   35</span>&#160;</div><div class="line"><a name="l00039"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a825a8805e4a16072031a18b8d553c5a2">   39</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="classSVF_1_1GenericNode.html">GenericNode&lt;ConstraintNode,ConstraintEdge&gt;</a> <a class="code" href="namespaceSVF.html#a825a8805e4a16072031a18b8d553c5a2">GenericConsNodeTy</a>;</div><div class="line"><a name="l00040"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html">   40</a></span>&#160;<span class="keyword">class </span><a class="code" href="classSVF_1_1ConstraintNode.html">ConstraintNode</a> : <span class="keyword">public</span> GenericConsNodeTy</div><div class="line"><a name="l00041"></a><span class="lineno">   41</span>&#160;{</div><div class="line"><a name="l00042"></a><span class="lineno">   42</span>&#160;</div><div class="line"><a name="l00043"></a><span class="lineno">   43</span>&#160;<span class="keyword">public</span>:</div><div class="line"><a name="l00044"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#a19ebc316f4fa0246debb1ca61c2b2f3f">   44</a></span>&#160;    <span class="keyword">typedef</span> ConstraintEdge::ConstraintEdgeSetTy::iterator <a class="code" href="classSVF_1_1ConstraintNode.html#a19ebc316f4fa0246debb1ca61c2b2f3f">iterator</a>;</div><div class="line"><a name="l00045"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#ab1868f04de44f6fe1e9ac14f3d4ee56b">   45</a></span>&#160;    <span class="keyword">typedef</span> ConstraintEdge::ConstraintEdgeSetTy::const_iterator <a class="code" href="classSVF_1_1ConstraintNode.html#ab1868f04de44f6fe1e9ac14f3d4ee56b">const_iterator</a>;</div><div class="line"><a name="l00046"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#ab93b0083cd84702900dcdc853e511275">   46</a></span>&#160;    <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1ConstraintNode.html#ab93b0083cd84702900dcdc853e511275">_isPWCNode</a>;</div><div class="line"><a name="l00047"></a><span class="lineno">   47</span>&#160;</div><div class="line"><a name="l00048"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#a6e59b815d784bc1a9437290ff0e1e28c">   48</a></span>&#160;    <span class="keyword">enum</span> <a class="code" href="classSVF_1_1ConstraintNode.html#a6e59b815d784bc1a9437290ff0e1e28c">SCCEdgeFlag</a></div><div class="line"><a name="l00049"></a><span class="lineno">   49</span>&#160;    {</div><div class="line"><a name="l00050"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#a6e59b815d784bc1a9437290ff0e1e28ca7f8c92a2f50277fee80899235ae477f9">   50</a></span>&#160;        <a class="code" href="classSVF_1_1ConstraintNode.html#a6e59b815d784bc1a9437290ff0e1e28ca4b202c80793ae965686b9d275a5c586a">Copy</a>, <a class="code" href="classSVF_1_1ConstraintNode.html#a6e59b815d784bc1a9437290ff0e1e28ca7f8c92a2f50277fee80899235ae477f9">Direct</a></div><div class="line"><a name="l00051"></a><span class="lineno">   51</span>&#160;    };</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;<span class="keyword">private</span>:</div><div class="line"><a name="l00054"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#af7343134750575d3f335ed431f13a418">   54</a></span>&#160;    <a class="code" href="classSVF_1_1ConstraintEdge.html#ad155e1ed2473cc4f5f57128d282ac541">ConstraintEdge::ConstraintEdgeSetTy</a> <a class="code" href="classSVF_1_1ConstraintNode.html#af7343134750575d3f335ed431f13a418">loadInEdges</a>; </div><div class="line"><a name="l00055"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#a85a6acbd708be0dfc63ea87050a4a934">   55</a></span>&#160;    <a class="code" href="classSVF_1_1ConstraintEdge.html#ad155e1ed2473cc4f5f57128d282ac541">ConstraintEdge::ConstraintEdgeSetTy</a> <a class="code" href="classSVF_1_1ConstraintNode.html#a85a6acbd708be0dfc63ea87050a4a934">loadOutEdges</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"><a class="line" href="classSVF_1_1ConstraintNode.html#aa57ef34caf4e8c37baec9405f4457e57">   57</a></span>&#160;    <a class="code" href="classSVF_1_1ConstraintEdge.html#ad155e1ed2473cc4f5f57128d282ac541">ConstraintEdge::ConstraintEdgeSetTy</a> <a class="code" href="classSVF_1_1ConstraintNode.html#aa57ef34caf4e8c37baec9405f4457e57">storeInEdges</a>; </div><div class="line"><a name="l00058"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#a8d28c94a72acf221177aeae135f73ec1">   58</a></span>&#160;    <a class="code" href="classSVF_1_1ConstraintEdge.html#ad155e1ed2473cc4f5f57128d282ac541">ConstraintEdge::ConstraintEdgeSetTy</a> <a class="code" href="classSVF_1_1ConstraintNode.html#a8d28c94a72acf221177aeae135f73ec1">storeOutEdges</a>; </div><div class="line"><a name="l00059"></a><span class="lineno">   59</span>&#160;</div><div class="line"><a name="l00062"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#a53626700d25b5c004e42354c925df83c">   62</a></span>&#160;    <a class="code" href="classSVF_1_1ConstraintEdge.html#ad155e1ed2473cc4f5f57128d282ac541">ConstraintEdge::ConstraintEdgeSetTy</a> <a class="code" href="classSVF_1_1ConstraintNode.html#a53626700d25b5c004e42354c925df83c">directInEdges</a>;</div><div class="line"><a name="l00063"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#affb426040b05678fcbce62002a02bb06">   63</a></span>&#160;    <a class="code" href="classSVF_1_1ConstraintEdge.html#ad155e1ed2473cc4f5f57128d282ac541">ConstraintEdge::ConstraintEdgeSetTy</a> <a class="code" href="classSVF_1_1ConstraintNode.html#affb426040b05678fcbce62002a02bb06">directOutEdges</a>;</div><div class="line"><a name="l00064"></a><span class="lineno">   64</span>&#160;</div><div class="line"><a name="l00065"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#a4d413d64bf554ecdc72709afeeb85775">   65</a></span>&#160;    <a class="code" href="classSVF_1_1ConstraintEdge.html#ad155e1ed2473cc4f5f57128d282ac541">ConstraintEdge::ConstraintEdgeSetTy</a> <a class="code" href="classSVF_1_1ConstraintNode.html#a4d413d64bf554ecdc72709afeeb85775">copyInEdges</a>;</div><div class="line"><a name="l00066"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#a12df688fd9b5b7617daadc7bee0fff40">   66</a></span>&#160;    <a class="code" href="classSVF_1_1ConstraintEdge.html#ad155e1ed2473cc4f5f57128d282ac541">ConstraintEdge::ConstraintEdgeSetTy</a> <a class="code" href="classSVF_1_1ConstraintNode.html#a12df688fd9b5b7617daadc7bee0fff40">copyOutEdges</a>;</div><div class="line"><a name="l00067"></a><span class="lineno">   67</span>&#160;</div><div class="line"><a name="l00068"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#a4d0113f2af3a61892acee1fb21f0b938">   68</a></span>&#160;    <a class="code" href="classSVF_1_1ConstraintEdge.html#ad155e1ed2473cc4f5f57128d282ac541">ConstraintEdge::ConstraintEdgeSetTy</a> <a class="code" href="classSVF_1_1ConstraintNode.html#a4d0113f2af3a61892acee1fb21f0b938">gepInEdges</a>;</div><div class="line"><a name="l00069"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#a583880cd83a9f353003e199401d1b024">   69</a></span>&#160;    <a class="code" href="classSVF_1_1ConstraintEdge.html#ad155e1ed2473cc4f5f57128d282ac541">ConstraintEdge::ConstraintEdgeSetTy</a> <a class="code" href="classSVF_1_1ConstraintNode.html#a583880cd83a9f353003e199401d1b024">gepOutEdges</a>;</div><div class="line"><a name="l00070"></a><span class="lineno">   70</span>&#160;</div><div class="line"><a name="l00071"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#a214d8c0cb3913cb3403d686790c9eabb">   71</a></span>&#160;    <a class="code" href="classSVF_1_1ConstraintEdge.html#ad155e1ed2473cc4f5f57128d282ac541">ConstraintEdge::ConstraintEdgeSetTy</a> <a class="code" href="classSVF_1_1ConstraintNode.html#a214d8c0cb3913cb3403d686790c9eabb">addressInEdges</a>; </div><div class="line"><a name="l00072"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#af05accba5a61957323bc2fd409b6f6e0">   72</a></span>&#160;    <a class="code" href="classSVF_1_1ConstraintEdge.html#ad155e1ed2473cc4f5f57128d282ac541">ConstraintEdge::ConstraintEdgeSetTy</a> <a class="code" href="classSVF_1_1ConstraintNode.html#af05accba5a61957323bc2fd409b6f6e0">addressOutEdges</a>; </div><div class="line"><a name="l00073"></a><span class="lineno">   73</span>&#160;</div><div class="line"><a name="l00074"></a><span class="lineno">   74</span>&#160;<span class="keyword">public</span>:</div><div class="line"><a name="l00075"></a><span class="lineno">   75</span>&#160;</div><div class="line"><a name="l00076"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#a0fd9fca5ed82cf83dbd825d23c63783a">   76</a></span>&#160;    <span class="keyword">static</span> <a class="code" href="classSVF_1_1ConstraintNode.html#a6e59b815d784bc1a9437290ff0e1e28c">SCCEdgeFlag</a> <a class="code" href="classSVF_1_1ConstraintNode.html#a0fd9fca5ed82cf83dbd825d23c63783a">sccEdgeFlag</a>;</div><div class="line"><a name="l00077"></a><span class="lineno">   77</span>&#160;</div><div class="line"><a name="l00078"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#a873ba0c14dc57bd603c4a6b4d73e4278">   78</a></span>&#160;    <a class="code" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> <a class="code" href="classSVF_1_1ConstraintNode.html#a873ba0c14dc57bd603c4a6b4d73e4278">strides</a>;</div><div class="line"><a name="l00079"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#af760652ba65eb5a0d0d2731b6e1961b8">   79</a></span>&#160;    <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1ConstraintNode.html#af760652ba65eb5a0d0d2731b6e1961b8">newExpand</a>;</div><div class="line"><a name="l00080"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#ac40ecefd565e029748fdacbc44c4cd54">   80</a></span>&#160;    <a class="code" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> <a class="code" href="classSVF_1_1ConstraintNode.html#ac40ecefd565e029748fdacbc44c4cd54">baseIds</a>;</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"><a class="line" href="classSVF_1_1ConstraintNode.html#ab8e02139108272c54171cd2e8833cd88">   82</a></span>&#160;    <span class="keyword">static</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1ConstraintNode.html#ab8e02139108272c54171cd2e8833cd88">setSCCEdgeFlag</a>(<a class="code" href="classSVF_1_1ConstraintNode.html#a6e59b815d784bc1a9437290ff0e1e28c">SCCEdgeFlag</a> f)</div><div class="line"><a name="l00083"></a><span class="lineno">   83</span>&#160;    {</div><div class="line"><a name="l00084"></a><span class="lineno">   84</span>&#160;        sccEdgeFlag = f;</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;</div><div class="line"><a name="l00087"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#af8a23bea84c7a28a8ac4daa38586b88a">   87</a></span>&#160;    <a class="code" href="classSVF_1_1ConstraintNode.html#af8a23bea84c7a28a8ac4daa38586b88a">ConstraintNode</a>(<a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> i) : GenericConsNodeTy(i, 0), _isPWCNode(false), newExpand(false)</div><div class="line"><a name="l00088"></a><span class="lineno">   88</span>&#160;    {</div><div class="line"><a name="l00089"></a><span class="lineno">   89</span>&#160;</div><div class="line"><a name="l00090"></a><span class="lineno">   90</span>&#160;    }</div><div class="line"><a name="l00091"></a><span class="lineno">   91</span>&#160;</div><div class="line"><a name="l00093"></a><span class="lineno">   93</span>&#160;</div><div class="line"><a name="l00094"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#a0ffe4f1ca1a6f70466cc1c6b3b12c90d">   94</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1ConstraintNode.html#a0ffe4f1ca1a6f70466cc1c6b3b12c90d">isPWCNode</a>()<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">return</span> <a class="code" href="classSVF_1_1ConstraintNode.html#ab93b0083cd84702900dcdc853e511275">_isPWCNode</a>;</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"><a class="line" href="classSVF_1_1ConstraintNode.html#ad8701df90d93c5dfed26cff8f0b2fbb3">   98</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1ConstraintNode.html#ad8701df90d93c5dfed26cff8f0b2fbb3">setPWCNode</a>()</div><div class="line"><a name="l00099"></a><span class="lineno">   99</span>&#160;    {</div><div class="line"><a name="l00100"></a><span class="lineno">  100</span>&#160;        _isPWCNode = <span class="keyword">true</span>;</div><div class="line"><a name="l00101"></a><span class="lineno">  101</span>&#160;    }</div><div class="line"><a name="l00103"></a><span class="lineno">  103</span>&#160;</div><div class="line"><a name="l00105"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#a165b41f2849c0f09eb1b15d51a566315">  105</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1ConstraintNode.html#a165b41f2849c0f09eb1b15d51a566315">isdirectEdge</a>(<a class="code" href="classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375">ConstraintEdge::ConstraintEdgeK</a> kind)</div><div class="line"><a name="l00106"></a><span class="lineno">  106</span>&#160;    {</div><div class="line"><a name="l00107"></a><span class="lineno">  107</span>&#160;        <span class="keywordflow">return</span> (kind == <a class="code" href="classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375a29b0aa3353f866ef1655ab6d4716feb9">ConstraintEdge::Copy</a> || kind == <a class="code" href="classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375acfd0a194af0da66162545f0089eb4baa">ConstraintEdge::NormalGep</a> || kind == <a class="code" href="classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375ae5df3ce07dd670b48916f7b8ab33ae5a">ConstraintEdge::VariantGep</a> );</div><div class="line"><a name="l00108"></a><span class="lineno">  108</span>&#160;    }</div><div class="line"><a name="l00109"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#a8c3e6dca7bf12fa941c4411f6a1f52c0">  109</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1ConstraintNode.html#a8c3e6dca7bf12fa941c4411f6a1f52c0">isIndirectEdge</a>(<a class="code" href="classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375">ConstraintEdge::ConstraintEdgeK</a> kind)</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> (kind == <a class="code" href="classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375a1bdeb9a06641d16b43391120812b40b2">ConstraintEdge::Load</a> || kind == <a class="code" href="classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375a20d6a102ddc06257a822ffffcc5a3b47">ConstraintEdge::Store</a>);</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">  113</span>&#160;</div><div class="line"><a name="l00115"></a><span class="lineno">  115</span>&#160;</div><div class="line"><a name="l00116"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#a2d37b9e477f8ddc9f9b517b9e2867d44">  116</a></span>&#160;    <span class="keyword">inline</span> <span class="keyword">const</span> <a class="code" href="classSVF_1_1ConstraintEdge.html#ad155e1ed2473cc4f5f57128d282ac541">ConstraintEdge::ConstraintEdgeSetTy</a>&amp; <a class="code" href="classSVF_1_1ConstraintNode.html#a2d37b9e477f8ddc9f9b517b9e2867d44">getDirectInEdges</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00117"></a><span class="lineno">  117</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00118"></a><span class="lineno">  118</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ConstraintNode.html#a53626700d25b5c004e42354c925df83c">directInEdges</a>;</div><div class="line"><a name="l00119"></a><span class="lineno">  119</span>&#160;    }</div><div class="line"><a name="l00120"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#a06c9db0dcc96af4707ba29b9a959ae28">  120</a></span>&#160;    <span class="keyword">inline</span> <span class="keyword">const</span> <a class="code" href="classSVF_1_1ConstraintEdge.html#ad155e1ed2473cc4f5f57128d282ac541">ConstraintEdge::ConstraintEdgeSetTy</a>&amp; <a class="code" href="classSVF_1_1ConstraintNode.html#a06c9db0dcc96af4707ba29b9a959ae28">getDirectOutEdges</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00121"></a><span class="lineno">  121</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00122"></a><span class="lineno">  122</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ConstraintNode.html#affb426040b05678fcbce62002a02bb06">directOutEdges</a>;</div><div class="line"><a name="l00123"></a><span class="lineno">  123</span>&#160;    }</div><div class="line"><a name="l00124"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#aa7fda7753c353db3284e087270ab7cd0">  124</a></span>&#160;    <span class="keyword">inline</span> <span class="keyword">const</span> <a class="code" href="classSVF_1_1ConstraintEdge.html#ad155e1ed2473cc4f5f57128d282ac541">ConstraintEdge::ConstraintEdgeSetTy</a>&amp; <a class="code" href="classSVF_1_1ConstraintNode.html#aa7fda7753c353db3284e087270ab7cd0">getCopyInEdges</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00125"></a><span class="lineno">  125</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00126"></a><span class="lineno">  126</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ConstraintNode.html#a4d413d64bf554ecdc72709afeeb85775">copyInEdges</a>;</div><div class="line"><a name="l00127"></a><span class="lineno">  127</span>&#160;    }</div><div class="line"><a name="l00128"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#ab77173aa8af6155b569f20ff0cdcec72">  128</a></span>&#160;    <span class="keyword">inline</span> <span class="keyword">const</span> <a class="code" href="classSVF_1_1ConstraintEdge.html#ad155e1ed2473cc4f5f57128d282ac541">ConstraintEdge::ConstraintEdgeSetTy</a>&amp; <a class="code" href="classSVF_1_1ConstraintNode.html#ab77173aa8af6155b569f20ff0cdcec72">getCopyOutEdges</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00129"></a><span class="lineno">  129</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00130"></a><span class="lineno">  130</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ConstraintNode.html#a12df688fd9b5b7617daadc7bee0fff40">copyOutEdges</a>;</div><div class="line"><a name="l00131"></a><span class="lineno">  131</span>&#160;    }</div><div class="line"><a name="l00132"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#ac645cf2114161981cd4465c83cbc31f5">  132</a></span>&#160;    <span class="keyword">inline</span> <span class="keyword">const</span> <a class="code" href="classSVF_1_1ConstraintEdge.html#ad155e1ed2473cc4f5f57128d282ac541">ConstraintEdge::ConstraintEdgeSetTy</a>&amp; <a class="code" href="classSVF_1_1ConstraintNode.html#ac645cf2114161981cd4465c83cbc31f5">getGepInEdges</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00133"></a><span class="lineno">  133</span>&#160;<span class="keyword">    </span>{</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_1ConstraintNode.html#a4d0113f2af3a61892acee1fb21f0b938">gepInEdges</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_1ConstraintNode.html#a19d3d2c996ba821227a836717e5443c8">  136</a></span>&#160;    <span class="keyword">inline</span> <span class="keyword">const</span> <a class="code" href="classSVF_1_1ConstraintEdge.html#ad155e1ed2473cc4f5f57128d282ac541">ConstraintEdge::ConstraintEdgeSetTy</a>&amp; <a class="code" href="classSVF_1_1ConstraintNode.html#a19d3d2c996ba821227a836717e5443c8">getGepOutEdges</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00137"></a><span class="lineno">  137</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00138"></a><span class="lineno">  138</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ConstraintNode.html#a583880cd83a9f353003e199401d1b024">gepOutEdges</a>;</div><div class="line"><a name="l00139"></a><span class="lineno">  139</span>&#160;    }</div><div class="line"><a name="l00140"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#abd8d146e9b30b6d9757021a84bcab158">  140</a></span>&#160;    <span class="keyword">inline</span> <span class="keyword">const</span> <a class="code" href="classSVF_1_1ConstraintEdge.html#ad155e1ed2473cc4f5f57128d282ac541">ConstraintEdge::ConstraintEdgeSetTy</a>&amp; <a class="code" href="classSVF_1_1ConstraintNode.html#abd8d146e9b30b6d9757021a84bcab158">getLoadInEdges</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00141"></a><span class="lineno">  141</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00142"></a><span class="lineno">  142</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ConstraintNode.html#af7343134750575d3f335ed431f13a418">loadInEdges</a>;</div><div class="line"><a name="l00143"></a><span class="lineno">  143</span>&#160;    }</div><div class="line"><a name="l00144"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#a59ab1cea514100c63ee179e3e9a5aa0a">  144</a></span>&#160;    <span class="keyword">inline</span> <span class="keyword">const</span> <a class="code" href="classSVF_1_1ConstraintEdge.html#ad155e1ed2473cc4f5f57128d282ac541">ConstraintEdge::ConstraintEdgeSetTy</a>&amp; <a class="code" href="classSVF_1_1ConstraintNode.html#a59ab1cea514100c63ee179e3e9a5aa0a">getLoadOutEdges</a>()<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">return</span> <a class="code" href="classSVF_1_1ConstraintNode.html#a85a6acbd708be0dfc63ea87050a4a934">loadOutEdges</a>;</div><div class="line"><a name="l00147"></a><span class="lineno">  147</span>&#160;    }</div><div class="line"><a name="l00148"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#aed5e1f0345aab58031daecfa0c6aac0b">  148</a></span>&#160;    <span class="keyword">inline</span> <span class="keyword">const</span> <a class="code" href="classSVF_1_1ConstraintEdge.html#ad155e1ed2473cc4f5f57128d282ac541">ConstraintEdge::ConstraintEdgeSetTy</a>&amp; <a class="code" href="classSVF_1_1ConstraintNode.html#aed5e1f0345aab58031daecfa0c6aac0b">getStoreInEdges</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00149"></a><span class="lineno">  149</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00150"></a><span class="lineno">  150</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ConstraintNode.html#aa57ef34caf4e8c37baec9405f4457e57">storeInEdges</a>;</div><div class="line"><a name="l00151"></a><span class="lineno">  151</span>&#160;    }</div><div class="line"><a name="l00152"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#a85e67f52e9cda75704e6b5a46af289e7">  152</a></span>&#160;    <span class="keyword">inline</span> <span class="keyword">const</span> <a class="code" href="classSVF_1_1ConstraintEdge.html#ad155e1ed2473cc4f5f57128d282ac541">ConstraintEdge::ConstraintEdgeSetTy</a>&amp; <a class="code" href="classSVF_1_1ConstraintNode.html#a85e67f52e9cda75704e6b5a46af289e7">getStoreOutEdges</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00153"></a><span class="lineno">  153</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00154"></a><span class="lineno">  154</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ConstraintNode.html#a8d28c94a72acf221177aeae135f73ec1">storeOutEdges</a>;</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"><a class="line" href="classSVF_1_1ConstraintNode.html#ae6a98932b0f0732d4af1ca8266d58077">  156</a></span>&#160;    <span class="keyword">inline</span> <span class="keyword">const</span> <a class="code" href="classSVF_1_1ConstraintEdge.html#ad155e1ed2473cc4f5f57128d282ac541">ConstraintEdge::ConstraintEdgeSetTy</a>&amp; <a class="code" href="classSVF_1_1ConstraintNode.html#ae6a98932b0f0732d4af1ca8266d58077">getAddrInEdges</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00157"></a><span class="lineno">  157</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00158"></a><span class="lineno">  158</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ConstraintNode.html#a214d8c0cb3913cb3403d686790c9eabb">addressInEdges</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"><a class="line" href="classSVF_1_1ConstraintNode.html#a9058618987da9d21156cea72a5d5ddad">  160</a></span>&#160;    <span class="keyword">inline</span> <span class="keyword">const</span> <a class="code" href="classSVF_1_1ConstraintEdge.html#ad155e1ed2473cc4f5f57128d282ac541">ConstraintEdge::ConstraintEdgeSetTy</a>&amp; <a class="code" href="classSVF_1_1ConstraintNode.html#a9058618987da9d21156cea72a5d5ddad">getAddrOutEdges</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00161"></a><span class="lineno">  161</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00162"></a><span class="lineno">  162</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ConstraintNode.html#af05accba5a61957323bc2fd409b6f6e0">addressOutEdges</a>;</div><div class="line"><a name="l00163"></a><span class="lineno">  163</span>&#160;    }</div><div class="line"><a name="l00165"></a><span class="lineno">  165</span>&#160;</div><div class="line"><a name="l00167"></a><span class="lineno">  167</span>&#160;</div><div class="line"><a name="l00168"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#a6a2021d0d494e7d47469e4161280a098">  168</a></span>&#160;    <span class="keyword">inline</span> iterator <a class="code" href="classSVF_1_1ConstraintNode.html#a6a2021d0d494e7d47469e4161280a098">directOutEdgeBegin</a>()</div><div class="line"><a name="l00169"></a><span class="lineno">  169</span>&#160;    {</div><div class="line"><a name="l00170"></a><span class="lineno">  170</span>&#160;        <span class="keywordflow">if</span> (sccEdgeFlag == <a class="code" href="classSVF_1_1ConstraintNode.html#a6e59b815d784bc1a9437290ff0e1e28ca4b202c80793ae965686b9d275a5c586a">Copy</a>)</div><div class="line"><a name="l00171"></a><span class="lineno">  171</span>&#160;            <span class="keywordflow">return</span> copyOutEdges.begin();</div><div class="line"><a name="l00172"></a><span class="lineno">  172</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00173"></a><span class="lineno">  173</span>&#160;            <span class="keywordflow">return</span> directOutEdges.begin();</div><div class="line"><a name="l00174"></a><span class="lineno">  174</span>&#160;    }</div><div class="line"><a name="l00175"></a><span class="lineno">  175</span>&#160;</div><div class="line"><a name="l00176"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#a7bf8a1955d6f19b8d0ae5bdeb9a0897f">  176</a></span>&#160;    <span class="keyword">inline</span> iterator <a class="code" href="classSVF_1_1ConstraintNode.html#a7bf8a1955d6f19b8d0ae5bdeb9a0897f">directOutEdgeEnd</a>()</div><div class="line"><a name="l00177"></a><span class="lineno">  177</span>&#160;    {</div><div class="line"><a name="l00178"></a><span class="lineno">  178</span>&#160;        <span class="keywordflow">if</span> (sccEdgeFlag == <a class="code" href="classSVF_1_1ConstraintNode.html#a6e59b815d784bc1a9437290ff0e1e28ca4b202c80793ae965686b9d275a5c586a">Copy</a>)</div><div class="line"><a name="l00179"></a><span class="lineno">  179</span>&#160;            <span class="keywordflow">return</span> copyOutEdges.end();</div><div class="line"><a name="l00180"></a><span class="lineno">  180</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00181"></a><span class="lineno">  181</span>&#160;            <span class="keywordflow">return</span> directOutEdges.end();</div><div class="line"><a name="l00182"></a><span class="lineno">  182</span>&#160;    }</div><div class="line"><a name="l00183"></a><span class="lineno">  183</span>&#160;</div><div class="line"><a name="l00184"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#a4f89452d062b55715b17ec3ebb730cb1">  184</a></span>&#160;    <span class="keyword">inline</span> iterator <a class="code" href="classSVF_1_1ConstraintNode.html#a4f89452d062b55715b17ec3ebb730cb1">directInEdgeBegin</a>()</div><div class="line"><a name="l00185"></a><span class="lineno">  185</span>&#160;    {</div><div class="line"><a name="l00186"></a><span class="lineno">  186</span>&#160;        <span class="keywordflow">if</span> (sccEdgeFlag == <a class="code" href="classSVF_1_1ConstraintNode.html#a6e59b815d784bc1a9437290ff0e1e28ca4b202c80793ae965686b9d275a5c586a">Copy</a>)</div><div class="line"><a name="l00187"></a><span class="lineno">  187</span>&#160;            <span class="keywordflow">return</span> copyInEdges.begin();</div><div class="line"><a name="l00188"></a><span class="lineno">  188</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00189"></a><span class="lineno">  189</span>&#160;            <span class="keywordflow">return</span> directInEdges.begin();</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;</div><div class="line"><a name="l00192"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#afbd67d06e027fd2d87a611cf0bb251b3">  192</a></span>&#160;    <span class="keyword">inline</span> iterator <a class="code" href="classSVF_1_1ConstraintNode.html#afbd67d06e027fd2d87a611cf0bb251b3">directInEdgeEnd</a>()</div><div class="line"><a name="l00193"></a><span class="lineno">  193</span>&#160;    {</div><div class="line"><a name="l00194"></a><span class="lineno">  194</span>&#160;        <span class="keywordflow">if</span> (sccEdgeFlag == <a class="code" href="classSVF_1_1ConstraintNode.html#a6e59b815d784bc1a9437290ff0e1e28ca4b202c80793ae965686b9d275a5c586a">Copy</a>)</div><div class="line"><a name="l00195"></a><span class="lineno">  195</span>&#160;            <span class="keywordflow">return</span> copyInEdges.end();</div><div class="line"><a name="l00196"></a><span class="lineno">  196</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00197"></a><span class="lineno">  197</span>&#160;            <span class="keywordflow">return</span> directInEdges.end();</div><div class="line"><a name="l00198"></a><span class="lineno">  198</span>&#160;    }</div><div class="line"><a name="l00199"></a><span class="lineno">  199</span>&#160;</div><div class="line"><a name="l00200"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#ae0a836aae35a53051209e47a6de4a0f7">  200</a></span>&#160;    <span class="keyword">inline</span> const_iterator <a class="code" href="classSVF_1_1ConstraintNode.html#ae0a836aae35a53051209e47a6de4a0f7">directOutEdgeBegin</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00201"></a><span class="lineno">  201</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00202"></a><span class="lineno">  202</span>&#160;        <span class="keywordflow">if</span> (sccEdgeFlag == <a class="code" href="classSVF_1_1ConstraintNode.html#a6e59b815d784bc1a9437290ff0e1e28ca4b202c80793ae965686b9d275a5c586a">Copy</a>)</div><div class="line"><a name="l00203"></a><span class="lineno">  203</span>&#160;            <span class="keywordflow">return</span> copyOutEdges.begin();</div><div class="line"><a name="l00204"></a><span class="lineno">  204</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00205"></a><span class="lineno">  205</span>&#160;            <span class="keywordflow">return</span> directOutEdges.begin();</div><div class="line"><a name="l00206"></a><span class="lineno">  206</span>&#160;    }</div><div class="line"><a name="l00207"></a><span class="lineno">  207</span>&#160;</div><div class="line"><a name="l00208"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#a2069add351804447659d39bf53d9bf41">  208</a></span>&#160;    <span class="keyword">inline</span> const_iterator <a class="code" href="classSVF_1_1ConstraintNode.html#a2069add351804447659d39bf53d9bf41">directOutEdgeEnd</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00209"></a><span class="lineno">  209</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00210"></a><span class="lineno">  210</span>&#160;        <span class="keywordflow">if</span> (sccEdgeFlag == <a class="code" href="classSVF_1_1ConstraintNode.html#a6e59b815d784bc1a9437290ff0e1e28ca4b202c80793ae965686b9d275a5c586a">Copy</a>)</div><div class="line"><a name="l00211"></a><span class="lineno">  211</span>&#160;            <span class="keywordflow">return</span> copyOutEdges.end();</div><div class="line"><a name="l00212"></a><span class="lineno">  212</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00213"></a><span class="lineno">  213</span>&#160;            <span class="keywordflow">return</span> directOutEdges.end();</div><div class="line"><a name="l00214"></a><span class="lineno">  214</span>&#160;    }</div><div class="line"><a name="l00215"></a><span class="lineno">  215</span>&#160;</div><div class="line"><a name="l00216"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#afdb510d663364d21762af0f1f292e50e">  216</a></span>&#160;    <span class="keyword">inline</span> const_iterator <a class="code" href="classSVF_1_1ConstraintNode.html#afdb510d663364d21762af0f1f292e50e">directInEdgeBegin</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00217"></a><span class="lineno">  217</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00218"></a><span class="lineno">  218</span>&#160;        <span class="keywordflow">if</span> (sccEdgeFlag == <a class="code" href="classSVF_1_1ConstraintNode.html#a6e59b815d784bc1a9437290ff0e1e28ca4b202c80793ae965686b9d275a5c586a">Copy</a>)</div><div class="line"><a name="l00219"></a><span class="lineno">  219</span>&#160;            <span class="keywordflow">return</span> copyInEdges.begin();</div><div class="line"><a name="l00220"></a><span class="lineno">  220</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00221"></a><span class="lineno">  221</span>&#160;            <span class="keywordflow">return</span> directInEdges.begin();</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="l00224"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#a9101c445c228d059c8a85b8973428047">  224</a></span>&#160;    <span class="keyword">inline</span> const_iterator <a class="code" href="classSVF_1_1ConstraintNode.html#a9101c445c228d059c8a85b8973428047">directInEdgeEnd</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00225"></a><span class="lineno">  225</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00226"></a><span class="lineno">  226</span>&#160;        <span class="keywordflow">if</span> (sccEdgeFlag == <a class="code" href="classSVF_1_1ConstraintNode.html#a6e59b815d784bc1a9437290ff0e1e28ca4b202c80793ae965686b9d275a5c586a">Copy</a>)</div><div class="line"><a name="l00227"></a><span class="lineno">  227</span>&#160;            <span class="keywordflow">return</span> copyInEdges.end();</div><div class="line"><a name="l00228"></a><span class="lineno">  228</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00229"></a><span class="lineno">  229</span>&#160;            <span class="keywordflow">return</span> directInEdges.end();</div><div class="line"><a name="l00230"></a><span class="lineno">  230</span>&#160;    }</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"><a class="line" href="classSVF_1_1ConstraintNode.html#ac9bb037a59db6b035c2785cad6ac56aa">  232</a></span>&#160;    <a class="code" href="classSVF_1_1ConstraintEdge.html#ad155e1ed2473cc4f5f57128d282ac541">ConstraintEdge::ConstraintEdgeSetTy</a>&amp; <a class="code" href="classSVF_1_1ConstraintNode.html#ac9bb037a59db6b035c2785cad6ac56aa">incomingAddrEdges</a>()</div><div class="line"><a name="l00233"></a><span class="lineno">  233</span>&#160;    {</div><div class="line"><a name="l00234"></a><span class="lineno">  234</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ConstraintNode.html#a214d8c0cb3913cb3403d686790c9eabb">addressInEdges</a>;</div><div class="line"><a name="l00235"></a><span class="lineno">  235</span>&#160;    }</div><div class="line"><a name="l00236"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#ae5acdc3bd73974b6972b60fb3df5e0ea">  236</a></span>&#160;    <a class="code" href="classSVF_1_1ConstraintEdge.html#ad155e1ed2473cc4f5f57128d282ac541">ConstraintEdge::ConstraintEdgeSetTy</a>&amp; <a class="code" href="classSVF_1_1ConstraintNode.html#ae5acdc3bd73974b6972b60fb3df5e0ea">outgoingAddrEdges</a>()</div><div class="line"><a name="l00237"></a><span class="lineno">  237</span>&#160;    {</div><div class="line"><a name="l00238"></a><span class="lineno">  238</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ConstraintNode.html#af05accba5a61957323bc2fd409b6f6e0">addressOutEdges</a>;</div><div class="line"><a name="l00239"></a><span class="lineno">  239</span>&#160;    }</div><div class="line"><a name="l00240"></a><span class="lineno">  240</span>&#160;</div><div class="line"><a name="l00241"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#a849e0a16332d4ecbce0848ca104f597b">  241</a></span>&#160;    <span class="keyword">inline</span> const_iterator <a class="code" href="classSVF_1_1ConstraintNode.html#a849e0a16332d4ecbce0848ca104f597b">outgoingAddrsBegin</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00242"></a><span class="lineno">  242</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00243"></a><span class="lineno">  243</span>&#160;        <span class="keywordflow">return</span> addressOutEdges.begin();</div><div class="line"><a name="l00244"></a><span class="lineno">  244</span>&#160;    }</div><div class="line"><a name="l00245"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#ad079ae4d9257be6f84ce66077d053908">  245</a></span>&#160;    <span class="keyword">inline</span> const_iterator <a class="code" href="classSVF_1_1ConstraintNode.html#ad079ae4d9257be6f84ce66077d053908">outgoingAddrsEnd</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00246"></a><span class="lineno">  246</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00247"></a><span class="lineno">  247</span>&#160;        <span class="keywordflow">return</span> addressOutEdges.end();</div><div class="line"><a name="l00248"></a><span class="lineno">  248</span>&#160;    }</div><div class="line"><a name="l00249"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#a19c1ed324f65f4cc58dd2fd21ed4a971">  249</a></span>&#160;    <span class="keyword">inline</span> const_iterator <a class="code" href="classSVF_1_1ConstraintNode.html#a19c1ed324f65f4cc58dd2fd21ed4a971">incomingAddrsBegin</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00250"></a><span class="lineno">  250</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00251"></a><span class="lineno">  251</span>&#160;        <span class="keywordflow">return</span> addressInEdges.begin();</div><div class="line"><a name="l00252"></a><span class="lineno">  252</span>&#160;    }</div><div class="line"><a name="l00253"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#ae8ac9ad8e766b961c7ce06d7219f37af">  253</a></span>&#160;    <span class="keyword">inline</span> const_iterator <a class="code" href="classSVF_1_1ConstraintNode.html#ae8ac9ad8e766b961c7ce06d7219f37af">incomingAddrsEnd</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00254"></a><span class="lineno">  254</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00255"></a><span class="lineno">  255</span>&#160;        <span class="keywordflow">return</span> addressInEdges.end();</div><div class="line"><a name="l00256"></a><span class="lineno">  256</span>&#160;    }</div><div class="line"><a name="l00257"></a><span class="lineno">  257</span>&#160;</div><div class="line"><a name="l00258"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#af69c7e623ab5a36644b6aeabaa1a1e28">  258</a></span>&#160;    <span class="keyword">inline</span> const_iterator <a class="code" href="classSVF_1_1ConstraintNode.html#af69c7e623ab5a36644b6aeabaa1a1e28">outgoingLoadsBegin</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00259"></a><span class="lineno">  259</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00260"></a><span class="lineno">  260</span>&#160;        <span class="keywordflow">return</span> loadOutEdges.begin();</div><div class="line"><a name="l00261"></a><span class="lineno">  261</span>&#160;    }</div><div class="line"><a name="l00262"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#a134e8ed040d7749c2b9a02662115f746">  262</a></span>&#160;    <span class="keyword">inline</span> const_iterator <a class="code" href="classSVF_1_1ConstraintNode.html#a134e8ed040d7749c2b9a02662115f746">outgoingLoadsEnd</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00263"></a><span class="lineno">  263</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00264"></a><span class="lineno">  264</span>&#160;        <span class="keywordflow">return</span> loadOutEdges.end();</div><div class="line"><a name="l00265"></a><span class="lineno">  265</span>&#160;    }</div><div class="line"><a name="l00266"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#a7f591f8eda63abbaaea9a8bfb97f3959">  266</a></span>&#160;    <span class="keyword">inline</span> const_iterator <a class="code" href="classSVF_1_1ConstraintNode.html#a7f591f8eda63abbaaea9a8bfb97f3959">incomingLoadsBegin</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00267"></a><span class="lineno">  267</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00268"></a><span class="lineno">  268</span>&#160;        <span class="keywordflow">return</span> loadInEdges.begin();</div><div class="line"><a name="l00269"></a><span class="lineno">  269</span>&#160;    }</div><div class="line"><a name="l00270"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#a0bfdbe171acd2825055e571f314c0a48">  270</a></span>&#160;    <span class="keyword">inline</span> const_iterator <a class="code" href="classSVF_1_1ConstraintNode.html#a0bfdbe171acd2825055e571f314c0a48">incomingLoadsEnd</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00271"></a><span class="lineno">  271</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00272"></a><span class="lineno">  272</span>&#160;        <span class="keywordflow">return</span> loadInEdges.end();</div><div class="line"><a name="l00273"></a><span class="lineno">  273</span>&#160;    }</div><div class="line"><a name="l00274"></a><span class="lineno">  274</span>&#160;</div><div class="line"><a name="l00275"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#a99c3aaef8cb899d5691b9d9a3bd6c0e5">  275</a></span>&#160;    <span class="keyword">inline</span> const_iterator <a class="code" href="classSVF_1_1ConstraintNode.html#a99c3aaef8cb899d5691b9d9a3bd6c0e5">outgoingStoresBegin</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00276"></a><span class="lineno">  276</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00277"></a><span class="lineno">  277</span>&#160;        <span class="keywordflow">return</span> storeOutEdges.begin();</div><div class="line"><a name="l00278"></a><span class="lineno">  278</span>&#160;    }</div><div class="line"><a name="l00279"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#a5ee086dfa49e82309dfe37f167bcb8b4">  279</a></span>&#160;    <span class="keyword">inline</span> const_iterator <a class="code" href="classSVF_1_1ConstraintNode.html#a5ee086dfa49e82309dfe37f167bcb8b4">outgoingStoresEnd</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00280"></a><span class="lineno">  280</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00281"></a><span class="lineno">  281</span>&#160;        <span class="keywordflow">return</span> storeOutEdges.end();</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"><a class="line" href="classSVF_1_1ConstraintNode.html#a5a90b39f9e5769bde44a673806270714">  283</a></span>&#160;    <span class="keyword">inline</span> const_iterator <a class="code" href="classSVF_1_1ConstraintNode.html#a5a90b39f9e5769bde44a673806270714">incomingStoresBegin</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00284"></a><span class="lineno">  284</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00285"></a><span class="lineno">  285</span>&#160;        <span class="keywordflow">return</span> storeInEdges.begin();</div><div class="line"><a name="l00286"></a><span class="lineno">  286</span>&#160;    }</div><div class="line"><a name="l00287"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#a8d58f5224728bb6811f12c94826167f6">  287</a></span>&#160;    <span class="keyword">inline</span> const_iterator <a class="code" href="classSVF_1_1ConstraintNode.html#a8d58f5224728bb6811f12c94826167f6">incomingStoresEnd</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00288"></a><span class="lineno">  288</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00289"></a><span class="lineno">  289</span>&#160;        <span class="keywordflow">return</span> storeInEdges.end();</div><div class="line"><a name="l00290"></a><span class="lineno">  290</span>&#160;    }</div><div class="line"><a name="l00292"></a><span class="lineno">  292</span>&#160;</div><div class="line"><a name="l00294"></a><span class="lineno">  294</span>&#160;</div><div class="line"><a name="l00295"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#ad54cc825bb7f5642671e75b90b2633a2">  295</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1ConstraintNode.html#ad54cc825bb7f5642671e75b90b2633a2">addIncomingCopyEdge</a>(<a class="code" href="classSVF_1_1CopyCGEdge.html">CopyCGEdge</a> *inEdge)</div><div class="line"><a name="l00296"></a><span class="lineno">  296</span>&#160;    {</div><div class="line"><a name="l00297"></a><span class="lineno">  297</span>&#160;        <a class="code" href="classSVF_1_1ConstraintNode.html#a0d9d6ba3359b481b872f2c1f68950fd6">addIncomingDirectEdge</a>(inEdge);</div><div class="line"><a name="l00298"></a><span class="lineno">  298</span>&#160;        copyInEdges.insert(inEdge);</div><div class="line"><a name="l00299"></a><span class="lineno">  299</span>&#160;    }</div><div class="line"><a name="l00300"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#aaf0b98573a980aea1151a837580a40a5">  300</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1ConstraintNode.html#aaf0b98573a980aea1151a837580a40a5">addIncomingGepEdge</a>(<a class="code" href="classSVF_1_1GepCGEdge.html">GepCGEdge</a>* inEdge)</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;        <a class="code" href="classSVF_1_1ConstraintNode.html#a0d9d6ba3359b481b872f2c1f68950fd6">addIncomingDirectEdge</a>(inEdge);</div><div class="line"><a name="l00303"></a><span class="lineno">  303</span>&#160;        gepInEdges.insert(inEdge);</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"><a class="line" href="classSVF_1_1ConstraintNode.html#a2395948518a1befb7a3762bbad6adf9f">  305</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1ConstraintNode.html#a2395948518a1befb7a3762bbad6adf9f">addOutgoingCopyEdge</a>(<a class="code" href="classSVF_1_1CopyCGEdge.html">CopyCGEdge</a> *outEdge)</div><div class="line"><a name="l00306"></a><span class="lineno">  306</span>&#160;    {</div><div class="line"><a name="l00307"></a><span class="lineno">  307</span>&#160;        <a class="code" href="classSVF_1_1ConstraintNode.html#a230e89618c562c7aed63b4457ec69637">addOutgoingDirectEdge</a>(outEdge);</div><div class="line"><a name="l00308"></a><span class="lineno">  308</span>&#160;        copyOutEdges.insert(outEdge);</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"><a class="line" href="classSVF_1_1ConstraintNode.html#abc56843c51c00a9018473f415f73e9f6">  310</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1ConstraintNode.html#abc56843c51c00a9018473f415f73e9f6">addOutgoingGepEdge</a>(<a class="code" href="classSVF_1_1GepCGEdge.html">GepCGEdge</a>* outEdge)</div><div class="line"><a name="l00311"></a><span class="lineno">  311</span>&#160;    {</div><div class="line"><a name="l00312"></a><span class="lineno">  312</span>&#160;        <a class="code" href="classSVF_1_1ConstraintNode.html#a230e89618c562c7aed63b4457ec69637">addOutgoingDirectEdge</a>(outEdge);</div><div class="line"><a name="l00313"></a><span class="lineno">  313</span>&#160;        gepOutEdges.insert(outEdge);</div><div class="line"><a name="l00314"></a><span class="lineno">  314</span>&#160;    }</div><div class="line"><a name="l00315"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#aeff08dd512d0a97fb14069b37386e9fe">  315</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1ConstraintNode.html#aeff08dd512d0a97fb14069b37386e9fe">addIncomingAddrEdge</a>(<a class="code" href="classSVF_1_1AddrCGEdge.html">AddrCGEdge</a>* inEdge)</div><div class="line"><a name="l00316"></a><span class="lineno">  316</span>&#160;    {</div><div class="line"><a name="l00317"></a><span class="lineno">  317</span>&#160;        addressInEdges.insert(inEdge);</div><div class="line"><a name="l00318"></a><span class="lineno">  318</span>&#160;        <a class="code" href="classSVF_1_1GenericNode.html#a93d217b0c9fd8008a2989ca2b4f3fbfb">addIncomingEdge</a>(inEdge);</div><div class="line"><a name="l00319"></a><span class="lineno">  319</span>&#160;    }</div><div class="line"><a name="l00320"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#a9d1bb95ad5549d7e6030fe07f8e070a2">  320</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1ConstraintNode.html#a9d1bb95ad5549d7e6030fe07f8e070a2">addIncomingLoadEdge</a>(<a class="code" href="classSVF_1_1LoadCGEdge.html">LoadCGEdge</a>* inEdge)</div><div class="line"><a name="l00321"></a><span class="lineno">  321</span>&#160;    {</div><div class="line"><a name="l00322"></a><span class="lineno">  322</span>&#160;        loadInEdges.insert(inEdge);</div><div class="line"><a name="l00323"></a><span class="lineno">  323</span>&#160;        <a class="code" href="classSVF_1_1GenericNode.html#a93d217b0c9fd8008a2989ca2b4f3fbfb">addIncomingEdge</a>(inEdge);</div><div class="line"><a name="l00324"></a><span class="lineno">  324</span>&#160;    }</div><div class="line"><a name="l00325"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#a202193059dd3122d969561080b82c504">  325</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1ConstraintNode.html#a202193059dd3122d969561080b82c504">addIncomingStoreEdge</a>(<a class="code" href="classSVF_1_1StoreCGEdge.html">StoreCGEdge</a>* inEdge)</div><div class="line"><a name="l00326"></a><span class="lineno">  326</span>&#160;    {</div><div class="line"><a name="l00327"></a><span class="lineno">  327</span>&#160;        storeInEdges.insert(inEdge);</div><div class="line"><a name="l00328"></a><span class="lineno">  328</span>&#160;        <a class="code" href="classSVF_1_1GenericNode.html#a93d217b0c9fd8008a2989ca2b4f3fbfb">addIncomingEdge</a>(inEdge);</div><div class="line"><a name="l00329"></a><span class="lineno">  329</span>&#160;    }</div><div class="line"><a name="l00330"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#a0d9d6ba3359b481b872f2c1f68950fd6">  330</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1ConstraintNode.html#a0d9d6ba3359b481b872f2c1f68950fd6">addIncomingDirectEdge</a>(<a class="code" href="classSVF_1_1ConstraintEdge.html">ConstraintEdge</a>* inEdge)</div><div class="line"><a name="l00331"></a><span class="lineno">  331</span>&#160;    {</div><div class="line"><a name="l00332"></a><span class="lineno">  332</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(inEdge-&gt;<a class="code" href="classSVF_1_1GenericEdge.html#ad9edb45e74ae675d9da82f5acf02d56e">getDstID</a>() == this-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>());</div><div class="line"><a name="l00333"></a><span class="lineno">  333</span>&#160;        <span class="keywordtype">bool</span> added1 = directInEdges.insert(inEdge).second;</div><div class="line"><a name="l00334"></a><span class="lineno">  334</span>&#160;        <span class="keywordtype">bool</span> added2 = <a class="code" href="classSVF_1_1GenericNode.html#a93d217b0c9fd8008a2989ca2b4f3fbfb">addIncomingEdge</a>(inEdge);</div><div class="line"><a name="l00335"></a><span class="lineno">  335</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(added1 &amp;&amp; added2 &amp;&amp; <span class="stringliteral">&quot;edge not added, duplicated adding!!&quot;</span>);</div><div class="line"><a name="l00336"></a><span class="lineno">  336</span>&#160;    }</div><div class="line"><a name="l00337"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#af129941c522dbc1b0fe94f84eea0d97a">  337</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1ConstraintNode.html#af129941c522dbc1b0fe94f84eea0d97a">addOutgoingAddrEdge</a>(<a class="code" href="classSVF_1_1AddrCGEdge.html">AddrCGEdge</a>* outEdge)</div><div class="line"><a name="l00338"></a><span class="lineno">  338</span>&#160;    {</div><div class="line"><a name="l00339"></a><span class="lineno">  339</span>&#160;        addressOutEdges.insert(outEdge);</div><div class="line"><a name="l00340"></a><span class="lineno">  340</span>&#160;        <a class="code" href="classSVF_1_1GenericNode.html#ae74283fbc788665296a69e56f334557b">addOutgoingEdge</a>(outEdge);</div><div class="line"><a name="l00341"></a><span class="lineno">  341</span>&#160;    }</div><div class="line"><a name="l00342"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#abcab7a3b98dc0cfeecaed279ca74ea53">  342</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1ConstraintNode.html#abcab7a3b98dc0cfeecaed279ca74ea53">addOutgoingLoadEdge</a>(<a class="code" href="classSVF_1_1LoadCGEdge.html">LoadCGEdge</a>* outEdge)</div><div class="line"><a name="l00343"></a><span class="lineno">  343</span>&#160;    {</div><div class="line"><a name="l00344"></a><span class="lineno">  344</span>&#160;        <span class="keywordtype">bool</span> added1 = loadOutEdges.insert(outEdge).second;</div><div class="line"><a name="l00345"></a><span class="lineno">  345</span>&#160;        <span class="keywordtype">bool</span> added2 = <a class="code" href="classSVF_1_1GenericNode.html#ae74283fbc788665296a69e56f334557b">addOutgoingEdge</a>(outEdge);</div><div class="line"><a name="l00346"></a><span class="lineno">  346</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(added1 &amp;&amp; added2 &amp;&amp; <span class="stringliteral">&quot;edge not added, duplicated adding!!&quot;</span>);</div><div class="line"><a name="l00347"></a><span class="lineno">  347</span>&#160;    }</div><div class="line"><a name="l00348"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#a349b8c461adfa2a0bd1376ecb81d36d5">  348</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1ConstraintNode.html#a349b8c461adfa2a0bd1376ecb81d36d5">addOutgoingStoreEdge</a>(<a class="code" href="classSVF_1_1StoreCGEdge.html">StoreCGEdge</a>* outEdge)</div><div class="line"><a name="l00349"></a><span class="lineno">  349</span>&#160;    {</div><div class="line"><a name="l00350"></a><span class="lineno">  350</span>&#160;        <span class="keywordtype">bool</span> added1 = storeOutEdges.insert(outEdge).second;</div><div class="line"><a name="l00351"></a><span class="lineno">  351</span>&#160;        <span class="keywordtype">bool</span> added2 = <a class="code" href="classSVF_1_1GenericNode.html#ae74283fbc788665296a69e56f334557b">addOutgoingEdge</a>(outEdge);</div><div class="line"><a name="l00352"></a><span class="lineno">  352</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(added1 &amp;&amp; added2 &amp;&amp; <span class="stringliteral">&quot;edge not added, duplicated adding!!&quot;</span>);</div><div class="line"><a name="l00353"></a><span class="lineno">  353</span>&#160;    }</div><div class="line"><a name="l00354"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#a230e89618c562c7aed63b4457ec69637">  354</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1ConstraintNode.html#a230e89618c562c7aed63b4457ec69637">addOutgoingDirectEdge</a>(<a class="code" href="classSVF_1_1ConstraintEdge.html">ConstraintEdge</a>* outEdge)</div><div class="line"><a name="l00355"></a><span class="lineno">  355</span>&#160;    {</div><div class="line"><a name="l00356"></a><span class="lineno">  356</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(outEdge-&gt;<a class="code" href="classSVF_1_1GenericEdge.html#ae6792506a0150a9400d635eceab7f9e7">getSrcID</a>() == this-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>());</div><div class="line"><a name="l00357"></a><span class="lineno">  357</span>&#160;        <span class="keywordtype">bool</span> added1 = directOutEdges.insert(outEdge).second;</div><div class="line"><a name="l00358"></a><span class="lineno">  358</span>&#160;        <span class="keywordtype">bool</span> added2 = <a class="code" href="classSVF_1_1GenericNode.html#ae74283fbc788665296a69e56f334557b">addOutgoingEdge</a>(outEdge);</div><div class="line"><a name="l00359"></a><span class="lineno">  359</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(added1 &amp;&amp; added2 &amp;&amp; <span class="stringliteral">&quot;edge not added, duplicated adding!!&quot;</span>);</div><div class="line"><a name="l00360"></a><span class="lineno">  360</span>&#160;    }</div><div class="line"><a name="l00362"></a><span class="lineno">  362</span>&#160;</div><div class="line"><a name="l00364"></a><span class="lineno">  364</span>&#160;    <span class="comment">//{@</span></div><div class="line"><a name="l00365"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#ac1a860858359a385bc8d64b44b7d11f0">  365</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1ConstraintNode.html#ac1a860858359a385bc8d64b44b7d11f0">removeOutgoingAddrEdge</a>(<a class="code" href="classSVF_1_1AddrCGEdge.html">AddrCGEdge</a>* outEdge)</div><div class="line"><a name="l00366"></a><span class="lineno">  366</span>&#160;    {</div><div class="line"><a name="l00367"></a><span class="lineno">  367</span>&#160;        <a class="code" href="namespaceSVF.html#a2db29836a72e8d86e9baa6d8d55d2978">Size_t</a> num1 = addressOutEdges.erase(outEdge);</div><div class="line"><a name="l00368"></a><span class="lineno">  368</span>&#160;        <a class="code" href="namespaceSVF.html#a2db29836a72e8d86e9baa6d8d55d2978">Size_t</a> num2 = <a class="code" href="classSVF_1_1GenericNode.html#a7c6192cb176bda3fad1819711302e468">removeOutgoingEdge</a>(outEdge);</div><div class="line"><a name="l00369"></a><span class="lineno">  369</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>((num1 &amp;&amp; num2) &amp;&amp; <span class="stringliteral">&quot;edge not in the set, can not remove!!!&quot;</span>);</div><div class="line"><a name="l00370"></a><span class="lineno">  370</span>&#160;    }</div><div class="line"><a name="l00371"></a><span class="lineno">  371</span>&#160;</div><div class="line"><a name="l00372"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#a2f1179fa3290274218b7a58ce8d31507">  372</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1ConstraintNode.html#a2f1179fa3290274218b7a58ce8d31507">removeIncomingAddrEdge</a>(<a class="code" href="classSVF_1_1AddrCGEdge.html">AddrCGEdge</a>* inEdge)</div><div class="line"><a name="l00373"></a><span class="lineno">  373</span>&#160;    {</div><div class="line"><a name="l00374"></a><span class="lineno">  374</span>&#160;        <a class="code" href="namespaceSVF.html#a2db29836a72e8d86e9baa6d8d55d2978">Size_t</a> num1 = addressInEdges.erase(inEdge);</div><div class="line"><a name="l00375"></a><span class="lineno">  375</span>&#160;        <a class="code" href="namespaceSVF.html#a2db29836a72e8d86e9baa6d8d55d2978">Size_t</a> num2 = <a class="code" href="classSVF_1_1GenericNode.html#a56dff05dc2b3c5664d3b8fc1c6c927d5">removeIncomingEdge</a>(inEdge);</div><div class="line"><a name="l00376"></a><span class="lineno">  376</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>((num1 &amp;&amp; num2) &amp;&amp; <span class="stringliteral">&quot;edge not in the set, can not remove!!!&quot;</span>);</div><div class="line"><a name="l00377"></a><span class="lineno">  377</span>&#160;    }</div><div class="line"><a name="l00378"></a><span class="lineno">  378</span>&#160;</div><div class="line"><a name="l00379"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#adeb6adc882fe3470fff5483773070d19">  379</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1ConstraintNode.html#adeb6adc882fe3470fff5483773070d19">removeOutgoingDirectEdge</a>(<a class="code" href="classSVF_1_1ConstraintEdge.html">ConstraintEdge</a>* outEdge)</div><div class="line"><a name="l00380"></a><span class="lineno">  380</span>&#160;    {</div><div class="line"><a name="l00381"></a><span class="lineno">  381</span>&#160;        <span class="keywordflow">if</span> (SVFUtil::isa&lt;GepCGEdge&gt;(outEdge))</div><div class="line"><a name="l00382"></a><span class="lineno">  382</span>&#160;            gepOutEdges.erase(outEdge);</div><div class="line"><a name="l00383"></a><span class="lineno">  383</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00384"></a><span class="lineno">  384</span>&#160;            copyOutEdges.erase(outEdge);</div><div class="line"><a name="l00385"></a><span class="lineno">  385</span>&#160;        <a class="code" href="namespaceSVF.html#a2db29836a72e8d86e9baa6d8d55d2978">Size_t</a> num1 = directOutEdges.erase(outEdge);</div><div class="line"><a name="l00386"></a><span class="lineno">  386</span>&#160;        <a class="code" href="namespaceSVF.html#a2db29836a72e8d86e9baa6d8d55d2978">Size_t</a> num2 = <a class="code" href="classSVF_1_1GenericNode.html#a7c6192cb176bda3fad1819711302e468">removeOutgoingEdge</a>(outEdge);</div><div class="line"><a name="l00387"></a><span class="lineno">  387</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>((num1 &amp;&amp; num2) &amp;&amp; <span class="stringliteral">&quot;edge not in the set, can not remove!!!&quot;</span>);</div><div class="line"><a name="l00388"></a><span class="lineno">  388</span>&#160;    }</div><div class="line"><a name="l00389"></a><span class="lineno">  389</span>&#160;</div><div class="line"><a name="l00390"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#a2f3ba283779cbb388d903a6a7a0d0108">  390</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1ConstraintNode.html#a2f3ba283779cbb388d903a6a7a0d0108">removeIncomingDirectEdge</a>(<a class="code" href="classSVF_1_1ConstraintEdge.html">ConstraintEdge</a>* inEdge)</div><div class="line"><a name="l00391"></a><span class="lineno">  391</span>&#160;    {</div><div class="line"><a name="l00392"></a><span class="lineno">  392</span>&#160;        <span class="keywordflow">if</span> (SVFUtil::isa&lt;GepCGEdge&gt;(inEdge))</div><div class="line"><a name="l00393"></a><span class="lineno">  393</span>&#160;            gepInEdges.erase(inEdge);</div><div class="line"><a name="l00394"></a><span class="lineno">  394</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00395"></a><span class="lineno">  395</span>&#160;            copyInEdges.erase(inEdge);</div><div class="line"><a name="l00396"></a><span class="lineno">  396</span>&#160;        <a class="code" href="namespaceSVF.html#a2db29836a72e8d86e9baa6d8d55d2978">Size_t</a> num1 = directInEdges.erase(inEdge);</div><div class="line"><a name="l00397"></a><span class="lineno">  397</span>&#160;        <a class="code" href="namespaceSVF.html#a2db29836a72e8d86e9baa6d8d55d2978">Size_t</a> num2 = <a class="code" href="classSVF_1_1GenericNode.html#a56dff05dc2b3c5664d3b8fc1c6c927d5">removeIncomingEdge</a>(inEdge);</div><div class="line"><a name="l00398"></a><span class="lineno">  398</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>((num1 &amp;&amp; num2) &amp;&amp; <span class="stringliteral">&quot;edge not in the set, can not remove!!!&quot;</span>);</div><div class="line"><a name="l00399"></a><span class="lineno">  399</span>&#160;    }</div><div class="line"><a name="l00400"></a><span class="lineno">  400</span>&#160;</div><div class="line"><a name="l00401"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#a7df4be1a889fdfb2240394304fcf1a1f">  401</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1ConstraintNode.html#a7df4be1a889fdfb2240394304fcf1a1f">removeOutgoingLoadEdge</a>(<a class="code" href="classSVF_1_1LoadCGEdge.html">LoadCGEdge</a>* outEdge)</div><div class="line"><a name="l00402"></a><span class="lineno">  402</span>&#160;    {</div><div class="line"><a name="l00403"></a><span class="lineno">  403</span>&#160;        <a class="code" href="namespaceSVF.html#a2db29836a72e8d86e9baa6d8d55d2978">Size_t</a> num1 = loadOutEdges.erase(outEdge);</div><div class="line"><a name="l00404"></a><span class="lineno">  404</span>&#160;        <a class="code" href="namespaceSVF.html#a2db29836a72e8d86e9baa6d8d55d2978">Size_t</a> num2 = <a class="code" href="classSVF_1_1GenericNode.html#a7c6192cb176bda3fad1819711302e468">removeOutgoingEdge</a>(outEdge);</div><div class="line"><a name="l00405"></a><span class="lineno">  405</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>((num1 &amp;&amp; num2) &amp;&amp; <span class="stringliteral">&quot;edge not in the set, can not remove!!!&quot;</span>);</div><div class="line"><a name="l00406"></a><span class="lineno">  406</span>&#160;    }</div><div class="line"><a name="l00407"></a><span class="lineno">  407</span>&#160;</div><div class="line"><a name="l00408"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#aaf84d10aaa0baabb8387fd8ccfdcfa9d">  408</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1ConstraintNode.html#aaf84d10aaa0baabb8387fd8ccfdcfa9d">removeIncomingLoadEdge</a>(<a class="code" href="classSVF_1_1LoadCGEdge.html">LoadCGEdge</a>* inEdge)</div><div class="line"><a name="l00409"></a><span class="lineno">  409</span>&#160;    {</div><div class="line"><a name="l00410"></a><span class="lineno">  410</span>&#160;        <a class="code" href="namespaceSVF.html#a2db29836a72e8d86e9baa6d8d55d2978">Size_t</a> num1 = loadInEdges.erase(inEdge);</div><div class="line"><a name="l00411"></a><span class="lineno">  411</span>&#160;        <a class="code" href="namespaceSVF.html#a2db29836a72e8d86e9baa6d8d55d2978">Size_t</a> num2 = <a class="code" href="classSVF_1_1GenericNode.html#a56dff05dc2b3c5664d3b8fc1c6c927d5">removeIncomingEdge</a>(inEdge);</div><div class="line"><a name="l00412"></a><span class="lineno">  412</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>((num1 &amp;&amp; num2) &amp;&amp; <span class="stringliteral">&quot;edge not in the set, can not remove!!!&quot;</span>);</div><div class="line"><a name="l00413"></a><span class="lineno">  413</span>&#160;    }</div><div class="line"><a name="l00414"></a><span class="lineno">  414</span>&#160;</div><div class="line"><a name="l00415"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#a676c053b087a404c8d3dca3b9976b2c1">  415</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1ConstraintNode.html#a676c053b087a404c8d3dca3b9976b2c1">removeOutgoingStoreEdge</a>(<a class="code" href="classSVF_1_1StoreCGEdge.html">StoreCGEdge</a>* outEdge)</div><div class="line"><a name="l00416"></a><span class="lineno">  416</span>&#160;    {</div><div class="line"><a name="l00417"></a><span class="lineno">  417</span>&#160;        <a class="code" href="namespaceSVF.html#a2db29836a72e8d86e9baa6d8d55d2978">Size_t</a> num1 = storeOutEdges.erase(outEdge);</div><div class="line"><a name="l00418"></a><span class="lineno">  418</span>&#160;        <a class="code" href="namespaceSVF.html#a2db29836a72e8d86e9baa6d8d55d2978">Size_t</a> num2 = <a class="code" href="classSVF_1_1GenericNode.html#a7c6192cb176bda3fad1819711302e468">removeOutgoingEdge</a>(outEdge);</div><div class="line"><a name="l00419"></a><span class="lineno">  419</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>((num1 &amp;&amp; num2) &amp;&amp; <span class="stringliteral">&quot;edge not in the set, can not remove!!!&quot;</span>);</div><div class="line"><a name="l00420"></a><span class="lineno">  420</span>&#160;    }</div><div class="line"><a name="l00421"></a><span class="lineno">  421</span>&#160;</div><div class="line"><a name="l00422"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#a59425dc6ed586a6c36b3ab15b1399b2a">  422</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1ConstraintNode.html#a59425dc6ed586a6c36b3ab15b1399b2a">removeIncomingStoreEdge</a>(<a class="code" href="classSVF_1_1StoreCGEdge.html">StoreCGEdge</a>* inEdge)</div><div class="line"><a name="l00423"></a><span class="lineno">  423</span>&#160;    {</div><div class="line"><a name="l00424"></a><span class="lineno">  424</span>&#160;        <a class="code" href="namespaceSVF.html#a2db29836a72e8d86e9baa6d8d55d2978">Size_t</a> num1 = storeInEdges.erase(inEdge);</div><div class="line"><a name="l00425"></a><span class="lineno">  425</span>&#160;        <a class="code" href="namespaceSVF.html#a2db29836a72e8d86e9baa6d8d55d2978">Size_t</a> num2 = <a class="code" href="classSVF_1_1GenericNode.html#a56dff05dc2b3c5664d3b8fc1c6c927d5">removeIncomingEdge</a>(inEdge);</div><div class="line"><a name="l00426"></a><span class="lineno">  426</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>((num1 &amp;&amp; num2) &amp;&amp; <span class="stringliteral">&quot;edge not in the set, can not remove!!!&quot;</span>);</div><div class="line"><a name="l00427"></a><span class="lineno">  427</span>&#160;    }</div><div class="line"><a name="l00429"></a><span class="lineno">  429</span>&#160;</div><div class="line"><a name="l00430"></a><span class="lineno">  430</span>&#160;</div><div class="line"><a name="l00431"></a><span class="lineno">  431</span>&#160;};</div><div class="line"><a name="l00432"></a><span class="lineno">  432</span>&#160;</div><div class="line"><a name="l00433"></a><span class="lineno">  433</span>&#160;} <span class="comment">// End namespace SVF</span></div><div class="line"><a name="l00434"></a><span class="lineno">  434</span>&#160;</div><div class="line"><a name="l00435"></a><span class="lineno">  435</span>&#160;<span class="preprocessor">#endif </span><span class="comment">/* CONSGNODE_H_ */</span><span class="preprocessor"></span></div><div class="ttc" id="classSVF_1_1ConstraintNode_html_a99c3aaef8cb899d5691b9d9a3bd6c0e5"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#a99c3aaef8cb899d5691b9d9a3bd6c0e5">SVF::ConstraintNode::outgoingStoresBegin</a></div><div class="ttdeci">const_iterator outgoingStoresBegin() const</div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00275">ConsGNode.h:275</a></div></div>
+<a href="ConsGNode_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">//===- ConsGNode.h -- Constraint graph node-----------------------------------//</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"> * ConsGNode.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: Mar 19, 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 CONSGNODE_H_</span></div><div class="line"><a name="l00031"></a><span class="lineno">   31</span>&#160;<span class="preprocessor">#define CONSGNODE_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="keyword">namespace </span><a class="code" href="namespaceSVF.html">SVF</a></div><div class="line"><a name="l00034"></a><span class="lineno">   34</span>&#160;{</div><div class="line"><a name="l00035"></a><span class="lineno">   35</span>&#160;</div><div class="line"><a name="l00039"></a><span class="lineno"><a class="line" href="namespaceSVF.html#a825a8805e4a16072031a18b8d553c5a2">   39</a></span>&#160;<span class="keyword">typedef</span> <a class="code" href="classSVF_1_1GenericNode.html">GenericNode&lt;ConstraintNode,ConstraintEdge&gt;</a> <a class="code" href="namespaceSVF.html#a825a8805e4a16072031a18b8d553c5a2">GenericConsNodeTy</a>;</div><div class="line"><a name="l00040"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html">   40</a></span>&#160;<span class="keyword">class </span><a class="code" href="classSVF_1_1ConstraintNode.html">ConstraintNode</a> : <span class="keyword">public</span> GenericConsNodeTy</div><div class="line"><a name="l00041"></a><span class="lineno">   41</span>&#160;{</div><div class="line"><a name="l00042"></a><span class="lineno">   42</span>&#160;</div><div class="line"><a name="l00043"></a><span class="lineno">   43</span>&#160;<span class="keyword">public</span>:</div><div class="line"><a name="l00044"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#a19ebc316f4fa0246debb1ca61c2b2f3f">   44</a></span>&#160;    <span class="keyword">typedef</span> ConstraintEdge::ConstraintEdgeSetTy::iterator <a class="code" href="classSVF_1_1ConstraintNode.html#a19ebc316f4fa0246debb1ca61c2b2f3f">iterator</a>;</div><div class="line"><a name="l00045"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#ab1868f04de44f6fe1e9ac14f3d4ee56b">   45</a></span>&#160;    <span class="keyword">typedef</span> ConstraintEdge::ConstraintEdgeSetTy::const_iterator <a class="code" href="classSVF_1_1ConstraintNode.html#ab1868f04de44f6fe1e9ac14f3d4ee56b">const_iterator</a>;</div><div class="line"><a name="l00046"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#ab93b0083cd84702900dcdc853e511275">   46</a></span>&#160;    <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1ConstraintNode.html#ab93b0083cd84702900dcdc853e511275">_isPWCNode</a>;</div><div class="line"><a name="l00047"></a><span class="lineno">   47</span>&#160;</div><div class="line"><a name="l00048"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#a6e59b815d784bc1a9437290ff0e1e28c">   48</a></span>&#160;    <span class="keyword">enum</span> <a class="code" href="classSVF_1_1ConstraintNode.html#a6e59b815d784bc1a9437290ff0e1e28c">SCCEdgeFlag</a></div><div class="line"><a name="l00049"></a><span class="lineno">   49</span>&#160;    {</div><div class="line"><a name="l00050"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#a6e59b815d784bc1a9437290ff0e1e28ca7f8c92a2f50277fee80899235ae477f9">   50</a></span>&#160;        <a class="code" href="classSVF_1_1ConstraintNode.html#a6e59b815d784bc1a9437290ff0e1e28ca4b202c80793ae965686b9d275a5c586a">Copy</a>, <a class="code" href="classSVF_1_1ConstraintNode.html#a6e59b815d784bc1a9437290ff0e1e28ca7f8c92a2f50277fee80899235ae477f9">Direct</a></div><div class="line"><a name="l00051"></a><span class="lineno">   51</span>&#160;    };</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;<span class="keyword">private</span>:</div><div class="line"><a name="l00054"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#af7343134750575d3f335ed431f13a418">   54</a></span>&#160;    <a class="code" href="classSVF_1_1ConstraintEdge.html#ad155e1ed2473cc4f5f57128d282ac541">ConstraintEdge::ConstraintEdgeSetTy</a> <a class="code" href="classSVF_1_1ConstraintNode.html#af7343134750575d3f335ed431f13a418">loadInEdges</a>; </div><div class="line"><a name="l00055"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#a85a6acbd708be0dfc63ea87050a4a934">   55</a></span>&#160;    <a class="code" href="classSVF_1_1ConstraintEdge.html#ad155e1ed2473cc4f5f57128d282ac541">ConstraintEdge::ConstraintEdgeSetTy</a> <a class="code" href="classSVF_1_1ConstraintNode.html#a85a6acbd708be0dfc63ea87050a4a934">loadOutEdges</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"><a class="line" href="classSVF_1_1ConstraintNode.html#aa57ef34caf4e8c37baec9405f4457e57">   57</a></span>&#160;    <a class="code" href="classSVF_1_1ConstraintEdge.html#ad155e1ed2473cc4f5f57128d282ac541">ConstraintEdge::ConstraintEdgeSetTy</a> <a class="code" href="classSVF_1_1ConstraintNode.html#aa57ef34caf4e8c37baec9405f4457e57">storeInEdges</a>; </div><div class="line"><a name="l00058"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#a8d28c94a72acf221177aeae135f73ec1">   58</a></span>&#160;    <a class="code" href="classSVF_1_1ConstraintEdge.html#ad155e1ed2473cc4f5f57128d282ac541">ConstraintEdge::ConstraintEdgeSetTy</a> <a class="code" href="classSVF_1_1ConstraintNode.html#a8d28c94a72acf221177aeae135f73ec1">storeOutEdges</a>; </div><div class="line"><a name="l00059"></a><span class="lineno">   59</span>&#160;</div><div class="line"><a name="l00062"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#a53626700d25b5c004e42354c925df83c">   62</a></span>&#160;    <a class="code" href="classSVF_1_1ConstraintEdge.html#ad155e1ed2473cc4f5f57128d282ac541">ConstraintEdge::ConstraintEdgeSetTy</a> <a class="code" href="classSVF_1_1ConstraintNode.html#a53626700d25b5c004e42354c925df83c">directInEdges</a>;</div><div class="line"><a name="l00063"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#affb426040b05678fcbce62002a02bb06">   63</a></span>&#160;    <a class="code" href="classSVF_1_1ConstraintEdge.html#ad155e1ed2473cc4f5f57128d282ac541">ConstraintEdge::ConstraintEdgeSetTy</a> <a class="code" href="classSVF_1_1ConstraintNode.html#affb426040b05678fcbce62002a02bb06">directOutEdges</a>;</div><div class="line"><a name="l00064"></a><span class="lineno">   64</span>&#160;</div><div class="line"><a name="l00065"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#a4d413d64bf554ecdc72709afeeb85775">   65</a></span>&#160;    <a class="code" href="classSVF_1_1ConstraintEdge.html#ad155e1ed2473cc4f5f57128d282ac541">ConstraintEdge::ConstraintEdgeSetTy</a> <a class="code" href="classSVF_1_1ConstraintNode.html#a4d413d64bf554ecdc72709afeeb85775">copyInEdges</a>;</div><div class="line"><a name="l00066"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#a12df688fd9b5b7617daadc7bee0fff40">   66</a></span>&#160;    <a class="code" href="classSVF_1_1ConstraintEdge.html#ad155e1ed2473cc4f5f57128d282ac541">ConstraintEdge::ConstraintEdgeSetTy</a> <a class="code" href="classSVF_1_1ConstraintNode.html#a12df688fd9b5b7617daadc7bee0fff40">copyOutEdges</a>;</div><div class="line"><a name="l00067"></a><span class="lineno">   67</span>&#160;</div><div class="line"><a name="l00068"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#a4d0113f2af3a61892acee1fb21f0b938">   68</a></span>&#160;    <a class="code" href="classSVF_1_1ConstraintEdge.html#ad155e1ed2473cc4f5f57128d282ac541">ConstraintEdge::ConstraintEdgeSetTy</a> <a class="code" href="classSVF_1_1ConstraintNode.html#a4d0113f2af3a61892acee1fb21f0b938">gepInEdges</a>;</div><div class="line"><a name="l00069"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#a583880cd83a9f353003e199401d1b024">   69</a></span>&#160;    <a class="code" href="classSVF_1_1ConstraintEdge.html#ad155e1ed2473cc4f5f57128d282ac541">ConstraintEdge::ConstraintEdgeSetTy</a> <a class="code" href="classSVF_1_1ConstraintNode.html#a583880cd83a9f353003e199401d1b024">gepOutEdges</a>;</div><div class="line"><a name="l00070"></a><span class="lineno">   70</span>&#160;</div><div class="line"><a name="l00071"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#a214d8c0cb3913cb3403d686790c9eabb">   71</a></span>&#160;    <a class="code" href="classSVF_1_1ConstraintEdge.html#ad155e1ed2473cc4f5f57128d282ac541">ConstraintEdge::ConstraintEdgeSetTy</a> <a class="code" href="classSVF_1_1ConstraintNode.html#a214d8c0cb3913cb3403d686790c9eabb">addressInEdges</a>; </div><div class="line"><a name="l00072"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#af05accba5a61957323bc2fd409b6f6e0">   72</a></span>&#160;    <a class="code" href="classSVF_1_1ConstraintEdge.html#ad155e1ed2473cc4f5f57128d282ac541">ConstraintEdge::ConstraintEdgeSetTy</a> <a class="code" href="classSVF_1_1ConstraintNode.html#af05accba5a61957323bc2fd409b6f6e0">addressOutEdges</a>; </div><div class="line"><a name="l00073"></a><span class="lineno">   73</span>&#160;</div><div class="line"><a name="l00074"></a><span class="lineno">   74</span>&#160;<span class="keyword">public</span>:</div><div class="line"><a name="l00075"></a><span class="lineno">   75</span>&#160;</div><div class="line"><a name="l00076"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#a0fd9fca5ed82cf83dbd825d23c63783a">   76</a></span>&#160;    <span class="keyword">static</span> <a class="code" href="classSVF_1_1ConstraintNode.html#a6e59b815d784bc1a9437290ff0e1e28c">SCCEdgeFlag</a> <a class="code" href="classSVF_1_1ConstraintNode.html#a0fd9fca5ed82cf83dbd825d23c63783a">sccEdgeFlag</a>;</div><div class="line"><a name="l00077"></a><span class="lineno">   77</span>&#160;</div><div class="line"><a name="l00078"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#a873ba0c14dc57bd603c4a6b4d73e4278">   78</a></span>&#160;    <a class="code" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> <a class="code" href="classSVF_1_1ConstraintNode.html#a873ba0c14dc57bd603c4a6b4d73e4278">strides</a>;</div><div class="line"><a name="l00079"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#af760652ba65eb5a0d0d2731b6e1961b8">   79</a></span>&#160;    <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1ConstraintNode.html#af760652ba65eb5a0d0d2731b6e1961b8">newExpand</a>;</div><div class="line"><a name="l00080"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#ac40ecefd565e029748fdacbc44c4cd54">   80</a></span>&#160;    <a class="code" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> <a class="code" href="classSVF_1_1ConstraintNode.html#ac40ecefd565e029748fdacbc44c4cd54">baseIds</a>;</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"><a class="line" href="classSVF_1_1ConstraintNode.html#ab8e02139108272c54171cd2e8833cd88">   82</a></span>&#160;    <span class="keyword">static</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1ConstraintNode.html#ab8e02139108272c54171cd2e8833cd88">setSCCEdgeFlag</a>(<a class="code" href="classSVF_1_1ConstraintNode.html#a6e59b815d784bc1a9437290ff0e1e28c">SCCEdgeFlag</a> f)</div><div class="line"><a name="l00083"></a><span class="lineno">   83</span>&#160;    {</div><div class="line"><a name="l00084"></a><span class="lineno">   84</span>&#160;        sccEdgeFlag = f;</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;</div><div class="line"><a name="l00087"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#af8a23bea84c7a28a8ac4daa38586b88a">   87</a></span>&#160;    <a class="code" href="classSVF_1_1ConstraintNode.html#af8a23bea84c7a28a8ac4daa38586b88a">ConstraintNode</a>(<a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> i) : GenericConsNodeTy(i, 0), _isPWCNode(false), newExpand(false)</div><div class="line"><a name="l00088"></a><span class="lineno">   88</span>&#160;    {</div><div class="line"><a name="l00089"></a><span class="lineno">   89</span>&#160;</div><div class="line"><a name="l00090"></a><span class="lineno">   90</span>&#160;    }</div><div class="line"><a name="l00091"></a><span class="lineno">   91</span>&#160;</div><div class="line"><a name="l00093"></a><span class="lineno">   93</span>&#160;</div><div class="line"><a name="l00094"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#a0ffe4f1ca1a6f70466cc1c6b3b12c90d">   94</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1ConstraintNode.html#a0ffe4f1ca1a6f70466cc1c6b3b12c90d">isPWCNode</a>()<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">return</span> <a class="code" href="classSVF_1_1ConstraintNode.html#ab93b0083cd84702900dcdc853e511275">_isPWCNode</a>;</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"><a class="line" href="classSVF_1_1ConstraintNode.html#ad8701df90d93c5dfed26cff8f0b2fbb3">   98</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1ConstraintNode.html#ad8701df90d93c5dfed26cff8f0b2fbb3">setPWCNode</a>()</div><div class="line"><a name="l00099"></a><span class="lineno">   99</span>&#160;    {</div><div class="line"><a name="l00100"></a><span class="lineno">  100</span>&#160;        _isPWCNode = <span class="keyword">true</span>;</div><div class="line"><a name="l00101"></a><span class="lineno">  101</span>&#160;    }</div><div class="line"><a name="l00103"></a><span class="lineno">  103</span>&#160;</div><div class="line"><a name="l00105"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#a165b41f2849c0f09eb1b15d51a566315">  105</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1ConstraintNode.html#a165b41f2849c0f09eb1b15d51a566315">isdirectEdge</a>(<a class="code" href="classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375">ConstraintEdge::ConstraintEdgeK</a> kind)</div><div class="line"><a name="l00106"></a><span class="lineno">  106</span>&#160;    {</div><div class="line"><a name="l00107"></a><span class="lineno">  107</span>&#160;        <span class="keywordflow">return</span> (kind == <a class="code" href="classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375a29b0aa3353f866ef1655ab6d4716feb9">ConstraintEdge::Copy</a> || kind == <a class="code" href="classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375acfd0a194af0da66162545f0089eb4baa">ConstraintEdge::NormalGep</a> || kind == <a class="code" href="classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375ae5df3ce07dd670b48916f7b8ab33ae5a">ConstraintEdge::VariantGep</a> );</div><div class="line"><a name="l00108"></a><span class="lineno">  108</span>&#160;    }</div><div class="line"><a name="l00109"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#a8c3e6dca7bf12fa941c4411f6a1f52c0">  109</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1ConstraintNode.html#a8c3e6dca7bf12fa941c4411f6a1f52c0">isIndirectEdge</a>(<a class="code" href="classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375">ConstraintEdge::ConstraintEdgeK</a> kind)</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> (kind == <a class="code" href="classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375a1bdeb9a06641d16b43391120812b40b2">ConstraintEdge::Load</a> || kind == <a class="code" href="classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375a20d6a102ddc06257a822ffffcc5a3b47">ConstraintEdge::Store</a>);</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">  113</span>&#160;</div><div class="line"><a name="l00115"></a><span class="lineno">  115</span>&#160;</div><div class="line"><a name="l00116"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#a2d37b9e477f8ddc9f9b517b9e2867d44">  116</a></span>&#160;    <span class="keyword">inline</span> <span class="keyword">const</span> <a class="code" href="classSVF_1_1ConstraintEdge.html#ad155e1ed2473cc4f5f57128d282ac541">ConstraintEdge::ConstraintEdgeSetTy</a>&amp; <a class="code" href="classSVF_1_1ConstraintNode.html#a2d37b9e477f8ddc9f9b517b9e2867d44">getDirectInEdges</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00117"></a><span class="lineno">  117</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00118"></a><span class="lineno">  118</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ConstraintNode.html#a53626700d25b5c004e42354c925df83c">directInEdges</a>;</div><div class="line"><a name="l00119"></a><span class="lineno">  119</span>&#160;    }</div><div class="line"><a name="l00120"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#a06c9db0dcc96af4707ba29b9a959ae28">  120</a></span>&#160;    <span class="keyword">inline</span> <span class="keyword">const</span> <a class="code" href="classSVF_1_1ConstraintEdge.html#ad155e1ed2473cc4f5f57128d282ac541">ConstraintEdge::ConstraintEdgeSetTy</a>&amp; <a class="code" href="classSVF_1_1ConstraintNode.html#a06c9db0dcc96af4707ba29b9a959ae28">getDirectOutEdges</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00121"></a><span class="lineno">  121</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00122"></a><span class="lineno">  122</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ConstraintNode.html#affb426040b05678fcbce62002a02bb06">directOutEdges</a>;</div><div class="line"><a name="l00123"></a><span class="lineno">  123</span>&#160;    }</div><div class="line"><a name="l00124"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#aa7fda7753c353db3284e087270ab7cd0">  124</a></span>&#160;    <span class="keyword">inline</span> <span class="keyword">const</span> <a class="code" href="classSVF_1_1ConstraintEdge.html#ad155e1ed2473cc4f5f57128d282ac541">ConstraintEdge::ConstraintEdgeSetTy</a>&amp; <a class="code" href="classSVF_1_1ConstraintNode.html#aa7fda7753c353db3284e087270ab7cd0">getCopyInEdges</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00125"></a><span class="lineno">  125</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00126"></a><span class="lineno">  126</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ConstraintNode.html#a4d413d64bf554ecdc72709afeeb85775">copyInEdges</a>;</div><div class="line"><a name="l00127"></a><span class="lineno">  127</span>&#160;    }</div><div class="line"><a name="l00128"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#ab77173aa8af6155b569f20ff0cdcec72">  128</a></span>&#160;    <span class="keyword">inline</span> <span class="keyword">const</span> <a class="code" href="classSVF_1_1ConstraintEdge.html#ad155e1ed2473cc4f5f57128d282ac541">ConstraintEdge::ConstraintEdgeSetTy</a>&amp; <a class="code" href="classSVF_1_1ConstraintNode.html#ab77173aa8af6155b569f20ff0cdcec72">getCopyOutEdges</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00129"></a><span class="lineno">  129</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00130"></a><span class="lineno">  130</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ConstraintNode.html#a12df688fd9b5b7617daadc7bee0fff40">copyOutEdges</a>;</div><div class="line"><a name="l00131"></a><span class="lineno">  131</span>&#160;    }</div><div class="line"><a name="l00132"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#ac645cf2114161981cd4465c83cbc31f5">  132</a></span>&#160;    <span class="keyword">inline</span> <span class="keyword">const</span> <a class="code" href="classSVF_1_1ConstraintEdge.html#ad155e1ed2473cc4f5f57128d282ac541">ConstraintEdge::ConstraintEdgeSetTy</a>&amp; <a class="code" href="classSVF_1_1ConstraintNode.html#ac645cf2114161981cd4465c83cbc31f5">getGepInEdges</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00133"></a><span class="lineno">  133</span>&#160;<span class="keyword">    </span>{</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_1ConstraintNode.html#a4d0113f2af3a61892acee1fb21f0b938">gepInEdges</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_1ConstraintNode.html#a19d3d2c996ba821227a836717e5443c8">  136</a></span>&#160;    <span class="keyword">inline</span> <span class="keyword">const</span> <a class="code" href="classSVF_1_1ConstraintEdge.html#ad155e1ed2473cc4f5f57128d282ac541">ConstraintEdge::ConstraintEdgeSetTy</a>&amp; <a class="code" href="classSVF_1_1ConstraintNode.html#a19d3d2c996ba821227a836717e5443c8">getGepOutEdges</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00137"></a><span class="lineno">  137</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00138"></a><span class="lineno">  138</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ConstraintNode.html#a583880cd83a9f353003e199401d1b024">gepOutEdges</a>;</div><div class="line"><a name="l00139"></a><span class="lineno">  139</span>&#160;    }</div><div class="line"><a name="l00140"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#abd8d146e9b30b6d9757021a84bcab158">  140</a></span>&#160;    <span class="keyword">inline</span> <span class="keyword">const</span> <a class="code" href="classSVF_1_1ConstraintEdge.html#ad155e1ed2473cc4f5f57128d282ac541">ConstraintEdge::ConstraintEdgeSetTy</a>&amp; <a class="code" href="classSVF_1_1ConstraintNode.html#abd8d146e9b30b6d9757021a84bcab158">getLoadInEdges</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00141"></a><span class="lineno">  141</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00142"></a><span class="lineno">  142</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ConstraintNode.html#af7343134750575d3f335ed431f13a418">loadInEdges</a>;</div><div class="line"><a name="l00143"></a><span class="lineno">  143</span>&#160;    }</div><div class="line"><a name="l00144"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#a59ab1cea514100c63ee179e3e9a5aa0a">  144</a></span>&#160;    <span class="keyword">inline</span> <span class="keyword">const</span> <a class="code" href="classSVF_1_1ConstraintEdge.html#ad155e1ed2473cc4f5f57128d282ac541">ConstraintEdge::ConstraintEdgeSetTy</a>&amp; <a class="code" href="classSVF_1_1ConstraintNode.html#a59ab1cea514100c63ee179e3e9a5aa0a">getLoadOutEdges</a>()<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">return</span> <a class="code" href="classSVF_1_1ConstraintNode.html#a85a6acbd708be0dfc63ea87050a4a934">loadOutEdges</a>;</div><div class="line"><a name="l00147"></a><span class="lineno">  147</span>&#160;    }</div><div class="line"><a name="l00148"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#aed5e1f0345aab58031daecfa0c6aac0b">  148</a></span>&#160;    <span class="keyword">inline</span> <span class="keyword">const</span> <a class="code" href="classSVF_1_1ConstraintEdge.html#ad155e1ed2473cc4f5f57128d282ac541">ConstraintEdge::ConstraintEdgeSetTy</a>&amp; <a class="code" href="classSVF_1_1ConstraintNode.html#aed5e1f0345aab58031daecfa0c6aac0b">getStoreInEdges</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00149"></a><span class="lineno">  149</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00150"></a><span class="lineno">  150</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ConstraintNode.html#aa57ef34caf4e8c37baec9405f4457e57">storeInEdges</a>;</div><div class="line"><a name="l00151"></a><span class="lineno">  151</span>&#160;    }</div><div class="line"><a name="l00152"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#a85e67f52e9cda75704e6b5a46af289e7">  152</a></span>&#160;    <span class="keyword">inline</span> <span class="keyword">const</span> <a class="code" href="classSVF_1_1ConstraintEdge.html#ad155e1ed2473cc4f5f57128d282ac541">ConstraintEdge::ConstraintEdgeSetTy</a>&amp; <a class="code" href="classSVF_1_1ConstraintNode.html#a85e67f52e9cda75704e6b5a46af289e7">getStoreOutEdges</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00153"></a><span class="lineno">  153</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00154"></a><span class="lineno">  154</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ConstraintNode.html#a8d28c94a72acf221177aeae135f73ec1">storeOutEdges</a>;</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"><a class="line" href="classSVF_1_1ConstraintNode.html#ae6a98932b0f0732d4af1ca8266d58077">  156</a></span>&#160;    <span class="keyword">inline</span> <span class="keyword">const</span> <a class="code" href="classSVF_1_1ConstraintEdge.html#ad155e1ed2473cc4f5f57128d282ac541">ConstraintEdge::ConstraintEdgeSetTy</a>&amp; <a class="code" href="classSVF_1_1ConstraintNode.html#ae6a98932b0f0732d4af1ca8266d58077">getAddrInEdges</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00157"></a><span class="lineno">  157</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00158"></a><span class="lineno">  158</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ConstraintNode.html#a214d8c0cb3913cb3403d686790c9eabb">addressInEdges</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"><a class="line" href="classSVF_1_1ConstraintNode.html#a9058618987da9d21156cea72a5d5ddad">  160</a></span>&#160;    <span class="keyword">inline</span> <span class="keyword">const</span> <a class="code" href="classSVF_1_1ConstraintEdge.html#ad155e1ed2473cc4f5f57128d282ac541">ConstraintEdge::ConstraintEdgeSetTy</a>&amp; <a class="code" href="classSVF_1_1ConstraintNode.html#a9058618987da9d21156cea72a5d5ddad">getAddrOutEdges</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00161"></a><span class="lineno">  161</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00162"></a><span class="lineno">  162</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ConstraintNode.html#af05accba5a61957323bc2fd409b6f6e0">addressOutEdges</a>;</div><div class="line"><a name="l00163"></a><span class="lineno">  163</span>&#160;    }</div><div class="line"><a name="l00165"></a><span class="lineno">  165</span>&#160;</div><div class="line"><a name="l00167"></a><span class="lineno">  167</span>&#160;</div><div class="line"><a name="l00168"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#a6a2021d0d494e7d47469e4161280a098">  168</a></span>&#160;    <span class="keyword">inline</span> iterator <a class="code" href="classSVF_1_1ConstraintNode.html#a6a2021d0d494e7d47469e4161280a098">directOutEdgeBegin</a>()</div><div class="line"><a name="l00169"></a><span class="lineno">  169</span>&#160;    {</div><div class="line"><a name="l00170"></a><span class="lineno">  170</span>&#160;        <span class="keywordflow">if</span> (sccEdgeFlag == <a class="code" href="classSVF_1_1ConstraintNode.html#a6e59b815d784bc1a9437290ff0e1e28ca4b202c80793ae965686b9d275a5c586a">Copy</a>)</div><div class="line"><a name="l00171"></a><span class="lineno">  171</span>&#160;            <span class="keywordflow">return</span> copyOutEdges.begin();</div><div class="line"><a name="l00172"></a><span class="lineno">  172</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00173"></a><span class="lineno">  173</span>&#160;            <span class="keywordflow">return</span> directOutEdges.begin();</div><div class="line"><a name="l00174"></a><span class="lineno">  174</span>&#160;    }</div><div class="line"><a name="l00175"></a><span class="lineno">  175</span>&#160;</div><div class="line"><a name="l00176"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#a7bf8a1955d6f19b8d0ae5bdeb9a0897f">  176</a></span>&#160;    <span class="keyword">inline</span> iterator <a class="code" href="classSVF_1_1ConstraintNode.html#a7bf8a1955d6f19b8d0ae5bdeb9a0897f">directOutEdgeEnd</a>()</div><div class="line"><a name="l00177"></a><span class="lineno">  177</span>&#160;    {</div><div class="line"><a name="l00178"></a><span class="lineno">  178</span>&#160;        <span class="keywordflow">if</span> (sccEdgeFlag == <a class="code" href="classSVF_1_1ConstraintNode.html#a6e59b815d784bc1a9437290ff0e1e28ca4b202c80793ae965686b9d275a5c586a">Copy</a>)</div><div class="line"><a name="l00179"></a><span class="lineno">  179</span>&#160;            <span class="keywordflow">return</span> copyOutEdges.end();</div><div class="line"><a name="l00180"></a><span class="lineno">  180</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00181"></a><span class="lineno">  181</span>&#160;            <span class="keywordflow">return</span> directOutEdges.end();</div><div class="line"><a name="l00182"></a><span class="lineno">  182</span>&#160;    }</div><div class="line"><a name="l00183"></a><span class="lineno">  183</span>&#160;</div><div class="line"><a name="l00184"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#a4f89452d062b55715b17ec3ebb730cb1">  184</a></span>&#160;    <span class="keyword">inline</span> iterator <a class="code" href="classSVF_1_1ConstraintNode.html#a4f89452d062b55715b17ec3ebb730cb1">directInEdgeBegin</a>()</div><div class="line"><a name="l00185"></a><span class="lineno">  185</span>&#160;    {</div><div class="line"><a name="l00186"></a><span class="lineno">  186</span>&#160;        <span class="keywordflow">if</span> (sccEdgeFlag == <a class="code" href="classSVF_1_1ConstraintNode.html#a6e59b815d784bc1a9437290ff0e1e28ca4b202c80793ae965686b9d275a5c586a">Copy</a>)</div><div class="line"><a name="l00187"></a><span class="lineno">  187</span>&#160;            <span class="keywordflow">return</span> copyInEdges.begin();</div><div class="line"><a name="l00188"></a><span class="lineno">  188</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00189"></a><span class="lineno">  189</span>&#160;            <span class="keywordflow">return</span> directInEdges.begin();</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;</div><div class="line"><a name="l00192"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#afbd67d06e027fd2d87a611cf0bb251b3">  192</a></span>&#160;    <span class="keyword">inline</span> iterator <a class="code" href="classSVF_1_1ConstraintNode.html#afbd67d06e027fd2d87a611cf0bb251b3">directInEdgeEnd</a>()</div><div class="line"><a name="l00193"></a><span class="lineno">  193</span>&#160;    {</div><div class="line"><a name="l00194"></a><span class="lineno">  194</span>&#160;        <span class="keywordflow">if</span> (sccEdgeFlag == <a class="code" href="classSVF_1_1ConstraintNode.html#a6e59b815d784bc1a9437290ff0e1e28ca4b202c80793ae965686b9d275a5c586a">Copy</a>)</div><div class="line"><a name="l00195"></a><span class="lineno">  195</span>&#160;            <span class="keywordflow">return</span> copyInEdges.end();</div><div class="line"><a name="l00196"></a><span class="lineno">  196</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00197"></a><span class="lineno">  197</span>&#160;            <span class="keywordflow">return</span> directInEdges.end();</div><div class="line"><a name="l00198"></a><span class="lineno">  198</span>&#160;    }</div><div class="line"><a name="l00199"></a><span class="lineno">  199</span>&#160;</div><div class="line"><a name="l00200"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#ae0a836aae35a53051209e47a6de4a0f7">  200</a></span>&#160;    <span class="keyword">inline</span> const_iterator <a class="code" href="classSVF_1_1ConstraintNode.html#ae0a836aae35a53051209e47a6de4a0f7">directOutEdgeBegin</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00201"></a><span class="lineno">  201</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00202"></a><span class="lineno">  202</span>&#160;        <span class="keywordflow">if</span> (sccEdgeFlag == <a class="code" href="classSVF_1_1ConstraintNode.html#a6e59b815d784bc1a9437290ff0e1e28ca4b202c80793ae965686b9d275a5c586a">Copy</a>)</div><div class="line"><a name="l00203"></a><span class="lineno">  203</span>&#160;            <span class="keywordflow">return</span> copyOutEdges.begin();</div><div class="line"><a name="l00204"></a><span class="lineno">  204</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00205"></a><span class="lineno">  205</span>&#160;            <span class="keywordflow">return</span> directOutEdges.begin();</div><div class="line"><a name="l00206"></a><span class="lineno">  206</span>&#160;    }</div><div class="line"><a name="l00207"></a><span class="lineno">  207</span>&#160;</div><div class="line"><a name="l00208"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#a2069add351804447659d39bf53d9bf41">  208</a></span>&#160;    <span class="keyword">inline</span> const_iterator <a class="code" href="classSVF_1_1ConstraintNode.html#a2069add351804447659d39bf53d9bf41">directOutEdgeEnd</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00209"></a><span class="lineno">  209</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00210"></a><span class="lineno">  210</span>&#160;        <span class="keywordflow">if</span> (sccEdgeFlag == <a class="code" href="classSVF_1_1ConstraintNode.html#a6e59b815d784bc1a9437290ff0e1e28ca4b202c80793ae965686b9d275a5c586a">Copy</a>)</div><div class="line"><a name="l00211"></a><span class="lineno">  211</span>&#160;            <span class="keywordflow">return</span> copyOutEdges.end();</div><div class="line"><a name="l00212"></a><span class="lineno">  212</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00213"></a><span class="lineno">  213</span>&#160;            <span class="keywordflow">return</span> directOutEdges.end();</div><div class="line"><a name="l00214"></a><span class="lineno">  214</span>&#160;    }</div><div class="line"><a name="l00215"></a><span class="lineno">  215</span>&#160;</div><div class="line"><a name="l00216"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#afdb510d663364d21762af0f1f292e50e">  216</a></span>&#160;    <span class="keyword">inline</span> const_iterator <a class="code" href="classSVF_1_1ConstraintNode.html#afdb510d663364d21762af0f1f292e50e">directInEdgeBegin</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00217"></a><span class="lineno">  217</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00218"></a><span class="lineno">  218</span>&#160;        <span class="keywordflow">if</span> (sccEdgeFlag == <a class="code" href="classSVF_1_1ConstraintNode.html#a6e59b815d784bc1a9437290ff0e1e28ca4b202c80793ae965686b9d275a5c586a">Copy</a>)</div><div class="line"><a name="l00219"></a><span class="lineno">  219</span>&#160;            <span class="keywordflow">return</span> copyInEdges.begin();</div><div class="line"><a name="l00220"></a><span class="lineno">  220</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00221"></a><span class="lineno">  221</span>&#160;            <span class="keywordflow">return</span> directInEdges.begin();</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="l00224"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#a9101c445c228d059c8a85b8973428047">  224</a></span>&#160;    <span class="keyword">inline</span> const_iterator <a class="code" href="classSVF_1_1ConstraintNode.html#a9101c445c228d059c8a85b8973428047">directInEdgeEnd</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00225"></a><span class="lineno">  225</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00226"></a><span class="lineno">  226</span>&#160;        <span class="keywordflow">if</span> (sccEdgeFlag == <a class="code" href="classSVF_1_1ConstraintNode.html#a6e59b815d784bc1a9437290ff0e1e28ca4b202c80793ae965686b9d275a5c586a">Copy</a>)</div><div class="line"><a name="l00227"></a><span class="lineno">  227</span>&#160;            <span class="keywordflow">return</span> copyInEdges.end();</div><div class="line"><a name="l00228"></a><span class="lineno">  228</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00229"></a><span class="lineno">  229</span>&#160;            <span class="keywordflow">return</span> directInEdges.end();</div><div class="line"><a name="l00230"></a><span class="lineno">  230</span>&#160;    }</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"><a class="line" href="classSVF_1_1ConstraintNode.html#ac9bb037a59db6b035c2785cad6ac56aa">  232</a></span>&#160;    <a class="code" href="classSVF_1_1ConstraintEdge.html#ad155e1ed2473cc4f5f57128d282ac541">ConstraintEdge::ConstraintEdgeSetTy</a>&amp; <a class="code" href="classSVF_1_1ConstraintNode.html#ac9bb037a59db6b035c2785cad6ac56aa">incomingAddrEdges</a>()</div><div class="line"><a name="l00233"></a><span class="lineno">  233</span>&#160;    {</div><div class="line"><a name="l00234"></a><span class="lineno">  234</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ConstraintNode.html#a214d8c0cb3913cb3403d686790c9eabb">addressInEdges</a>;</div><div class="line"><a name="l00235"></a><span class="lineno">  235</span>&#160;    }</div><div class="line"><a name="l00236"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#ae5acdc3bd73974b6972b60fb3df5e0ea">  236</a></span>&#160;    <a class="code" href="classSVF_1_1ConstraintEdge.html#ad155e1ed2473cc4f5f57128d282ac541">ConstraintEdge::ConstraintEdgeSetTy</a>&amp; <a class="code" href="classSVF_1_1ConstraintNode.html#ae5acdc3bd73974b6972b60fb3df5e0ea">outgoingAddrEdges</a>()</div><div class="line"><a name="l00237"></a><span class="lineno">  237</span>&#160;    {</div><div class="line"><a name="l00238"></a><span class="lineno">  238</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ConstraintNode.html#af05accba5a61957323bc2fd409b6f6e0">addressOutEdges</a>;</div><div class="line"><a name="l00239"></a><span class="lineno">  239</span>&#160;    }</div><div class="line"><a name="l00240"></a><span class="lineno">  240</span>&#160;</div><div class="line"><a name="l00241"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#a849e0a16332d4ecbce0848ca104f597b">  241</a></span>&#160;    <span class="keyword">inline</span> const_iterator <a class="code" href="classSVF_1_1ConstraintNode.html#a849e0a16332d4ecbce0848ca104f597b">outgoingAddrsBegin</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00242"></a><span class="lineno">  242</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00243"></a><span class="lineno">  243</span>&#160;        <span class="keywordflow">return</span> addressOutEdges.begin();</div><div class="line"><a name="l00244"></a><span class="lineno">  244</span>&#160;    }</div><div class="line"><a name="l00245"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#ad079ae4d9257be6f84ce66077d053908">  245</a></span>&#160;    <span class="keyword">inline</span> const_iterator <a class="code" href="classSVF_1_1ConstraintNode.html#ad079ae4d9257be6f84ce66077d053908">outgoingAddrsEnd</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00246"></a><span class="lineno">  246</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00247"></a><span class="lineno">  247</span>&#160;        <span class="keywordflow">return</span> addressOutEdges.end();</div><div class="line"><a name="l00248"></a><span class="lineno">  248</span>&#160;    }</div><div class="line"><a name="l00249"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#a19c1ed324f65f4cc58dd2fd21ed4a971">  249</a></span>&#160;    <span class="keyword">inline</span> const_iterator <a class="code" href="classSVF_1_1ConstraintNode.html#a19c1ed324f65f4cc58dd2fd21ed4a971">incomingAddrsBegin</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00250"></a><span class="lineno">  250</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00251"></a><span class="lineno">  251</span>&#160;        <span class="keywordflow">return</span> addressInEdges.begin();</div><div class="line"><a name="l00252"></a><span class="lineno">  252</span>&#160;    }</div><div class="line"><a name="l00253"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#ae8ac9ad8e766b961c7ce06d7219f37af">  253</a></span>&#160;    <span class="keyword">inline</span> const_iterator <a class="code" href="classSVF_1_1ConstraintNode.html#ae8ac9ad8e766b961c7ce06d7219f37af">incomingAddrsEnd</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00254"></a><span class="lineno">  254</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00255"></a><span class="lineno">  255</span>&#160;        <span class="keywordflow">return</span> addressInEdges.end();</div><div class="line"><a name="l00256"></a><span class="lineno">  256</span>&#160;    }</div><div class="line"><a name="l00257"></a><span class="lineno">  257</span>&#160;</div><div class="line"><a name="l00258"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#af69c7e623ab5a36644b6aeabaa1a1e28">  258</a></span>&#160;    <span class="keyword">inline</span> const_iterator <a class="code" href="classSVF_1_1ConstraintNode.html#af69c7e623ab5a36644b6aeabaa1a1e28">outgoingLoadsBegin</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00259"></a><span class="lineno">  259</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00260"></a><span class="lineno">  260</span>&#160;        <span class="keywordflow">return</span> loadOutEdges.begin();</div><div class="line"><a name="l00261"></a><span class="lineno">  261</span>&#160;    }</div><div class="line"><a name="l00262"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#a134e8ed040d7749c2b9a02662115f746">  262</a></span>&#160;    <span class="keyword">inline</span> const_iterator <a class="code" href="classSVF_1_1ConstraintNode.html#a134e8ed040d7749c2b9a02662115f746">outgoingLoadsEnd</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00263"></a><span class="lineno">  263</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00264"></a><span class="lineno">  264</span>&#160;        <span class="keywordflow">return</span> loadOutEdges.end();</div><div class="line"><a name="l00265"></a><span class="lineno">  265</span>&#160;    }</div><div class="line"><a name="l00266"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#a7f591f8eda63abbaaea9a8bfb97f3959">  266</a></span>&#160;    <span class="keyword">inline</span> const_iterator <a class="code" href="classSVF_1_1ConstraintNode.html#a7f591f8eda63abbaaea9a8bfb97f3959">incomingLoadsBegin</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00267"></a><span class="lineno">  267</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00268"></a><span class="lineno">  268</span>&#160;        <span class="keywordflow">return</span> loadInEdges.begin();</div><div class="line"><a name="l00269"></a><span class="lineno">  269</span>&#160;    }</div><div class="line"><a name="l00270"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#a0bfdbe171acd2825055e571f314c0a48">  270</a></span>&#160;    <span class="keyword">inline</span> const_iterator <a class="code" href="classSVF_1_1ConstraintNode.html#a0bfdbe171acd2825055e571f314c0a48">incomingLoadsEnd</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00271"></a><span class="lineno">  271</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00272"></a><span class="lineno">  272</span>&#160;        <span class="keywordflow">return</span> loadInEdges.end();</div><div class="line"><a name="l00273"></a><span class="lineno">  273</span>&#160;    }</div><div class="line"><a name="l00274"></a><span class="lineno">  274</span>&#160;</div><div class="line"><a name="l00275"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#a99c3aaef8cb899d5691b9d9a3bd6c0e5">  275</a></span>&#160;    <span class="keyword">inline</span> const_iterator <a class="code" href="classSVF_1_1ConstraintNode.html#a99c3aaef8cb899d5691b9d9a3bd6c0e5">outgoingStoresBegin</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00276"></a><span class="lineno">  276</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00277"></a><span class="lineno">  277</span>&#160;        <span class="keywordflow">return</span> storeOutEdges.begin();</div><div class="line"><a name="l00278"></a><span class="lineno">  278</span>&#160;    }</div><div class="line"><a name="l00279"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#a5ee086dfa49e82309dfe37f167bcb8b4">  279</a></span>&#160;    <span class="keyword">inline</span> const_iterator <a class="code" href="classSVF_1_1ConstraintNode.html#a5ee086dfa49e82309dfe37f167bcb8b4">outgoingStoresEnd</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00280"></a><span class="lineno">  280</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00281"></a><span class="lineno">  281</span>&#160;        <span class="keywordflow">return</span> storeOutEdges.end();</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"><a class="line" href="classSVF_1_1ConstraintNode.html#a5a90b39f9e5769bde44a673806270714">  283</a></span>&#160;    <span class="keyword">inline</span> const_iterator <a class="code" href="classSVF_1_1ConstraintNode.html#a5a90b39f9e5769bde44a673806270714">incomingStoresBegin</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00284"></a><span class="lineno">  284</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00285"></a><span class="lineno">  285</span>&#160;        <span class="keywordflow">return</span> storeInEdges.begin();</div><div class="line"><a name="l00286"></a><span class="lineno">  286</span>&#160;    }</div><div class="line"><a name="l00287"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#a8d58f5224728bb6811f12c94826167f6">  287</a></span>&#160;    <span class="keyword">inline</span> const_iterator <a class="code" href="classSVF_1_1ConstraintNode.html#a8d58f5224728bb6811f12c94826167f6">incomingStoresEnd</a>()<span class="keyword"> const</span></div><div class="line"><a name="l00288"></a><span class="lineno">  288</span>&#160;<span class="keyword">    </span>{</div><div class="line"><a name="l00289"></a><span class="lineno">  289</span>&#160;        <span class="keywordflow">return</span> storeInEdges.end();</div><div class="line"><a name="l00290"></a><span class="lineno">  290</span>&#160;    }</div><div class="line"><a name="l00292"></a><span class="lineno">  292</span>&#160;</div><div class="line"><a name="l00294"></a><span class="lineno">  294</span>&#160;</div><div class="line"><a name="l00295"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#ad54cc825bb7f5642671e75b90b2633a2">  295</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1ConstraintNode.html#ad54cc825bb7f5642671e75b90b2633a2">addIncomingCopyEdge</a>(<a class="code" href="classSVF_1_1CopyCGEdge.html">CopyCGEdge</a> *inEdge)</div><div class="line"><a name="l00296"></a><span class="lineno">  296</span>&#160;    {</div><div class="line"><a name="l00297"></a><span class="lineno">  297</span>&#160;        <a class="code" href="classSVF_1_1ConstraintNode.html#a0d9d6ba3359b481b872f2c1f68950fd6">addIncomingDirectEdge</a>(inEdge);</div><div class="line"><a name="l00298"></a><span class="lineno">  298</span>&#160;        copyInEdges.insert(inEdge);</div><div class="line"><a name="l00299"></a><span class="lineno">  299</span>&#160;    }</div><div class="line"><a name="l00300"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#aaf0b98573a980aea1151a837580a40a5">  300</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1ConstraintNode.html#aaf0b98573a980aea1151a837580a40a5">addIncomingGepEdge</a>(<a class="code" href="classSVF_1_1GepCGEdge.html">GepCGEdge</a>* inEdge)</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;        <a class="code" href="classSVF_1_1ConstraintNode.html#a0d9d6ba3359b481b872f2c1f68950fd6">addIncomingDirectEdge</a>(inEdge);</div><div class="line"><a name="l00303"></a><span class="lineno">  303</span>&#160;        gepInEdges.insert(inEdge);</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"><a class="line" href="classSVF_1_1ConstraintNode.html#a2395948518a1befb7a3762bbad6adf9f">  305</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1ConstraintNode.html#a2395948518a1befb7a3762bbad6adf9f">addOutgoingCopyEdge</a>(<a class="code" href="classSVF_1_1CopyCGEdge.html">CopyCGEdge</a> *outEdge)</div><div class="line"><a name="l00306"></a><span class="lineno">  306</span>&#160;    {</div><div class="line"><a name="l00307"></a><span class="lineno">  307</span>&#160;        <a class="code" href="classSVF_1_1ConstraintNode.html#a230e89618c562c7aed63b4457ec69637">addOutgoingDirectEdge</a>(outEdge);</div><div class="line"><a name="l00308"></a><span class="lineno">  308</span>&#160;        copyOutEdges.insert(outEdge);</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"><a class="line" href="classSVF_1_1ConstraintNode.html#abc56843c51c00a9018473f415f73e9f6">  310</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1ConstraintNode.html#abc56843c51c00a9018473f415f73e9f6">addOutgoingGepEdge</a>(<a class="code" href="classSVF_1_1GepCGEdge.html">GepCGEdge</a>* outEdge)</div><div class="line"><a name="l00311"></a><span class="lineno">  311</span>&#160;    {</div><div class="line"><a name="l00312"></a><span class="lineno">  312</span>&#160;        <a class="code" href="classSVF_1_1ConstraintNode.html#a230e89618c562c7aed63b4457ec69637">addOutgoingDirectEdge</a>(outEdge);</div><div class="line"><a name="l00313"></a><span class="lineno">  313</span>&#160;        gepOutEdges.insert(outEdge);</div><div class="line"><a name="l00314"></a><span class="lineno">  314</span>&#160;    }</div><div class="line"><a name="l00315"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#aeff08dd512d0a97fb14069b37386e9fe">  315</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1ConstraintNode.html#aeff08dd512d0a97fb14069b37386e9fe">addIncomingAddrEdge</a>(<a class="code" href="classSVF_1_1AddrCGEdge.html">AddrCGEdge</a>* inEdge)</div><div class="line"><a name="l00316"></a><span class="lineno">  316</span>&#160;    {</div><div class="line"><a name="l00317"></a><span class="lineno">  317</span>&#160;        addressInEdges.insert(inEdge);</div><div class="line"><a name="l00318"></a><span class="lineno">  318</span>&#160;        <a class="code" href="classSVF_1_1GenericNode.html#a93d217b0c9fd8008a2989ca2b4f3fbfb">addIncomingEdge</a>(inEdge);</div><div class="line"><a name="l00319"></a><span class="lineno">  319</span>&#160;    }</div><div class="line"><a name="l00320"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#a9d1bb95ad5549d7e6030fe07f8e070a2">  320</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1ConstraintNode.html#a9d1bb95ad5549d7e6030fe07f8e070a2">addIncomingLoadEdge</a>(<a class="code" href="classSVF_1_1LoadCGEdge.html">LoadCGEdge</a>* inEdge)</div><div class="line"><a name="l00321"></a><span class="lineno">  321</span>&#160;    {</div><div class="line"><a name="l00322"></a><span class="lineno">  322</span>&#160;        loadInEdges.insert(inEdge);</div><div class="line"><a name="l00323"></a><span class="lineno">  323</span>&#160;        <a class="code" href="classSVF_1_1GenericNode.html#a93d217b0c9fd8008a2989ca2b4f3fbfb">addIncomingEdge</a>(inEdge);</div><div class="line"><a name="l00324"></a><span class="lineno">  324</span>&#160;    }</div><div class="line"><a name="l00325"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#a202193059dd3122d969561080b82c504">  325</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1ConstraintNode.html#a202193059dd3122d969561080b82c504">addIncomingStoreEdge</a>(<a class="code" href="classSVF_1_1StoreCGEdge.html">StoreCGEdge</a>* inEdge)</div><div class="line"><a name="l00326"></a><span class="lineno">  326</span>&#160;    {</div><div class="line"><a name="l00327"></a><span class="lineno">  327</span>&#160;        storeInEdges.insert(inEdge);</div><div class="line"><a name="l00328"></a><span class="lineno">  328</span>&#160;        <a class="code" href="classSVF_1_1GenericNode.html#a93d217b0c9fd8008a2989ca2b4f3fbfb">addIncomingEdge</a>(inEdge);</div><div class="line"><a name="l00329"></a><span class="lineno">  329</span>&#160;    }</div><div class="line"><a name="l00330"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#a0d9d6ba3359b481b872f2c1f68950fd6">  330</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1ConstraintNode.html#a0d9d6ba3359b481b872f2c1f68950fd6">addIncomingDirectEdge</a>(<a class="code" href="classSVF_1_1ConstraintEdge.html">ConstraintEdge</a>* inEdge)</div><div class="line"><a name="l00331"></a><span class="lineno">  331</span>&#160;    {</div><div class="line"><a name="l00332"></a><span class="lineno">  332</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(inEdge-&gt;<a class="code" href="classSVF_1_1GenericEdge.html#ad9edb45e74ae675d9da82f5acf02d56e">getDstID</a>() == this-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>());</div><div class="line"><a name="l00333"></a><span class="lineno">  333</span>&#160;        <span class="keywordtype">bool</span> added1 = directInEdges.insert(inEdge).second;</div><div class="line"><a name="l00334"></a><span class="lineno">  334</span>&#160;        <span class="keywordtype">bool</span> added2 = <a class="code" href="classSVF_1_1GenericNode.html#a93d217b0c9fd8008a2989ca2b4f3fbfb">addIncomingEdge</a>(inEdge);</div><div class="line"><a name="l00335"></a><span class="lineno">  335</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(added1 &amp;&amp; added2 &amp;&amp; <span class="stringliteral">&quot;edge not added, duplicated adding!!&quot;</span>);</div><div class="line"><a name="l00336"></a><span class="lineno">  336</span>&#160;    }</div><div class="line"><a name="l00337"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#af129941c522dbc1b0fe94f84eea0d97a">  337</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1ConstraintNode.html#af129941c522dbc1b0fe94f84eea0d97a">addOutgoingAddrEdge</a>(<a class="code" href="classSVF_1_1AddrCGEdge.html">AddrCGEdge</a>* outEdge)</div><div class="line"><a name="l00338"></a><span class="lineno">  338</span>&#160;    {</div><div class="line"><a name="l00339"></a><span class="lineno">  339</span>&#160;        addressOutEdges.insert(outEdge);</div><div class="line"><a name="l00340"></a><span class="lineno">  340</span>&#160;        <a class="code" href="classSVF_1_1GenericNode.html#ae74283fbc788665296a69e56f334557b">addOutgoingEdge</a>(outEdge);</div><div class="line"><a name="l00341"></a><span class="lineno">  341</span>&#160;    }</div><div class="line"><a name="l00342"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#abcab7a3b98dc0cfeecaed279ca74ea53">  342</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1ConstraintNode.html#abcab7a3b98dc0cfeecaed279ca74ea53">addOutgoingLoadEdge</a>(<a class="code" href="classSVF_1_1LoadCGEdge.html">LoadCGEdge</a>* outEdge)</div><div class="line"><a name="l00343"></a><span class="lineno">  343</span>&#160;    {</div><div class="line"><a name="l00344"></a><span class="lineno">  344</span>&#160;        <span class="keywordtype">bool</span> added1 = loadOutEdges.insert(outEdge).second;</div><div class="line"><a name="l00345"></a><span class="lineno">  345</span>&#160;        <span class="keywordtype">bool</span> added2 = <a class="code" href="classSVF_1_1GenericNode.html#ae74283fbc788665296a69e56f334557b">addOutgoingEdge</a>(outEdge);</div><div class="line"><a name="l00346"></a><span class="lineno">  346</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(added1 &amp;&amp; added2 &amp;&amp; <span class="stringliteral">&quot;edge not added, duplicated adding!!&quot;</span>);</div><div class="line"><a name="l00347"></a><span class="lineno">  347</span>&#160;    }</div><div class="line"><a name="l00348"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#a349b8c461adfa2a0bd1376ecb81d36d5">  348</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1ConstraintNode.html#a349b8c461adfa2a0bd1376ecb81d36d5">addOutgoingStoreEdge</a>(<a class="code" href="classSVF_1_1StoreCGEdge.html">StoreCGEdge</a>* outEdge)</div><div class="line"><a name="l00349"></a><span class="lineno">  349</span>&#160;    {</div><div class="line"><a name="l00350"></a><span class="lineno">  350</span>&#160;        <span class="keywordtype">bool</span> added1 = storeOutEdges.insert(outEdge).second;</div><div class="line"><a name="l00351"></a><span class="lineno">  351</span>&#160;        <span class="keywordtype">bool</span> added2 = <a class="code" href="classSVF_1_1GenericNode.html#ae74283fbc788665296a69e56f334557b">addOutgoingEdge</a>(outEdge);</div><div class="line"><a name="l00352"></a><span class="lineno">  352</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(added1 &amp;&amp; added2 &amp;&amp; <span class="stringliteral">&quot;edge not added, duplicated adding!!&quot;</span>);</div><div class="line"><a name="l00353"></a><span class="lineno">  353</span>&#160;    }</div><div class="line"><a name="l00354"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#a230e89618c562c7aed63b4457ec69637">  354</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1ConstraintNode.html#a230e89618c562c7aed63b4457ec69637">addOutgoingDirectEdge</a>(<a class="code" href="classSVF_1_1ConstraintEdge.html">ConstraintEdge</a>* outEdge)</div><div class="line"><a name="l00355"></a><span class="lineno">  355</span>&#160;    {</div><div class="line"><a name="l00356"></a><span class="lineno">  356</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(outEdge-&gt;<a class="code" href="classSVF_1_1GenericEdge.html#ae6792506a0150a9400d635eceab7f9e7">getSrcID</a>() == this-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>());</div><div class="line"><a name="l00357"></a><span class="lineno">  357</span>&#160;        <span class="keywordtype">bool</span> added1 = directOutEdges.insert(outEdge).second;</div><div class="line"><a name="l00358"></a><span class="lineno">  358</span>&#160;        <span class="keywordtype">bool</span> added2 = <a class="code" href="classSVF_1_1GenericNode.html#ae74283fbc788665296a69e56f334557b">addOutgoingEdge</a>(outEdge);</div><div class="line"><a name="l00359"></a><span class="lineno">  359</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(added1 &amp;&amp; added2 &amp;&amp; <span class="stringliteral">&quot;edge not added, duplicated adding!!&quot;</span>);</div><div class="line"><a name="l00360"></a><span class="lineno">  360</span>&#160;    }</div><div class="line"><a name="l00362"></a><span class="lineno">  362</span>&#160;</div><div class="line"><a name="l00364"></a><span class="lineno">  364</span>&#160;    <span class="comment">//{@</span></div><div class="line"><a name="l00365"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#ac1a860858359a385bc8d64b44b7d11f0">  365</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1ConstraintNode.html#ac1a860858359a385bc8d64b44b7d11f0">removeOutgoingAddrEdge</a>(<a class="code" href="classSVF_1_1AddrCGEdge.html">AddrCGEdge</a>* outEdge)</div><div class="line"><a name="l00366"></a><span class="lineno">  366</span>&#160;    {</div><div class="line"><a name="l00367"></a><span class="lineno">  367</span>&#160;        <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> num1 = addressOutEdges.erase(outEdge);</div><div class="line"><a name="l00368"></a><span class="lineno">  368</span>&#160;        <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> num2 = <a class="code" href="classSVF_1_1GenericNode.html#a1880a691130279625e5be6af36e86fc1">removeOutgoingEdge</a>(outEdge);</div><div class="line"><a name="l00369"></a><span class="lineno">  369</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>((num1 &amp;&amp; num2) &amp;&amp; <span class="stringliteral">&quot;edge not in the set, can not remove!!!&quot;</span>);</div><div class="line"><a name="l00370"></a><span class="lineno">  370</span>&#160;    }</div><div class="line"><a name="l00371"></a><span class="lineno">  371</span>&#160;</div><div class="line"><a name="l00372"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#a2f1179fa3290274218b7a58ce8d31507">  372</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1ConstraintNode.html#a2f1179fa3290274218b7a58ce8d31507">removeIncomingAddrEdge</a>(<a class="code" href="classSVF_1_1AddrCGEdge.html">AddrCGEdge</a>* inEdge)</div><div class="line"><a name="l00373"></a><span class="lineno">  373</span>&#160;    {</div><div class="line"><a name="l00374"></a><span class="lineno">  374</span>&#160;        <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> num1 = addressInEdges.erase(inEdge);</div><div class="line"><a name="l00375"></a><span class="lineno">  375</span>&#160;        <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> num2 = <a class="code" href="classSVF_1_1GenericNode.html#a95415bebc5986e548f91169b201a5225">removeIncomingEdge</a>(inEdge);</div><div class="line"><a name="l00376"></a><span class="lineno">  376</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>((num1 &amp;&amp; num2) &amp;&amp; <span class="stringliteral">&quot;edge not in the set, can not remove!!!&quot;</span>);</div><div class="line"><a name="l00377"></a><span class="lineno">  377</span>&#160;    }</div><div class="line"><a name="l00378"></a><span class="lineno">  378</span>&#160;</div><div class="line"><a name="l00379"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#adeb6adc882fe3470fff5483773070d19">  379</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1ConstraintNode.html#adeb6adc882fe3470fff5483773070d19">removeOutgoingDirectEdge</a>(<a class="code" href="classSVF_1_1ConstraintEdge.html">ConstraintEdge</a>* outEdge)</div><div class="line"><a name="l00380"></a><span class="lineno">  380</span>&#160;    {</div><div class="line"><a name="l00381"></a><span class="lineno">  381</span>&#160;        <span class="keywordflow">if</span> (SVFUtil::isa&lt;GepCGEdge&gt;(outEdge))</div><div class="line"><a name="l00382"></a><span class="lineno">  382</span>&#160;            gepOutEdges.erase(outEdge);</div><div class="line"><a name="l00383"></a><span class="lineno">  383</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00384"></a><span class="lineno">  384</span>&#160;            copyOutEdges.erase(outEdge);</div><div class="line"><a name="l00385"></a><span class="lineno">  385</span>&#160;        <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> num1 = directOutEdges.erase(outEdge);</div><div class="line"><a name="l00386"></a><span class="lineno">  386</span>&#160;        <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> num2 = <a class="code" href="classSVF_1_1GenericNode.html#a1880a691130279625e5be6af36e86fc1">removeOutgoingEdge</a>(outEdge);</div><div class="line"><a name="l00387"></a><span class="lineno">  387</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>((num1 &amp;&amp; num2) &amp;&amp; <span class="stringliteral">&quot;edge not in the set, can not remove!!!&quot;</span>);</div><div class="line"><a name="l00388"></a><span class="lineno">  388</span>&#160;    }</div><div class="line"><a name="l00389"></a><span class="lineno">  389</span>&#160;</div><div class="line"><a name="l00390"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#a2f3ba283779cbb388d903a6a7a0d0108">  390</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1ConstraintNode.html#a2f3ba283779cbb388d903a6a7a0d0108">removeIncomingDirectEdge</a>(<a class="code" href="classSVF_1_1ConstraintEdge.html">ConstraintEdge</a>* inEdge)</div><div class="line"><a name="l00391"></a><span class="lineno">  391</span>&#160;    {</div><div class="line"><a name="l00392"></a><span class="lineno">  392</span>&#160;        <span class="keywordflow">if</span> (SVFUtil::isa&lt;GepCGEdge&gt;(inEdge))</div><div class="line"><a name="l00393"></a><span class="lineno">  393</span>&#160;            gepInEdges.erase(inEdge);</div><div class="line"><a name="l00394"></a><span class="lineno">  394</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00395"></a><span class="lineno">  395</span>&#160;            copyInEdges.erase(inEdge);</div><div class="line"><a name="l00396"></a><span class="lineno">  396</span>&#160;        <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> num1 = directInEdges.erase(inEdge);</div><div class="line"><a name="l00397"></a><span class="lineno">  397</span>&#160;        <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> num2 = <a class="code" href="classSVF_1_1GenericNode.html#a95415bebc5986e548f91169b201a5225">removeIncomingEdge</a>(inEdge);</div><div class="line"><a name="l00398"></a><span class="lineno">  398</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>((num1 &amp;&amp; num2) &amp;&amp; <span class="stringliteral">&quot;edge not in the set, can not remove!!!&quot;</span>);</div><div class="line"><a name="l00399"></a><span class="lineno">  399</span>&#160;    }</div><div class="line"><a name="l00400"></a><span class="lineno">  400</span>&#160;</div><div class="line"><a name="l00401"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#a7df4be1a889fdfb2240394304fcf1a1f">  401</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1ConstraintNode.html#a7df4be1a889fdfb2240394304fcf1a1f">removeOutgoingLoadEdge</a>(<a class="code" href="classSVF_1_1LoadCGEdge.html">LoadCGEdge</a>* outEdge)</div><div class="line"><a name="l00402"></a><span class="lineno">  402</span>&#160;    {</div><div class="line"><a name="l00403"></a><span class="lineno">  403</span>&#160;        <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> num1 = loadOutEdges.erase(outEdge);</div><div class="line"><a name="l00404"></a><span class="lineno">  404</span>&#160;        <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> num2 = <a class="code" href="classSVF_1_1GenericNode.html#a1880a691130279625e5be6af36e86fc1">removeOutgoingEdge</a>(outEdge);</div><div class="line"><a name="l00405"></a><span class="lineno">  405</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>((num1 &amp;&amp; num2) &amp;&amp; <span class="stringliteral">&quot;edge not in the set, can not remove!!!&quot;</span>);</div><div class="line"><a name="l00406"></a><span class="lineno">  406</span>&#160;    }</div><div class="line"><a name="l00407"></a><span class="lineno">  407</span>&#160;</div><div class="line"><a name="l00408"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#aaf84d10aaa0baabb8387fd8ccfdcfa9d">  408</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1ConstraintNode.html#aaf84d10aaa0baabb8387fd8ccfdcfa9d">removeIncomingLoadEdge</a>(<a class="code" href="classSVF_1_1LoadCGEdge.html">LoadCGEdge</a>* inEdge)</div><div class="line"><a name="l00409"></a><span class="lineno">  409</span>&#160;    {</div><div class="line"><a name="l00410"></a><span class="lineno">  410</span>&#160;        <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> num1 = loadInEdges.erase(inEdge);</div><div class="line"><a name="l00411"></a><span class="lineno">  411</span>&#160;        <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> num2 = <a class="code" href="classSVF_1_1GenericNode.html#a95415bebc5986e548f91169b201a5225">removeIncomingEdge</a>(inEdge);</div><div class="line"><a name="l00412"></a><span class="lineno">  412</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>((num1 &amp;&amp; num2) &amp;&amp; <span class="stringliteral">&quot;edge not in the set, can not remove!!!&quot;</span>);</div><div class="line"><a name="l00413"></a><span class="lineno">  413</span>&#160;    }</div><div class="line"><a name="l00414"></a><span class="lineno">  414</span>&#160;</div><div class="line"><a name="l00415"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#a676c053b087a404c8d3dca3b9976b2c1">  415</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1ConstraintNode.html#a676c053b087a404c8d3dca3b9976b2c1">removeOutgoingStoreEdge</a>(<a class="code" href="classSVF_1_1StoreCGEdge.html">StoreCGEdge</a>* outEdge)</div><div class="line"><a name="l00416"></a><span class="lineno">  416</span>&#160;    {</div><div class="line"><a name="l00417"></a><span class="lineno">  417</span>&#160;        <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> num1 = storeOutEdges.erase(outEdge);</div><div class="line"><a name="l00418"></a><span class="lineno">  418</span>&#160;        <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> num2 = <a class="code" href="classSVF_1_1GenericNode.html#a1880a691130279625e5be6af36e86fc1">removeOutgoingEdge</a>(outEdge);</div><div class="line"><a name="l00419"></a><span class="lineno">  419</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>((num1 &amp;&amp; num2) &amp;&amp; <span class="stringliteral">&quot;edge not in the set, can not remove!!!&quot;</span>);</div><div class="line"><a name="l00420"></a><span class="lineno">  420</span>&#160;    }</div><div class="line"><a name="l00421"></a><span class="lineno">  421</span>&#160;</div><div class="line"><a name="l00422"></a><span class="lineno"><a class="line" href="classSVF_1_1ConstraintNode.html#a59425dc6ed586a6c36b3ab15b1399b2a">  422</a></span>&#160;    <span class="keyword">inline</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1ConstraintNode.html#a59425dc6ed586a6c36b3ab15b1399b2a">removeIncomingStoreEdge</a>(<a class="code" href="classSVF_1_1StoreCGEdge.html">StoreCGEdge</a>* inEdge)</div><div class="line"><a name="l00423"></a><span class="lineno">  423</span>&#160;    {</div><div class="line"><a name="l00424"></a><span class="lineno">  424</span>&#160;        <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> num1 = storeInEdges.erase(inEdge);</div><div class="line"><a name="l00425"></a><span class="lineno">  425</span>&#160;        <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> num2 = <a class="code" href="classSVF_1_1GenericNode.html#a95415bebc5986e548f91169b201a5225">removeIncomingEdge</a>(inEdge);</div><div class="line"><a name="l00426"></a><span class="lineno">  426</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>((num1 &amp;&amp; num2) &amp;&amp; <span class="stringliteral">&quot;edge not in the set, can not remove!!!&quot;</span>);</div><div class="line"><a name="l00427"></a><span class="lineno">  427</span>&#160;    }</div><div class="line"><a name="l00429"></a><span class="lineno">  429</span>&#160;</div><div class="line"><a name="l00430"></a><span class="lineno">  430</span>&#160;</div><div class="line"><a name="l00431"></a><span class="lineno">  431</span>&#160;};</div><div class="line"><a name="l00432"></a><span class="lineno">  432</span>&#160;</div><div class="line"><a name="l00433"></a><span class="lineno">  433</span>&#160;} <span class="comment">// End namespace SVF</span></div><div class="line"><a name="l00434"></a><span class="lineno">  434</span>&#160;</div><div class="line"><a name="l00435"></a><span class="lineno">  435</span>&#160;<span class="preprocessor">#endif </span><span class="comment">/* CONSGNODE_H_ */</span><span class="preprocessor"></span></div><div class="ttc" id="classSVF_1_1ConstraintNode_html_a99c3aaef8cb899d5691b9d9a3bd6c0e5"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#a99c3aaef8cb899d5691b9d9a3bd6c0e5">SVF::ConstraintNode::outgoingStoresBegin</a></div><div class="ttdeci">const_iterator outgoingStoresBegin() const</div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00275">ConsGNode.h:275</a></div></div>
 <div class="ttc" id="classSVF_1_1ConstraintNode_html_adeb6adc882fe3470fff5483773070d19"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#adeb6adc882fe3470fff5483773070d19">SVF::ConstraintNode::removeOutgoingDirectEdge</a></div><div class="ttdeci">void removeOutgoingDirectEdge(ConstraintEdge *outEdge)</div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00379">ConsGNode.h:379</a></div></div>
 <div class="ttc" id="classSVF_1_1ConstraintNode_html_a7f591f8eda63abbaaea9a8bfb97f3959"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#a7f591f8eda63abbaaea9a8bfb97f3959">SVF::ConstraintNode::incomingLoadsBegin</a></div><div class="ttdeci">const_iterator incomingLoadsBegin() const</div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00266">ConsGNode.h:266</a></div></div>
 <div class="ttc" id="classSVF_1_1ConstraintEdge_html_a663af27955ba0c545f34fa1f076b7375"><div class="ttname"><a href="classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375">SVF::ConstraintEdge::ConstraintEdgeK</a></div><div class="ttdeci">ConstraintEdgeK</div><div class="ttdef"><b>Definition:</b> <a href="ConsGEdge_8h_source.html#l00054">ConsGEdge.h:54</a></div></div>
@@ -77,7 +77,6 @@ $(function() {
 <div class="ttc" id="classSVF_1_1GenericEdge_html_ad9edb45e74ae675d9da82f5acf02d56e"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#ad9edb45e74ae675d9da82f5acf02d56e">SVF::GenericEdge::getDstID</a></div><div class="ttdeci">NodeID getDstID() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00077">GenericGraph.h:77</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_1ConstraintNode_html_af05accba5a61957323bc2fd409b6f6e0"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#af05accba5a61957323bc2fd409b6f6e0">SVF::ConstraintNode::addressOutEdges</a></div><div class="ttdeci">ConstraintEdge::ConstraintEdgeSetTy addressOutEdges</div><div class="ttdoc">all outgoing address edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00072">ConsGNode.h:72</a></div></div>
-<div class="ttc" id="classSVF_1_1GenericNode_html_a56dff05dc2b3c5664d3b8fc1c6c927d5"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a56dff05dc2b3c5664d3b8fc1c6c927d5">SVF::GenericNode&lt; ConstraintNode, ConstraintEdge &gt;::removeIncomingEdge</a></div><div class="ttdeci">Size_t removeIncomingEdge(EdgeType *edge)</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00287">GenericGraph.h:287</a></div></div>
 <div class="ttc" id="classSVF_1_1ConstraintNode_html_abcab7a3b98dc0cfeecaed279ca74ea53"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#abcab7a3b98dc0cfeecaed279ca74ea53">SVF::ConstraintNode::addOutgoingLoadEdge</a></div><div class="ttdeci">void addOutgoingLoadEdge(LoadCGEdge *outEdge)</div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00342">ConsGNode.h:342</a></div></div>
 <div class="ttc" id="classSVF_1_1ConstraintNode_html_ac40ecefd565e029748fdacbc44c4cd54"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#ac40ecefd565e029748fdacbc44c4cd54">SVF::ConstraintNode::baseIds</a></div><div class="ttdeci">NodeBS baseIds</div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00080">ConsGNode.h:80</a></div></div>
 <div class="ttc" id="classSVF_1_1ConstraintNode_html_a9101c445c228d059c8a85b8973428047"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#a9101c445c228d059c8a85b8973428047">SVF::ConstraintNode::directInEdgeEnd</a></div><div class="ttdeci">const_iterator directInEdgeEnd() const</div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00224">ConsGNode.h:224</a></div></div>
@@ -94,6 +93,8 @@ $(function() {
 <div class="ttc" id="classSVF_1_1ConstraintNode_html_a0bfdbe171acd2825055e571f314c0a48"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#a0bfdbe171acd2825055e571f314c0a48">SVF::ConstraintNode::incomingLoadsEnd</a></div><div class="ttdeci">const_iterator incomingLoadsEnd() const</div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00270">ConsGNode.h:270</a></div></div>
 <div class="ttc" id="classSVF_1_1ConstraintNode_html_aa57ef34caf4e8c37baec9405f4457e57"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#aa57ef34caf4e8c37baec9405f4457e57">SVF::ConstraintNode::storeInEdges</a></div><div class="ttdeci">ConstraintEdge::ConstraintEdgeSetTy storeInEdges</div><div class="ttdoc">all incoming store edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00057">ConsGNode.h:57</a></div></div>
 <div class="ttc" id="classSVF_1_1ConstraintNode_html_affb426040b05678fcbce62002a02bb06"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#affb426040b05678fcbce62002a02bb06">SVF::ConstraintNode::directOutEdges</a></div><div class="ttdeci">ConstraintEdge::ConstraintEdgeSetTy directOutEdges</div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00063">ConsGNode.h:63</a></div></div>
+<div class="ttc" id="classSVF_1_1GenericNode_html_a95415bebc5986e548f91169b201a5225"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a95415bebc5986e548f91169b201a5225">SVF::GenericNode::removeIncomingEdge</a></div><div class="ttdeci">u32_t removeIncomingEdge(EdgeType *edge)</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00287">GenericGraph.h:287</a></div></div>
+<div class="ttc" id="classSVF_1_1GenericNode_html_a1880a691130279625e5be6af36e86fc1"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a1880a691130279625e5be6af36e86fc1">SVF::GenericNode::removeOutgoingEdge</a></div><div class="ttdeci">u32_t removeOutgoingEdge(EdgeType *edge)</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00293">GenericGraph.h:293</a></div></div>
 <div class="ttc" id="classSVF_1_1ConstraintNode_html_a6e59b815d784bc1a9437290ff0e1e28ca7f8c92a2f50277fee80899235ae477f9"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#a6e59b815d784bc1a9437290ff0e1e28ca7f8c92a2f50277fee80899235ae477f9">SVF::ConstraintNode::Direct</a></div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00050">ConsGNode.h:50</a></div></div>
 <div class="ttc" id="classSVF_1_1ConstraintNode_html_a85a6acbd708be0dfc63ea87050a4a934"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#a85a6acbd708be0dfc63ea87050a4a934">SVF::ConstraintNode::loadOutEdges</a></div><div class="ttdeci">ConstraintEdge::ConstraintEdgeSetTy loadOutEdges</div><div class="ttdoc">all outgoing load edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00055">ConsGNode.h:55</a></div></div>
 <div class="ttc" id="classSVF_1_1ConstraintNode_html_a85e67f52e9cda75704e6b5a46af289e7"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#a85e67f52e9cda75704e6b5a46af289e7">SVF::ConstraintNode::getStoreOutEdges</a></div><div class="ttdeci">const ConstraintEdge::ConstraintEdgeSetTy &amp; getStoreOutEdges() const</div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00152">ConsGNode.h:152</a></div></div>
@@ -103,6 +104,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1ConstraintNode_html_a5ee086dfa49e82309dfe37f167bcb8b4"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#a5ee086dfa49e82309dfe37f167bcb8b4">SVF::ConstraintNode::outgoingStoresEnd</a></div><div class="ttdeci">const_iterator outgoingStoresEnd() const</div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00279">ConsGNode.h:279</a></div></div>
 <div class="ttc" id="classSVF_1_1ConstraintNode_html_a8c3e6dca7bf12fa941c4411f6a1f52c0"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#a8c3e6dca7bf12fa941c4411f6a1f52c0">SVF::ConstraintNode::isIndirectEdge</a></div><div class="ttdeci">bool isIndirectEdge(ConstraintEdge::ConstraintEdgeK kind)</div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00109">ConsGNode.h:109</a></div></div>
 <div class="ttc" id="classSVF_1_1LoadCGEdge_html"><div class="ttname"><a href="classSVF_1_1LoadCGEdge.html">SVF::LoadCGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="ConsGEdge_8h_source.html#l00191">ConsGEdge.h:191</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#l00075">SVFBasicTypes.h:75</a></div></div>
 <div class="ttc" id="classSVF_1_1ConstraintNode_html_a2395948518a1befb7a3762bbad6adf9f"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#a2395948518a1befb7a3762bbad6adf9f">SVF::ConstraintNode::addOutgoingCopyEdge</a></div><div class="ttdeci">void addOutgoingCopyEdge(CopyCGEdge *outEdge)</div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00305">ConsGNode.h:305</a></div></div>
 <div class="ttc" id="classSVF_1_1ConstraintNode_html_abd8d146e9b30b6d9757021a84bcab158"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#abd8d146e9b30b6d9757021a84bcab158">SVF::ConstraintNode::getLoadInEdges</a></div><div class="ttdeci">const ConstraintEdge::ConstraintEdgeSetTy &amp; getLoadInEdges() const</div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00140">ConsGNode.h:140</a></div></div>
 <div class="ttc" id="classSVF_1_1ConstraintNode_html_a349b8c461adfa2a0bd1376ecb81d36d5"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#a349b8c461adfa2a0bd1376ecb81d36d5">SVF::ConstraintNode::addOutgoingStoreEdge</a></div><div class="ttdeci">void addOutgoingStoreEdge(StoreCGEdge *outEdge)</div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00348">ConsGNode.h:348</a></div></div>
@@ -124,10 +126,9 @@ $(function() {
 <div class="ttc" id="classSVF_1_1ConstraintEdge_html_a663af27955ba0c545f34fa1f076b7375a29b0aa3353f866ef1655ab6d4716feb9"><div class="ttname"><a href="classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375a29b0aa3353f866ef1655ab6d4716feb9">SVF::ConstraintEdge::Copy</a></div><div class="ttdef"><b>Definition:</b> <a href="ConsGEdge_8h_source.html#l00056">ConsGEdge.h:56</a></div></div>
 <div class="ttc" id="classSVF_1_1StoreCGEdge_html"><div class="ttname"><a href="classSVF_1_1StoreCGEdge.html">SVF::StoreCGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="ConsGEdge_8h_source.html#l00157">ConsGEdge.h:157</a></div></div>
 <div class="ttc" id="classSVF_1_1ConstraintNode_html_ab8e02139108272c54171cd2e8833cd88"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#ab8e02139108272c54171cd2e8833cd88">SVF::ConstraintNode::setSCCEdgeFlag</a></div><div class="ttdeci">static void setSCCEdgeFlag(SCCEdgeFlag f)</div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00082">ConsGNode.h:82</a></div></div>
-<div class="ttc" id="namespaceSVF_html_a2db29836a72e8d86e9baa6d8d55d2978"><div class="ttname"><a href="namespaceSVF.html#a2db29836a72e8d86e9baa6d8d55d2978">SVF::Size_t</a></div><div class="ttdeci">signed long Size_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00078">SVFBasicTypes.h:78</a></div></div>
 <div class="ttc" id="classSVF_1_1ConstraintNode_html_a9d1bb95ad5549d7e6030fe07f8e070a2"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#a9d1bb95ad5549d7e6030fe07f8e070a2">SVF::ConstraintNode::addIncomingLoadEdge</a></div><div class="ttdeci">void addIncomingLoadEdge(LoadCGEdge *inEdge)</div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00320">ConsGNode.h:320</a></div></div>
 <div class="ttc" id="classSVF_1_1ConstraintNode_html_afbd67d06e027fd2d87a611cf0bb251b3"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#afbd67d06e027fd2d87a611cf0bb251b3">SVF::ConstraintNode::directInEdgeEnd</a></div><div class="ttdeci">iterator directInEdgeEnd()</div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00192">ConsGNode.h:192</a></div></div>
-<div class="ttc" id="classSVF_1_1GenericNode_html_ae74283fbc788665296a69e56f334557b"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ae74283fbc788665296a69e56f334557b">SVF::GenericNode&lt; ConstraintNode, ConstraintEdge &gt;::addOutgoingEdge</a></div><div class="ttdeci">bool addOutgoingEdge(EdgeType *outEdge)</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00279">GenericGraph.h:279</a></div></div>
+<div class="ttc" id="classSVF_1_1GenericNode_html_ae74283fbc788665296a69e56f334557b"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ae74283fbc788665296a69e56f334557b">SVF::GenericNode::addOutgoingEdge</a></div><div class="ttdeci">bool addOutgoingEdge(EdgeType *outEdge)</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00279">GenericGraph.h:279</a></div></div>
 <div class="ttc" id="classSVF_1_1ConstraintNode_html_ab93b0083cd84702900dcdc853e511275"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#ab93b0083cd84702900dcdc853e511275">SVF::ConstraintNode::_isPWCNode</a></div><div class="ttdeci">bool _isPWCNode</div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00046">ConsGNode.h:46</a></div></div>
 <div class="ttc" id="classSVF_1_1ConstraintNode_html_a0ffe4f1ca1a6f70466cc1c6b3b12c90d"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#a0ffe4f1ca1a6f70466cc1c6b3b12c90d">SVF::ConstraintNode::isPWCNode</a></div><div class="ttdeci">bool isPWCNode() const</div><div class="ttdoc">Whether a node involves in PWC, if so, all its points-to elements should become field-insensitive. </div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00094">ConsGNode.h:94</a></div></div>
 <div class="ttc" id="classSVF_1_1ConstraintNode_html_a873ba0c14dc57bd603c4a6b4d73e4278"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#a873ba0c14dc57bd603c4a6b4d73e4278">SVF::ConstraintNode::strides</a></div><div class="ttdeci">NodeBS strides</div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00078">ConsGNode.h:78</a></div></div>
@@ -136,7 +137,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1ConstraintNode_html_ac645cf2114161981cd4465c83cbc31f5"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#ac645cf2114161981cd4465c83cbc31f5">SVF::ConstraintNode::getGepInEdges</a></div><div class="ttdeci">const ConstraintEdge::ConstraintEdgeSetTy &amp; getGepInEdges() const</div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00132">ConsGNode.h:132</a></div></div>
 <div class="ttc" id="classSVF_1_1ConstraintNode_html_a8d28c94a72acf221177aeae135f73ec1"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#a8d28c94a72acf221177aeae135f73ec1">SVF::ConstraintNode::storeOutEdges</a></div><div class="ttdeci">ConstraintEdge::ConstraintEdgeSetTy storeOutEdges</div><div class="ttdoc">all outgoing store edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00058">ConsGNode.h:58</a></div></div>
 <div class="ttc" id="classSVF_1_1ConstraintNode_html_a230e89618c562c7aed63b4457ec69637"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#a230e89618c562c7aed63b4457ec69637">SVF::ConstraintNode::addOutgoingDirectEdge</a></div><div class="ttdeci">void addOutgoingDirectEdge(ConstraintEdge *outEdge)</div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00354">ConsGNode.h:354</a></div></div>
-<div class="ttc" id="classSVF_1_1GenericNode_html_a93d217b0c9fd8008a2989ca2b4f3fbfb"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a93d217b0c9fd8008a2989ca2b4f3fbfb">SVF::GenericNode&lt; ConstraintNode, ConstraintEdge &gt;::addIncomingEdge</a></div><div class="ttdeci">bool addIncomingEdge(EdgeType *inEdge)</div><div class="ttdoc">Add incoming and outgoing edges. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00275">GenericGraph.h:275</a></div></div>
+<div class="ttc" id="classSVF_1_1GenericNode_html_a93d217b0c9fd8008a2989ca2b4f3fbfb"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a93d217b0c9fd8008a2989ca2b4f3fbfb">SVF::GenericNode::addIncomingEdge</a></div><div class="ttdeci">bool addIncomingEdge(EdgeType *inEdge)</div><div class="ttdoc">Add incoming and outgoing edges. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00275">GenericGraph.h:275</a></div></div>
 <div class="ttc" id="classSVF_1_1ConstraintNode_html_a165b41f2849c0f09eb1b15d51a566315"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#a165b41f2849c0f09eb1b15d51a566315">SVF::ConstraintNode::isdirectEdge</a></div><div class="ttdeci">bool isdirectEdge(ConstraintEdge::ConstraintEdgeK kind)</div><div class="ttdoc">Direct and Indirect SVFIR edges. </div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00105">ConsGNode.h:105</a></div></div>
 <div class="ttc" id="classSVF_1_1ConstraintNode_html_a134e8ed040d7749c2b9a02662115f746"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#a134e8ed040d7749c2b9a02662115f746">SVF::ConstraintNode::outgoingLoadsEnd</a></div><div class="ttdeci">const_iterator outgoingLoadsEnd() const</div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00262">ConsGNode.h:262</a></div></div>
 <div class="ttc" id="classSVF_1_1ConstraintNode_html_ac9bb037a59db6b035c2785cad6ac56aa"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#ac9bb037a59db6b035c2785cad6ac56aa">SVF::ConstraintNode::incomingAddrEdges</a></div><div class="ttdeci">ConstraintEdge::ConstraintEdgeSetTy &amp; incomingAddrEdges()</div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00232">ConsGNode.h:232</a></div></div>
@@ -159,7 +160,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1ConstraintNode_html_a2f1179fa3290274218b7a58ce8d31507"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#a2f1179fa3290274218b7a58ce8d31507">SVF::ConstraintNode::removeIncomingAddrEdge</a></div><div class="ttdeci">void removeIncomingAddrEdge(AddrCGEdge *inEdge)</div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00372">ConsGNode.h:372</a></div></div>
 <div class="ttc" id="namespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode </div><div class="ttdef"><b>Definition:</b> <a href="ContextDDA_8h_source.html#l00016">ContextDDA.h:16</a></div></div>
 <div class="ttc" id="classSVF_1_1ConstraintNode_html_a214d8c0cb3913cb3403d686790c9eabb"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#a214d8c0cb3913cb3403d686790c9eabb">SVF::ConstraintNode::addressInEdges</a></div><div class="ttdeci">ConstraintEdge::ConstraintEdgeSetTy addressInEdges</div><div class="ttdoc">all incoming address edge of this node </div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00071">ConsGNode.h:71</a></div></div>
-<div class="ttc" id="classSVF_1_1GenericNode_html_ac3e55ef37aefb411ea4c87b1aa3b1895"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">SVF::GenericNode&lt; ConstraintNode, ConstraintEdge &gt;::getId</a></div><div class="ttdeci">NodeID getId() const</div><div class="ttdoc">Get ID. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00165">GenericGraph.h:165</a></div></div>
+<div class="ttc" id="classSVF_1_1GenericNode_html_ac3e55ef37aefb411ea4c87b1aa3b1895"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">SVF::GenericNode::getId</a></div><div class="ttdeci">NodeID getId() const</div><div class="ttdoc">Get ID. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00165">GenericGraph.h:165</a></div></div>
 <div class="ttc" id="namespaceSVF_html_a740396763e377643790c8b803ab3e4ea"><div class="ttname"><a href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">SVF::NodeBS</a></div><div class="ttdeci">llvm::SparseBitVector NodeBS</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00086">SVFBasicTypes.h:86</a></div></div>
 <div class="ttc" id="classSVF_1_1ConstraintNode_html_a19c1ed324f65f4cc58dd2fd21ed4a971"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#a19c1ed324f65f4cc58dd2fd21ed4a971">SVF::ConstraintNode::incomingAddrsBegin</a></div><div class="ttdeci">const_iterator incomingAddrsBegin() const</div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00249">ConsGNode.h:249</a></div></div>
 <div class="ttc" id="classSVF_1_1ConstraintNode_html_aaf84d10aaa0baabb8387fd8ccfdcfa9d"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#aaf84d10aaa0baabb8387fd8ccfdcfa9d">SVF::ConstraintNode::removeIncomingLoadEdge</a></div><div class="ttdeci">void removeIncomingLoadEdge(LoadCGEdge *inEdge)</div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00408">ConsGNode.h:408</a></div></div>
@@ -167,7 +168,6 @@ $(function() {
 <div class="ttc" id="classSVF_1_1ConstraintNode_html_ae8ac9ad8e766b961c7ce06d7219f37af"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#ae8ac9ad8e766b961c7ce06d7219f37af">SVF::ConstraintNode::incomingAddrsEnd</a></div><div class="ttdeci">const_iterator incomingAddrsEnd() const</div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00253">ConsGNode.h:253</a></div></div>
 <div class="ttc" id="classSVF_1_1ConstraintNode_html_aa7fda7753c353db3284e087270ab7cd0"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#aa7fda7753c353db3284e087270ab7cd0">SVF::ConstraintNode::getCopyInEdges</a></div><div class="ttdeci">const ConstraintEdge::ConstraintEdgeSetTy &amp; getCopyInEdges() const</div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00124">ConsGNode.h:124</a></div></div>
 <div class="ttc" id="classSVF_1_1AddrCGEdge_html"><div class="ttname"><a href="classSVF_1_1AddrCGEdge.html">SVF::AddrCGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="ConsGEdge_8h_source.html#l00093">ConsGEdge.h:93</a></div></div>
-<div class="ttc" id="classSVF_1_1GenericNode_html_a7c6192cb176bda3fad1819711302e468"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a7c6192cb176bda3fad1819711302e468">SVF::GenericNode&lt; ConstraintNode, ConstraintEdge &gt;::removeOutgoingEdge</a></div><div class="ttdeci">Size_t removeOutgoingEdge(EdgeType *edge)</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00293">GenericGraph.h:293</a></div></div>
 <div class="ttc" id="classSVF_1_1ConstraintNode_html_a0d9d6ba3359b481b872f2c1f68950fd6"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#a0d9d6ba3359b481b872f2c1f68950fd6">SVF::ConstraintNode::addIncomingDirectEdge</a></div><div class="ttdeci">void addIncomingDirectEdge(ConstraintEdge *inEdge)</div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00330">ConsGNode.h:330</a></div></div>
 <div class="ttc" id="classSVF_1_1ConstraintEdge_html"><div class="ttname"><a href="classSVF_1_1ConstraintEdge.html">SVF::ConstraintEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="ConsGEdge_8h_source.html#l00048">ConsGEdge.h:48</a></div></div>
 <div class="ttc" id="classSVF_1_1ConstraintNode_html_ae6a98932b0f0732d4af1ca8266d58077"><div class="ttname"><a href="classSVF_1_1ConstraintNode.html#ae6a98932b0f0732d4af1ca8266d58077">SVF::ConstraintNode::getAddrInEdges</a></div><div class="ttdeci">const ConstraintEdge::ConstraintEdgeSetTy &amp; getAddrInEdges() const</div><div class="ttdef"><b>Definition:</b> <a href="ConsGNode_8h_source.html#l00156">ConsGNode.h:156</a></div></div>