svf-tools 1.0.302 → 1.0.306

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

@@ -83,6 +83,8 @@ Public Member Functions</h2></td></tr>
 </table><table class="memberdecls">
 <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-static-attribs"></a>
 Static Public Attributes</h2></td></tr>
+<tr class="memitem:a6a62b34de8ec23899a8024e0450c43df"><td class="memItemLeft" align="right" valign="top">static const llvm::cl::opt&lt; enum <a class="el" href="classSVF_1_1PTAStat.html#a926cd5ab95f4f42ffe264413a32725cf">PTAStat::ClockType</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1Options.html#a6a62b34de8ec23899a8024e0450c43df">ClockType</a></td></tr>
+<tr class="separator:a6a62b34de8ec23899a8024e0450c43df"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a5cfcf1ddc44ff175c4766f88bf204c03"><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#a5cfcf1ddc44ff175c4766f88bf204c03">MarkedClocksOnly</a></td></tr>
 <tr class="separator:a5cfcf1ddc44ff175c4766f88bf204c03"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a2537be131132830c63d408133619a065"><td class="memItemLeft" align="right" valign="top">static const llvm::cl::opt&lt; <a class="el" href="classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228">SVF::NodeIDAllocator::Strategy</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1Options.html#a2537be131132830c63d408133619a065">NodeAllocStrat</a></td></tr>
@@ -121,6 +123,9 @@ Static Public Attributes</h2></td></tr>
 <tr class="memitem:a620fe156ba70f997eace0ccb0d2c9f67"><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#a620fe156ba70f997eace0ccb0d2c9f67">AnderTimeLimit</a></td></tr>
 <tr class="memdesc:a620fe156ba70f997eace0ccb0d2c9f67"><td class="mdescLeft">&#160;</td><td class="mdescRight">Time limit for the <a class="el" href="classSVF_1_1Andersen.html">Andersen</a>'s analyses.  <a href="#a620fe156ba70f997eace0ccb0d2c9f67">More...</a><br /></td></tr>
 <tr class="separator:a620fe156ba70f997eace0ccb0d2c9f67"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:adba18ce8f1496fe2e57a934f11c2dfd9"><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#adba18ce8f1496fe2e57a934f11c2dfd9">VersioningThreads</a></td></tr>
+<tr class="memdesc:adba18ce8f1496fe2e57a934f11c2dfd9"><td class="mdescLeft">&#160;</td><td class="mdescRight">Number of threads for the versioning phase.  <a href="#adba18ce8f1496fe2e57a934f11c2dfd9">More...</a><br /></td></tr>
+<tr class="separator:adba18ce8f1496fe2e57a934f11c2dfd9"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a7b9af13feccc116377aeb107640ae874"><td class="memItemLeft" align="right" valign="top">static const llvm::cl::opt&lt; unsigned long long &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1Options.html#a7b9af13feccc116377aeb107640ae874">CxtBudget</a></td></tr>
 <tr class="separator:a7b9af13feccc116377aeb107640ae874"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a57564c82a2b90b7de837151f65b276f3"><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#a57564c82a2b90b7de837151f65b276f3">SingleLoad</a></td></tr>
@@ -319,7 +324,7 @@ Static Public Attributes</h2></td></tr>
 <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
 <div class="textblock"><p>Carries around command line options. </p>
 
-<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00017">17</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#l00018">18</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 </div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
 <a id="a08c25694f8f9e31eb8b116ad58c1c078"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#a08c25694f8f9e31eb8b116ad58c1c078">&#9670;&nbsp;</a></span>Options()</h2>
@@ -368,7 +373,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#l00159">159</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#l00165">165</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -392,7 +397,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#l00245">245</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#l00251">251</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -416,7 +421,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#l00180">180</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#l00186">186</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -440,7 +445,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#l00169">169</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#l00175">175</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -464,7 +469,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#l00241">241</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#l00247">247</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -490,7 +495,7 @@ Static Public Attributes</h2></td></tr>
 
 <p>Time limit for the <a class="el" href="classSVF_1_1Andersen.html">Andersen</a>'s analyses. </p>
 
-<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00071">71</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#l00074">74</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -514,7 +519,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#l00173">173</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#l00179">179</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -538,7 +543,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#l00221">221</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#l00227">227</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -562,7 +567,31 @@ 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#l00130">130</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#l00136">136</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
+
+</div>
+</div>
+<a id="a6a62b34de8ec23899a8024e0450c43df"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a6a62b34de8ec23899a8024e0450c43df">&#9670;&nbsp;</a></span>ClockType</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; enum <a class="el" href="classSVF_1_1PTAStat.html#a926cd5ab95f4f42ffe264413a32725cf">PTAStat::ClockType</a> &gt; SVF::Options::ClockType</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#l00023">23</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -588,7 +617,7 @@ Static Public Attributes</h2></td></tr>
 
 <p>Whether to stage <a class="el" href="classSVF_1_1Andersen.html">Andersen</a>'s with <a class="el" href="classSVF_1_1Steensgaard.html">Steensgaard</a> and cluster based on that data. </p>
 
-<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00037">37</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#l00040">40</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -614,7 +643,7 @@ Static Public Attributes</h2></td></tr>
 
 <p>Whether to cluster FS or VFS with the auxiliary <a class="el" href="classSVF_1_1Andersen.html">Andersen</a>'s. </p>
 
-<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00040">40</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#l00043">43</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -639,7 +668,7 @@ Static Public Attributes</h2></td></tr>
 </div><div class="memdoc">
 <p>Clustering method for ClusterFs/ClusterAnder. TODO: we can separate it into two options, and make Clusterer::cluster take in a method argument rather than plugging <a class="el" href="classSVF_1_1Options.html#a8e0538a7f2e3c5bece69bc69f7074819">Options::ClusterMethod</a> <em>inside</em> Clusterer::cluster directly, but it seems we will always want single anyway, and this is for testing. </p>
 
-<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00052">52</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#l00055">55</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -663,7 +692,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#l00136">136</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#l00142">142</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -687,7 +716,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#l00220">220</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#l00226">226</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -711,7 +740,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#l00110">110</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#l00116">116</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -735,7 +764,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#l00231">231</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#l00237">237</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -759,7 +788,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#l00074">74</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#l00080">80</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -783,7 +812,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#l00193">193</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#l00199">199</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -809,7 +838,7 @@ Static Public Attributes</h2></td></tr>
 
 <p>register this into alias analysis group </p>
 
-<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00097">97</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#l00103">103</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -833,7 +862,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#l00217">217</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#l00223">223</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -857,7 +886,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#l00166">166</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#l00172">172</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -881,7 +910,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#l00196">196</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#l00202">202</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -905,7 +934,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#l00078">78</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#l00084">84</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -929,7 +958,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#l00129">129</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#l00135">135</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -953,7 +982,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#l00145">145</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#l00151">151</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -977,7 +1006,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#l00192">192</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#l00198">198</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -1001,7 +1030,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#l00081">81</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#l00087">87</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -1025,7 +1054,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#l00082">82</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#l00088">88</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -1049,7 +1078,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#l00080">80</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#l00086">86</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -1073,7 +1102,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#l00079">79</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#l00085">85</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -1097,7 +1126,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#l00115">115</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#l00121">121</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -1121,7 +1150,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#l00134">134</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#l00140">140</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -1145,7 +1174,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#l00135">135</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#l00141">141</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -1169,7 +1198,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#l00107">107</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#l00113">113</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -1193,7 +1222,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#l00100">100</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#l00106">106</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -1217,7 +1246,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#l00170">170</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#l00176">176</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -1243,7 +1272,7 @@ Static Public Attributes</h2></td></tr>
 
 <p>Time limit for the main phase (i.e., the actual solving) of FS analyses. </p>
 
-<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00068">68</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#l00071">71</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -1267,7 +1296,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#l00122">122</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#l00128">128</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -1291,7 +1320,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#l00238">238</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#l00244">244</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -1315,7 +1344,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#l00202">202</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#l00208">208</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -1339,7 +1368,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#l00106">106</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#l00112">112</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -1363,7 +1392,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#l00142">142</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#l00148">148</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -1387,7 +1416,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#l00139">139</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#l00145">145</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -1411,7 +1440,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#l00132">132</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#l00138">138</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -1435,7 +1464,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#l00093">93</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#l00099">99</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -1459,7 +1488,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#l00092">92</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#l00098">98</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -1483,7 +1512,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#l00157">157</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#l00163">163</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -1507,7 +1536,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#l00111">111</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#l00117">117</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -1531,7 +1560,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#l00178">178</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#l00184">184</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -1555,7 +1584,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#l00206">206</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#l00212">212</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -1579,7 +1608,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#l00083">83</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#l00089">89</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -1604,7 +1633,7 @@ Static Public Attributes</h2></td></tr>
 </div><div class="memdoc">
 <p>If set, only return the clock when getClk is called as getClk(true). Retrieving the clock is slow but it should be fine for a few calls. This is good for benchmarking when we don't need to know how long processLoad takes, for example (many calls), but want to know things like total solve time. Should be used only to affect getClk, not CLOCK_IN_MS. </p>
 
-<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00027">27</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#l00030">30</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -1628,7 +1657,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#l00211">211</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#l00217">217</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -1652,7 +1681,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#l00089">89</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#l00095">95</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -1678,7 +1707,7 @@ Static Public Attributes</h2></td></tr>
 
 <p>Maximum number of field derivations for an object. </p>
 
-<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>
+<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00037">37</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -1702,7 +1731,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#l00088">88</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#l00094">94</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -1726,7 +1755,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#l00090">90</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#l00096">96</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -1750,7 +1779,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#l00148">148</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#l00154">154</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -1774,7 +1803,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#l00228">228</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#l00234">234</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -1798,7 +1827,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#l00207">207</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#l00213">213</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -1822,7 +1851,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#l00146">146</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#l00152">152</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -1847,7 +1876,7 @@ Static Public Attributes</h2></td></tr>
 </div><div class="memdoc">
 <p>Allocation strategy to be used by the node ID allocator. Currently dense, seq, or debug. </p>
 
-<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00031">31</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#l00034">34</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -1871,7 +1900,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#l00103">103</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#l00109">109</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -1895,7 +1924,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#l00153">153</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#l00159">159</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -1919,7 +1948,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#l00127">127</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#l00133">133</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -1943,7 +1972,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#l00128">128</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#l00134">134</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -1967,7 +1996,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#l00131">131</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#l00137">137</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -1991,7 +2020,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#l00244">244</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#l00250">250</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -2017,7 +2046,7 @@ Static Public Attributes</h2></td></tr>
 
 <p>Use an explicitly plain mapping with flow-sensitive (not null). </p>
 
-<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00043">43</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#l00046">46</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -2042,7 +2071,7 @@ Static Public Attributes</h2></td></tr>
 </div><div class="memdoc">
 <p>Predict occurences of points-to sets in the staged points-to set to weigh more common points-to sets as more important. </p>
 
-<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00062">62</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#l00065">65</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -2066,7 +2095,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#l00243">243</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#l00249">249</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -2090,7 +2119,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#l00222">222</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#l00228">228</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -2114,7 +2143,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#l00094">94</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#l00100">100</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -2138,7 +2167,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#l00199">199</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#l00205">205</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -2162,7 +2191,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#l00165">165</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#l00171">171</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -2186,7 +2215,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#l00162">162</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#l00168">168</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -2210,7 +2239,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#l00214">214</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#l00220">220</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -2234,7 +2263,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#l00095">95</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#l00101">101</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -2258,7 +2287,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#l00176">176</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#l00182">182</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -2282,7 +2311,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#l00125">125</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#l00131">131</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -2308,7 +2337,7 @@ Static Public Attributes</h2></td></tr>
 
 <p><a class="el" href="classSVF_1_1PTData.html">PTData</a> type. </p>
 
-<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00065">65</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#l00068">68</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -2332,7 +2361,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#l00124">124</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#l00130">130</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -2356,7 +2385,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#l00227">227</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#l00233">233</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -2380,7 +2409,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#l00123">123</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#l00129">129</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -2406,7 +2435,7 @@ Static Public Attributes</h2></td></tr>
 
 <p>Type of points-to set to use for all analyses. </p>
 
-<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00046">46</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#l00049">49</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -2430,7 +2459,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#l00226">226</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#l00232">232</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -2454,7 +2483,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#l00158">158</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#l00164">164</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -2480,7 +2509,7 @@ Static Public Attributes</h2></td></tr>
 
 <p>Align identifiers in each region to a word. </p>
 
-<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00058">58</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#l00061">61</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -2506,7 +2535,7 @@ Static Public Attributes</h2></td></tr>
 
 <p>Cluster partitions separately. </p>
 
-<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00055">55</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#l00058">58</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -2530,7 +2559,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#l00242">242</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#l00248">248</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -2554,7 +2583,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#l00112">112</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#l00118">118</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -2578,7 +2607,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#l00077">77</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#l00083">83</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -2602,7 +2631,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#l00118">118</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#l00124">124</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -2626,7 +2655,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#l00152">152</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#l00158">158</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -2650,7 +2679,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#l00126">126</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#l00132">132</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -2674,7 +2703,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#l00151">151</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#l00157">157</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -2698,7 +2727,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#l00203">203</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#l00209">209</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -2722,7 +2751,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#l00208">208</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#l00214">214</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -2746,7 +2775,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#l00084">84</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#l00090">90</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -2770,7 +2799,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#l00085">85</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#l00091">91</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -2794,7 +2823,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#l00235">235</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#l00241">241</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -2820,7 +2849,7 @@ Static Public Attributes</h2></td></tr>
 
 <p>Whether we allow reuse for TBHC. </p>
 
-<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00234">234</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#l00240">240</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -2844,7 +2873,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#l00186">186</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#l00192">192</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -2868,7 +2897,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#l00121">121</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#l00127">127</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -2892,7 +2921,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#l00156">156</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#l00162">162</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -2916,7 +2945,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#l00133">133</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#l00139">139</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -2940,7 +2969,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#l00091">91</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#l00097">97</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -2964,7 +2993,33 @@ 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#l00189">189</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#l00195">195</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
+
+</div>
+</div>
+<a id="adba18ce8f1496fe2e57a934f11c2dfd9"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#adba18ce8f1496fe2e57a934f11c2dfd9">&#9670;&nbsp;</a></span>VersioningThreads</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; unsigned &gt; SVF::Options::VersioningThreads</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>Number of threads for the versioning phase. </p>
+
+<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00077">77</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -2988,7 +3043,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#l00096">96</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#l00102">102</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -3012,7 +3067,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#l00224">224</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#l00230">230</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>