svf-tools 1.0.749 → 1.0.751

package/SVF-doxygen/html/html/SVFStatements_8cpp_source.html

@@ -144,7 +144,7 @@ $(function() {
 <div class="line"><a name="l00079"></a><span class="lineno">   79</span>&#160;    <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1Options.html#a424a44f39a43b22434dbdce26007a353">Options::ShowSVFIRValue</a>())</div>
 <div class="line"><a name="l00080"></a><span class="lineno">   80</span>&#160;    {</div>
 <div class="line"><a name="l00081"></a><span class="lineno">   81</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div>
-<div class="line"><a name="l00082"></a><span class="lineno">   82</span>&#160;        rawstr &lt;&lt; <a class="code" href="classSVF_1_1SVFStmt.html#abb784290c90d26f35897fa15bae277d2">getValue</a>()-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a1222d0800de27d27078e6b4a5371beb3">toString</a>();</div>
+<div class="line"><a name="l00082"></a><span class="lineno">   82</span>&#160;        rawstr &lt;&lt; <a class="code" href="classSVF_1_1SVFStmt.html#abb784290c90d26f35897fa15bae277d2">getValue</a>()-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">toString</a>();</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;    <span class="keywordflow">return</span> rawstr.str();</div>
 <div class="line"><a name="l00085"></a><span class="lineno">   85</span>&#160;}</div>
@@ -157,7 +157,7 @@ $(function() {
 <div class="line"><a name="l00092"></a><span class="lineno">   92</span>&#160;    <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1Options.html#a424a44f39a43b22434dbdce26007a353">Options::ShowSVFIRValue</a>())</div>
 <div class="line"><a name="l00093"></a><span class="lineno">   93</span>&#160;    {</div>
 <div class="line"><a name="l00094"></a><span class="lineno">   94</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div>
-<div class="line"><a name="l00095"></a><span class="lineno">   95</span>&#160;        rawstr &lt;&lt; <a class="code" href="classSVF_1_1SVFStmt.html#abb784290c90d26f35897fa15bae277d2">getValue</a>()-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a1222d0800de27d27078e6b4a5371beb3">toString</a>();</div>
+<div class="line"><a name="l00095"></a><span class="lineno">   95</span>&#160;        rawstr &lt;&lt; <a class="code" href="classSVF_1_1SVFStmt.html#abb784290c90d26f35897fa15bae277d2">getValue</a>()-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">toString</a>();</div>
 <div class="line"><a name="l00096"></a><span class="lineno">   96</span>&#160;    }</div>
 <div class="line"><a name="l00097"></a><span class="lineno">   97</span>&#160;    <span class="keywordflow">return</span> rawstr.str();</div>
 <div class="line"><a name="l00098"></a><span class="lineno">   98</span>&#160;}</div>
@@ -173,7 +173,7 @@ $(function() {
 <div class="line"><a name="l00108"></a><span class="lineno">  108</span>&#160;    <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1Options.html#a424a44f39a43b22434dbdce26007a353">Options::ShowSVFIRValue</a>())</div>
 <div class="line"><a name="l00109"></a><span class="lineno">  109</span>&#160;    {</div>
 <div class="line"><a name="l00110"></a><span class="lineno">  110</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div>
-<div class="line"><a name="l00111"></a><span class="lineno">  111</span>&#160;        rawstr &lt;&lt; <a class="code" href="classSVF_1_1SVFStmt.html#abb784290c90d26f35897fa15bae277d2">getValue</a>()-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a1222d0800de27d27078e6b4a5371beb3">toString</a>();</div>
+<div class="line"><a name="l00111"></a><span class="lineno">  111</span>&#160;        rawstr &lt;&lt; <a class="code" href="classSVF_1_1SVFStmt.html#abb784290c90d26f35897fa15bae277d2">getValue</a>()-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">toString</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;    <span class="keywordflow">return</span> rawstr.str();</div>
 <div class="line"><a name="l00114"></a><span class="lineno">  114</span>&#160;}</div>
@@ -189,7 +189,7 @@ $(function() {
 <div class="line"><a name="l00124"></a><span class="lineno">  124</span>&#160;    <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1Options.html#a424a44f39a43b22434dbdce26007a353">Options::ShowSVFIRValue</a>())</div>
 <div class="line"><a name="l00125"></a><span class="lineno">  125</span>&#160;    {</div>
 <div class="line"><a name="l00126"></a><span class="lineno">  126</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div>
-<div class="line"><a name="l00127"></a><span class="lineno">  127</span>&#160;        rawstr &lt;&lt; <a class="code" href="classSVF_1_1SVFStmt.html#abb784290c90d26f35897fa15bae277d2">getValue</a>()-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a1222d0800de27d27078e6b4a5371beb3">toString</a>();</div>
+<div class="line"><a name="l00127"></a><span class="lineno">  127</span>&#160;        rawstr &lt;&lt; <a class="code" href="classSVF_1_1SVFStmt.html#abb784290c90d26f35897fa15bae277d2">getValue</a>()-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">toString</a>();</div>
 <div class="line"><a name="l00128"></a><span class="lineno">  128</span>&#160;    }</div>
 <div class="line"><a name="l00129"></a><span class="lineno">  129</span>&#160;    <span class="keywordflow">return</span> rawstr.str();</div>
 <div class="line"><a name="l00130"></a><span class="lineno">  130</span>&#160;}</div>
@@ -202,7 +202,7 @@ $(function() {
 <div class="line"><a name="l00137"></a><span class="lineno">  137</span>&#160;    <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1Options.html#a424a44f39a43b22434dbdce26007a353">Options::ShowSVFIRValue</a>())</div>
 <div class="line"><a name="l00138"></a><span class="lineno">  138</span>&#160;    {</div>
 <div class="line"><a name="l00139"></a><span class="lineno">  139</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div>
-<div class="line"><a name="l00140"></a><span class="lineno">  140</span>&#160;        rawstr &lt;&lt; <a class="code" href="classSVF_1_1SVFStmt.html#abb784290c90d26f35897fa15bae277d2">getValue</a>()-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a1222d0800de27d27078e6b4a5371beb3">toString</a>();</div>
+<div class="line"><a name="l00140"></a><span class="lineno">  140</span>&#160;        rawstr &lt;&lt; <a class="code" href="classSVF_1_1SVFStmt.html#abb784290c90d26f35897fa15bae277d2">getValue</a>()-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">toString</a>();</div>
 <div class="line"><a name="l00141"></a><span class="lineno">  141</span>&#160;    }</div>
 <div class="line"><a name="l00142"></a><span class="lineno">  142</span>&#160;    <span class="keywordflow">return</span> rawstr.str();</div>
 <div class="line"><a name="l00143"></a><span class="lineno">  143</span>&#160;}</div>
@@ -215,7 +215,7 @@ $(function() {
 <div class="line"><a name="l00150"></a><span class="lineno">  150</span>&#160;    <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1Options.html#a424a44f39a43b22434dbdce26007a353">Options::ShowSVFIRValue</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">  152</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div>
-<div class="line"><a name="l00153"></a><span class="lineno">  153</span>&#160;        rawstr &lt;&lt; <a class="code" href="classSVF_1_1SVFStmt.html#abb784290c90d26f35897fa15bae277d2">getValue</a>()-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a1222d0800de27d27078e6b4a5371beb3">toString</a>();</div>
+<div class="line"><a name="l00153"></a><span class="lineno">  153</span>&#160;        rawstr &lt;&lt; <a class="code" href="classSVF_1_1SVFStmt.html#abb784290c90d26f35897fa15bae277d2">getValue</a>()-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">toString</a>();</div>
 <div class="line"><a name="l00154"></a><span class="lineno">  154</span>&#160;    }</div>
 <div class="line"><a name="l00155"></a><span class="lineno">  155</span>&#160;    <span class="keywordflow">return</span> rawstr.str();</div>
 <div class="line"><a name="l00156"></a><span class="lineno">  156</span>&#160;}</div>
@@ -228,7 +228,7 @@ $(function() {
 <div class="line"><a name="l00163"></a><span class="lineno">  163</span>&#160;    <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1Options.html#a424a44f39a43b22434dbdce26007a353">Options::ShowSVFIRValue</a>())</div>
 <div class="line"><a name="l00164"></a><span class="lineno">  164</span>&#160;    {</div>
 <div class="line"><a name="l00165"></a><span class="lineno">  165</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div>
-<div class="line"><a name="l00166"></a><span class="lineno">  166</span>&#160;        rawstr &lt;&lt; <a class="code" href="classSVF_1_1SVFStmt.html#abb784290c90d26f35897fa15bae277d2">getValue</a>()-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a1222d0800de27d27078e6b4a5371beb3">toString</a>();</div>
+<div class="line"><a name="l00166"></a><span class="lineno">  166</span>&#160;        rawstr &lt;&lt; <a class="code" href="classSVF_1_1SVFStmt.html#abb784290c90d26f35897fa15bae277d2">getValue</a>()-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">toString</a>();</div>
 <div class="line"><a name="l00167"></a><span class="lineno">  167</span>&#160;    }</div>
 <div class="line"><a name="l00168"></a><span class="lineno">  168</span>&#160;    <span class="keywordflow">return</span> rawstr.str();</div>
 <div class="line"><a name="l00169"></a><span class="lineno">  169</span>&#160;}</div>
@@ -248,7 +248,7 @@ $(function() {
 <div class="line"><a name="l00183"></a><span class="lineno">  183</span>&#160;    <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1Options.html#a424a44f39a43b22434dbdce26007a353">Options::ShowSVFIRValue</a>())</div>
 <div class="line"><a name="l00184"></a><span class="lineno">  184</span>&#160;    {</div>
 <div class="line"><a name="l00185"></a><span class="lineno">  185</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div>
-<div class="line"><a name="l00186"></a><span class="lineno">  186</span>&#160;        rawstr &lt;&lt; <a class="code" href="classSVF_1_1SVFStmt.html#abb784290c90d26f35897fa15bae277d2">getValue</a>()-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a1222d0800de27d27078e6b4a5371beb3">toString</a>();</div>
+<div class="line"><a name="l00186"></a><span class="lineno">  186</span>&#160;        rawstr &lt;&lt; <a class="code" href="classSVF_1_1SVFStmt.html#abb784290c90d26f35897fa15bae277d2">getValue</a>()-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">toString</a>();</div>
 <div class="line"><a name="l00187"></a><span class="lineno">  187</span>&#160;    }</div>
 <div class="line"><a name="l00188"></a><span class="lineno">  188</span>&#160;    <span class="keywordflow">return</span> rawstr.str();</div>
 <div class="line"><a name="l00189"></a><span class="lineno">  189</span>&#160;}</div>
@@ -262,7 +262,7 @@ $(function() {
 <div class="line"><a name="l00197"></a><span class="lineno">  197</span>&#160;    <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1Options.html#a424a44f39a43b22434dbdce26007a353">Options::ShowSVFIRValue</a>())</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;        rawstr &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div>
-<div class="line"><a name="l00200"></a><span class="lineno">  200</span>&#160;        rawstr &lt;&lt; <a class="code" href="classSVF_1_1SVFStmt.html#abb784290c90d26f35897fa15bae277d2">getValue</a>()-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a1222d0800de27d27078e6b4a5371beb3">toString</a>();</div>
+<div class="line"><a name="l00200"></a><span class="lineno">  200</span>&#160;        rawstr &lt;&lt; <a class="code" href="classSVF_1_1SVFStmt.html#abb784290c90d26f35897fa15bae277d2">getValue</a>()-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">toString</a>();</div>
 <div class="line"><a name="l00201"></a><span class="lineno">  201</span>&#160;    }</div>
 <div class="line"><a name="l00202"></a><span class="lineno">  202</span>&#160;    <span class="keywordflow">return</span> rawstr.str();</div>
 <div class="line"><a name="l00203"></a><span class="lineno">  203</span>&#160;}</div>
@@ -275,7 +275,7 @@ $(function() {
 <div class="line"><a name="l00210"></a><span class="lineno">  210</span>&#160;    <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1Options.html#a424a44f39a43b22434dbdce26007a353">Options::ShowSVFIRValue</a>())</div>
 <div class="line"><a name="l00211"></a><span class="lineno">  211</span>&#160;    {</div>
 <div class="line"><a name="l00212"></a><span class="lineno">  212</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div>
-<div class="line"><a name="l00213"></a><span class="lineno">  213</span>&#160;        rawstr &lt;&lt; <a class="code" href="classSVF_1_1SVFStmt.html#abb784290c90d26f35897fa15bae277d2">getValue</a>()-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a1222d0800de27d27078e6b4a5371beb3">toString</a>();</div>
+<div class="line"><a name="l00213"></a><span class="lineno">  213</span>&#160;        rawstr &lt;&lt; <a class="code" href="classSVF_1_1SVFStmt.html#abb784290c90d26f35897fa15bae277d2">getValue</a>()-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">toString</a>();</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;    <span class="keywordflow">return</span> rawstr.str();</div>
 <div class="line"><a name="l00216"></a><span class="lineno">  216</span>&#160;}</div>
@@ -288,7 +288,7 @@ $(function() {
 <div class="line"><a name="l00223"></a><span class="lineno">  223</span>&#160;    <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1Options.html#a424a44f39a43b22434dbdce26007a353">Options::ShowSVFIRValue</a>())</div>
 <div class="line"><a name="l00224"></a><span class="lineno">  224</span>&#160;    {</div>
 <div class="line"><a name="l00225"></a><span class="lineno">  225</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div>
-<div class="line"><a name="l00226"></a><span class="lineno">  226</span>&#160;        rawstr &lt;&lt; <a class="code" href="classSVF_1_1SVFStmt.html#abb784290c90d26f35897fa15bae277d2">getValue</a>()-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a1222d0800de27d27078e6b4a5371beb3">toString</a>();</div>
+<div class="line"><a name="l00226"></a><span class="lineno">  226</span>&#160;        rawstr &lt;&lt; <a class="code" href="classSVF_1_1SVFStmt.html#abb784290c90d26f35897fa15bae277d2">getValue</a>()-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">toString</a>();</div>
 <div class="line"><a name="l00227"></a><span class="lineno">  227</span>&#160;    }</div>
 <div class="line"><a name="l00228"></a><span class="lineno">  228</span>&#160;    <span class="keywordflow">return</span> rawstr.str();</div>
 <div class="line"><a name="l00229"></a><span class="lineno">  229</span>&#160;}</div>
@@ -301,7 +301,7 @@ $(function() {
 <div class="line"><a name="l00236"></a><span class="lineno">  236</span>&#160;    <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1Options.html#a424a44f39a43b22434dbdce26007a353">Options::ShowSVFIRValue</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;        rawstr &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div>
-<div class="line"><a name="l00239"></a><span class="lineno">  239</span>&#160;        rawstr &lt;&lt; <a class="code" href="classSVF_1_1SVFStmt.html#abb784290c90d26f35897fa15bae277d2">getValue</a>()-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a1222d0800de27d27078e6b4a5371beb3">toString</a>();</div>
+<div class="line"><a name="l00239"></a><span class="lineno">  239</span>&#160;        rawstr &lt;&lt; <a class="code" href="classSVF_1_1SVFStmt.html#abb784290c90d26f35897fa15bae277d2">getValue</a>()-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">toString</a>();</div>
 <div class="line"><a name="l00240"></a><span class="lineno">  240</span>&#160;    }</div>
 <div class="line"><a name="l00241"></a><span class="lineno">  241</span>&#160;    <span class="keywordflow">return</span> rawstr.str();</div>
 <div class="line"><a name="l00242"></a><span class="lineno">  242</span>&#160;}</div>
@@ -314,7 +314,7 @@ $(function() {
 <div class="line"><a name="l00249"></a><span class="lineno">  249</span>&#160;    <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1Options.html#a424a44f39a43b22434dbdce26007a353">Options::ShowSVFIRValue</a>())</div>
 <div class="line"><a name="l00250"></a><span class="lineno">  250</span>&#160;    {</div>
 <div class="line"><a name="l00251"></a><span class="lineno">  251</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div>
-<div class="line"><a name="l00252"></a><span class="lineno">  252</span>&#160;        rawstr &lt;&lt; <a class="code" href="classSVF_1_1SVFStmt.html#abb784290c90d26f35897fa15bae277d2">getValue</a>()-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a1222d0800de27d27078e6b4a5371beb3">toString</a>();</div>
+<div class="line"><a name="l00252"></a><span class="lineno">  252</span>&#160;        rawstr &lt;&lt; <a class="code" href="classSVF_1_1SVFStmt.html#abb784290c90d26f35897fa15bae277d2">getValue</a>()-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">toString</a>();</div>
 <div class="line"><a name="l00253"></a><span class="lineno">  253</span>&#160;    }</div>
 <div class="line"><a name="l00254"></a><span class="lineno">  254</span>&#160;    <span class="keywordflow">return</span> rawstr.str();</div>
 <div class="line"><a name="l00255"></a><span class="lineno">  255</span>&#160;}</div>
@@ -327,7 +327,7 @@ $(function() {
 <div class="line"><a name="l00262"></a><span class="lineno">  262</span>&#160;    <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1Options.html#a424a44f39a43b22434dbdce26007a353">Options::ShowSVFIRValue</a>())</div>
 <div class="line"><a name="l00263"></a><span class="lineno">  263</span>&#160;    {</div>
 <div class="line"><a name="l00264"></a><span class="lineno">  264</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div>
-<div class="line"><a name="l00265"></a><span class="lineno">  265</span>&#160;        rawstr &lt;&lt; <a class="code" href="classSVF_1_1SVFStmt.html#abb784290c90d26f35897fa15bae277d2">getValue</a>()-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a1222d0800de27d27078e6b4a5371beb3">toString</a>();</div>
+<div class="line"><a name="l00265"></a><span class="lineno">  265</span>&#160;        rawstr &lt;&lt; <a class="code" href="classSVF_1_1SVFStmt.html#abb784290c90d26f35897fa15bae277d2">getValue</a>()-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">toString</a>();</div>
 <div class="line"><a name="l00266"></a><span class="lineno">  266</span>&#160;    }</div>
 <div class="line"><a name="l00267"></a><span class="lineno">  267</span>&#160;    <span class="keywordflow">return</span> rawstr.str();</div>
 <div class="line"><a name="l00268"></a><span class="lineno">  268</span>&#160;}</div>
@@ -340,7 +340,7 @@ $(function() {
 <div class="line"><a name="l00275"></a><span class="lineno">  275</span>&#160;    <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1Options.html#a424a44f39a43b22434dbdce26007a353">Options::ShowSVFIRValue</a>())</div>
 <div class="line"><a name="l00276"></a><span class="lineno">  276</span>&#160;    {</div>
 <div class="line"><a name="l00277"></a><span class="lineno">  277</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div>
-<div class="line"><a name="l00278"></a><span class="lineno">  278</span>&#160;        rawstr &lt;&lt; <a class="code" href="classSVF_1_1SVFStmt.html#abb784290c90d26f35897fa15bae277d2">getValue</a>()-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a1222d0800de27d27078e6b4a5371beb3">toString</a>();</div>
+<div class="line"><a name="l00278"></a><span class="lineno">  278</span>&#160;        rawstr &lt;&lt; <a class="code" href="classSVF_1_1SVFStmt.html#abb784290c90d26f35897fa15bae277d2">getValue</a>()-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">toString</a>();</div>
 <div class="line"><a name="l00279"></a><span class="lineno">  279</span>&#160;    }</div>
 <div class="line"><a name="l00280"></a><span class="lineno">  280</span>&#160;    <span class="keywordflow">return</span> rawstr.str();</div>
 <div class="line"><a name="l00281"></a><span class="lineno">  281</span>&#160;}</div>
@@ -434,41 +434,40 @@ $(function() {
 </div><!-- fragment --></div><!-- contents -->
 <div class="ttc" id="aclassSVF_1_1TDJoinPE_html_accac29adba7ca4883ae161c223a1703d"><div class="ttname"><a href="classSVF_1_1TDJoinPE.html#accac29adba7ca4883ae161c223a1703d">SVF::TDJoinPE::toString</a></div><div class="ttdeci">virtual const std::string toString() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8cpp_source.html#l00270">SVFStatements.cpp:270</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CallPE_html_a1e09f62a8e3ce2d3bc3fadb29e32a50e"><div class="ttname"><a href="classSVF_1_1CallPE.html#a1e09f62a8e3ce2d3bc3fadb29e32a50e">SVF::CallPE::CallPE</a></div><div class="ttdeci">CallPE(const CallPE &amp;)</div><div class="ttdoc">place holder</div></div>
-<div class="ttc" id="aclassSVF_1_1MultiOpndStmt_html_acf8c7cfbf1c8baab672040635bb9a007"><div class="ttname"><a href="classSVF_1_1MultiOpndStmt.html#acf8c7cfbf1c8baab672040635bb9a007">SVF::MultiOpndStmt::OPVars</a></div><div class="ttdeci">std::vector&lt; SVFVar * &gt; OPVars</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00658">SVFStatements.h:658</a></div></div>
+<div class="ttc" id="aclassSVF_1_1MultiOpndStmt_html_acf8c7cfbf1c8baab672040635bb9a007"><div class="ttname"><a href="classSVF_1_1MultiOpndStmt.html#acf8c7cfbf1c8baab672040635bb9a007">SVF::MultiOpndStmt::OPVars</a></div><div class="ttdeci">std::vector&lt; SVFVar * &gt; OPVars</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00661">SVFStatements.h:661</a></div></div>
 <div class="ttc" id="aclassSVF_1_1FunEntryICFGNode_html"><div class="ttname"><a href="classSVF_1_1FunEntryICFGNode.html">SVF::FunEntryICFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00261">ICFGNode.h:261</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericEdge_html_ab47ca533c415841ef75456cbad439589"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#ab47ca533c415841ef75456cbad439589">SVF::GenericEdge::getSrcNode</a></div><div class="ttdeci">NodeType * getSrcNode() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00097">GenericGraph.h:97</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFStmt_html_a4f4159567121416cbe78d124f5c6a8b6"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a4f4159567121416cbe78d124f5c6a8b6">SVF::SVFStmt::SVFStmt</a></div><div class="ttdeci">SVFStmt(GEdgeFlag k)</div><div class="ttdoc">Private constructor for reading SVFIR from file without side-effect.</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00088">SVFStatements.h:88</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MultiOpndStmt_html_a5c6efcc023e90ef2e618586091958c59"><div class="ttname"><a href="classSVF_1_1MultiOpndStmt.html#a5c6efcc023e90ef2e618586091958c59">SVF::MultiOpndStmt::getOpVarID</a></div><div class="ttdeci">NodeID getOpVarID(u32_t pos) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8cpp_source.html#l00284">SVFStatements.cpp:284</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFStmt_html_a5a3db6b1335b4adc55b961a6f480f228"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a5a3db6b1335b4adc55b961a6f480f228">SVF::SVFStmt::Inst2LabelMap</a></div><div class="ttdeci">Map&lt; const ICFGNode *, u32_t &gt; Inst2LabelMap</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00220">SVFStatements.h:220</a></div></div>
-<div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_a4c87a90a0190b50c0318c0f316f4fc2a"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#a4c87a90a0190b50c0318c0f316f4fc2a">SVF::BinaryOPStmt::BinaryOPStmt</a></div><div class="ttdeci">BinaryOPStmt()</div><div class="ttdoc">Constructs empty BinaryOPStmt (for SVFIRReader/serilization)</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00950">SVFStatements.h:950</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFStmt_html_a5a3db6b1335b4adc55b961a6f480f228"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a5a3db6b1335b4adc55b961a6f480f228">SVF::SVFStmt::Inst2LabelMap</a></div><div class="ttdeci">Map&lt; const ICFGNode *, u32_t &gt; Inst2LabelMap</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00223">SVFStatements.h:223</a></div></div>
+<div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_a4c87a90a0190b50c0318c0f316f4fc2a"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#a4c87a90a0190b50c0318c0f316f4fc2a">SVF::BinaryOPStmt::BinaryOPStmt</a></div><div class="ttdeci">BinaryOPStmt()</div><div class="ttdoc">Constructs empty BinaryOPStmt (for SVFIRReader/serilization)</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00953">SVFStatements.h:953</a></div></div>
 <div class="ttc" id="anamespaceSVF_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="BasicTypes_8h_source.html#l00065">BasicTypes.h:65</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFStmt_html_a593cc8136f2138a518476405e667e060"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a593cc8136f2138a518476405e667e060">SVF::SVFStmt::edgeId</a></div><div class="ttdeci">EdgeID edgeId</div><div class="ttdoc">Edge ID.</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00084">SVFStatements.h:84</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFStmt_html_abb83549118bcd7216a053d82f7180d1c"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#abb83549118bcd7216a053d82f7180d1c">SVF::SVFStmt::inst2LabelMap</a></div><div class="ttdeci">static Inst2LabelMap inst2LabelMap</div><div class="ttdoc">Call site Instruction to label map.</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00222">SVFStatements.h:222</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFStmt_html_a24227d7f1dd472f47bf94cb5db8505c4"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a24227d7f1dd472f47bf94cb5db8505c4">SVF::SVFStmt::callEdgeLabelCounter</a></div><div class="ttdeci">static u64_t callEdgeLabelCounter</div><div class="ttdoc">Call site Instruction counter.</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00224">SVFStatements.h:224</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFStmt_html_abb83549118bcd7216a053d82f7180d1c"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#abb83549118bcd7216a053d82f7180d1c">SVF::SVFStmt::inst2LabelMap</a></div><div class="ttdeci">static Inst2LabelMap inst2LabelMap</div><div class="ttdoc">Call site Instruction to label map.</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00225">SVFStatements.h:225</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFStmt_html_a24227d7f1dd472f47bf94cb5db8505c4"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a24227d7f1dd472f47bf94cb5db8505c4">SVF::SVFStmt::callEdgeLabelCounter</a></div><div class="ttdeci">static u64_t callEdgeLabelCounter</div><div class="ttdoc">Call site Instruction counter.</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00227">SVFStatements.h:227</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericEdge_html_a5aceeb48929f54264807b36569019a8a"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#a5aceeb48929f54264807b36569019a8a">SVF::GenericEdge::GEdgeKind</a></div><div class="ttdeci">s64_t GEdgeKind</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00062">GenericGraph.h:62</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Options_html_a424a44f39a43b22434dbdce26007a353"><div class="ttname"><a href="classSVF_1_1Options.html#a424a44f39a43b22434dbdce26007a353">SVF::Options::ShowSVFIRValue</a></div><div class="ttdeci">static const Option&lt; bool &gt; ShowSVFIRValue</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00135">Options.h:135</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a366625858f450a1ea5f985a3c83e0f14"><div class="ttname"><a href="namespaceSVF.html#a366625858f450a1ea5f985a3c83e0f14">SVF::u64_t</a></div><div class="ttdeci">unsigned long long u64_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00053">SVFType.h:53</a></div></div>
-<div class="ttc" id="aclassSVF_1_1BranchStmt_html_a7d9a6ebb2d95942c453864b5327b1ae8"><div class="ttname"><a href="classSVF_1_1BranchStmt.html#a7d9a6ebb2d95942c453864b5327b1ae8">SVF::BranchStmt::getSuccessor</a></div><div class="ttdeci">const ICFGNode * getSuccessor(u32_t i) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01155">SVFStatements.h:1155</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFValue_html_a1222d0800de27d27078e6b4a5371beb3"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a1222d0800de27d27078e6b4a5371beb3">SVF::SVFValue::toString</a></div><div class="ttdeci">std::string toString() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00125">SVFValue.cpp:125</a></div></div>
+<div class="ttc" id="aclassSVF_1_1BranchStmt_html_a7d9a6ebb2d95942c453864b5327b1ae8"><div class="ttname"><a href="classSVF_1_1BranchStmt.html#a7d9a6ebb2d95942c453864b5327b1ae8">SVF::BranchStmt::getSuccessor</a></div><div class="ttdeci">const ICFGNode * getSuccessor(u32_t i) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01158">SVFStatements.h:1158</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericEdge_html_aab8892b73370c32b48621cd1d0cce614"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#aab8892b73370c32b48621cd1d0cce614">SVF::GenericEdge::GEdgeFlag</a></div><div class="ttdeci">u64_t GEdgeFlag</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00061">GenericGraph.h:61</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFStmt_html_ad0b4dbe87e009518f22360c48b0d0c22"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#ad0b4dbe87e009518f22360c48b0d0c22">SVF::SVFStmt::toString</a></div><div class="ttdeci">virtual const std::string toString() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8cpp_source.html#l00066">SVFStatements.cpp:66</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_adaed6e68c2f53260ed4c4fc38b5c4721"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#adaed6e68c2f53260ed4c4fc38b5c4721">SVF::SymbolTableInfo::nullPtrSymID</a></div><div class="ttdeci">SymID nullPtrSymID() const</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00188">SymbolTableInfo.h:188</a></div></div>
 <div class="ttc" id="aclassSVF_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#l00180">GenericGraph.h:180</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFStmt_html_a9ea22adbfc307dddee42ffec07cc88ed"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a9ea22adbfc307dddee42ffec07cc88ed">SVF::SVFStmt::multiOpndLabelCounter</a></div><div class="ttdeci">static u64_t multiOpndLabelCounter</div><div class="ttdoc">MultiOpndStmt counter.</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00226">SVFStatements.h:226</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFStmt_html_a9ea22adbfc307dddee42ffec07cc88ed"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a9ea22adbfc307dddee42ffec07cc88ed">SVF::SVFStmt::multiOpndLabelCounter</a></div><div class="ttdeci">static u64_t multiOpndLabelCounter</div><div class="ttdoc">MultiOpndStmt counter.</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00229">SVFStatements.h:229</a></div></div>
 <div class="ttc" id="aclassSVF_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#l00085">GenericGraph.h:85</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CallPE_html_aecdf349bde9547dae7eb88c6cfd34bab"><div class="ttname"><a href="classSVF_1_1CallPE.html#aecdf349bde9547dae7eb88c6cfd34bab">SVF::CallPE::toString</a></div><div class="ttdeci">virtual const std::string toString() const override</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8cpp_source.html#l00231">SVFStatements.cpp:231</a></div></div>
 <div class="ttc" id="aOptions_8h_html"><div class="ttname"><a href="Options_8h.html">Options.h</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFStmt_html_a53b7e0d8666e37c23dc2c7d0fc931f27"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a53b7e0d8666e37c23dc2c7d0fc931f27">SVF::SVFStmt::storeEdgeLabelCounter</a></div><div class="ttdeci">static u64_t storeEdgeLabelCounter</div><div class="ttdoc">Store Instruction counter.</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00225">SVFStatements.h:225</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFStmt_html_a53b7e0d8666e37c23dc2c7d0fc931f27"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a53b7e0d8666e37c23dc2c7d0fc931f27">SVF::SVFStmt::storeEdgeLabelCounter</a></div><div class="ttdeci">static u64_t storeEdgeLabelCounter</div><div class="ttdoc">Store Instruction counter.</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00228">SVFStatements.h:228</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericGraph_html_a2f2bca8219c7d769f6d2937e5cd40d14"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a2f2bca8219c7d769f6d2937e5cd40d14">SVF::GenericGraph::incEdgeNum</a></div><div class="ttdeci">void incEdgeNum()</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00446">GenericGraph.h:446</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFStmt_html_a24c64109d27ef7549d1c7a07c391e007"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a24c64109d27ef7549d1c7a07c391e007">SVF::SVFStmt::var2LabelMap</a></div><div class="ttdeci">static Var2LabelMap var2LabelMap</div><div class="ttdoc">Second operand of MultiOpndStmt to label map.</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00223">SVFStatements.h:223</a></div></div>
-<div class="ttc" id="aclassSVF_1_1AssignStmt_html_a4cec89489e82c60c287cae3327f3f01d"><div class="ttname"><a href="classSVF_1_1AssignStmt.html#a4cec89489e82c60c287cae3327f3f01d">SVF::AssignStmt::getRHSVarID</a></div><div class="ttdeci">NodeID getRHSVarID() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00295">SVFStatements.h:295</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFStmt_html_a24c64109d27ef7549d1c7a07c391e007"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a24c64109d27ef7549d1c7a07c391e007">SVF::SVFStmt::var2LabelMap</a></div><div class="ttdeci">static Var2LabelMap var2LabelMap</div><div class="ttdoc">Second operand of MultiOpndStmt to label map.</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00226">SVFStatements.h:226</a></div></div>
+<div class="ttc" id="aclassSVF_1_1AssignStmt_html_a4cec89489e82c60c287cae3327f3f01d"><div class="ttname"><a href="classSVF_1_1AssignStmt.html#a4cec89489e82c60c287cae3327f3f01d">SVF::AssignStmt::getRHSVarID</a></div><div class="ttdeci">NodeID getRHSVarID() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00298">SVFStatements.h:298</a></div></div>
 <div class="ttc" id="aclassSVF_1_1RetPE_html_a0af89e939e91a980a083f931b209aea0"><div class="ttname"><a href="classSVF_1_1RetPE.html#a0af89e939e91a980a083f931b209aea0">SVF::RetPE::RetPE</a></div><div class="ttdeci">RetPE(const RetPE &amp;)</div><div class="ttdoc">place holder</div></div>
 <div class="ttc" id="aclassSVF_1_1GenericEdge_html_ae6792506a0150a9400d635eceab7f9e7"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#ae6792506a0150a9400d635eceab7f9e7">SVF::GenericEdge::getSrcID</a></div><div class="ttdeci">NodeID getSrcID() const</div><div class="ttdoc">get methods of the components</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00081">GenericGraph.h:81</a></div></div>
-<div class="ttc" id="aclassSVF_1_1CmpStmt_html_a6e11c486468a8fe0f7aa38a0546b8328"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#a6e11c486468a8fe0f7aa38a0546b8328">SVF::CmpStmt::CmpStmt</a></div><div class="ttdeci">CmpStmt()</div><div class="ttdoc">Constructs empty CmpStmt (for SVFIRReader/serilization)</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00864">SVFStatements.h:864</a></div></div>
+<div class="ttc" id="aclassSVF_1_1CmpStmt_html_a6e11c486468a8fe0f7aa38a0546b8328"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#a6e11c486468a8fe0f7aa38a0546b8328">SVF::CmpStmt::CmpStmt</a></div><div class="ttdeci">CmpStmt()</div><div class="ttdoc">Constructs empty CmpStmt (for SVFIRReader/serilization)</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00867">SVFStatements.h:867</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SelectStmt_html_a7d1a9feec3ada330ed5aba9c35056b39"><div class="ttname"><a href="classSVF_1_1SelectStmt.html#a7d1a9feec3ada330ed5aba9c35056b39">SVF::SelectStmt::toString</a></div><div class="ttdeci">virtual const std::string toString() const override</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8cpp_source.html#l00116">SVFStatements.cpp:116</a></div></div>
-<div class="ttc" id="aclassSVF_1_1MultiOpndStmt_html_a18f9d9ea87def35d4eaa707a339316b8"><div class="ttname"><a href="classSVF_1_1MultiOpndStmt.html#a18f9d9ea87def35d4eaa707a339316b8">SVF::MultiOpndStmt::getOpVar</a></div><div class="ttdeci">const SVFVar * getOpVar(u32_t pos) const</div><div class="ttdoc">Operand SVFVars.</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00698">SVFStatements.h:698</a></div></div>
+<div class="ttc" id="aclassSVF_1_1MultiOpndStmt_html_a18f9d9ea87def35d4eaa707a339316b8"><div class="ttname"><a href="classSVF_1_1MultiOpndStmt.html#a18f9d9ea87def35d4eaa707a339316b8">SVF::MultiOpndStmt::getOpVar</a></div><div class="ttdeci">const SVFVar * getOpVar(u32_t pos) const</div><div class="ttdoc">Operand SVFVars.</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00701">SVFStatements.h:701</a></div></div>
 <div class="ttc" id="acJSON_8h_html_ad4c68ea99a26b0a98ad9a79982960458"><div class="ttname"><a href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">string</a></div><div class="ttdeci">const char *const string</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00172">cJSON.h:172</a></div></div>
-<div class="ttc" id="aclassSVF_1_1UnaryOPStmt_html_abde2b32d5bbd37df0e194b1a4e78483b"><div class="ttname"><a href="classSVF_1_1UnaryOPStmt.html#abde2b32d5bbd37df0e194b1a4e78483b">SVF::UnaryOPStmt::getOpVar</a></div><div class="ttdeci">const SVFVar * getOpVar() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01063">SVFStatements.h:1063</a></div></div>
+<div class="ttc" id="aclassSVF_1_1UnaryOPStmt_html_abde2b32d5bbd37df0e194b1a4e78483b"><div class="ttname"><a href="classSVF_1_1UnaryOPStmt.html#abde2b32d5bbd37df0e194b1a4e78483b">SVF::UnaryOPStmt::getOpVar</a></div><div class="ttdeci">const SVFVar * getOpVar() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01066">SVFStatements.h:1066</a></div></div>
 <div class="ttc" id="aclassSVF_1_1UnaryOPStmt_html_ae2ffeaec2d2e4de69826495006c35856"><div class="ttname"><a href="classSVF_1_1UnaryOPStmt.html#ae2ffeaec2d2e4de69826495006c35856">SVF::UnaryOPStmt::getResID</a></div><div class="ttdeci">NodeID getResID() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8cpp_source.html#l00298">SVFStatements.cpp:298</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIR_html_a37cfa2aa4e7b98ef9dc8179f581a2362"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a37cfa2aa4e7b98ef9dc8179f581a2362">SVF::SVFIR::getPAG</a></div><div class="ttdeci">static SVFIR * getPAG(bool buildFromFile=false)</div><div class="ttdoc">Singleton design here to make sure we only have one instance during any analysis.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00113">SVFIR.h:113</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MultiOpndStmt_html_a60420a9681df31686eb4a42adf37e1e3"><div class="ttname"><a href="classSVF_1_1MultiOpndStmt.html#a60420a9681df31686eb4a42adf37e1e3">SVF::MultiOpndStmt::MultiOpndStmt</a></div><div class="ttdeci">MultiOpndStmt()</div><div class="ttdoc">place holder</div></div>
@@ -476,50 +475,51 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1BranchStmt_html_a71e7e95f095a937c900d049991312901"><div class="ttname"><a href="classSVF_1_1BranchStmt.html#a71e7e95f095a937c900d049991312901">SVF::BranchStmt::isConditional</a></div><div class="ttdeci">bool isConditional() const</div><div class="ttdoc">The branch is conditional if cond is not a null value.</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8cpp_source.html#l00317">SVFStatements.cpp:317</a></div></div>
 <div class="ttc" id="aclassSVF_1_1IntraICFGNode_html"><div class="ttname"><a href="classSVF_1_1IntraICFGNode.html">SVF::IntraICFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00180">ICFGNode.h:180</a></div></div>
 <div class="ttc" id="aSVFIR_8h_html"><div class="ttname"><a href="SVFIR_8h.html">SVFIR.h</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SelectStmt_html_ad4c3e9529176478bb726279a76050e8c"><div class="ttname"><a href="classSVF_1_1SelectStmt.html#ad4c3e9529176478bb726279a76050e8c">SVF::SelectStmt::getCondition</a></div><div class="ttdeci">const SVFVar * getCondition() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00840">SVFStatements.h:840</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SelectStmt_html_ad4c3e9529176478bb726279a76050e8c"><div class="ttname"><a href="classSVF_1_1SelectStmt.html#ad4c3e9529176478bb726279a76050e8c">SVF::SelectStmt::getCondition</a></div><div class="ttdeci">const SVFVar * getCondition() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00843">SVFStatements.h:843</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GepStmt_html_acae68ff97d408a1dd929b0348415c81d"><div class="ttname"><a href="classSVF_1_1GepStmt.html#acae68ff97d408a1dd929b0348415c81d">SVF::GepStmt::toString</a></div><div class="ttdeci">virtual const std::string toString() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8cpp_source.html#l00218">SVFStatements.cpp:218</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PhiStmt_html_a09575a14aa359a0795b4d6c83bee487a"><div class="ttname"><a href="classSVF_1_1PhiStmt.html#a09575a14aa359a0795b4d6c83bee487a">SVF::PhiStmt::toString</a></div><div class="ttdeci">virtual const std::string toString() const override</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8cpp_source.html#l00100">SVFStatements.cpp:100</a></div></div>
-<div class="ttc" id="aclassSVF_1_1MultiOpndStmt_html_a0441f2646fed28830439c41a0704ed4b"><div class="ttname"><a href="classSVF_1_1MultiOpndStmt.html#a0441f2646fed28830439c41a0704ed4b">SVF::MultiOpndStmt::getOpndVars</a></div><div class="ttdeci">const OPVars &amp; getOpndVars() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00715">SVFStatements.h:715</a></div></div>
+<div class="ttc" id="aclassSVF_1_1MultiOpndStmt_html_a0441f2646fed28830439c41a0704ed4b"><div class="ttname"><a href="classSVF_1_1MultiOpndStmt.html#a0441f2646fed28830439c41a0704ed4b">SVF::MultiOpndStmt::getOpndVars</a></div><div class="ttdeci">const OPVars &amp; getOpndVars() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00718">SVFStatements.h:718</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericEdge_html"><div class="ttname"><a href="classSVF_1_1GenericEdge.html">SVF::GenericEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00049">GenericGraph.h:49</a></div></div>
 <div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_a138547516e2676c297a27d762544f2aa"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#a138547516e2676c297a27d762544f2aa">SVF::BinaryOPStmt::toString</a></div><div class="ttdeci">virtual const std::string toString() const override</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8cpp_source.html#l00145">SVFStatements.cpp:145</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFStmt_html"><div class="ttname"><a href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00051">SVFStatements.h:51</a></div></div>
 <div class="ttc" id="aclassSVF_1_1UnaryOPStmt_html_a8029b46bccda153ca2e677686c2655e2"><div class="ttname"><a href="classSVF_1_1UnaryOPStmt.html#a8029b46bccda153ca2e677686c2655e2">SVF::UnaryOPStmt::getOpVarID</a></div><div class="ttdeci">NodeID getOpVarID() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8cpp_source.html#l00294">SVFStatements.cpp:294</a></div></div>
 <div class="ttc" id="aclassSVF_1_1BranchStmt_html_a038d65e38fe792fec4050d3d1c9c5180"><div class="ttname"><a href="classSVF_1_1BranchStmt.html#a038d65e38fe792fec4050d3d1c9c5180">SVF::BranchStmt::isUnconditional</a></div><div class="ttdeci">bool isUnconditional() const</div><div class="ttdoc">The branch is unconditional if cond is a null value.</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8cpp_source.html#l00312">SVFStatements.cpp:312</a></div></div>
-<div class="ttc" id="aclassSVF_1_1UnaryOPStmt_html_a919db9b8c9287c3802f563840b56c4f1"><div class="ttname"><a href="classSVF_1_1UnaryOPStmt.html#a919db9b8c9287c3802f563840b56c4f1">SVF::UnaryOPStmt::getRes</a></div><div class="ttdeci">const SVFVar * getRes() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01067">SVFStatements.h:1067</a></div></div>
+<div class="ttc" id="aclassSVF_1_1UnaryOPStmt_html_a919db9b8c9287c3802f563840b56c4f1"><div class="ttname"><a href="classSVF_1_1UnaryOPStmt.html#a919db9b8c9287c3802f563840b56c4f1">SVF::UnaryOPStmt::getRes</a></div><div class="ttdeci">const SVFVar * getRes() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01070">SVFStatements.h:1070</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFVar_html"><div class="ttname"><a href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00045">SVFVariables.h:45</a></div></div>
 <div class="ttc" id="aclassSVF_1_1UnaryOPStmt_html_a1d5eced1a537eeab82d24f451d6b7f65"><div class="ttname"><a href="classSVF_1_1UnaryOPStmt.html#a1d5eced1a537eeab82d24f451d6b7f65">SVF::UnaryOPStmt::toString</a></div><div class="ttdeci">virtual const std::string toString() const override</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8cpp_source.html#l00158">SVFStatements.cpp:158</a></div></div>
 <div class="ttc" id="aclassSVF_1_1StoreStmt_html_a3b9692c3de9437c4f686f646aa6b4aac"><div class="ttname"><a href="classSVF_1_1StoreStmt.html#a3b9692c3de9437c4f686f646aa6b4aac">SVF::StoreStmt::toString</a></div><div class="ttdeci">virtual const std::string toString() const override</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8cpp_source.html#l00205">SVFStatements.cpp:205</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CmpStmt_html_a2f050b8af64dbe5e6bace2a82167a439"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#a2f050b8af64dbe5e6bace2a82167a439">SVF::CmpStmt::toString</a></div><div class="ttdeci">virtual const std::string toString() const override</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8cpp_source.html#l00132">SVFStatements.cpp:132</a></div></div>
-<div class="ttc" id="aclassSVF_1_1MultiOpndStmt_html"><div class="ttname"><a href="classSVF_1_1MultiOpndStmt.html">SVF::MultiOpndStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00652">SVFStatements.h:652</a></div></div>
+<div class="ttc" id="aclassSVF_1_1MultiOpndStmt_html"><div class="ttname"><a href="classSVF_1_1MultiOpndStmt.html">SVF::MultiOpndStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00655">SVFStatements.h:655</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CopyStmt_html_ad72ccb8ab29258b7c0fb54c48e8dec3a"><div class="ttname"><a href="classSVF_1_1CopyStmt.html#ad72ccb8ab29258b7c0fb54c48e8dec3a">SVF::CopyStmt::toString</a></div><div class="ttdeci">virtual const std::string toString() const override</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8cpp_source.html#l00087">SVFStatements.cpp:87</a></div></div>
 <div class="ttc" id="aSVFStatements_8h_html"><div class="ttname"><a href="SVFStatements_8h.html">SVFStatements.h</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_a267169023fc4f8dd66b145f7231fec11"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a267169023fc4f8dd66b145f7231fec11">SVF::SymbolTableInfo::SymbolInfo</a></div><div class="ttdeci">static SymbolTableInfo * SymbolInfo()</div><div class="ttdoc">Singleton design here to make sure we only have one instance during any analysis.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00081">SymbolTableInfo.cpp:81</a></div></div>
-<div class="ttc" id="aclassSVF_1_1PhiStmt_html_a0b97394bc1946c0185d2c11fbc2181f4"><div class="ttname"><a href="classSVF_1_1PhiStmt.html#a0b97394bc1946c0185d2c11fbc2181f4">SVF::PhiStmt::getOpICFGNode</a></div><div class="ttdeci">const ICFGNode * getOpICFGNode(u32_t op_idx) const</div><div class="ttdoc">Return the corresponding ICFGNode of this operand.</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00787">SVFStatements.h:787</a></div></div>
+<div class="ttc" id="aclassSVF_1_1PhiStmt_html_a0b97394bc1946c0185d2c11fbc2181f4"><div class="ttname"><a href="classSVF_1_1PhiStmt.html#a0b97394bc1946c0185d2c11fbc2181f4">SVF::PhiStmt::getOpICFGNode</a></div><div class="ttdeci">const ICFGNode * getOpICFGNode(u32_t op_idx) const</div><div class="ttdoc">Return the corresponding ICFGNode of this operand.</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00790">SVFStatements.h:790</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFStmt_html_a0b6c03af568b70903da6b200ac86c951"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0b6c03af568b70903da6b200ac86c951">SVF::SVFStmt::isPTAEdge</a></div><div class="ttdeci">bool isPTAEdge() const</div><div class="ttdoc">Whether src and dst nodes are both of pointer type.</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8cpp_source.html#l00061">SVFStatements.cpp:61</a></div></div>
 <div class="ttc" id="aclassSVF_1_1BranchStmt_html_a915384027ae53e99311f05a08edf99f0"><div class="ttname"><a href="classSVF_1_1BranchStmt.html#a915384027ae53e99311f05a08edf99f0">SVF::BranchStmt::getCondition</a></div><div class="ttdeci">const SVFVar * getCondition() const</div><div class="ttdoc">Return the condition.</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8cpp_source.html#l00322">SVFStatements.cpp:322</a></div></div>
 <div class="ttc" id="aclassSVF_1_1BranchStmt_html_afc44edd6d1d5c855dc2169d26629377f"><div class="ttname"><a href="classSVF_1_1BranchStmt.html#afc44edd6d1d5c855dc2169d26629377f">SVF::BranchStmt::toString</a></div><div class="ttdeci">virtual const std::string toString() const override</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8cpp_source.html#l00171">SVFStatements.cpp:171</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFStmt_html_abb784290c90d26f35897fa15bae277d2"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#abb784290c90d26f35897fa15bae277d2">SVF::SVFStmt::getValue</a></div><div class="ttdeci">const SVFValue * getValue() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00147">SVFStatements.h:147</a></div></div>
 <div class="ttc" id="aclassSVF_1_1AddrStmt_html_abf9453ed58c6946640a85be31512c0e8"><div class="ttname"><a href="classSVF_1_1AddrStmt.html#abf9453ed58c6946640a85be31512c0e8">SVF::AddrStmt::toString</a></div><div class="ttdeci">virtual const std::string toString() const override</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8cpp_source.html#l00074">SVFStatements.cpp:74</a></div></div>
-<div class="ttc" id="aclassSVF_1_1MultiOpndStmt_html_a00a14ad8f49912b876fd9d729fea4601"><div class="ttname"><a href="classSVF_1_1MultiOpndStmt.html#a00a14ad8f49912b876fd9d729fea4601">SVF::MultiOpndStmt::getRes</a></div><div class="ttdeci">const SVFVar * getRes() const</div><div class="ttdoc">Result SVFVar.</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00703">SVFStatements.h:703</a></div></div>
+<div class="ttc" id="aclassSVF_1_1MultiOpndStmt_html_a00a14ad8f49912b876fd9d729fea4601"><div class="ttname"><a href="classSVF_1_1MultiOpndStmt.html#a00a14ad8f49912b876fd9d729fea4601">SVF::MultiOpndStmt::getRes</a></div><div class="ttdeci">const SVFVar * getRes() const</div><div class="ttdoc">Result SVFVar.</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00706">SVFStatements.h:706</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericGraph_html_a29cab1426b0000bd87c026ab8c9979c0"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a29cab1426b0000bd87c026ab8c9979c0">SVF::GenericGraph::getTotalEdgeNum</a></div><div class="ttdeci">u32_t getTotalEdgeNum() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00437">GenericGraph.h:437</a></div></div>
-<div class="ttc" id="aclassSVF_1_1CmpStmt_html_aa6a21fb1cfbc263bb38651176c495632"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#aa6a21fb1cfbc263bb38651176c495632">SVF::CmpStmt::getPredicate</a></div><div class="ttdeci">u32_t getPredicate() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00932">SVFStatements.h:932</a></div></div>
+<div class="ttc" id="aclassSVF_1_1CmpStmt_html_aa6a21fb1cfbc263bb38651176c495632"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#aa6a21fb1cfbc263bb38651176c495632">SVF::CmpStmt::getPredicate</a></div><div class="ttdeci">u32_t getPredicate() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00935">SVFStatements.h:935</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFValue_html_a4a0cfe3a8f37d33ffcdca3d66026dcc3"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">SVF::SVFValue::toString</a></div><div class="ttdeci">std::string toString() const</div><div class="ttdoc">Needs to be implemented by a SVF front end.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l01038">LLVMUtil.cpp:1038</a></div></div>
 <div class="ttc" id="aclassSVF_1_1FunExitICFGNode_html"><div class="ttname"><a href="classSVF_1_1FunExitICFGNode.html">SVF::FunExitICFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00324">ICFGNode.h:324</a></div></div>
 <div class="ttc" id="aclassSVF_1_1RetPE_html_a68aa24dcabeae26bcc4184110fbb50ef"><div class="ttname"><a href="classSVF_1_1RetPE.html#a68aa24dcabeae26bcc4184110fbb50ef">SVF::RetPE::toString</a></div><div class="ttdeci">virtual const std::string toString() const override</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8cpp_source.html#l00244">SVFStatements.cpp:244</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFStmt_html_ad178ccbc7800527c3dc406ad5fa069bb"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#ad178ccbc7800527c3dc406ad5fa069bb">SVF::SVFStmt::Var2LabelMap</a></div><div class="ttdeci">Map&lt; const SVFVar *, u32_t &gt; Var2LabelMap</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00221">SVFStatements.h:221</a></div></div>
-<div class="ttc" id="aclassSVF_1_1UnaryOPStmt_html_af29723d5e777b10d53d48263a786f5b6"><div class="ttname"><a href="classSVF_1_1UnaryOPStmt.html#af29723d5e777b10d53d48263a786f5b6">SVF::UnaryOPStmt::getOpcode</a></div><div class="ttdeci">u32_t getOpcode() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01059">SVFStatements.h:1059</a></div></div>
-<div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_ad0a7c5e87355d7a83176343322db448f"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#ad0a7c5e87355d7a83176343322db448f">SVF::BinaryOPStmt::getOpcode</a></div><div class="ttdeci">u32_t getOpcode() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01002">SVFStatements.h:1002</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFStmt_html_ad178ccbc7800527c3dc406ad5fa069bb"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#ad178ccbc7800527c3dc406ad5fa069bb">SVF::SVFStmt::Var2LabelMap</a></div><div class="ttdeci">Map&lt; const SVFVar *, u32_t &gt; Var2LabelMap</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00224">SVFStatements.h:224</a></div></div>
+<div class="ttc" id="aclassSVF_1_1UnaryOPStmt_html_af29723d5e777b10d53d48263a786f5b6"><div class="ttname"><a href="classSVF_1_1UnaryOPStmt.html#af29723d5e777b10d53d48263a786f5b6">SVF::UnaryOPStmt::getOpcode</a></div><div class="ttdeci">u32_t getOpcode() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01062">SVFStatements.h:1062</a></div></div>
+<div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_ad0a7c5e87355d7a83176343322db448f"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#ad0a7c5e87355d7a83176343322db448f">SVF::BinaryOPStmt::getOpcode</a></div><div class="ttdeci">u32_t getOpcode() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01005">SVFStatements.h:1005</a></div></div>
 <div class="ttc" id="aclassSVF_1_1LoadStmt_html_a5c930e62bc3b03c9dfa4a8dbe9b4df2a"><div class="ttname"><a href="classSVF_1_1LoadStmt.html#a5c930e62bc3b03c9dfa4a8dbe9b4df2a">SVF::LoadStmt::toString</a></div><div class="ttdeci">virtual const std::string toString() const override</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8cpp_source.html#l00192">SVFStatements.cpp:192</a></div></div>
-<div class="ttc" id="aclassSVF_1_1AssignStmt_html"><div class="ttname"><a href="classSVF_1_1AssignStmt.html">SVF::AssignStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00234">SVFStatements.h:234</a></div></div>
-<div class="ttc" id="aclassSVF_1_1AssignStmt_html_a98f731be7be9bc8e7fd09f5c2204c840"><div class="ttname"><a href="classSVF_1_1AssignStmt.html#a98f731be7be9bc8e7fd09f5c2204c840">SVF::AssignStmt::getLHSVarID</a></div><div class="ttdeci">NodeID getLHSVarID() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00299">SVFStatements.h:299</a></div></div>
-<div class="ttc" id="aclassSVF_1_1MultiOpndStmt_html_af300571886b7aa2d84b0a70851c99bc3"><div class="ttname"><a href="classSVF_1_1MultiOpndStmt.html#af300571886b7aa2d84b0a70851c99bc3">SVF::MultiOpndStmt::getOpVarNum</a></div><div class="ttdeci">u32_t getOpVarNum() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00711">SVFStatements.h:711</a></div></div>
+<div class="ttc" id="aclassSVF_1_1AssignStmt_html"><div class="ttname"><a href="classSVF_1_1AssignStmt.html">SVF::AssignStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00237">SVFStatements.h:237</a></div></div>
+<div class="ttc" id="aclassSVF_1_1AssignStmt_html_a98f731be7be9bc8e7fd09f5c2204c840"><div class="ttname"><a href="classSVF_1_1AssignStmt.html#a98f731be7be9bc8e7fd09f5c2204c840">SVF::AssignStmt::getLHSVarID</a></div><div class="ttdeci">NodeID getLHSVarID() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00302">SVFStatements.h:302</a></div></div>
+<div class="ttc" id="aclassSVF_1_1MultiOpndStmt_html_af300571886b7aa2d84b0a70851c99bc3"><div class="ttname"><a href="classSVF_1_1MultiOpndStmt.html#af300571886b7aa2d84b0a70851c99bc3">SVF::MultiOpndStmt::getOpVarNum</a></div><div class="ttdeci">u32_t getOpVarNum() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00714">SVFStatements.h:714</a></div></div>
 <div class="ttc" id="aclassSVF_1_1TDForkPE_html_aa385dc7e7e439cb4d8ee1524c8fbf9fe"><div class="ttname"><a href="classSVF_1_1TDForkPE.html#aa385dc7e7e439cb4d8ee1524c8fbf9fe">SVF::TDForkPE::toString</a></div><div class="ttdeci">virtual const std::string toString() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8cpp_source.html#l00257">SVFStatements.cpp:257</a></div></div>
 <div class="ttc" id="anamespaceSVF_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="svf-llvm_2tools_2MTA_2MTAResultValidator_8h_source.html#l00020">MTAResultValidator.h:20</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MultiOpndStmt_html_a71a530eb9fa9f7e273e471b4a75a039e"><div class="ttname"><a href="classSVF_1_1MultiOpndStmt.html#a71a530eb9fa9f7e273e471b4a75a039e">SVF::MultiOpndStmt::getResID</a></div><div class="ttdeci">NodeID getResID() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8cpp_source.html#l00289">SVFStatements.cpp:289</a></div></div>
-<div class="ttc" id="aclassSVF_1_1BranchStmt_html_a022d355bde3d0d0a9471cd125b24583b"><div class="ttname"><a href="classSVF_1_1BranchStmt.html#a022d355bde3d0d0a9471cd125b24583b">SVF::BranchStmt::getNumSuccessors</a></div><div class="ttdeci">u32_t getNumSuccessors() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01147">SVFStatements.h:1147</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SelectStmt_html_a995baa18cc36d0671be3e98761f9879a"><div class="ttname"><a href="classSVF_1_1SelectStmt.html#a995baa18cc36d0671be3e98761f9879a">SVF::SelectStmt::SelectStmt</a></div><div class="ttdeci">SelectStmt()</div><div class="ttdoc">Constructs empty SelectStmt (for SVFIRReader/serilization)</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00809">SVFStatements.h:809</a></div></div>
-<div class="ttc" id="aclassSVF_1_1BranchStmt_html_adcf5cabe6e0a87cded5ef1fdf7273f3f"><div class="ttname"><a href="classSVF_1_1BranchStmt.html#adcf5cabe6e0a87cded5ef1fdf7273f3f">SVF::BranchStmt::cond</a></div><div class="ttdeci">const SVFVar * cond</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01099">SVFStatements.h:1099</a></div></div>
+<div class="ttc" id="aclassSVF_1_1BranchStmt_html_a022d355bde3d0d0a9471cd125b24583b"><div class="ttname"><a href="classSVF_1_1BranchStmt.html#a022d355bde3d0d0a9471cd125b24583b">SVF::BranchStmt::getNumSuccessors</a></div><div class="ttdeci">u32_t getNumSuccessors() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01150">SVFStatements.h:1150</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SelectStmt_html_a995baa18cc36d0671be3e98761f9879a"><div class="ttname"><a href="classSVF_1_1SelectStmt.html#a995baa18cc36d0671be3e98761f9879a">SVF::SelectStmt::SelectStmt</a></div><div class="ttdeci">SelectStmt()</div><div class="ttdoc">Constructs empty SelectStmt (for SVFIRReader/serilization)</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00812">SVFStatements.h:812</a></div></div>
+<div class="ttc" id="aclassSVF_1_1BranchStmt_html_adcf5cabe6e0a87cded5ef1fdf7273f3f"><div class="ttname"><a href="classSVF_1_1BranchStmt.html#adcf5cabe6e0a87cded5ef1fdf7273f3f">SVF::BranchStmt::cond</a></div><div class="ttdeci">const SVFVar * cond</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01102">SVFStatements.h:1102</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PhiStmt_html_a8e55ddef627096c78bb2c8b6f9c77140"><div class="ttname"><a href="classSVF_1_1PhiStmt.html#a8e55ddef627096c78bb2c8b6f9c77140">SVF::PhiStmt::isFunctionRetPhi</a></div><div class="ttdeci">bool isFunctionRetPhi() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8cpp_source.html#l00305">SVFStatements.cpp:305</a></div></div>
-<div class="ttc" id="aclassSVF_1_1StoreStmt_html_acbea1ddbde90259b668b21f80f56cfbb"><div class="ttname"><a href="classSVF_1_1StoreStmt.html#acbea1ddbde90259b668b21f80f56cfbb">SVF::StoreStmt::StoreStmt</a></div><div class="ttdeci">StoreStmt()</div><div class="ttdoc">Constructs empty StoreStmt (for SVFIRReader/serilization)</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00390">SVFStatements.h:390</a></div></div>
+<div class="ttc" id="aclassSVF_1_1StoreStmt_html_acbea1ddbde90259b668b21f80f56cfbb"><div class="ttname"><a href="classSVF_1_1StoreStmt.html#acbea1ddbde90259b668b21f80f56cfbb">SVF::StoreStmt::StoreStmt</a></div><div class="ttdeci">StoreStmt()</div><div class="ttdoc">Constructs empty StoreStmt (for SVFIRReader/serilization)</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00393">SVFStatements.h:393</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericEdge_html_aeaa31a2c8479e831b36ce2e2582ceb86"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#aeaa31a2c8479e831b36ce2e2582ceb86">SVF::GenericEdge::getDstNode</a></div><div class="ttdeci">NodeType * getDstNode() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00101">GenericGraph.h:101</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_ad42bff8d0a7d60a085aa32d10f4955af"><div class="ttname"><a href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF::u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00051">SVFType.h:51</a></div></div>
 <!-- start footer part -->