svf-tools 1.0.758 → 1.0.760

package/SVF-doxygen/html/html/classSVF_1_1SVFConstantFP.html

@@ -214,7 +214,7 @@ Additional Inherited Members</h2></td></tr>
 </table>
 <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
 <div class="textblock">
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00956">956</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00962">962</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
 </div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
 <a id="a85f6c8bd4169c01e46170b001d3a5a80"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#a85f6c8bd4169c01e46170b001d3a5a80">&#9670;&nbsp;</a></span>SVFConstantFP() <span class="overload">[1/2]</span></h2>
@@ -250,10 +250,10 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00963">963</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00964"></a><span class="lineno">  964</span>&#160;        : <a class="code" href="classSVF_1_1SVFConstantData.html#a057d3aebc842d72d2b89f661d18b6e34">SVFConstantData</a>(ty, <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea69211a5785ed3da7924e6dcc7b604c82">SVFValue::SVFConstFP</a>), <a class="code" href="classSVF_1_1SVFConstantFP.html#aa1d551ad74dd5ce3eb4b7d639aec31a9">dval</a>(d)</div>
-<div class="line"><a name="l00965"></a><span class="lineno">  965</span>&#160;    {</div>
-<div class="line"><a name="l00966"></a><span class="lineno">  966</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00969">969</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00970"></a><span class="lineno">  970</span>&#160;        : <a class="code" href="classSVF_1_1SVFConstantData.html#a057d3aebc842d72d2b89f661d18b6e34">SVFConstantData</a>(ty, <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea69211a5785ed3da7924e6dcc7b604c82">SVFValue::SVFConstFP</a>), <a class="code" href="classSVF_1_1SVFConstantFP.html#aa1d551ad74dd5ce3eb4b7d639aec31a9">dval</a>(d)</div>
+<div class="line"><a name="l00971"></a><span class="lineno">  971</span>&#160;    {</div>
+<div class="line"><a name="l00972"></a><span class="lineno">  972</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -307,10 +307,10 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00977">977</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00978"></a><span class="lineno">  978</span>&#160;    {</div>
-<div class="line"><a name="l00979"></a><span class="lineno">  979</span>&#160;        <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea69211a5785ed3da7924e6dcc7b604c82">SVFConstFP</a>;</div>
-<div class="line"><a name="l00980"></a><span class="lineno">  980</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00983">983</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00984"></a><span class="lineno">  984</span>&#160;    {</div>
+<div class="line"><a name="l00985"></a><span class="lineno">  985</span>&#160;        <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea69211a5785ed3da7924e6dcc7b604c82">SVFConstFP</a>;</div>
+<div class="line"><a name="l00986"></a><span class="lineno">  986</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -338,10 +338,10 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00973">973</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00974"></a><span class="lineno">  974</span>&#160;    {</div>
-<div class="line"><a name="l00975"></a><span class="lineno">  975</span>&#160;        <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea69211a5785ed3da7924e6dcc7b604c82">SVFConstFP</a>;</div>
-<div class="line"><a name="l00976"></a><span class="lineno">  976</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00979">979</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00980"></a><span class="lineno">  980</span>&#160;    {</div>
+<div class="line"><a name="l00981"></a><span class="lineno">  981</span>&#160;        <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea69211a5785ed3da7924e6dcc7b604c82">SVFConstFP</a>;</div>
+<div class="line"><a name="l00982"></a><span class="lineno">  982</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -368,10 +368,10 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00969">969</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00970"></a><span class="lineno">  970</span>&#160;    {</div>
-<div class="line"><a name="l00971"></a><span class="lineno">  971</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFConstantFP.html#aa1d551ad74dd5ce3eb4b7d639aec31a9">dval</a>;</div>
-<div class="line"><a name="l00972"></a><span class="lineno">  972</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00975">975</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00976"></a><span class="lineno">  976</span>&#160;    {</div>
+<div class="line"><a name="l00977"></a><span class="lineno">  977</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFConstantFP.html#aa1d551ad74dd5ce3eb4b7d639aec31a9">dval</a>;</div>
+<div class="line"><a name="l00978"></a><span class="lineno">  978</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -396,7 +396,7 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00959">959</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00965">965</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
 
 </div>
 </div>
@@ -420,7 +420,7 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00958">958</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00964">964</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
 
 </div>
 </div>
@@ -445,7 +445,7 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00961">961</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00967">967</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
 
 </div>
 </div>
@@ -455,7 +455,7 @@ Additional Inherited Members</h2></td></tr>
 </div><!-- contents -->
 <div class="ttc" id="aclassSVF_1_1SVFConstantData_html_a057d3aebc842d72d2b89f661d18b6e34"><div class="ttname"><a href="classSVF_1_1SVFConstantData.html#a057d3aebc842d72d2b89f661d18b6e34">SVF::SVFConstantData::SVFConstantData</a></div><div class="ttdeci">SVFConstantData()=delete</div></div>
 <div class="ttc" id="aclassSVF_1_1SVFValue_html_afb50ea5aeea7a0608a3c9335aea6860ea69211a5785ed3da7924e6dcc7b604c82"><div class="ttname"><a href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea69211a5785ed3da7924e6dcc7b604c82">SVF::SVFValue::SVFConstFP</a></div><div class="ttdeci">@ SVFConstFP</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00172">SVFValue.h:172</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFConstantFP_html_aa1d551ad74dd5ce3eb4b7d639aec31a9"><div class="ttname"><a href="classSVF_1_1SVFConstantFP.html#aa1d551ad74dd5ce3eb4b7d639aec31a9">SVF::SVFConstantFP::dval</a></div><div class="ttdeci">float dval</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00961">SVFValue.h:961</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFConstantFP_html_aa1d551ad74dd5ce3eb4b7d639aec31a9"><div class="ttname"><a href="classSVF_1_1SVFConstantFP.html#aa1d551ad74dd5ce3eb4b7d639aec31a9">SVF::SVFConstantFP::dval</a></div><div class="ttdeci">float dval</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00967">SVFValue.h:967</a></div></div>
 <!-- start footer part -->
 <hr class="footer"/><address class="footer"><small>
 Generated by &#160;<a href="http://www.doxygen.org/index.html">

package/SVF-doxygen/html/html/classSVF_1_1SVFConstantInt.html

@@ -218,7 +218,7 @@ Additional Inherited Members</h2></td></tr>
 </table>
 <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
 <div class="textblock">
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00922">922</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00928">928</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
 </div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
 <a id="a66b861e33c5a3911ecd8e6e4441cb664"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#a66b861e33c5a3911ecd8e6e4441cb664">&#9670;&nbsp;</a></span>SVFConstantInt() <span class="overload">[1/2]</span></h2>
@@ -260,10 +260,10 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00930">930</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00931"></a><span class="lineno">  931</span>&#160;        : <a class="code" href="classSVF_1_1SVFConstantData.html#a057d3aebc842d72d2b89f661d18b6e34">SVFConstantData</a>(ty, <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea7e9f41a359d4c5ab8a7881c3a31dc814">SVFValue::SVFConstInt</a>), <a class="code" href="classSVF_1_1SVFConstantInt.html#ab6876d8be0707cbd05b467445a59d587">zval</a>(z), <a class="code" href="classSVF_1_1SVFConstantInt.html#a484bcb1494a2c0c946e85f39f7961671">sval</a>(s)</div>
-<div class="line"><a name="l00932"></a><span class="lineno">  932</span>&#160;    {</div>
-<div class="line"><a name="l00933"></a><span class="lineno">  933</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00936">936</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00937"></a><span class="lineno">  937</span>&#160;        : <a class="code" href="classSVF_1_1SVFConstantData.html#a057d3aebc842d72d2b89f661d18b6e34">SVFConstantData</a>(ty, <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea7e9f41a359d4c5ab8a7881c3a31dc814">SVFValue::SVFConstInt</a>), <a class="code" href="classSVF_1_1SVFConstantInt.html#ab6876d8be0707cbd05b467445a59d587">zval</a>(z), <a class="code" href="classSVF_1_1SVFConstantInt.html#a484bcb1494a2c0c946e85f39f7961671">sval</a>(s)</div>
+<div class="line"><a name="l00938"></a><span class="lineno">  938</span>&#160;    {</div>
+<div class="line"><a name="l00939"></a><span class="lineno">  939</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -317,10 +317,10 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00940">940</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00941"></a><span class="lineno">  941</span>&#160;    {</div>
-<div class="line"><a name="l00942"></a><span class="lineno">  942</span>&#160;        <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea7e9f41a359d4c5ab8a7881c3a31dc814">SVFConstInt</a>;</div>
-<div class="line"><a name="l00943"></a><span class="lineno">  943</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00946">946</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00947"></a><span class="lineno">  947</span>&#160;    {</div>
+<div class="line"><a name="l00948"></a><span class="lineno">  948</span>&#160;        <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea7e9f41a359d4c5ab8a7881c3a31dc814">SVFConstInt</a>;</div>
+<div class="line"><a name="l00949"></a><span class="lineno">  949</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -348,10 +348,10 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00936">936</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00937"></a><span class="lineno">  937</span>&#160;    {</div>
-<div class="line"><a name="l00938"></a><span class="lineno">  938</span>&#160;        <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea7e9f41a359d4c5ab8a7881c3a31dc814">SVFConstInt</a>;</div>
-<div class="line"><a name="l00939"></a><span class="lineno">  939</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00942">942</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00943"></a><span class="lineno">  943</span>&#160;    {</div>
+<div class="line"><a name="l00944"></a><span class="lineno">  944</span>&#160;        <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea7e9f41a359d4c5ab8a7881c3a31dc814">SVFConstInt</a>;</div>
+<div class="line"><a name="l00945"></a><span class="lineno">  945</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -378,10 +378,10 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00950">950</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00951"></a><span class="lineno">  951</span>&#160;    {</div>
-<div class="line"><a name="l00952"></a><span class="lineno">  952</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFConstantInt.html#a484bcb1494a2c0c946e85f39f7961671">sval</a>;</div>
-<div class="line"><a name="l00953"></a><span class="lineno">  953</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00956">956</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00957"></a><span class="lineno">  957</span>&#160;    {</div>
+<div class="line"><a name="l00958"></a><span class="lineno">  958</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFConstantInt.html#a484bcb1494a2c0c946e85f39f7961671">sval</a>;</div>
+<div class="line"><a name="l00959"></a><span class="lineno">  959</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -408,10 +408,10 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00945">945</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00946"></a><span class="lineno">  946</span>&#160;    {</div>
-<div class="line"><a name="l00947"></a><span class="lineno">  947</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFConstantInt.html#ab6876d8be0707cbd05b467445a59d587">zval</a>;</div>
-<div class="line"><a name="l00948"></a><span class="lineno">  948</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00951">951</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00952"></a><span class="lineno">  952</span>&#160;    {</div>
+<div class="line"><a name="l00953"></a><span class="lineno">  953</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFConstantInt.html#ab6876d8be0707cbd05b467445a59d587">zval</a>;</div>
+<div class="line"><a name="l00954"></a><span class="lineno">  954</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -436,7 +436,7 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00925">925</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00931">931</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
 
 </div>
 </div>
@@ -460,7 +460,7 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00924">924</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00930">930</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
 
 </div>
 </div>
@@ -485,7 +485,7 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00928">928</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00934">934</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
 
 </div>
 </div>
@@ -509,7 +509,7 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00927">927</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00933">933</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
 
 </div>
 </div>
@@ -518,9 +518,9 @@ Additional Inherited Members</h2></td></tr>
 </ul>
 </div><!-- contents -->
 <div class="ttc" id="aclassSVF_1_1SVFConstantData_html_a057d3aebc842d72d2b89f661d18b6e34"><div class="ttname"><a href="classSVF_1_1SVFConstantData.html#a057d3aebc842d72d2b89f661d18b6e34">SVF::SVFConstantData::SVFConstantData</a></div><div class="ttdeci">SVFConstantData()=delete</div></div>
-<div class="ttc" id="aclassSVF_1_1SVFConstantInt_html_ab6876d8be0707cbd05b467445a59d587"><div class="ttname"><a href="classSVF_1_1SVFConstantInt.html#ab6876d8be0707cbd05b467445a59d587">SVF::SVFConstantInt::zval</a></div><div class="ttdeci">u64_t zval</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00927">SVFValue.h:927</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFConstantInt_html_ab6876d8be0707cbd05b467445a59d587"><div class="ttname"><a href="classSVF_1_1SVFConstantInt.html#ab6876d8be0707cbd05b467445a59d587">SVF::SVFConstantInt::zval</a></div><div class="ttdeci">u64_t zval</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00933">SVFValue.h:933</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFValue_html_afb50ea5aeea7a0608a3c9335aea6860ea7e9f41a359d4c5ab8a7881c3a31dc814"><div class="ttname"><a href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea7e9f41a359d4c5ab8a7881c3a31dc814">SVF::SVFValue::SVFConstInt</a></div><div class="ttdeci">@ SVFConstInt</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00171">SVFValue.h:171</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFConstantInt_html_a484bcb1494a2c0c946e85f39f7961671"><div class="ttname"><a href="classSVF_1_1SVFConstantInt.html#a484bcb1494a2c0c946e85f39f7961671">SVF::SVFConstantInt::sval</a></div><div class="ttdeci">s64_t sval</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00928">SVFValue.h:928</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFConstantInt_html_a484bcb1494a2c0c946e85f39f7961671"><div class="ttname"><a href="classSVF_1_1SVFConstantInt.html#a484bcb1494a2c0c946e85f39f7961671">SVF::SVFConstantInt::sval</a></div><div class="ttdeci">s64_t sval</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00934">SVFValue.h:934</a></div></div>
 <!-- start footer part -->
 <hr class="footer"/><address class="footer"><small>
 Generated by &#160;<a href="http://www.doxygen.org/index.html">

package/SVF-doxygen/html/html/classSVF_1_1SVFConstantNullPtr.html

@@ -206,7 +206,7 @@ Additional Inherited Members</h2></td></tr>
 </table>
 <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
 <div class="textblock">
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00983">983</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00989">989</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
 </div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
 <a id="a299954e2cad5ee41b51fcff4a92439b3"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#a299954e2cad5ee41b51fcff4a92439b3">&#9670;&nbsp;</a></span>SVFConstantNullPtr() <span class="overload">[1/2]</span></h2>
@@ -232,10 +232,10 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00989">989</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00990"></a><span class="lineno">  990</span>&#160;        : <a class="code" href="classSVF_1_1SVFConstantData.html#a057d3aebc842d72d2b89f661d18b6e34">SVFConstantData</a>(ty, <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea4d2525e8d4329c644940b0b44c3f0c2c">SVFValue::SVFNullPtr</a>)</div>
-<div class="line"><a name="l00991"></a><span class="lineno">  991</span>&#160;    {</div>
-<div class="line"><a name="l00992"></a><span class="lineno">  992</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00995">995</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00996"></a><span class="lineno">  996</span>&#160;        : <a class="code" href="classSVF_1_1SVFConstantData.html#a057d3aebc842d72d2b89f661d18b6e34">SVFConstantData</a>(ty, <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea4d2525e8d4329c644940b0b44c3f0c2c">SVFValue::SVFNullPtr</a>)</div>
+<div class="line"><a name="l00997"></a><span class="lineno">  997</span>&#160;    {</div>
+<div class="line"><a name="l00998"></a><span class="lineno">  998</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -289,10 +289,10 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00999">999</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l01000"></a><span class="lineno"> 1000</span>&#160;    {</div>
-<div class="line"><a name="l01001"></a><span class="lineno"> 1001</span>&#160;        <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea4d2525e8d4329c644940b0b44c3f0c2c">SVFNullPtr</a>;</div>
-<div class="line"><a name="l01002"></a><span class="lineno"> 1002</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01005">1005</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l01006"></a><span class="lineno"> 1006</span>&#160;    {</div>
+<div class="line"><a name="l01007"></a><span class="lineno"> 1007</span>&#160;        <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea4d2525e8d4329c644940b0b44c3f0c2c">SVFNullPtr</a>;</div>
+<div class="line"><a name="l01008"></a><span class="lineno"> 1008</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -320,10 +320,10 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00995">995</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00996"></a><span class="lineno">  996</span>&#160;    {</div>
-<div class="line"><a name="l00997"></a><span class="lineno">  997</span>&#160;        <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea4d2525e8d4329c644940b0b44c3f0c2c">SVFNullPtr</a>;</div>
-<div class="line"><a name="l00998"></a><span class="lineno">  998</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01001">1001</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l01002"></a><span class="lineno"> 1002</span>&#160;    {</div>
+<div class="line"><a name="l01003"></a><span class="lineno"> 1003</span>&#160;        <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea4d2525e8d4329c644940b0b44c3f0c2c">SVFNullPtr</a>;</div>
+<div class="line"><a name="l01004"></a><span class="lineno"> 1004</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -348,7 +348,7 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00986">986</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00992">992</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
 
 </div>
 </div>
@@ -372,7 +372,7 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00985">985</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00991">991</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
 
 </div>
 </div>

package/SVF-doxygen/html/html/classSVF_1_1SVFFunction-members.html

@@ -77,18 +77,20 @@ $(function() {
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html#a3b93a04e82233f64b1c463f6cece8ea1">addrTaken</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html#a625bef2b92c8e62df547bd2758b59c75">allArgs</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html#aa61307a21647def105677d36bfbaf32f">allBBs</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html#ab8c7a9c79b0668aae604bbe54e34e46e">arg_size</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html#a60797e9e8b9cbd6b32cc71fa5d00d80c">back</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html#ad09ea0c680c88732c08d655e0afbead3">BBList</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html#ae4f78769558a3cc8d2c948a4f5379ec9">BBSet</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html#a49a6e9c0661135ceda2dd4d84c4b24ae">begin</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html#a099203980699464e1fbe5e37f2eb891f">classof</a>(const SVFValue *node)</td><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html#aaec097379a345ab0e80b6a9c50508f48">const_iterator</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afc657036de9342fae6223077c10fcb01">constDataOrAggData</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html#a03db4ff0d8140ebc0219caea902e7078">dominate</a>(const SVFBasicBlock *bbKey, const SVFBasicBlock *bbValue) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html#a2f274c3af098ae6a5919246b1b88e7b7">end</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html#a3a482ac970b808b932f9f50f0e0703e5">front</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html#ad1c1ca2a7d4a681f24712345222e9ddc">funcType</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html#a47169163b5591547e5258dd697c9163a">annotations</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html#ab8c7a9c79b0668aae604bbe54e34e46e">arg_size</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html#a60797e9e8b9cbd6b32cc71fa5d00d80c">back</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html#ad09ea0c680c88732c08d655e0afbead3">BBList</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html#ae4f78769558a3cc8d2c948a4f5379ec9">BBSet</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html#a49a6e9c0661135ceda2dd4d84c4b24ae">begin</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html#a099203980699464e1fbe5e37f2eb891f">classof</a>(const SVFValue *node)</td><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html#aaec097379a345ab0e80b6a9c50508f48">const_iterator</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afc657036de9342fae6223077c10fcb01">constDataOrAggData</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html#a03db4ff0d8140ebc0219caea902e7078">dominate</a>(const SVFBasicBlock *bbKey, const SVFBasicBlock *bbValue) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html#a2f274c3af098ae6a5919246b1b88e7b7">end</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html#a3a482ac970b808b932f9f50f0e0703e5">front</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html#ad1c1ca2a7d4a681f24712345222e9ddc">funcType</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html#a067bd6dbaf74a028d546fa56b095791b">getAnnotations</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html#a10d9481ae41dce4f266dad5e64fffcee">getArg</a>(u32_t idx) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></td><td class="entry"></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html#a8f2aced2df91bf97d644d9a2de449c38">getBasicBlockList</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html#a804a41f4eb078586f20f7d5755ea6fdd">getDefFunForMultipleModule</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
@@ -152,7 +154,7 @@ $(function() {
   <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea69211a5785ed3da7924e6dcc7b604c82">SVFConstFP</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea7e9f41a359d4c5ab8a7881c3a31dc814">SVFConstInt</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea4582a3728eda9f58c4e7d069e4fec577">SVFFunc</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html#a494434af0d933dfd926bedcb8937f0f8">SVFFunction</a>(const SVFType *ty, const SVFFunctionType *ft, bool declare, bool intrinsic, bool addrTaken, bool varg, SVFLoopAndDomInfo *ld)</td><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html#a0cf5ddbb884a0a99f43b7741f1ce2786">SVFFunction</a>(const SVFType *ty, const SVFFunctionType *ft, bool declare, bool intrinsic, bool addrTaken, bool varg, SVFLoopAndDomInfo *ld, std::vector&lt; std::string &gt; annos)</td><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></td><td class="entry"></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html#a7e965c21a8afe7fca32d0f41b16361cf">SVFFunction</a>(void)=delete</td><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></td><td class="entry"></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea8a1159a8819de74d39e32aef1b415c2a">SVFGlob</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eacb5f1f872986a8f8bccd9a3b3904e9dd">SVFInst</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"></td></tr>