svf-tools 1.0.539 → 1.0.540

package/SVF-doxygen/html/html/classSVF_1_1Options.html

@@ -329,6 +329,10 @@ Static Public Attributes</h2></td></tr>
 <tr class="separator:a0beb2da0f9ab691c0b7729bb42f8354c"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a79dff5235e82e1313fa4b053f866f357"><td class="memItemLeft" align="right" valign="top">static const llvm::cl::opt&lt; bool &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1Options.html#a79dff5235e82e1313fa4b053f866f357">FlexSymMap</a></td></tr>
 <tr class="separator:a79dff5235e82e1313fa4b053f866f357"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a7d566af0280a0c2457947fd426c81c81"><td class="memItemLeft" align="right" valign="top">static const llvm::cl::opt&lt; bool &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1Options.html#a7d566af0280a0c2457947fd426c81c81">PEGTransfer</a></td></tr>
+<tr class="separator:a7d566af0280a0c2457947fd426c81c81"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a59afe4356aae2133beb4819c013d3fbf"><td class="memItemLeft" align="right" valign="top">static const llvm::cl::opt&lt; bool &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1Options.html#a59afe4356aae2133beb4819c013d3fbf">NullDummyNode</a></td></tr>
+<tr class="separator:a59afe4356aae2133beb4819c013d3fbf"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a420e6656b02fd900430d51b8b4a5c6c1"><td class="memItemLeft" align="right" valign="top">static const llvm::cl::opt&lt; bool &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1Options.html#a420e6656b02fd900430d51b8b4a5c6c1">LoopAnalysis</a></td></tr>
 <tr class="separator:a420e6656b02fd900430d51b8b4a5c6c1"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:ab7161ca7a809792af82e5aabdfcc3bfb"><td class="memItemLeft" align="right" valign="top">static const llvm::cl::opt&lt; unsigned &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1Options.html#ab7161ca7a809792af82e5aabdfcc3bfb">LoopBound</a></td></tr>
@@ -1645,7 +1649,7 @@ Static Public Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00258">258</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00260">260</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -1669,7 +1673,7 @@ Static Public Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00259">259</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00261">261</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -1987,6 +1991,30 @@ Static Public Attributes</h2></td></tr>
 
 <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00034">34</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
+</div>
+</div>
+<a id="a59afe4356aae2133beb4819c013d3fbf"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a59afe4356aae2133beb4819c013d3fbf">&#9670;&nbsp;</a></span>NullDummyNode</h2>
+
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">const llvm::cl::opt&lt; bool &gt; SVF::Options::NullDummyNode</td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">static</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+
+<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00257">257</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
+
 </div>
 </div>
 <a id="a2780c16611375631cd48bf9487f9e0bf"></a>
@@ -2107,6 +2135,30 @@ Static Public Attributes</h2></td></tr>
 
 <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00245">245</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
+</div>
+</div>
+<a id="a7d566af0280a0c2457947fd426c81c81"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a7d566af0280a0c2457947fd426c81c81">&#9670;&nbsp;</a></span>PEGTransfer</h2>
+
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">const llvm::cl::opt&lt; bool &gt; SVF::Options::PEGTransfer</td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">static</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+
+<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00256">256</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
+
 </div>
 </div>
 <a id="a75a38fff97f7f18f3945c953cabc168b"></a>