npm - svf-tools - Versions diffs - 1.0.619 → 1.0.621 - Mend

svf-tools 1.0.619 → 1.0.621

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 (454) hide show

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

@@ -150,6 +150,7 @@ $(function() {
 </li>
 <li>id
 : <a class="el" href="classSVF_1_1GenericNode.html#aaa53457604fe4cf4cb97ca85d33907b0">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
+, <a class="el" href="structSVF_1_1HybridData_1_1TreeNode.html#aee14edee2d81613c48c00b090ff0e66b">SVF::HybridData::TreeNode</a>
 </li>
 <li>ID
 : <a class="el" href="classSVF_1_1MergeFunctionRets.html#a7a763ae6c9d3c72345495f01b0b4b458">SVF::MergeFunctionRets</a>
@@ -192,7 +193,7 @@ $(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>IN
 : <a class="el" href="classSVF_1_1FlowSensitiveStat.html#ab11996ab5606f51c977b9b1385c13d71ad0b57a5d90c72b67337a68c04ae34739">SVF::FlowSensitiveStat</a>
@@ -205,7 +206,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1SVFGStat.html#a6e68486e02db81cbbedc942ace3e9590">SVF::SVFGStat</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>incEdgeNum()
 : <a class="el" href="classSVF_1_1GenericGraph.html#a2f2bca8219c7d769f6d2937e5cd40d14">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a>
@@ -254,7 +255,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SaberCondAllocator.html#a5335280b02e1fab5a0404ba902eb0937">SVF::SaberCondAllocator</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>
@@ -274,6 +275,9 @@ $(function() {
 <li>IndirectSVFGEdge()
 : <a class="el" href="classSVF_1_1IndirectSVFGEdge.html#a6d40ccc9b99aec6515c2ef1df5a7b18f">SVF::IndirectSVFGEdge</a>
 </li>
+<li>indMap
+: <a class="el" href="classSVF_1_1HybridData.html#abec2faddf70b046941f146976c8d05df">SVF::HybridData</a>
+</li>
 <li>indVFEdgeEnd()
 : <a class="el" href="classSVF_1_1SVFGStat.html#a8b3b9a211f410e67e8fd1a79d3db9023">SVF::SVFGStat</a>
 </li>
@@ -360,6 +364,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1FlowSensitive.html#ad3566c57f8456e98542f5a0b765e3cc6">SVF::FlowSensitive</a>
 , <a class="el" href="classSVF_1_1FSMPTA.html#acbfb7d2a6d38b54966c98102c1ea6a38">SVF::FSMPTA</a>
 , <a class="el" href="classSVF_1_1MTAAnnotator.html#a108616cc98f15af3010ca45b91f32c04">SVF::MTAAnnotator</a>
+, <a class="el" href="classSVF_1_1POCRAlias.html#aad3e90950c4393abddb52afd68cb9f89">SVF::POCRAlias</a>
 , <a class="el" href="classSVF_1_1PointerAnalysis.html#a431ec4f85eb0f029e5740b92fd9ceb32">SVF::PointerAnalysis</a>
 , <a class="el" href="classSVF_1_1SrcSnkDDA.html#a8883b9a42106ed8c55835d2ba9a579cd">SVF::SrcSnkDDA</a>
 , <a class="el" href="classSVF_1_1TypeAnalysis.html#a34177236a41f7a2b432243062f829985">SVF::TypeAnalysis</a>
@@ -431,10 +436,10 @@ $(function() {
 , <a class="el" href="classSVF_1_1SCCDetection.html#a60b977d41c29aa6ea01b94be12792351">SVF::SCCDetection&lt; GraphType &gt;</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>
@@ -448,6 +453,9 @@ $(function() {
 <li>insertEBNFSigns()
 : <a class="el" href="classSVF_1_1GrammarBase.html#a2af19122bccb7ca0c7ab44a07a1bdfb1">SVF::GrammarBase</a>
 </li>
+<li>insertEdge()
+: <a class="el" href="classSVF_1_1HybridData.html#a6b88524881456cfa725a818bb6e227aa">SVF::HybridData</a>
+</li>
 <li>insertNonterminalKind()
 : <a class="el" href="classSVF_1_1GrammarBase.html#ac15b20ef3698ddab09c4c60e302ea4a0">SVF::GrammarBase</a>
 </li>
@@ -629,7 +637,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1ExeState.html#a259b93247e06141077b2c1ae15efcbb8a39d5fb8ca9906072253f8af46b916351">SVF::ExeState</a>
 </li>
 <li>IntervalValue()
-: <a class="el" href="classSVF_1_1IntervalValue.html#a73aee65aae0f2ef368d159d29e1d5a30">SVF::IntervalValue</a>
+: <a class="el" href="classSVF_1_1IntervalValue.html#ad51535cb50a03df7a439b4e5b5d305f0">SVF::IntervalValue</a>
 </li>
 <li>intraBackwardTraverse()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a5f693c893f3701e1e025881f91193d53">SVF::LockAnalysis</a>
@@ -668,7 +676,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1IntraIndSVFGEdge.html#ab2b1f7610737c6f0a5a94b8a7e629110">SVF::IntraIndSVFGEdge</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>IntraMSSAPHISVFGNode()
 : <a class="el" href="classSVF_1_1IntraMSSAPHISVFGNode.html#abe0faa3d40bf16ac0937324035d3323d">SVF::IntraMSSAPHISVFGNode</a>
@@ -827,6 +835,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFIR.html#a6a71d2716530607d66d9e9035199d997">SVF::SVFIR</a>
 , <a class="el" href="classSVF_1_1SymbolTableInfo.html#acba43b6e9cdf07afaf3d30351aa8df7c">SVF::SymbolTableInfo</a>
 </li>
+<li>isBool()
+: <a class="el" href="classOption.html#a910cf3c0ac5d45ee169cb8750898ea0b">Option&lt; T &gt;</a>
+, <a class="el" href="classOptionBase.html#acd2a32f510c026154665f7d874f3f362">OptionBase</a>
+</li>
 <li>isBottom()
 : <a class="el" href="classSVF_1_1AbstractValue.html#aafe29c4c572b851ce8031f5cd81600c5">SVF::AbstractValue</a>
 , <a class="el" href="classSVF_1_1AddressValue.html#a8d723e05901bec417fec967972c6d6f2">SVF::AddressValue</a>
@@ -931,8 +943,12 @@ $(function() {
 : <a class="el" href="classSVF_1_1ProgSlice.html#a6c63e9641e4d3d3f2f8c4a73bfba7a07">SVF::ProgSlice</a>
 , <a class="el" href="classSVF_1_1SaberCondAllocator.html#aa9027574586fd4fbb12039f595ecec71">SVF::SaberCondAllocator</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>isFClose()
-: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a970676d884d66da9fce00fe5b60c96ba">SVF::SaberCheckerAPI</a>
+: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a534bfe077af19b111c1b7bc3c5a065e6">SVF::SaberCheckerAPI</a>
 </li>
 <li>isFieldInsenCondMemObj()
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#a37a6321f50bef2939b287cc088e76170">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
@@ -1020,6 +1036,9 @@ $(function() {
 <li>isHeapMemObj()
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#ae6ea391ac44dffeb6899bb44323c5361">SVF::PointerAnalysis</a>
 </li>
+<li>isHelpName()
+: <a class="el" href="classOptionBase.html#ae446d8507843235d8fe71d32bc4bd04b">OptionBase</a>
+</li>
 <li>isInAWrapper()
 : <a class="el" href="classSVF_1_1SrcSnkDDA.html#afc75e55af839ef535d80555fd422342c">SVF::SrcSnkDDA</a>
 </li>
@@ -1080,7 +1099,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1LockAnalysis.html#aa759d7cf2aa537a375daef4c637e597e">SVF::LockAnalysis</a>
 </li>
 <li>isInSameCSSpan()
-: <a class="el" href="classSVF_1_1LockAnalysis.html#a1c23ab16b5c7ab5bb482a5828e615bbb">SVF::LockAnalysis</a>
+: <a class="el" href="classSVF_1_1LockAnalysis.html#a8595b976bf60d161561e5494257aa179">SVF::LockAnalysis</a>
 </li>
 <li>isInSameSpan()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a1c1b63a8bd7449ebeb2c31b0532e9337">SVF::LockAnalysis</a>
@@ -1156,13 +1175,13 @@ $(function() {
 : <a class="el" href="classSVF_1_1TCT.html#ab6c2beac6b9f1e4fc1fdd4d657232389">SVF::TCT</a>
 </li>
 <li>isMemAlloc()
-: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#acd2486bcf4cf413e63afed7884a0719e">SVF::SaberCheckerAPI</a>
+: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a512741dffe68d4bbb761c5c178ea8c67">SVF::SaberCheckerAPI</a>
 </li>
 <li>isMemcpy()
 : <a class="el" href="classSVF_1_1MTAAnnotator.html#aee9e5ebac543d9a2aab511410b047898">SVF::MTAAnnotator</a>
 </li>
 <li>isMemDealloc()
-: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#ab6d9c2435bdb1c01542cc75e9eef0a4e">SVF::SaberCheckerAPI</a>
+: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#aa6323d60c58b06f94a1645b26d3305ae">SVF::SaberCheckerAPI</a>
 </li>
 <li>isMemset()
 : <a class="el" href="classSVF_1_1MTAAnnotator.html#a36eb47b716c3b44ba5c459052bb0ed93">SVF::MTAAnnotator</a>
@@ -1177,6 +1196,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1CHNode.html#a224a394537fae62e64cf62a0d4fdd430">SVF::CHNode</a>
 , <a class="el" href="classSVF_1_1DCHNode.html#a42026e30e790bce5be03da3e45353c8d">SVF::DCHNode</a>
 </li>
+<li>isMultiple()
+: <a class="el" href="classOptionBase.html#ad6fe65a503048686686ea6ced35a2dfd">OptionBase</a>
+, <a class="el" href="classOptionMultiple.html#aebfc1b172ccde004333d9af7248dca4e">OptionMultiple&lt; T &gt;</a>
+</li>
 <li>isMustAlias()
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#a345e5379f53b618adef014aa6887bfe7">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
@@ -1329,12 +1352,12 @@ $(function() {
 <li>isScalar()
 : <a class="el" href="classSVF_1_1DCHNode.html#a50cf99ff5cc910512c1ce3987c7395ef">SVF::DCHNode</a>
 </li>
-<li>isSimple()
-: <a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#acc82bc6228128e5bb98a6b00d6dc5f77">SVF::DefaultDOTGraphTraits</a>
-</li>
 <li>IsSimple
 : <a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#abf5957e894bacd69c9ead5a80a330626">SVF::DefaultDOTGraphTraits</a>
 </li>
+<li>isSimple()
+: <a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#acc82bc6228128e5bb98a6b00d6dc5f77">SVF::DefaultDOTGraphTraits</a>
+</li>
 <li>isSingleFieldObj()
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#a38fd07dd86f6187a7671f9f85565fccc">SVF::ConstraintGraph</a>
 </li>
@@ -1407,14 +1430,14 @@ $(function() {
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#add7daee4a0ecae479a5ab015130c8c93">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
 <li>isTailofSpan()
-: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a9c8681767551575a18ee141f7336db05">SVF::MTASVFGBuilder</a>
+: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#ac8339229ade604f4205b111bfc99f23f">SVF::MTASVFGBuilder</a>
 </li>
 <li>isTDAcquire()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#ab8376e0cbdff101b7b981141637e3da3">SVF::LockAnalysis</a>
 , <a class="el" href="classSVF_1_1ThreadAPI.html#a742161b465774d74306df68a2bbe95e8">SVF::ThreadAPI</a>
 </li>
 <li>isTDBarWait()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#a62a5d4709eb9f1e4e9dd20b87dac8c42">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#af3aa58dc83dca382162df67c12169585">SVF::ThreadAPI</a>
 </li>
 <li>isTDExit()
 : <a class="el" href="classSVF_1_1ThreadAPI.html#a22d6c0cf0ba19af0661b106a8859024f">SVF::ThreadAPI</a>
@@ -1428,7 +1451,7 @@ $(function() {
 <li>isTDJoin()
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a97151d74790b2853249d0cc94bb0904f">SVF::ForkJoinAnalysis</a>
 , <a class="el" href="classSVF_1_1MHP.html#a3352c8718f909c9fbed4ef7f5cf050a2">SVF::MHP</a>
-, <a class="el" href="classSVF_1_1ThreadAPI.html#a68b10ffa2775fe7d8c1476409c0f54ab">SVF::ThreadAPI</a>
+, <a class="el" href="classSVF_1_1ThreadAPI.html#a50e56d63c6d713ac34b4006d248f880b">SVF::ThreadAPI</a>
 </li>
 <li>isTDRelease()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#ad1184e1c2d583fa0b03bd1892152925a">SVF::LockAnalysis</a>
@@ -1531,19 +1554,20 @@ $(function() {
 : <a class="el" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a3627077086baa18bd0ae25efd981c18f">SVF::SparseBitVector&lt; ElementSize &gt;::SparseBitVectorIterator</a>
 </li>
 <li>iter_adaptor_base()
-: <a class="el" href="classSVF_1_1iter__adaptor__base.html#aae17978dbc68365513742c0ed6dd6e77">SVF::iter_adaptor_base&lt; DerivedT, WrappedIteratorT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
+: <a class="el" href="classSVF_1_1iter__adaptor__base.html#ad3e91fd59221ddbdc889bc081159f611">SVF::iter_adaptor_base&lt; DerivedT, WrappedIteratorT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
 </li>
 <li>iter_facade_base
 : <a class="el" href="classSVF_1_1iter__facade__base_1_1ReferenceProxy.html#ab4717ea89d08ac05464fa95bc7f50ac6">SVF::iter_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;::ReferenceProxy</a>
 </li>
 <li>iter_range()
-: <a class="el" href="classSVF_1_1iter__range.html#ac3a12d857b57fbe7b81987f56655cb3b">SVF::iter_range&lt; IteratorT &gt;</a>
+: <a class="el" href="classSVF_1_1iter__range.html#aa4d5bc9762f2d7686b9ab36078e0a319">SVF::iter_range&lt; IteratorT &gt;</a>
 </li>
 <li>iterationForPrintStat
 : <a class="el" href="classSVF_1_1WPASolver.html#aa7c0636780a86f376e9222bce771e859">SVF::WPASolver&lt; GraphType &gt;</a>
 </li>
 <li>iterator
-: <a class="el" href="classSVF_1_1CondPointsToSet.html#a76d4c06b04161738351a813ae406aa83">SVF::CondPointsToSet&lt; Cond &gt;</a>
+: <a class="el" href="classSVF_1_1CFLData.html#ac9488c13a59fc9da5ea96774f68cb578">SVF::CFLData</a>
+, <a class="el" href="classSVF_1_1CondPointsToSet.html#a76d4c06b04161738351a813ae406aa83">SVF::CondPointsToSet&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1CondStdSet.html#a6d82b5ddafa28542ce65adb0cc56cdce">SVF::CondStdSet&lt; Element &gt;</a>
 , <a class="el" href="classSVF_1_1ConstraintNode.html#a19ebc316f4fa0246debb1ca61c2b2f3f">SVF::ConstraintNode</a>
 , <a class="el" href="classSVF_1_1CoreBitVector.html#a624ebc80d138fbf2b015bf557d2891a6">SVF::CoreBitVector</a>

package/SVF-doxygen/html/html/functions_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_l.html CHANGED Viewed

@@ -302,10 +302,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>
@@ -330,7 +330,7 @@ $(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>
@@ -343,7 +343,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1TCT.html#aeb61fffa4861cb1146676869d85d3773">SVF::TCT</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_m.html CHANGED Viewed

@@ -88,7 +88,7 @@ $(function() {
 : <a class="el" href="structcJSON__Hooks.html#a71693d8b277a80a1faf8758b9589d670">cJSON_Hooks</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>mapped_iter()
 : <a class="el" href="classSVF_1_1mapped__iter.html#a08a4c1e7b455fc3786f6bc7e9929120a">SVF::mapped_iter&lt; ItTy, FuncTy, FuncReturnTy &gt;</a>
@@ -107,7 +107,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1LockAnalysis.html#a375cb175ec0068bacaa64cf40a49d485">SVF::LockAnalysis</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>markRelProcs()
 : <a class="el" href="classSVF_1_1TCT.html#a8bb7ffa8dd185c52e6c150f9bc995511">SVF::TCT</a>
@@ -137,13 +137,13 @@ $(function() {
 : <a class="el" href="classSVF_1_1NumericLiteral.html#a9e7a696842de2a4fae08a75d72a807ec">SVF::NumericLiteral</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>
@@ -176,7 +176,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>
@@ -185,7 +185,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>
@@ -194,7 +194,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>mayAccessAliases()
 : <a class="el" href="classSVF_1_1RaceResultValidator.html#ade9f150c970aa2cc481c878aebf71662">SVF::RaceResultValidator</a>
@@ -229,7 +229,8 @@ $(function() {
 , <a class="el" href="classSVF_1_1IntervalExeState.html#a1e5d399b2111d9b8ed17f790cab12d5d">SVF::IntervalExeState</a>
 </li>
 <li>meld()
-: <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a1da960df51570b59161e380949d910c4">SVF::VersionedFlowSensitive</a>
+: <a class="el" href="classSVF_1_1HybridData.html#acb745344dc5018078823119856308cdb">SVF::HybridData</a>
+, <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a1da960df51570b59161e380949d910c4">SVF::VersionedFlowSensitive</a>
 </li>
 <li>meldLabel()
 : <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#aaff594c78d93f7ad632d344e5c1c7f6a">SVF::VersionedFlowSensitive</a>
@@ -250,7 +251,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFIR.html#ab6abb822445c9b3f5cb2b7206042e940">SVF::SVFIR</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>MemPartition
 : <a class="el" href="classSVF_1_1MemSSA.html#ac0797f2ee7b59ae720095a4836533671">SVF::MemSSA</a>
@@ -355,13 +356,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>modRefAnalysis()
 : <a class="el" href="classSVF_1_1MRGenerator.html#adc9d530e6f010596d91cd3711dc1358b">SVF::MRGenerator</a>
@@ -440,7 +441,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MSSADEF.html#a1b1c7cbc293182a5ded43efa522990de">SVF::MSSADEF</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>MSSAMU()
 : <a class="el" href="classSVF_1_1MSSAMU.html#a1d0f8d3e7651f4ace92d31a9c6604e2f">SVF::MSSAMU&lt; Cond &gt;</a>
@@ -488,7 +489,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFStmt.html#a9ea22adbfc307dddee42ffec07cc88ed">SVF::SVFStmt</a>
 </li>
 <li>MultiOpndStmt()
-: <a class="el" href="classSVF_1_1MultiOpndStmt.html#a6b01d569057dda1783503563c20c74e6">SVF::MultiOpndStmt</a>
+: <a class="el" href="classSVF_1_1MultiOpndStmt.html#a60420a9681df31686eb4a42adf37e1e3">SVF::MultiOpndStmt</a>
 </li>
 <li>MUSet
 : <a class="el" href="classSVF_1_1MemSSA.html#a81bba824495a882b49e687683954b112">SVF::MemSSA</a>

package/SVF-doxygen/html/html/functions_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>NameToCHNodesMap
 : <a class="el" href="classSVF_1_1CHGraph.html#aedb20aca2fa11a070cfe28e14fd3552b">SVF::CHGraph</a>
@@ -155,7 +156,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1SrcSnkSolver.html#a14a76b28f06e167bf66e15b336570cd3">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</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>NodeData
 : <a class="el" href="classSVF_1_1VersionedFlowSensitive_1_1SCC.html#a3b4321bdd7924d05fd3b8506ec1c7c3c">SVF::VersionedFlowSensitive::SCC</a>
@@ -265,12 +266,12 @@ $(function() {
 : <a class="el" href="classSVF_1_1MRGenerator.html#ab075a7c7fbc60f678b3fee8bbc06194d">SVF::MRGenerator</a>
 , <a class="el" href="classSVF_1_1SaberSVFGBuilder.html#a4cb1f607e33d106dfa178e822c5ab7e1">SVF::SaberSVFGBuilder</a>
 </li>
-<li>NodeToRepMap
-: <a class="el" href="classSVF_1_1ConstraintGraph.html#afe34ca6bdbb22b188799a4297fd19004">SVF::ConstraintGraph</a>
-</li>
 <li>nodeToRepMap
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#ab1b5ee9202bd9f5d738f9850b42a45d2">SVF::ConstraintGraph</a>
 </li>
+<li>NodeToRepMap
+: <a class="el" href="classSVF_1_1ConstraintGraph.html#afe34ca6bdbb22b188799a4297fd19004">SVF::ConstraintGraph</a>
+</li>
 <li>nodeToSubsMap
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#af91f1027cd5de591ae40865f691c5f60">SVF::ConstraintGraph</a>
 </li>
@@ -335,6 +336,9 @@ $(function() {
 <li>NormCallGraph
 : <a class="el" href="classSVF_1_1PTACallGraph.html#a5b1fe2b2314db947cd5e709b7285fe1ca6bbe72ac881caacbded694492df5417c">SVF::PTACallGraph</a>
 </li>
+<li>nothingSet()
+: <a class="el" href="classOptionMultiple.html#a6de3b01c7773ea6fddf84cd57e7401f8">OptionMultiple&lt; T &gt;</a>
+</li>
 <li>NPtr
 : <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a6df3eccb26b5d699c8adbd563b31f2ff">SVF::VFGNode</a>
 </li>

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

@@ -95,7 +95,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ObjVar.html#a87e7e6a7db8027c1351476862d7f08cb">SVF::ObjVar</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>
@@ -208,7 +208,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1CondPointsToSet.html#ab86fdf68183d05f66e1405c6346038c4">SVF::CondPointsToSet&lt; Cond &gt;</a>
 </li>
 <li>operator()()
-: <a class="el" href="structstd_1_1hash_3_01const_01SVF_1_1CondVar_3_01Cond_01_4_01_4.html#ae66ac1a976e498f88e382988f17b4df5">std::hash&lt; const SVF::CondVar&lt; Cond &gt; &gt;</a>
+: <a class="el" href="classOption.html#a03dd304d717f642cd3b809c0233f876c">Option&lt; T &gt;</a>
+, <a class="el" href="classOptionMap.html#a12951965815bfaf1c5b3b026c6c4fb96">OptionMap&lt; T &gt;</a>
+, <a class="el" href="classOptionMultiple.html#af3ce2d981843996c5e47de2918d1f569">OptionMultiple&lt; T &gt;</a>
+, <a class="el" href="structstd_1_1hash_3_01const_01SVF_1_1CondVar_3_01Cond_01_4_01_4.html#ae66ac1a976e498f88e382988f17b4df5">std::hash&lt; const SVF::CondVar&lt; Cond &gt; &gt;</a>
 , <a class="el" href="structstd_1_1hash_3_01const_01SVF_1_1ContextCond_01_4.html#a225b0bd057a9d76d7436eae4a6b5baa0">std::hash&lt; const SVF::ContextCond &gt;</a>
 , <a class="el" href="structstd_1_1hash_3_01std_1_1vector_3_01T_01_4_01_4.html#a921ca626d87c3eed7b71210cfc24d0dd">std::hash&lt; std::vector&lt; T &gt; &gt;</a>
 , <a class="el" href="structstd_1_1hash_3_01SVF_1_1CallSite_01_4.html#a6ed3f621cd155faae27cbd844338409a">std::hash&lt; SVF::CallSite &gt;</a>
@@ -311,6 +314,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1CxtThreadStmt.html#affaa3bf793e1127a8333b6683ebb3fdd">SVF::CxtThreadStmt</a>
 , <a class="el" href="classSVF_1_1DPItem.html#a639c757076141a14bedc26c73f875ffe">SVF::DPItem</a>
 , <a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html#a065e31f186f058b9339cd4c162cddeb8">SVF::GrammarBase::Symbol</a>
+, <a class="el" href="structSVF_1_1HybridData_1_1TreeNode.html#adefb801eb96d6b1c24c86fa48fe2932e">SVF::HybridData::TreeNode</a>
 , <a class="el" href="classSVF_1_1IntervalExeState.html#aa4acf1e8ae7571f527047e36b77dfb58">SVF::IntervalExeState</a>
 , <a class="el" href="classSVF_1_1iter__adaptor__base.html#a0a4477a210b9d5ce260ca3790cfe9779">SVF::iter_adaptor_base&lt; DerivedT, WrappedIteratorT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
 , <a class="el" href="classSVF_1_1LocationSet.html#a511e8324d88624013eed04e8c2a6cbc4">SVF::LocationSet</a>
@@ -396,11 +400,11 @@ $(function() {
 , <a class="el" href="classSVF_1_1NumericLiteral.html#afef9ceccd945b00c4a542ac9f277bde2">SVF::NumericLiteral</a>
 , <a class="el" href="classSVF_1_1PhiStmt.html#a331c7e14409b2d78881a0ec8932c1170">SVF::PhiStmt</a>
 , <a class="el" href="classSVF_1_1PointsTo.html#a269d334618e4acc7e739317fd58d7fe7">SVF::PointsTo</a>
-, <a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html#a16f92fffe8aba3ba9bd80a880e93b056">SVF::PointsTo::PointsToIterator</a>
-, <a class="el" href="classSVF_1_1RelExeState.html#a1fe9d8a646640f9995d92bf8a577cd20">SVF::RelExeState</a>
+, <a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html#acbbcff746f7f0dc37815e688e9172f21">SVF::PointsTo::PointsToIterator</a>
+, <a class="el" href="classSVF_1_1RelExeState.html#a7ab6cb58ed0f95417549b6291f658f86">SVF::RelExeState</a>
 , <a class="el" href="classSVF_1_1RetPE.html#acb2a5e66fab9f95278c44344d268f465">SVF::RetPE</a>
 , <a class="el" href="classSVF_1_1SelectStmt.html#ae3dd9ff3908218082b8c71c0ec7ef252">SVF::SelectStmt</a>
-, <a class="el" href="classSVF_1_1SparseBitVector.html#a74ded252b99e70cb999b869a5250948e">SVF::SparseBitVector&lt; ElementSize &gt;</a>
+, <a class="el" href="classSVF_1_1SparseBitVector.html#adeed46c25650bdbccdef0519906d1030">SVF::SparseBitVector&lt; ElementSize &gt;</a>
 , <a class="el" href="classSVF_1_1StInfo.html#a00736806c009de53039544cfc85240f1">SVF::StInfo</a>
 , <a class="el" href="classSVF_1_1StmtDPItem.html#a072da7dc37fd3f9b7a79196394382499">SVF::StmtDPItem&lt; LocCond &gt;</a>
 , <a class="el" href="classSVF_1_1StoreCGEdge.html#a51869681f10566da74de3fb461c7a7e0">SVF::StoreCGEdge</a>
@@ -415,7 +419,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1Wto.html#a67712df707ee21927135027189e2723b">SVF::Wto</a>
 , <a class="el" href="classSVF_1_1WtoComponent.html#a8de245528016b2c4651f37c6e455d640">SVF::WtoComponent</a>
 , <a class="el" href="classSVF_1_1WtoComponentVisitor.html#aaf3e934b4a44028294af61363a0d9ec0">SVF::WtoComponentVisitor</a>
-, <a class="el" href="classSVF_1_1WtoNesting.html#a2cfad3aa86de5a6fd7b2d02c4151e6e3">SVF::WtoNesting</a>
+, <a class="el" href="classSVF_1_1WtoNesting.html#ad8ef62b31af08af32a160e048696896d">SVF::WtoNesting</a>
 , <a class="el" href="classSVF_1_1Z3Expr.html#a3bd99446d5e56e704d812bd0d1f36a85">SVF::Z3Expr</a>
 </li>
 <li>operator==()
@@ -439,7 +443,8 @@ $(function() {
 , <a class="el" href="classSVF_1_1DPItem.html#ad67fcd340351360555b0cb88f57b183a">SVF::DPItem</a>
 , <a class="el" href="classSVF_1_1ExeState.html#a0e4c8a41aa861ff2862d8b620c902f21">SVF::ExeState</a>
 , <a class="el" href="classSVF_1_1GenericEdge.html#a0e461644bf9a4e50099b38f09222e858">SVF::GenericEdge&lt; NodeTy &gt;</a>
-, <a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html#ab888c449c25947a0082ca0e7136ef1e9">SVF::GrammarBase::Symbol</a>
+, <a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html#a09f8568b3cdca65069b38879cfe57a53">SVF::GrammarBase::Symbol</a>
+, <a class="el" href="structSVF_1_1HybridData_1_1TreeNode.html#ac0621d13b08e324200494c8fb3f4713f">SVF::HybridData::TreeNode</a>
 , <a class="el" href="classSVF_1_1IntervalExeState.html#a92b846d3cd77ab12a35cb81815e22ee3">SVF::IntervalExeState</a>
 , <a class="el" href="classSVF_1_1IntervalValue.html#a3ac2a92a9d67dec907fa7ae4181dc171">SVF::IntervalValue</a>
 , <a class="el" href="classSVF_1_1iter__adaptor__base.html#a0cfce21cb7aa24062dd921a9a5bace3a">SVF::iter_adaptor_base&lt; DerivedT, WrappedIteratorT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
@@ -493,7 +498,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CondPointsToSet.html#a74c50cfaf788a828a4fc97eba703ec4e">SVF::CondPointsToSet&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1CondStdSet.html#a90e4c4ead1cbdca01c0be801a68b005b">SVF::CondStdSet&lt; Element &gt;</a>
 , <a class="el" href="classSVF_1_1CoreBitVector.html#af8e63360242a49fb63c3ef3d7071503d">SVF::CoreBitVector</a>
-, <a class="el" href="classSVF_1_1PointsTo.html#a687b34cac3c43dd957b86a4833a24871">SVF::PointsTo</a>
+, <a class="el" href="classSVF_1_1PointsTo.html#aa8644057ec182382e3c34e90d7d61ade">SVF::PointsTo</a>
 , <a class="el" href="classSVF_1_1SparseBitVector.html#a48668ff6f168162bd8f13cf860749090">SVF::SparseBitVector&lt; ElementSize &gt;</a>
 </li>
 <li>operator||
@@ -506,33 +511,55 @@ $(function() {
 <li>OpICFGNodeVec
 : <a class="el" href="classSVF_1_1PhiStmt.html#ac505a4fe33e82f555663872e81220ba4">SVF::PhiStmt</a>
 </li>
-<li>OPIncomingBBs
-: <a class="el" href="classSVF_1_1IntraPHIVFGNode.html#a66928f6cc755bd2a048804d00f859a80">SVF::IntraPHIVFGNode</a>
-</li>
 <li>opIncomingBBs
 : <a class="el" href="classSVF_1_1IntraPHIVFGNode.html#a73f39a488ad82300010abd18afe247a4">SVF::IntraPHIVFGNode</a>
 </li>
+<li>OPIncomingBBs
+: <a class="el" href="classSVF_1_1IntraPHIVFGNode.html#a66928f6cc755bd2a048804d00f859a80">SVF::IntraPHIVFGNode</a>
+</li>
 <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>opPts()
 : <a class="el" href="classSVF_1_1PersistentPointsToCache.html#ac7865b3ea1d76d2c522b465cc8e86639">SVF::PersistentPointsToCache&lt; Data &gt;</a>
 </li>
+<li>Option()
+: <a class="el" href="classOption.html#a479f07d7e2424931ea23e905a88f9c57">Option&lt; T &gt;</a>
+</li>
+<li>OptionBase()
+: <a class="el" href="classOptionBase.html#ae99500409f218ce63d4dbce537884c7f">OptionBase</a>
+</li>
+<li>OptionMap()
+: <a class="el" href="classOptionMap.html#aa01d9dfa4aa1808c6d23fa900bbfc77c">OptionMap&lt; T &gt;</a>
+</li>
+<li>OptionMultiple()
+: <a class="el" href="classOptionMultiple.html#a00a2b17a8a0fefba400bc401f4392ed0">OptionMultiple&lt; T &gt;</a>
+</li>
+<li>OptionPossibilities
+: <a class="el" href="classOptionMap.html#a6a91ecc488c6cc5e82e9faf674258644">OptionMap&lt; T &gt;</a>
+, <a class="el" href="classOptionMultiple.html#a9513bc7ce4ade85cd16eccce9537887e">OptionMultiple&lt; T &gt;</a>
+</li>
+<li>OptionPossibility
+: <a class="el" href="classOptionBase.html#a8cc760078ccd614db2190d0f87f5da0d">OptionBase</a>
+</li>
 <li>Options()
 : <a class="el" href="classSVF_1_1Options.html#a08c25694f8f9e31eb8b116ad58c1c078">SVF::Options</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>opVarBegin()
 : <a class="el" href="classSVF_1_1MultiOpndStmt.html#abebed8985cb4d4d1361c42e5454c90b9">SVF::MultiOpndStmt</a>
 </li>
-<li>OPVars
-: <a class="el" href="classSVF_1_1MultiOpndStmt.html#acf8c7cfbf1c8baab672040635bb9a007">SVF::MultiOpndStmt</a>
-</li>
 <li>opVars
 : <a class="el" href="classSVF_1_1MultiOpndStmt.html#a172025849492f4de8f87564ef08f5880">SVF::MultiOpndStmt</a>
 </li>
+<li>OPVars
+: <a class="el" href="classSVF_1_1MultiOpndStmt.html#acf8c7cfbf1c8baab672040635bb9a007">SVF::MultiOpndStmt</a>
+</li>
 <li>opVer
 : <a class="el" href="classSVF_1_1MSSACHI.html#a86f2f3f6e2215cdbe31caee048510757">SVF::MSSACHI&lt; Cond &gt;</a>
 </li>
@@ -555,40 +582,36 @@ $(function() {
 , <a class="el" href="classSVF_1_1PHIVFGNode.html#add18c60773871744123d12a037e78e20">SVF::PHIVFGNode</a>
 , <a class="el" href="classSVF_1_1UnaryOPVFGNode.html#af31a06d33f41bdcff625ac23e269708c">SVF::UnaryOPVFGNode</a>
 </li>
-<li>OPVers
-: <a class="el" href="classSVF_1_1BinaryOPVFGNode.html#a880c8260e3acb3fbe431446f2c1f5990">SVF::BinaryOPVFGNode</a>
-</li>
 <li>opVers
 : <a class="el" href="classSVF_1_1BinaryOPVFGNode.html#ae803603f567cc28f5a7e1b66fb324cbc">SVF::BinaryOPVFGNode</a>
 </li>
 <li>OPVers
-: <a class="el" href="classSVF_1_1CmpVFGNode.html#a0db4ada3c366c811962415454a859b22">SVF::CmpVFGNode</a>
+: <a class="el" href="classSVF_1_1BinaryOPVFGNode.html#a880c8260e3acb3fbe431446f2c1f5990">SVF::BinaryOPVFGNode</a>
+, <a class="el" href="classSVF_1_1CmpVFGNode.html#a0db4ada3c366c811962415454a859b22">SVF::CmpVFGNode</a>
 </li>
 <li>opVers
 : <a class="el" href="classSVF_1_1CmpVFGNode.html#aae30d80fd848d62467476d21c691573c">SVF::CmpVFGNode</a>
-, <a class="el" href="classSVF_1_1MSSAPHI.html#abdabd6dff67cd59622f18d48e8b34271">SVF::MSSAPHI&lt; Cond &gt;</a>
 </li>
 <li>OPVers
 : <a class="el" href="classSVF_1_1MSSAPHI.html#a622892bb1c3c151e646ae1a46838c3ba">SVF::MSSAPHI&lt; Cond &gt;</a>
 </li>
 <li>opVers
-: <a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a9c327923ab939e06877441ebde5c1139">SVF::MSSAPHISVFGNode</a>
+: <a class="el" href="classSVF_1_1MSSAPHI.html#abdabd6dff67cd59622f18d48e8b34271">SVF::MSSAPHI&lt; Cond &gt;</a>
+, <a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a9c327923ab939e06877441ebde5c1139">SVF::MSSAPHISVFGNode</a>
 </li>
 <li>OPVers
 : <a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a300f37203eb84fc57e005c27ce0422fb">SVF::MSSAPHISVFGNode</a>
+, <a class="el" href="classSVF_1_1PHIVFGNode.html#a44ba5254e5f4def007c99916cd58668c">SVF::PHIVFGNode</a>
 </li>
 <li>opVers
 : <a class="el" href="classSVF_1_1PHIVFGNode.html#a08ccd55d0fb6ce33f69959349008daca">SVF::PHIVFGNode</a>
 </li>
 <li>OPVers
-: <a class="el" href="classSVF_1_1PHIVFGNode.html#a44ba5254e5f4def007c99916cd58668c">SVF::PHIVFGNode</a>
+: <a class="el" href="classSVF_1_1UnaryOPVFGNode.html#af96b598342bbcbcd739e2603acfc5a41">SVF::UnaryOPVFGNode</a>
 </li>
 <li>opVers
 : <a class="el" href="classSVF_1_1UnaryOPVFGNode.html#ae6fdb5759a0dfeb0635ffd758b752dc1">SVF::UnaryOPVFGNode</a>
 </li>
-<li>OPVers
-: <a class="el" href="classSVF_1_1UnaryOPVFGNode.html#af96b598342bbcbcd739e2603acfc5a41">SVF::UnaryOPVFGNode</a>
-</li>
 <li>OR()
 : <a class="el" href="classSVF_1_1Z3Expr.html#ac063ed06c3495b790c02fe57c781b34e">SVF::Z3Expr</a>
 </li>