npm - svf-tools - Versions diffs - 1.0.618 → 1.0.620 - Mend

svf-tools 1.0.618 → 1.0.620

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (385) hide show

package/SVF-doxygen/html/html/functions_vars_f.html CHANGED Viewed

@@ -89,7 +89,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1StInfo.html#ae3dc579aa3688c607f279215372eef4f">SVF::StInfo</a>
 </li>
 <li>FirstFieldEqBase
-: <a class="el" href="classSVF_1_1Options.html#a8dc477d83a142a62b63207f6f240f224">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a12e88ce4ba3d39017203ec4cd3ccccea">SVF::Options</a>
 </li>
 <li>firstRHS2Prods
 : <a class="el" href="classSVF_1_1CFLGrammar.html#a640023178f4a6db832ca30256759484f">SVF::CFLGrammar</a>
@@ -116,10 +116,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1StInfo.html#a77c94c0ab75b2d5af2132ff8e082cefe">SVF::StInfo</a>
 </li>
 <li>FlexSymMap
-: <a class="el" href="classSVF_1_1Options.html#a79dff5235e82e1313fa4b053f866f357">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a8e22c3bca5ee0e4e7d90e857a5ea8031">SVF::Options</a>
 </li>
 <li>FlowBudget
-: <a class="el" href="classSVF_1_1Options.html#a53b1a1ec4e5bbd9696ed9b680aa0c3c7">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a8c02af98e908c48cef1de0085ed10ce4">SVF::Options</a>
 </li>
 <li>flowDDA
 : <a class="el" href="classSVF_1_1ContextDDA.html#a2a23f0235fc49a177b2694f668b02551">SVF::ContextDDA</a>
@@ -156,7 +156,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1IRGraph.html#a7750a2b2a98bb39fc5f67af4e0c12379">SVF::IRGraph</a>
 </li>
 <li>FSAnno
-: <a class="el" href="classSVF_1_1Options.html#ae444f90ff3b6a3cfec1c08e6ca6f263a">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a4f022e2f997d25ec50842b4248147336">SVF::Options</a>
 </li>
 <li>FSMPTATime
 : <a class="el" href="classSVF_1_1MTAStat.html#a030671ec358a93e3c2887f048dcfcce8">SVF::MTAStat</a>
@@ -166,7 +166,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1FlowSensitiveStat.html#af7e04f73ee17647c52e571cadef8729f">SVF::FlowSensitiveStat</a>
 </li>
 <li>FsTimeLimit
-: <a class="el" href="classSVF_1_1Options.html#ad03c4697dd4da2b6adde112e3ee1884b">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a6ebad0decdd6e93c661b72d80f5dbcef">SVF::Options</a>
 </li>
 <li>fullJoin
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a4193a30050195cd9aaafd58511b66ccc">SVF::ForkJoinAnalysis</a>
@@ -194,7 +194,7 @@ $(function() {
 : <a class="el" href="structSVF_1_1cppUtil_1_1DemangledName.html#a1dd17b240663bc9412adefde82385e02">SVF::cppUtil::DemangledName</a>
 </li>
 <li>FuncPointerPrint
-: <a class="el" href="classSVF_1_1Options.html#a14ceeb5d7de81a0946389159986e4955">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#abb91435e1e06b07548c539e7f7761563">SVF::Options</a>
 </li>
 <li>FunctionSet
 : <a class="el" href="classSVF_1_1SVFModule.html#af33660b9938a1a78b7ae44bf429c717e">SVF::SVFModule</a>

package/SVF-doxygen/html/html/functions_vars_g.html CHANGED Viewed

@@ -124,7 +124,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CFLBase.html#aef3da4ce970597586757cafd2a435c1f">SVF::CFLBase</a>
 </li>
 <li>GrammarFilename
-: <a class="el" href="classSVF_1_1Options.html#aa929e2ae2c0a78181c3a1311bfe73596">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#ad09017ae2e1010fbba5c086a4772750f">SVF::Options</a>
 </li>
 <li>graph
 : <a class="el" href="classSVF_1_1CFLBase.html#a8101683062b9a71c0b2309cbdfb7b26f">SVF::CFLBase</a>
@@ -137,7 +137,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFGStat.html#a3d06ead4c3222ce8a0535d9f3d504c3d">SVF::SVFGStat</a>
 </li>
 <li>Graphtxt
-: <a class="el" href="classSVF_1_1Options.html#aa5c4bc8e55a056adcd7a6f8946ad5f38">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a53f783c80f368bcdca6c7620229d6f8e">SVF::Options</a>
 </li>
 </ul>
 </div><!-- contents -->

package/SVF-doxygen/html/html/functions_vars_h.html CHANGED Viewed

@@ -62,7 +62,7 @@ $(function() {
 <h3><a id="index_h"></a>- h -</h3><ul>
 <li>HandBlackHole
-: <a class="el" href="classSVF_1_1Options.html#ad2d3db3e407a53956a5a59cc24eb8d40">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a51b28b2e973911fb8e2c23c6127e9a63">SVF::Options</a>
 </li>
 <li>HBPair
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#aad3e722ecaa4a39aef0e1cabfa2b8019">SVF::ForkJoinAnalysis</a>

package/SVF-doxygen/html/html/functions_vars_i.html CHANGED Viewed

@@ -121,10 +121,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1SaberCondAllocator.html#aee401aa2c7884888bbd26544bcd92881">SVF::SaberCondAllocator</a>
 </li>
 <li>IgnoreDeadFun
-: <a class="el" href="classSVF_1_1Options.html#a50182faec95c6c4635df65a55148b040">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a00f3c4c53e6ade73f7667231c394c5d7">SVF::Options</a>
 </li>
 <li>INCDFPTData
-: <a class="el" href="classSVF_1_1Options.html#a5896e2aaf59305441a74ede0dfb85845">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a1743b8a1ab2d71c35206c7befa725d90">SVF::Options</a>
 </li>
 <li>inCFLEdges
 : <a class="el" href="classSVF_1_1CFLNode.html#a3a7d1ea890272e9905406638b12bdc30">SVF::CFLNode</a>
@@ -139,7 +139,7 @@ $(function() {
 : <a class="el" href="structSVF_1_1VersionedFlowSensitive_1_1SCC_1_1NodeData.html#a823afbcf2b99a38367b7bc8be17ff2ba">SVF::VersionedFlowSensitive::SCC::NodeData</a>
 </li>
 <li>IndirectCallLimit
-: <a class="el" href="classSVF_1_1Options.html#ad6c29b05188c9e06aa89623c61865ed8">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#aa5bae1db07c401517c1c0f8fd9f2deef">SVF::Options</a>
 </li>
 <li>indirectCallMap
 : <a class="el" href="classSVF_1_1PTACallGraph.html#adcae44bd6788954e2e4e007bff03462c">SVF::PTACallGraph</a>
@@ -166,10 +166,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1TCT.html#a1b3872361dc17aaea359db8ce0cc2431">SVF::TCT</a>
 </li>
 <li>InsenCycle
-: <a class="el" href="classSVF_1_1Options.html#a35cfe6add81dc82983e0c53c36c6e667">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a0c5d08f13bd41095afb3b60c7ffad0e0">SVF::Options</a>
 </li>
 <li>InsenRecur
-: <a class="el" href="classSVF_1_1Options.html#aa1a3b9293dffeef1bb16a2a7b3a007dd">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#aeab702f641fd13ee1d0f89837097e43b">SVF::Options</a>
 </li>
 <li>insensitveEdges
 : <a class="el" href="classSVF_1_1ContextDDA.html#a942e79dced48bd284a58540a2fb778b9">SVF::ContextDDA</a>
@@ -227,7 +227,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1PersistentPointsToCache.html#a525fbb49c91040c078fbcaaae2339ef2">SVF::PersistentPointsToCache&lt; Data &gt;</a>
 </li>
 <li>IntraLock
-: <a class="el" href="classSVF_1_1Options.html#a1bc10a5947bf3912c6f22e094ccac464">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#af6d92cd4372cd952e6d955cfc9be0ccb">SVF::Options</a>
 </li>
 <li>intricsic
 : <a class="el" href="classSVF_1_1SVFFunction.html#a7a17b7f6f74fd54dd19323b46fa1dfe5">SVF::SVFFunction</a>
@@ -242,6 +242,10 @@ $(function() {
 <li>isDecl
 : <a class="el" href="classSVF_1_1SVFFunction.html#a52581d00177fd5853d6f9de50b3e7fb9">SVF::SVFFunction</a>
 </li>
+<li>isExplicitlySet
+: <a class="el" href="classOption.html#a980a99e59afae6419a9b15f7606d83dc">Option&lt; T &gt;</a>
+, <a class="el" href="classOptionMap.html#a9efba3b88013aa1745f47ab42d71c726">OptionMap&lt; T &gt;</a>
+</li>
 <li>isLoadMap
 : <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a6bb3db072db0b899f306b37f1146f83d">SVF::VersionedFlowSensitive</a>
 </li>

package/SVF-doxygen/html/html/functions_vars_k.html CHANGED Viewed

@@ -68,7 +68,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFGOPT.html#a65bba62d9b62bf2bdbbda69540eeb38d">SVF::SVFGOPT</a>
 </li>
 <li>KeepAOFI
-: <a class="el" href="classSVF_1_1Options.html#acd687c31bb6662940ab8a1c3d17dc1ef">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a09005e749b1030347ac5dcc015053a37">SVF::Options</a>
 </li>
 <li>keepContextSelfCycle
 : <a class="el" href="classSVF_1_1SVFGOPT.html#ac68a53c567929ba8b69c00e3e8d9d30f">SVF::SVFGOPT</a>

package/SVF-doxygen/html/html/functions_vars_l.html CHANGED Viewed

@@ -163,10 +163,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1LockAnalysis.html#adadee129c04b82576b4ca3c7594cdcb2">SVF::LockAnalysis</a>
 </li>
 <li>LockValid
-: <a class="el" href="classSVF_1_1Options.html#a78b3b44f2c0dc94dc1363ca57ee76d66">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a6c0afceb5db81504930dc6f673bc41ec">SVF::Options</a>
 </li>
 <li>LocMemModel
-: <a class="el" href="classSVF_1_1Options.html#aba8e13f8bb26cf6a0718282e6f9a1940">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a198e0d500ae635c709c406bbec604050">SVF::Options</a>
 </li>
 <li>locToDpmSetMap
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#aa724698d499615bce7caf8f312b746a7">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
@@ -181,13 +181,13 @@ $(function() {
 : <a class="el" href="classSVF_1_1PersistentPointsToCache.html#ace976f138cf1b8ab6bbf7a5c5d0b60b8">SVF::PersistentPointsToCache&lt; Data &gt;</a>
 </li>
 <li>LoopAnalysis
-: <a class="el" href="classSVF_1_1Options.html#a420e6656b02fd900430d51b8b4a5c6c1">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#abfd13c7d998333290b39354178739f2c">SVF::Options</a>
 </li>
 <li>loopAndDom
 : <a class="el" href="classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1">SVF::SVFFunction</a>
 </li>
 <li>LoopBound
-: <a class="el" href="classSVF_1_1Options.html#ab7161ca7a809792af82e5aabdfcc3bfb">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a17f11eb3e9a3178395e8574a027b181e">SVF::Options</a>
 </li>
 <li>loopBound
 : <a class="el" href="classSVF_1_1SVFLoop.html#ac4e2c365e2a08477381802205029b85c">SVF::SVFLoop</a>

package/SVF-doxygen/html/html/functions_vars_m.html CHANGED Viewed

@@ -71,19 +71,19 @@ $(function() {
 : <a class="el" href="classSVF_1_1CondVar.html#a26fd04b3f2d45f0c230e1823f3eea49a">SVF::CondVar&lt; Cond &gt;</a>
 </li>
 <li>MallocOnly
-: <a class="el" href="classSVF_1_1Options.html#a30abe362add49b0b7083f34530aa446c">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a9711cdc976786b3949ac6b26f95b59b0">SVF::Options</a>
 </li>
 <li>MarkedClocksOnly
-: <a class="el" href="classSVF_1_1Options.html#a5cfcf1ddc44ff175c4766f88bf204c03">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#abcb6796d45722562546f33b2745a0418">SVF::Options</a>
 </li>
 <li>MaxContextLen
-: <a class="el" href="classSVF_1_1Options.html#a2e53156bd075d7802d390672f129c6a8">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a6237da3f4e264fa8b63c11d621f39e71">SVF::Options</a>
 </li>
 <li>MaxCxtSize
 : <a class="el" href="classSVF_1_1TCT.html#aaae41663b1d1f4d38b047c50c156defb">SVF::TCT</a>
 </li>
 <li>MaxFieldLimit
-: <a class="el" href="classSVF_1_1Options.html#adfc1a5c6098d3867e29fc65ca9ffa1cc">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#aaab923c093730b1670a54f09340b1bd5">SVF::Options</a>
 </li>
 <li>maximumBudget
 : <a class="el" href="classSVF_1_1DPItem.html#a5dbb0e6010b38c5b937ff06cb40cd0ef">SVF::DPItem</a>
@@ -116,7 +116,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFGStat.html#a6694ace7ee1b24b0c5ce42e06e4db2cf">SVF::SVFGStat</a>
 </li>
 <li>MaxPathLen
-: <a class="el" href="classSVF_1_1Options.html#a32ef95b3bd06b50337b3129b74ffb45c">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a63121666a96f6cd2ae56d868c9576a53">SVF::Options</a>
 </li>
 <li>MaxPointsToSetSize
 : <a class="el" href="classSVF_1_1AndersenBase.html#abd73e930450b7c605f478672bdf9bdae">SVF::AndersenBase</a>
@@ -125,7 +125,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1FlowSensitive.html#aa3d4703756a6297ab5c0756172024fe4">SVF::FlowSensitive</a>
 </li>
 <li>MaxStepInWrapper
-: <a class="el" href="classSVF_1_1Options.html#a0b82f16ee0c7e6566a6ae20662525e84">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#aab0131558d9da9b0fe888387217ba919">SVF::Options</a>
 </li>
 <li>maxStruct
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#a0c1143eff451edf8ea47d4487a8d3a55">SVF::SymbolTableInfo</a>
@@ -134,7 +134,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#abb8550c9ef856e45cb7675c3796f9a35">SVF::SymbolTableInfo</a>
 </li>
 <li>MaxZ3Size
-: <a class="el" href="classSVF_1_1Options.html#a389c1868083100ad8ebfbf935a85a1e1">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a86f982d9716181bca93a350b5a11a1dc">SVF::Options</a>
 </li>
 <li>meldLabelingTime
 : <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a4a594c8d6ccaa27b5328c6388fdb258d">SVF::VersionedFlowSensitive</a>
@@ -143,7 +143,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ObjVar.html#a3d08dc1d15a449ff4b7018da4bfdcb88">SVF::ObjVar</a>
 </li>
 <li>MemPar
-: <a class="el" href="classSVF_1_1Options.html#a74b821736a04f89adb79d6fd5369cdc3">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#aa127a32b03e381343c624e53adc4ef2e">SVF::Options</a>
 </li>
 <li>memRegSet
 : <a class="el" href="classSVF_1_1MRGenerator.html#af94bd8155a23273aab2396334d905119">SVF::MRGenerator</a>
@@ -179,13 +179,13 @@ $(function() {
 , <a class="el" href="classSVF_1_1SymbolTableInfo.html#af8fdaaa03cd2ae9b7d50f57bc678b8ba">SVF::SymbolTableInfo</a>
 </li>
 <li>ModelArrays
-: <a class="el" href="classSVF_1_1Options.html#a170426acc0f9d99470fd1bde40d273e2">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a429c3000ee2ac45119b8c241aa06762c">SVF::Options</a>
 </li>
 <li>modelConstants
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#ad20ccb90e8f9dee488a8aec0600399dc">SVF::SymbolTableInfo</a>
 </li>
 <li>ModelConsts
-: <a class="el" href="classSVF_1_1Options.html#a5c051cf6a93a87a07aa1d31e302a2877">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a18dd95e01a50aa82165c46a3801053c5">SVF::Options</a>
 </li>
 <li>module
 : <a class="el" href="classSVF_1_1DDAClient.html#a4ac68012099540beb87ee4700e824d64">SVF::DDAClient</a>
@@ -218,7 +218,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1SVFG.html#aa6a563cab8678b2256ca6ae7838285c8">SVF::SVFG</a>
 </li>
 <li>MSSAFun
-: <a class="el" href="classSVF_1_1Options.html#a4ac0e6b77fc9ccc18b269268b3cd046d">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#aa8818e8138233838af224d4214de9e8f">SVF::Options</a>
 </li>
 <li>MSSAVarToDefMap
 : <a class="el" href="classSVF_1_1SVFG.html#aafa1b445bd3578daaba8f82e517745f1">SVF::SVFG</a>

package/SVF-doxygen/html/html/functions_vars_n.html CHANGED Viewed

@@ -62,7 +62,8 @@ $(function() {
 <h3><a id="index_n"></a>- n -</h3><ul>
 <li>name
-: <a class="el" href="classSVF_1_1SVFValue.html#aba56a2dc0ad508bf0ab2bbe52d557f07">SVF::SVFValue</a>
+: <a class="el" href="classOptionBase.html#a494ea256d6484e4f7e8751de499889fc">OptionBase</a>
+, <a class="el" href="classSVF_1_1SVFValue.html#aba56a2dc0ad508bf0ab2bbe52d557f07">SVF::SVFValue</a>
 </li>
 <li>negConds
 : <a class="el" href="classSVF_1_1SaberCondAllocator.html#a4267ed81d5100d49581a4216f46e660c">SVF::SaberCondAllocator</a>
@@ -88,7 +89,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1NullPtrVFGNode.html#adef43dcc86e61145a7fdc6711b28239d">SVF::NullPtrVFGNode</a>
 </li>
 <li>NodeAllocStrat
-: <a class="el" href="classSVF_1_1Options.html#a2537be131132830c63d408133619a065">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a38107576f4f242191cdbfb1ca51f93cd">SVF::Options</a>
 </li>
 <li>nodeKind
 : <a class="el" href="classSVF_1_1GenericNode.html#a586df5473d1e7cdcb9051683914d0220">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>

package/SVF-doxygen/html/html/functions_vars_o.html CHANGED Viewed

@@ -77,7 +77,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CondPTAImpl.html#a22c23f3ba1ee7e0aaccf0b8a1b58e33e">SVF::CondPTAImpl&lt; Cond &gt;</a>
 </li>
 <li>OCGDotGraph
-: <a class="el" href="classSVF_1_1Options.html#a2780c16611375631cd48bf9487f9e0bf">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#ad6c9b07d4dc8af20fbe2b93711cc2101">SVF::Options</a>
 </li>
 <li>offset
 : <a class="el" href="structparse__buffer.html#af727920073077579942a79de519bb31a">parse_buffer</a>
@@ -116,8 +116,11 @@ $(function() {
 <li>OpIt
 : <a class="el" href="classllvm_1_1generic__bridge__gep__type__iterator.html#aa3fd4dca27e09df9ee726879624ae47e">llvm::generic_bridge_gep_type_iterator&lt; ItTy &gt;</a>
 </li>
+<li>optionValues
+: <a class="el" href="classOptionMultiple.html#a037e34107c423615f1ba0c3fdab04b1f">OptionMultiple&lt; T &gt;</a>
+</li>
 <li>OPTSVFG
-: <a class="el" href="classSVF_1_1Options.html#a7704ff30e6fc5043313adf5c655bcd4a">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#ab7741246d969021c9afc448b084699af">SVF::Options</a>
 </li>
 <li>opVars
 : <a class="el" href="classSVF_1_1MultiOpndStmt.html#a172025849492f4de8f87564ef08f5880">SVF::MultiOpndStmt</a>

package/SVF-doxygen/html/html/functions_vars_p.html CHANGED Viewed

@@ -71,7 +71,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1VFG.html#a25c2bbbc2e966e2aaa59a5b83363557a">SVF::VFG</a>
 </li>
 <li>PAGDotGraph
-: <a class="el" href="classSVF_1_1Options.html#a3a20311c732fb391332ae0ee1cb450a0">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a1dd9ad3f11454be49b4c5099503db8e8">SVF::Options</a>
 </li>
 <li>pagEdge
 : <a class="el" href="classSVF_1_1StmtVFGNode.html#ab5f48de8258f92bb7b9d411e178beb49">SVF::StmtVFGNode</a>
@@ -116,7 +116,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1VFG.html#ac7083aa233d8e3820d6eb8e922f0c051">SVF::VFG</a>
 </li>
 <li>PAGPrint
-: <a class="el" href="classSVF_1_1Options.html#a98df022c5da54ea30b3f0ce008d3ca80">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a7c6053f2341a500a8caca61607303b6e">SVF::Options</a>
 </li>
 <li>pagReadFromTxt
 : <a class="el" href="classSVF_1_1SVFModule.html#a2547331e2c32b077d5876e609cb7f48f">SVF::SVFModule</a>
@@ -140,7 +140,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ProgSlice.html#a2a7a3a6dc518fd375f506d43b0ac9fc9">SVF::ProgSlice</a>
 </li>
 <li>PASelected
-: <a class="el" href="classSVF_1_1Options.html#a1211da4c36f1fcc65235891f31d87038">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a4837cf00e58d0b561f420f4b3b533ebd">SVF::Options</a>
 </li>
 <li>pathAllocator
 : <a class="el" href="classSVF_1_1ProgSlice.html#aaf001b6abc4ecb466ab74b26981ea7ef">SVF::ProgSlice</a>
@@ -149,7 +149,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFLoopAndDomInfo.html#a522e9d29a83ebd76ec208b76b8fd6cc0">SVF::SVFLoopAndDomInfo</a>
 </li>
 <li>PEGTransfer
-: <a class="el" href="classSVF_1_1Options.html#a7d566af0280a0c2457947fd426c81c81">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a4854dd8b167e468e698606254b31bf26">SVF::Options</a>
 </li>
 <li>persPTData
 : <a class="el" href="classSVF_1_1PersistentDFPTData.html#a349c231f59ea554059a1891f1a530820">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
@@ -162,11 +162,18 @@ $(function() {
 : <a class="el" href="classSVF_1_1FlowSensitive.html#aee7d59b7ad00cf1cf6e3fba19513aa42">SVF::FlowSensitive</a>
 </li>
 <li>PlainMappingFs
-: <a class="el" href="classSVF_1_1Options.html#a75a38fff97f7f18f3945c953cabc168b">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a0123986b466dae50b2f12c71295c54f9">SVF::Options</a>
 </li>
 <li>position
 : <a class="el" href="structerror.html#a24de70a4d517ab351d80c18582cadb66">error</a>
 </li>
+<li>possibilities
+: <a class="el" href="classOptionMap.html#a0e39650a4340e7ff4f214bc4223575eb">OptionMap&lt; T &gt;</a>
+, <a class="el" href="classOptionMultiple.html#aec251294a810d232e1f352a40126d82a">OptionMultiple&lt; T &gt;</a>
+</li>
+<li>possibilityDescriptions
+: <a class="el" href="classOptionBase.html#aa6cc4a59e5801eff5d7dcdc0137e16a1">OptionBase</a>
+</li>
 <li>predBBs
 : <a class="el" href="classSVF_1_1SVFBasicBlock.html#aec6be531ef52c960ef1e908fd031e32c">SVF::SVFBasicBlock</a>
 </li>
@@ -174,7 +181,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CmpStmt.html#a26fc263da6ab3fee40a335d367419328">SVF::CmpStmt</a>
 </li>
 <li>PredictPtOcc
-: <a class="el" href="classSVF_1_1Options.html#af34d8a738db4f40addc1de930e79654f">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#aed7bdea17fad08ceb0453b23f2f908bb">SVF::Options</a>
 </li>
 <li>predInsts
 : <a class="el" href="classSVF_1_1SVFInstruction.html#ace4dc83c186f5ae888aa210439ae4c34">SVF::SVFInstruction</a>
@@ -210,34 +217,34 @@ $(function() {
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#a3550ea3f087ec557a6fe076bc443b05d">SVF::PointerAnalysis</a>
 </li>
 <li>PrintAliases
-: <a class="el" href="classSVF_1_1Options.html#a1b1d1ad6b3a6c48a9fa07161b582c7fe">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#ac5b56390226cbed64c8fbd8ab8dee671">SVF::Options</a>
 </li>
 <li>PrintCFL
-: <a class="el" href="classSVF_1_1Options.html#a0beb2da0f9ab691c0b7729bb42f8354c">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a9ff12bf51a475c90c35e3351c5501f0f">SVF::Options</a>
 </li>
 <li>PrintCGGraph
-: <a class="el" href="classSVF_1_1Options.html#a87516daebb3d1b5fee9037068d60e268">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a9e5f361015b558d3d4e7e033868f9c83">SVF::Options</a>
 </li>
 <li>PrintCPts
-: <a class="el" href="classSVF_1_1Options.html#aee5e47ee3ca9bacb514f9dfbcb3abf24">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#abe3087eb48a10bb600d1fd24308c019b">SVF::Options</a>
 </li>
 <li>PrintDCHG
-: <a class="el" href="classSVF_1_1Options.html#adf6c289ef9f2d0196984dd4024ea4316">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#aab85f2c2ceb235b1291301f33154d182">SVF::Options</a>
 </li>
 <li>PrintInterLev
-: <a class="el" href="classSVF_1_1Options.html#aa3e6c78eb346a52bbaaac2610573604a">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a1c6e39ebc266c754de4d78a31cc021ba">SVF::Options</a>
 </li>
 <li>PrintLockSpan
-: <a class="el" href="classSVF_1_1Options.html#ab8a9641b660197b4421fbd6141858c58">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a34e1093189fc8c150a9f2961557aa844">SVF::Options</a>
 </li>
 <li>PrintPathCond
-: <a class="el" href="classSVF_1_1Options.html#ae6b763ff293381ed5da9b07c2e8ae496">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a61986f02577051d98962c6680ac7c4f9">SVF::Options</a>
 </li>
 <li>PrintQueryPts
-: <a class="el" href="classSVF_1_1Options.html#aabfcfcd67df527cdf587aff5ecc26a10">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#ae88c0813d02dcb5632cd721a61a15014">SVF::Options</a>
 </li>
 <li>PrintValidRes
-: <a class="el" href="classSVF_1_1Options.html#ac609142ee5a0caaf3ac51238ec421c2e">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a944aee270c78d42c998691da283165f1">SVF::Options</a>
 </li>
 <li>processTime
 : <a class="el" href="classSVF_1_1FlowSensitive.html#ae2e58d18abcdddc7a5a87f4edc5f3b72">SVF::FlowSensitive</a>
@@ -259,7 +266,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1PersistentPointsToCache.html#ad045302497c76b9dfa656882cc0192dd">SVF::PersistentPointsToCache&lt; Data &gt;</a>
 </li>
 <li>PStat
-: <a class="el" href="classSVF_1_1Options.html#a498a1a05a08be1ffd845aefeb0672bcb">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#ac9d18f2d6853f45548f4f85fa2f661c4">SVF::Options</a>
 </li>
 <li>pt
 : <a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html#a8be3dd8b1e66eac8577bf16b7403c9c5">SVF::PointsTo::PointsToIterator</a>
@@ -298,7 +305,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1CondPTAImpl.html#af960c10e49932ea5e9dcdd299ff300ce">SVF::CondPTAImpl&lt; Cond &gt;</a>
 </li>
 <li>ptDataBacking
-: <a class="el" href="classSVF_1_1Options.html#a9ec1d22e20b655e364fea03ba7d923a2">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#ae3c3cc703ef35987a32aa808038a1307">SVF::Options</a>
 </li>
 <li>ptdTy
 : <a class="el" href="classSVF_1_1PTData.html#abe01b39afed97b540c9bb8a8634afa28">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>
@@ -325,20 +332,20 @@ $(function() {
 : <a class="el" href="classSVF_1_1CondPTAImpl.html#a61167fcdb2005090de1b38e53450431a">SVF::CondPTAImpl&lt; Cond &gt;</a>
 </li>
 <li>PTSAllPrint
-: <a class="el" href="classSVF_1_1Options.html#a113ee30422ef08b6790eed9a83277b9c">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a737f3501a93f954790fe93d36c43fb00">SVF::Options</a>
 </li>
 <li>ptsMap
 : <a class="el" href="classSVF_1_1MutablePTData.html#a5ee6e307acd4edbf4f7c2b063032d942">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentPTData.html#a483c690c6cf19e258bdf7bb13e77976e">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>PTSPrint
-: <a class="el" href="classSVF_1_1Options.html#ace0fa364337374ce75a58a9e2f229e24">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a428e892b31dcb783be36a35e878a0337">SVF::Options</a>
 </li>
 <li>ptsToId
 : <a class="el" href="classSVF_1_1PersistentPointsToCache.html#a6a3b33721ae00efd2fdf2d71f3298e1c">SVF::PersistentPointsToCache&lt; Data &gt;</a>
 </li>
 <li>PtType
-: <a class="el" href="classSVF_1_1Options.html#abc02c7dc5e6cb3613856e0f774c6d304">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a595a98babd7d51af6dacd935bd27d1f0">SVF::Options</a>
 </li>
 <li>pwcReps
 : <a class="el" href="classSVF_1_1AndersenSCD.html#ac4bf67d35b56f010aeedb59777a83f0e">SVF::AndersenSCD</a>

package/SVF-doxygen/html/html/functions_vars_r.html CHANGED Viewed

@@ -86,13 +86,13 @@ $(function() {
 : <a class="el" href="classSVF_1_1ProgSlice.html#ab36bc2aa24a2a90555a9714dcbfc83e5">SVF::ProgSlice</a>
 </li>
 <li>ReadAnder
-: <a class="el" href="classSVF_1_1Options.html#a98a521e5c99c5248eae8f8234453b116">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a453571cd0205f14ead205b3a54477475">SVF::Options</a>
 </li>
 <li>ReadPrecisionTDEdge
-: <a class="el" href="classSVF_1_1Options.html#a6bec8aed8673d10d65cc3df9fad3383b">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a3b6146824333f0da957d37b199978916">SVF::Options</a>
 </li>
 <li>ReadSVFG
-: <a class="el" href="classSVF_1_1Options.html#a1608ded89f829a780d67cb82e1e62944">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a034a83cdac580c1f8b10805e29ca50e4">SVF::Options</a>
 </li>
 <li>realDefFun
 : <a class="el" href="classSVF_1_1SVFFunction.html#a78f8e3238be991bf5cc42a84c29b9007">SVF::SVFFunction</a>
@@ -116,10 +116,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1MemSSA.html#add1d4ff17d0860906d2f5f7172176121">SVF::MemSSA</a>
 </li>
 <li>RegionAlign
-: <a class="el" href="classSVF_1_1Options.html#a88550ed8c4ec2ccc5d5e40869499787b">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a5a70a23e30df8dea3fcaf0e80479fe88">SVF::Options</a>
 </li>
 <li>RegionedClustering
-: <a class="el" href="classSVF_1_1Options.html#ab6115b28808af348e1f6a6b58b4cd84f">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a8cc5b2a363724b558f4932277a87c0f6">SVF::Options</a>
 </li>
 <li>RegioningTime
 : <a class="el" href="classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ad5f733cad8a103a64e80270acb67567a">SVF::NodeIDAllocator::Clusterer</a>

package/SVF-doxygen/html/html/functions_vars_s.html CHANGED Viewed

@@ -65,7 +65,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SrcSnkDDA.html#a193ec317ac2208c7b92f024b35203f44">SVF::SrcSnkDDA</a>
 </li>
 <li>SABERFULLSVFG
-: <a class="el" href="classSVF_1_1Options.html#a5fb7733fd66ecad30eea8ced3839e590">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a93970b0b5e0a6148a86ab192a812f34b">SVF::Options</a>
 </li>
 <li>SB_FESIBLE
 : <a class="el" href="classSVF_1_1Annotator.html#ac58473072d90baa6dc377b45f18d0da5">SVF::Annotator</a>
@@ -104,7 +104,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1RaceResultValidator.html#a1294cb90b073ba25a8ffc06180c09419">SVF::RaceResultValidator</a>
 </li>
 <li>SelfCycle
-: <a class="el" href="classSVF_1_1Options.html#a3ed96242ac56a05d057ebd11b23cf053">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a9ef14f68939b7678ddff83d544e024cc">SVF::Options</a>
 </li>
 <li>sfrAndersen
 : <a class="el" href="classSVF_1_1AndersenSFR.html#abcf0f758174f224c5da066d0115beefb">SVF::AndersenSFR</a>
@@ -113,19 +113,19 @@ $(function() {
 : <a class="el" href="classSVF_1_1AndersenSFR.html#a0865c50224ffc1e053cf859122f83f75">SVF::AndersenSFR</a>
 </li>
 <li>ShowHiddenNode
-: <a class="el" href="classSVF_1_1Options.html#adec2012e10130f664fe0ea3acf39f78b">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#adee65a3773fbb98532538c938230e1d3">SVF::Options</a>
 </li>
 <li>ShowSVFIRValue
-: <a class="el" href="classSVF_1_1Options.html#a63c2ff1420867ea4ef0a94d28b3f0558">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a424a44f39a43b22434dbdce26007a353">SVF::Options</a>
 </li>
 <li>SingleLoad
-: <a class="el" href="classSVF_1_1Options.html#a57564c82a2b90b7de837151f65b276f3">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a5fe0e29e325a6d53ccf16f8fe725821e">SVF::Options</a>
 </li>
 <li>singleRHS2Prods
 : <a class="el" href="classSVF_1_1CFLGrammar.html#ab666a858752d088bd2f2081d0c9bd278">SVF::CFLGrammar</a>
 </li>
 <li>SingleStride
-: <a class="el" href="classSVF_1_1Options.html#aa734ee7b55809934b441cf5e5818e015">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#ae5af5a2b3854b4d234197ab1a389aac2">SVF::Options</a>
 </li>
 <li>sinks
 : <a class="el" href="classSVF_1_1ProgSlice.html#ab4da58e7c4cd2c80b4830efeaa896f80">SVF::ProgSlice</a>
@@ -178,7 +178,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1SVFG.html#ad5c1415f488ec4412d5457262269eff3">SVF::SVFG</a>
 </li>
 <li>StatBudget
-: <a class="el" href="classSVF_1_1Options.html#abae23cb06d932f93900f627813b9f4a4">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#ad2f3ffd1b8d579ebe4c19a015cd599e2">SVF::Options</a>
 </li>
 <li>steens
 : <a class="el" href="classSVF_1_1Steensgaard.html#a04530669bc548ae13bd8908fe4dbd3d2">SVF::Steensgaard</a>
@@ -278,13 +278,13 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFGBuilder.html#a70de38086437635d2e44d2a0c9fdded9">SVF::SVFGBuilder</a>
 </li>
 <li>SVFGWithIndirectCall
-: <a class="el" href="classSVF_1_1Options.html#a982b4cd71ccafd07d94f10a0a2e953c2">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a06eea18ba4cdf509255126a9b58e8eb0">SVF::Options</a>
 </li>
 <li>svfir
 : <a class="el" href="classSVF_1_1CFLBase.html#a9e6cbab31612da4a1f8f660d1fabc4c0">SVF::CFLBase</a>
 </li>
 <li>SVFMain
-: <a class="el" href="classSVF_1_1Options.html#a868fa5069b01b7a7dfbc5fb99cb76385">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a3a718b0a27c2d13878c0718af97ad73d">SVF::Options</a>
 </li>
 <li>svfMod
 : <a class="el" href="classSVF_1_1CHGraph.html#a62a3ccdbc55381d5f8d96dc23141f2e5">SVF::CHGraph</a>
@@ -312,7 +312,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1SymbolTableInfo.html#a4fbb8ea4b4796d10d13c027b7455505c">SVF::SymbolTableInfo</a>
 </li>
 <li>SymTabPrint
-: <a class="el" href="classSVF_1_1Options.html#abbfd1d7e985483c486394d8db85b6a85">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a52c06ea1c5dd347079f192f0cba3dcd3">SVF::Options</a>
 </li>
 </ul>
 </div><!-- contents -->

package/SVF-doxygen/html/html/functions_vars_t.html CHANGED Viewed

@@ -68,10 +68,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1MTASVFGBuilder.html#ad55a5f1e1f6d8e99fc0be5b85bbf8599">SVF::MTASVFGBuilder</a>
 </li>
 <li>TaintUninitHeap
-: <a class="el" href="classSVF_1_1Options.html#a40080aa0a7c926c6f2797e3d7856c03e">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#ad6f51870a3cabccbec4898d572dba74f">SVF::Options</a>
 </li>
 <li>TaintUninitStack
-: <a class="el" href="classSVF_1_1Options.html#aa1d9db53dbb6e1364662a8297a744bbc">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a787f95c7ac87e04f2e6d55cf5d665a34">SVF::Options</a>
 </li>
 <li>tcg
 : <a class="el" href="classSVF_1_1MHP.html#a4b73d112880ad940e078e801f8725799">SVF::MHP</a>
@@ -92,7 +92,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MTAResultValidator.html#ac8f933e04f7633cfb56b3e33ee2d6808">SVF::MTAResultValidator</a>
 </li>
 <li>TCTDotGraph
-: <a class="el" href="classSVF_1_1Options.html#a19758db674de8af8a1c80734a1c0fac8">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#adceab9fa76c438b8e5e83dd6042523ce">SVF::Options</a>
 </li>
 <li>TCTEdgeNum
 : <a class="el" href="classSVF_1_1TCT.html#a862899f2e5fb35920adf8e763e1dba57">SVF::TCT</a>
@@ -305,7 +305,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1DCHNode.html#a8a7b412262af7a90c9ef583b6a8c10fc">SVF::DCHNode</a>
 </li>
 <li>TypePrint
-: <a class="el" href="classSVF_1_1Options.html#affd0cb6e0cb91e096537a3d3198bf4e5">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a83103f0d5f166e0bb062aa7d7b393ddd">SVF::Options</a>
 </li>
 <li>typeSystem
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#a219baed92b811d5519b056ad393fceed">SVF::PointerAnalysis</a>

package/SVF-doxygen/html/html/functions_vars_u.html CHANGED Viewed

@@ -92,16 +92,16 @@ $(function() {
 : <a class="el" href="classSVF_1_1MemSSA.html#acf840b71b67cabe831f01f2d358f27fa">SVF::MemSSA</a>
 </li>
 <li>UsePCG
-: <a class="el" href="classSVF_1_1Options.html#af2f66307e1d51947676f622c98ef0762">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#aaa7ca76c841dd19d67796d09c94a9746">SVF::Options</a>
 </li>
 <li>UsePreCompFieldSensitive
-: <a class="el" href="classSVF_1_1Options.html#afb6fabc25c0d7f9e9d1708ce648797fc">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a742a42d855c5b96fb7c70a2d0ab64021">SVF::Options</a>
 </li>
 <li>userInput
 : <a class="el" href="classSVF_1_1DDAClient.html#a25f8abbcaca653d0883d542bfbe729a3">SVF::DDAClient</a>
 </li>
 <li>UserInputQuery
-: <a class="el" href="classSVF_1_1Options.html#a3c3d704c209c4e6eed1a771caf8214ce">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a5d14e81336dbfefa14146bf610989e6b">SVF::Options</a>
 </li>
 </ul>
 </div><!-- contents -->