svf-tools 1.0.620 → 1.0.621

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

@@ -146,50 +146,51 @@ $(function() {
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#a4837cf00e58d0b561f420f4b3b533ebd">PASelected</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#a4854dd8b167e468e698606254b31bf26">PEGTransfer</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#a0123986b466dae50b2f12c71295c54f9">PlainMappingFs</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#aed7bdea17fad08ceb0453b23f2f908bb">PredictPtOcc</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#ac5b56390226cbed64c8fbd8ab8dee671">PrintAliases</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#a9ff12bf51a475c90c35e3351c5501f0f">PrintCFL</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#a9e5f361015b558d3d4e7e033868f9c83">PrintCGGraph</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#abe3087eb48a10bb600d1fd24308c019b">PrintCPts</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#aab85f2c2ceb235b1291301f33154d182">PrintDCHG</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#a1c6e39ebc266c754de4d78a31cc021ba">PrintInterLev</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#a34e1093189fc8c150a9f2961557aa844">PrintLockSpan</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#a61986f02577051d98962c6680ac7c4f9">PrintPathCond</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#ae88c0813d02dcb5632cd721a61a15014">PrintQueryPts</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#a944aee270c78d42c998691da283165f1">PrintValidRes</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#ac9d18f2d6853f45548f4f85fa2f661c4">PStat</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#ae3c3cc703ef35987a32aa808038a1307">ptDataBacking</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#a737f3501a93f954790fe93d36c43fb00">PTSAllPrint</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#a428e892b31dcb783be36a35e878a0337">PTSPrint</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#a595a98babd7d51af6dacd935bd27d1f0">PtType</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#a453571cd0205f14ead205b3a54477475">ReadAnder</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#a3b6146824333f0da957d37b199978916">ReadPrecisionTDEdge</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#a034a83cdac580c1f8b10805e29ca50e4">ReadSVFG</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#a5a70a23e30df8dea3fcaf0e80479fe88">RegionAlign</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#a8cc5b2a363724b558f4932277a87c0f6">RegionedClustering</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#a93970b0b5e0a6148a86ab192a812f34b">SABERFULLSVFG</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#a9ef14f68939b7678ddff83d544e024cc">SelfCycle</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#adee65a3773fbb98532538c938230e1d3">ShowHiddenNode</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#a424a44f39a43b22434dbdce26007a353">ShowSVFIRValue</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#a5fe0e29e325a6d53ccf16f8fe725821e">SingleLoad</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#ae5af5a2b3854b4d234197ab1a389aac2">SingleStride</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#ad2f3ffd1b8d579ebe4c19a015cd599e2">StatBudget</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#a06eea18ba4cdf509255126a9b58e8eb0">SVFGWithIndirectCall</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#a3a718b0a27c2d13878c0718af97ad73d">SVFMain</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#a52c06ea1c5dd347079f192f0cba3dcd3">SymTabPrint</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#ad6f51870a3cabccbec4898d572dba74f">TaintUninitHeap</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#a787f95c7ac87e04f2e6d55cf5d665a34">TaintUninitStack</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#adceab9fa76c438b8e5e83dd6042523ce">TCTDotGraph</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#a83103f0d5f166e0bb062aa7d7b393ddd">TypePrint</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#aaa7ca76c841dd19d67796d09c94a9746">UsePCG</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#a742a42d855c5b96fb7c70a2d0ab64021">UsePreCompFieldSensitive</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#a5d14e81336dbfefa14146bf610989e6b">UserInputQuery</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#aceaa5cc22c7f362e4c4d66531ec27bf1">ValidateTests</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#afd31760e868bfa4d15e434e21fe4d665">VersioningThreads</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#a88bb706e03a3dd04546b4ce62af7b140">VtableInSVFIR</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#a782d52d7e8d423c2bef27b34d518ffd9">WPANum</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#aabeb232a46547fd35ddc96244fdaf1b9">WriteAnder</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#a26711c33c9247a296f6dfaaf36d38e47">WriteSVFG</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#a2f4f7e10e3f4f11645aafe63edeef26c">POCRAlias</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#aed7bdea17fad08ceb0453b23f2f908bb">PredictPtOcc</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#ac5b56390226cbed64c8fbd8ab8dee671">PrintAliases</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#a9ff12bf51a475c90c35e3351c5501f0f">PrintCFL</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#a9e5f361015b558d3d4e7e033868f9c83">PrintCGGraph</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#abe3087eb48a10bb600d1fd24308c019b">PrintCPts</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#aab85f2c2ceb235b1291301f33154d182">PrintDCHG</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#a1c6e39ebc266c754de4d78a31cc021ba">PrintInterLev</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#a34e1093189fc8c150a9f2961557aa844">PrintLockSpan</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#a61986f02577051d98962c6680ac7c4f9">PrintPathCond</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#ae88c0813d02dcb5632cd721a61a15014">PrintQueryPts</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#a944aee270c78d42c998691da283165f1">PrintValidRes</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#ac9d18f2d6853f45548f4f85fa2f661c4">PStat</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#ae3c3cc703ef35987a32aa808038a1307">ptDataBacking</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#a737f3501a93f954790fe93d36c43fb00">PTSAllPrint</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#a428e892b31dcb783be36a35e878a0337">PTSPrint</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#a595a98babd7d51af6dacd935bd27d1f0">PtType</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#a453571cd0205f14ead205b3a54477475">ReadAnder</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#a3b6146824333f0da957d37b199978916">ReadPrecisionTDEdge</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#a034a83cdac580c1f8b10805e29ca50e4">ReadSVFG</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#a5a70a23e30df8dea3fcaf0e80479fe88">RegionAlign</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#a8cc5b2a363724b558f4932277a87c0f6">RegionedClustering</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#a93970b0b5e0a6148a86ab192a812f34b">SABERFULLSVFG</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#a9ef14f68939b7678ddff83d544e024cc">SelfCycle</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#adee65a3773fbb98532538c938230e1d3">ShowHiddenNode</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#a424a44f39a43b22434dbdce26007a353">ShowSVFIRValue</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#a5fe0e29e325a6d53ccf16f8fe725821e">SingleLoad</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#ae5af5a2b3854b4d234197ab1a389aac2">SingleStride</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#ad2f3ffd1b8d579ebe4c19a015cd599e2">StatBudget</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#a06eea18ba4cdf509255126a9b58e8eb0">SVFGWithIndirectCall</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#a3a718b0a27c2d13878c0718af97ad73d">SVFMain</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#a52c06ea1c5dd347079f192f0cba3dcd3">SymTabPrint</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#ad6f51870a3cabccbec4898d572dba74f">TaintUninitHeap</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#a787f95c7ac87e04f2e6d55cf5d665a34">TaintUninitStack</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#adceab9fa76c438b8e5e83dd6042523ce">TCTDotGraph</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#a83103f0d5f166e0bb062aa7d7b393ddd">TypePrint</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#aaa7ca76c841dd19d67796d09c94a9746">UsePCG</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#a742a42d855c5b96fb7c70a2d0ab64021">UsePreCompFieldSensitive</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#a5d14e81336dbfefa14146bf610989e6b">UserInputQuery</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#aceaa5cc22c7f362e4c4d66531ec27bf1">ValidateTests</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#afd31760e868bfa4d15e434e21fe4d665">VersioningThreads</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#a88bb706e03a3dd04546b4ce62af7b140">VtableInSVFIR</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#a782d52d7e8d423c2bef27b34d518ffd9">WPANum</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#aabeb232a46547fd35ddc96244fdaf1b9">WriteAnder</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#a26711c33c9247a296f6dfaaf36d38e47">WriteSVFG</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
 </table></div><!-- contents -->
 <!-- start footer part -->
 <hr class="footer"/><address class="footer"><small>

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

@@ -331,6 +331,8 @@ Static Public Attributes</h2></td></tr>
 <tr class="separator:a4854dd8b167e468e698606254b31bf26"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a7ef3e2cd417646e9d06e0da16ff6c516"><td class="memItemLeft" align="right" valign="top">static const <a class="el" href="classOption.html">Option</a>&lt; bool &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1Options.html#a7ef3e2cd417646e9d06e0da16ff6c516">CFLSVFG</a></td></tr>
 <tr class="separator:a7ef3e2cd417646e9d06e0da16ff6c516"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a2f4f7e10e3f4f11645aafe63edeef26c"><td class="memItemLeft" align="right" valign="top">static const <a class="el" href="classOption.html">Option</a>&lt; bool &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1Options.html#a2f4f7e10e3f4f11645aafe63edeef26c">POCRAlias</a></td></tr>
+<tr class="separator:a2f4f7e10e3f4f11645aafe63edeef26c"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:abfd13c7d998333290b39354178739f2c"><td class="memItemLeft" align="right" valign="top">static const <a class="el" href="classOption.html">Option</a>&lt; bool &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1Options.html#abfd13c7d998333290b39354178739f2c">LoopAnalysis</a></td></tr>
 <tr class="separator:abfd13c7d998333290b39354178739f2c"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a17f11eb3e9a3178395e8574a027b181e"><td class="memItemLeft" align="right" valign="top">static const <a class="el" href="classOption.html">Option</a>&lt; <a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1Options.html#a17f11eb3e9a3178395e8574a027b181e">LoopBound</a></td></tr>
@@ -1719,7 +1721,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#l00260">260</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>
@@ -1743,7 +1745,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#l00261">261</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#l00262">262</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
 </div>
 </div>
@@ -2207,6 +2209,30 @@ Static Public Attributes</h2></td></tr>
 
 <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00047">47</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
 
+</div>
+</div>
+<a id="a2f4f7e10e3f4f11645aafe63edeef26c"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a2f4f7e10e3f4f11645aafe63edeef26c">&#9670;&nbsp;</a></span>POCRAlias</h2>
+
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">const <a class="el" href="classOption.html">Option</a>&lt; bool &gt; SVF::Options::POCRAlias</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#l00258">258</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
+
 </div>
 </div>
 <a id="aed7bdea17fad08ceb0453b23f2f908bb"></a>